
True
Suppose 34*x + 253 = -223. Which is smaller: -13 or x?
x
Let p = 0.3603 + 0.0397. Which is bigger: p or -118?
p
Let w = 816 + -815. Is -1/182 not equal to w?
True
Let m be (-3)/(-6)*-2*1. Let a be 0/(8/(-4)) + m. Let i = -1099/5 + 219. Is a <= i?
True
Suppose 0 = 4*b - 5*i - 32, 2*b - 5 = -b - i. Suppose b*m + 165 = -6. Is m equal to -57?
True
Let g(n) = -5*n + 28. Let b(o) = o + 1. Let t(y) = 6*b(y) + g(y). Let r be t(-15). Is 19 not equal to r?
False
Let l = 2/39 - 166/195. Suppose -2*r - 5*i = 15, -3*r - r - 5*i - 25 = 0. Let w be 0/(-2 - (r + 2)). Which is smaller: l or w?
l
Let g = 4.146 - 0.146. Let a be (-3)/(9/(-2))*(-27)/(-63). Is a > g?
False
Let t be (-8)/(-2) - 2 - -1. Let s be -57*t/(-9)*-3. Let j be (-11)/21 + (-38)/s. Is -1 greater than j?
False
Let l = 36 - 42. Let f be ((-2)/l)/(16/288). Is 7 != f?
True
Let v = -2627 + 635735/242. Are v and 0 non-equal?
True
Let h be ((-27)/(-12) - 3)/(9/(-24)). Which is bigger: h or 4?
4
Let a(q) be the second derivative of -q**5/20 + 3*q**4/2 - 19*q**3/6 + 35*q**2/2 + 7*q. Let u be a(17). Is u greater than 2?
False
Suppose 2*t + 40 - 14 = 0. Suppose -4*k - 4*i + 20 = 0, i = -4*k - 9 + 23. Suppose s + n + 12 = 0, k*s = n - 3*n - 36. Is s not equal to t?
True
Let b = 70747/1185 + -597/10. Which is smaller: 1 or b?
b
Let c = -68 - -73. Suppose 0 = j + 5*y + 10, 3*j - y + 17 = 7*j. Let u be 1/(-6) + (c - j). Is u < -1?
False
Let r be 0 + 5462/(-3040) - (5 - 7). Let l = r + -3/190. Is l < 1?
True
Let r be 22/(-10)*45/(-81). Is 1 at most r?
True
Suppose -3*l - 3*i - i + 49 = 0, -3*l + 41 = 2*i. Let f(a) = a - 20. Let s be f(35). Let o = s - l. Which is smaller: o or 10/3?
10/3
Let n = -144 + 144.029. Which is smaller: -1/3 or n?
-1/3
Let g be (-1)/(1 + -5) - (-82)/(-8). Let o be (230/70 + -3)/(g/(-14)). Which is smaller: o or 4?
o
Let u(y) = 5 + 163*y - 7*y**2 - 13 - 156*y - y**3. Let h be u(-7). Are h and -57 non-equal?
False
Let y be (-14)/(-6) + -3 - (-226)/294. Let v = y + 1195/294. Is v greater than 5?
False
Let c = 203 - 193. Is 26/3 > c?
False
Let w = -98 - -105. Suppose -w*q = -2*q + 20, -5*n + 4*q = -46. Which is bigger: 9 or n?
9
Let v = 2 - 11. Let a = -7 - v. Suppose -80 = 6*z - a. Is z < -12?
True
Let m(n) = n**3 + 8*n**2 - 4. Let t be m(-6). Suppose 2*l + t = -2*l. Let z = 18 + l. Which is smaller: z or 3?
z
Let t = 1420 - 7098/5. Which is greater: t or -172?
t
Let m = -334 + 334.1. Is 7/47 at least as big as m?
True
Suppose 0 = 5*g - 4*m + 88, -3*g - m - 32 = 14. Are g and -17 non-equal?
True
Let x = -0.08 - -0.04. Let d = -0.74 - x. Let j = d - -0.4. Which is bigger: j or 2/3?
2/3
Let d(a) = -1 - a - 1 - 1 - 2. Let o be d(-12). Suppose 0 = 4*g - 3*i - 17, g + g = 2*i + 6. Which is greater: g or o?
g
Let c = -323 - -735. Let u = c - 11944/29. Which is smaller: 0 or u?
0
Suppose -n = -4*h + 8, -h + 19 = -4*n + 2*h. Let j(y) = 8*y - 6. Let z be j(n). Does -38 = z?
True
Suppose 0 = 3*f + 5*w - 1237, 0*f = f + w - 411. Which is bigger: f or 408?
f
Let j = -12 + 62. Let o = j - 51. Let m be 1*(-1 - 0) - -1. Is o less than or equal to m?
True
Let q be 34/204 - (148/(-48) - -3). Let n = 7.5 - 6. Is q <= n?
True
Let c = 5 + 39. Let f = c - 43. Is f smaller than 1/8?
False
Let b(y) = 11*y + 362. Let i be b(-33). Is -42.2 less than i?
True
Let i = 7.803 - 0.803. Which is smaller: i or 0.4?
0.4
Let k be -3 - (-5)/((-10)/28). Let v = -6 - k. Which is smaller: v or 0?
0
Let t be ((-48)/15 - (0 - 0)) + 3. Let h be 4 + 5 + -7 - (-9)/6. Which is smaller: t or h?
t
Let o = -2 - 52. Let r = 54.1 + o. Which is smaller: -8 or r?
-8
Let b = -24 - 26. Let m be (b/15)/((-2)/12). Is 21 bigger than m?
True
Let n = 0.1298 + -0.0298. Which is smaller: n or 39?
n
Let w = -34 + 19. Let j = 11 + w. Let s be 2/6 - j/(-12). Is -1 bigger than s?
False
Let a = 326 + -443. Is -355/3 greater than a?
False
Let r be (-2)/(-17) + (-128)/(-68). Let g be r/13 + -6 + (-154)/(-13). Let c = 9 + -4. Which is smaller: g or c?
c
Suppose -5*v - 4*m = -3*m + 766, -3*v + 3*m - 456 = 0. Let d = v - -138. Is 0.4 at least as big as d?
True
Let j be 16/12 - 1 - (-28355)/(-195). Let n = -145 - j. Is -1/3 > n?
False
Let w = 329 - 651. Which is bigger: -318 or w?
-318
Suppose -2*l + 4 = -4. Suppose -10 = -l*x - x. Suppose 0 = a - 5, -t + 3*a - 25 = -x*a. Is -3/4 greater than t?
False
Suppose -3*r - 7 = -2*s, 5*s + 8 - 30 = 3*r. Let w = -5.5 + 6.5. Is w at most as big as s?
True
Let z be (-1 + 5)*1/(-2). Let g be (0 - (-2 - 4)) + -2. Let i = z - g. Is i smaller than -6?
False
Suppose 0 = -4*x + 5 + 15. Suppose -46 = 3*d + 4*r, -x*r + 2 = -d - 7. Let p be d/(-35)*2/(-1). Is -1 greater than p?
False
Let n = 32.4 + -29. Let b = -5 + n. Let p = -1.6 - b. Is p at least as big as 12?
False
Let w = -0.08 + 0.12. Let i = 5.81 + -7.81. Is w at most i?
False
Let u be 14 - 17 - ((-14)/6 - 0). Is u bigger than -4?
True
Let k be (-4)/(-16)*22 - (-3)/(-6). Let d be 26/4 - (5 + -4). Let r = k - d. Is r at least as big as 14?
False
Let j = -11 - 7. Let r = 26 + -25. Which is bigger: r or j?
r
Let j = -403 - -403. Is -6/23 < j?
True
Let g(c) = c**2 - 11*c. Let w be g(9). Let t be (-12)/w + (-38)/48. Is 1 bigger than t?
True
Let q = 24 - 9. Let w = q + -5. Let u be 1/2*w*2. Which is greater: u or 11?
11
Suppose 0*y + 5*y = 45. Suppose -n - y = 1. Suppose -6*k + 63 = -13*k. Which is smaller: k or n?
n
Let z = 1093 + -1101. Which is bigger: 2.5 or z?
2.5
Suppose -7*k = 156 - 450. Does 81/2 = k?
False
Let p = -146.26 - -146. Which is smaller: p or -4/15?
-4/15
Let u(k) = -21*k + 23. Let w be u(1). Is 30/11 not equal to w?
True
Let g be (-3)/9 - (-7957)/21. Let s = 378 - g. Which is smaller: 0.5 or s?
s
Let q = -419 + 422. Do q and 18 have the same value?
False
Let a = 14 - 11. Let r be (15/5)/a - -3. Suppose 0 = -8*g + 4*g + 8. Is r bigger than g?
True
Let f = 61 + -62. Which is greater: f or 29?
29
Let l = -1 - -6. Let y(m) = 3*m**3 - m**2 + 1. Suppose 0 = -5*i + i + 4. Let h be y(i). Is l > h?
True
Let x be -1 + -57 + (13 - 9). Which is greater: x or -56?
x
Let j be (-7)/(-2)*104/(-2132). Is 1 smaller than j?
False
Let q(c) = -8*c + 28. Let o be q(-6). Which is smaller: 77 or o?
o
Let f = -0.104 + 3.104. Let h be (-1 + 6)*10/(-25). Which is greater: f or h?
f
Let k(t) = t**2 - 8*t + 15. Suppose -25 = -5*h, x + h - 10 = -0*x. Let f be k(x). Is f not equal to 2/3?
True
Suppose -58*n + 21 = -51*n. Suppose -175 = 7*a - 2*a. Let q be (2/10)/((-2)/a). Which is greater: q or n?
q
Let h = -44858 + 44858. Let u be 7 + (1 - 1) - -1. Let j be (-1)/(-3)*(-6)/u. Which is greater: h or j?
h
Suppose -12 = -139*f + 151*f. Is f less than -141?
False
Let m(h) be the second derivative of -h**5/20 + h**4/3 + h**3 - 3*h**2/2 - 12*h. Let g be m(5). Let t be (g/(-10))/(1/5). Is t greater than -5/7?
False
Let m = -23 + 23.1. Which is smaller: m or -17/5?
-17/5
Suppose 2*a = -5*i + 49, 2*a - 6*a = i - 107. Suppose -s - 3*s + 104 = 0. Which is smaller: a or s?
s
Let x = -0.26 + 3.26. Let w = x - 11. Which is smaller: w or -1?
w
Suppose -2*w + w = 2*f - 206, 4*w = 2*f - 216. Are f and 104 non-equal?
False
Let p be -31 + 42 - 794*-1. Is 804 equal to p?
False
Let y(m) = -m**3 + 15*m**2 - 28*m + 25. Let w be y(13). Let d be (-59)/160 - 4/(-10). Does d = w?
False
Let z be ((-1)/2)/((-2)/(-4)). Let f = -9028 + 857708/95. Let k = f - 2/19. Is z > k?
False
Let h(f) = 2*f**2 - 123*f - 38. Let x be h(64). Which is greater: x or 280?
x
Let o = -6.48 + 0.58. Which is smaller: -3 or o?
o
Let v(f) = -f**3 + 2*f**2 - 3*f - 3. Let b be v(2). Is 0 smaller than b?
False
Let q = 261 + -258. Is -2 greater than or equal to q?
False
Let p be (24/20)/(4/(-10)). Let m be -10 + 6 + 0 + p. Let o(b) = b + 8. Let d be o(m). Which is bigger: d or -4?
d
Let d be (-17)/(-3) - (-4)/(-6). Let w = -69 + 54. Let q be 2 + ((-70)/w - 3). Is d at least q?
True
Let j(c) = c**2 + 13*c. Let p be j(0). Is -2/205 <= p?
True
Let z(i) = 2*i**2 - 9*i + 8. Let l be z(1). Is l less than 8/25?
False
Suppose 9*s - 6*s = -18. Let m(c) = -c**2 - 3*c - 2. Let z be m(-3). Let u be (2/10)/(z/s). Do 1 and u have the same value?
False
Let i = 16.2 + -2.7. Let p = i - -0.4. Let o = 14 - p. Is o less than or equal to 1/7?
True
Suppose 5*s - 935 = -330. Which is greater: 122 or s?
122
Suppose -2*z - 76 = -3*t, 0*z + 3*z + 78 = 3*t.