?
True
Suppose 2*c = f - 276, f = 2*c + c + 274. Suppose -a = 4*m + 4, -2*a + 2 = 2*m + m. Let l be ((-32)/f)/(a/(-10)). Which is smaller: -1/3 or l?
-1/3
Let p be 257/(-128) - (-5 + 3). Which is bigger: -1 or p?
p
Let i = -26 + 25. Which is greater: 2/17 or i?
2/17
Suppose 0 = r + 3 - 2. Is -2/91 equal to r?
False
Let m = 2 - 0. Suppose 3*n = 2*g - 12, m*n + 5*g - 7 = -2*n. Suppose -4*k - 1 + 7 = -2*t, 3*t + 13 = 2*k. Which is smaller: n or k?
n
Let n = 180 - 903/5. Let l = -1 - -1.1. Are n and l non-equal?
True
Let d be (-1678)/558 + (-13)/(13/(-3)). Is d bigger than 0?
False
Suppose -6 = 28*s - 26*s. Which is smaller: s or -2?
s
Suppose -2 = -u + 2. Suppose 5*d - 6 = p, 4*p + 0*d = -3*d + 22. Is p > u?
False
Let o = -0.2 - 0.3. Let c = -0.5 + o. Let l = c + 2. Is 2 equal to l?
False
Let k = 75 - 676/9. Which is greater: k or 0?
0
Suppose -5 = 2*r - 7*r. Suppose 48 = -3*z + 4*z. Let x = -622/13 + z. Is x at least as big as r?
False
Let a(m) = m**3 - 6*m**2 - 9*m + 8. Let o be a(7). Let u = -6 - -3. Which is bigger: u or o?
u
Let h(q) = -q**3 + 6*q**2 + 4. Let f be h(6). Suppose -5*a + 4 = -f*a. Suppose 0*l = 2*l + 2*r, -a*r + 27 = -5*l. Is -7/3 equal to l?
False
Let u be (0 + -4 + 5)*-1. Is -1/61 greater than u?
True
Let n = 167 - 1171/7. Which is bigger: n or -0.14?
-0.14
Let d = 1223/11 - 111. Is d less than -0.04?
False
Let v(m) = -4*m**3 - m**2 + m - 1. Let h(a) = 2*a**2 + a. Let p be h(-1). Let l be v(p). Which is smaller: l or -4?
l
Let t = -2 - -3. Let j be -2 - (-1)/t*1. Is 0 less than j?
False
Let h be 2 + (-7 - -2 - -1). Is h bigger than 3?
False
Let o(k) = -k**2 - 10*k - 17. Let t be o(-7). Is 0 equal to t?
False
Let p be 6/(-4)*(-8)/3. Suppose 0*y = p*y - 16. Which is bigger: 3 or y?
y
Let s = -206371336/329 + 627268. Let u = 10/47 + s. Which is greater: u or 0?
0
Suppose 4 = -i - 4. Let v = i + 8. Let p be (2/3)/((-12)/(-4)). Is v bigger than p?
False
Let w = -56 - -75.9. Let u = -21 + w. Is -2/7 less than u?
False
Let g = 17 + -67/4. Suppose 0 = -4*a + 2*a + 2. Do g and a have the same value?
False
Let k be -3*((-2)/(-3) - 0). Let z(l) = -l**2 + 18*l - 35. Let v be z(16). Which is bigger: k or v?
k
Let m be (3 - (4 - -1))/(1/10). Is m greater than -19?
False
Suppose 4*p + 2*p - 6 = 0. Is -2/25 equal to p?
False
Let w be (0 + 6)*2/(-2). Which is smaller: -8 or w?
-8
Let b = -25 - -26. Is 2/133 less than b?
True
Let d = -0.3 - -0.4. Suppose v - 5*z - 132 = 0, -v + 5*z = 2*z - 124. Let l be 76/v - (-1)/(-4). Are l and d equal?
False
Let v = 1 + -11. Let i be v/4*1/(-10). Let h = 23 - 23. Do h and i have the same value?
False
Let p be (((-30)/(-8))/(-5))/3. Let a(d) be the second derivative of -d**3/6 + 7*d**2/2 + d. Let u be a(8). Which is smaller: u or p?
u
Let z = -5955.281 - -5958. Let h = z - 0.019. Let d = h - 3. Which is bigger: d or 1/5?
1/5
Let y be ((-2)/8)/1 + 7/44. Which is bigger: -1 or y?
y
Let r = 997/74 - -1/37. Let d = 13 - r. Suppose -14 = 4*q - 6. Are d and q unequal?
True
Let o(h) = 2*h**2 - 2 - 3*h**2 - 1 + 0*h**2. Let j be o(0). Which is smaller: -2 or j?
j
Suppose -5*b + 267 = -4*n, -5*n + 3*b = -63 + 413. Which is bigger: -74 or n?
n
Let k(s) = 6*s - 2. Let d = -2 - -4. Let f be k(d). Let i be (-2 + 24/f)*-5. Is i < -1?
True
Let q(z) = -z - 6. Let g be q(-6). Suppose g = -2*h - 0 - 2. Let k be ((-4)/(-6))/(1*-1). Which is smaller: k or h?
h
Suppose -20*o - 2 = -18*o. Which is greater: o or 1/18?
1/18
Suppose 0*h + 5 = h. Suppose 3 = n - 5*x - 0, -4*n = h*x - 12. Suppose -v + 3*c = 0, 4*c - 1 = v - 0*v. Is n at most as big as v?
True
Let l = -2 + 5/2. Let y(t) be the third derivative of -t**4/24 + t**3/3 - 2*t**2. Let c be y(2). Which is smaller: l or c?
c
Suppose -5*v - 6 = -4*v. Is v < -3?
True
Let x(v) = v**2 - 4*v - 1. Let y = 3 - -4. Let g be (y + 3 - 2)/2. Let w be x(g). Which is bigger: w or 1?
1
Let v be -1 - (-4 + 6/3). Suppose 0 = o - 5*x + 2, -4*x + 3*x = -v. Let l(c) = c. Let d be l(0). Do o and d have the same value?
False
Let g = 3.3 + -0.3. Let p = 0.188 + -0.088. Which is smaller: g or p?
p
Let t = -32 - -28. Do t and -3 have different values?
True
Suppose 15 = 2*o - 5*d, d + 3 = -0*o - o. Let c = 1 - o. Let v be (-9)/12*c/(-3). Which is greater: v or 1?
1
Let v = 21 + 30. Let l be v + 0/3 + 3. Let q be ((-12)/l)/((-4)/(-6)). Which is smaller: q or 0?
q
Suppose 0 = 4*u - 4, -f + 4*u - 2*u - 2 = 0. Let x(j) = -2*j**3 - j**2 + 2*j + 2. Let a be x(-2). Suppose -4 + a = -w. Are f and w nonequal?
True
Let o = -4.7 - -5. Let l = o - 0.2. Let i = -2.96 - 0.04. Is i <= l?
True
Let t = -60 - -18. Let x = t - -251/6. Are x and -1 equal?
False
Let x be ((-5)/3 + 3)/(4/240). Is x >= 80?
True
Let k = 67 - 67.27. Let d = k - -0.23. Is d <= -2?
False
Suppose i - 110 = 6*i. Is i less than or equal to -22?
True
Let q = 38 - 37. Is 10/21 less than or equal to q?
True
Suppose 10 + 2 = -4*x. Which is smaller: -12/5 or x?
x
Let i = 4 - 1. Let f = 2 - i. Which is bigger: f or 3?
3
Suppose 4*w + 8 = -52. Let c be (-2)/(-3) - (-40)/w. Let k be -1*(2/(-1) + 5). Do c and k have the same value?
False
Let a(i) = -i + 2. Let l be a(-3). Suppose b = g, 4*b = -l*g + 6*g + 12. Suppose -g*v = 3*j + 7, 2*v + 8 = -5*j - v. Which is smaller: j or 2/5?
j
Suppose -6*p + 2*p - 4*a - 16 = 0, -3*a - 7 = -2*p. Let q(u) = -153*u - 2. Let t be q(2). Let x be (-4)/(-14) + 32/t. Which is smaller: x or p?
p
Let b = -0.2 - -3.2. Which is bigger: b or 2?
b
Let n be 7/(-15) - 1/(-3). Is -2/3 != n?
True
Suppose 6 - 4 = 2*c. Is -5 < c?
True
Suppose -11 = 4*t + 5. Let b be ((-2)/t)/((-3)/(-24)). Suppose -9 = -3*w - 3*z, -z + 28 = -b*w + 3*z. Which is smaller: w or -1/3?
w
Let w = 0.02 + -0.22. Is w equal to -1/2?
False
Let f(h) = h**2 - 7*h - 4. Let s be f(5). Let g = s - -13. Which is smaller: g or -8/11?
g
Suppose -2 - 2 = -j. Let n be 37/(-18) - (-2)/j. Is -1 < n?
False
Let h = 113 + -122.2. Let r = h + 9. Is -0.3 greater than r?
False
Let p(s) = -s**3 - 3*s**2 - 2*s - 1. Let j be p(-3). Suppose 0 = 5*d - 3*i - 17, -7*d + 2*d + 25 = 5*i. Which is greater: d or j?
j
Let a(l) = l - 5. Let i be a(4). Suppose c + 4*f = 8, 0 = -0*c + c + 3*f - 5. Let h be (-1)/2*c/(-6). Is i not equal to h?
True
Suppose 0*i + 8 = 2*i. Suppose v - 10 = -i*v. Suppose -o = v*o + 3. Do o and -3/4 have the same value?
False
Let d = 222 + -2440/11. Which is bigger: -7 or d?
d
Suppose 3*r - 4*r = -1. Is r greater than -2/7?
True
Let o be 4/(-18) - (-8)/36. Suppose -4*c = 3*w - 2*w + 7, o = -c - w - 4. Which is greater: -2/11 or c?
-2/11
Let h(b) = b + 2. Let u be h(-3). Are u and 30 non-equal?
True
Let o be 28/(-16) + 2/(-8). Suppose -3*h + 2 = 2*x, 6*h + 2 = -2*x + h. Suppose -2*u = 2, a - 3*u - u = x. Which is smaller: o or a?
o
Let n = 4/63 - -2/9. Let g be (-23)/(-4) - (-2)/8. Let d = g - 5. Is d at least as big as n?
True
Suppose -2*i + 0 + 4 = 0. Let q(l) = -4 - 3*l + 2*l - 3. Let s be q(-10). Which is bigger: i or s?
s
Let i = 0.3 - -0.7. Let r = 103 - 720/7. Does r = i?
False
Suppose 0 = 5*v - 3*v - 74. Are v and 37 unequal?
False
Suppose 5*s + 2*v + 23 = -2*v, -2*v = -4*s - 8. Let g = -46 + 44. Which is greater: g or s?
g
Suppose -4*j - 3*d - d + 16 = 0, 5*j = -4*d + 23. Let x = 7 - j. Suppose -4*r = r. Is x equal to r?
True
Suppose 11 = -15*r + 11. Which is smaller: r or 1/45?
r
Suppose 0*n - 5 = -n. Suppose 4*u + 1 - n = c, 5*u - 18 = -2*c. Which is smaller: u or -3/7?
-3/7
Let q = 28 - 35. Which is bigger: q or -32/5?
-32/5
Let c be 2/7 - (-76)/(-364). Suppose -5*l + 2*l = 0. Is l less than or equal to c?
True
Let r be 3*2/4*-2. Let h = r + 5. Suppose 0 = -d - 1 + 3. Is h less than d?
False
Let m = -4 + 2. Let b be (-463)/(-792) + (-6)/(-27). Let u = b - 5/8. Which is smaller: u or m?
m
Let g be (-8)/(-6)*(-265)/(-20). Let m = g - 49/3. Are 0 and m non-equal?
True
Let a(m) = -4*m + 1. Let l be a(1). Let v = -31 + 26. Let j = v - l. Which is smaller: j or -5/2?
-5/2
Let h = -0.2 - -10.2. Let m = h + -10.1. Let u = -5 - -9. Is m less than or equal to u?
True
Let l = -0.06 - 6.94. Let k = 6.8 + l. Which is smaller: 2/5 or k?
k
Let g = -14 - -16. Let m = 0 + 2. Is m at most as big as g?
True
Let r = -381/13 - -29. Suppose o - 3 = -2*s + 3*s, 3*s + 5*o = 23. Which is smaller: r or s?
r
Let n be 55/(-4) - 1/4. Let v be n + (0/2)/1. Let h be v/49 - (-9)/7. Whic