ater: t or x?
t
Suppose 0 = -3*x + 5*x - 8. Suppose 0 = -u - x*t - 6, 18 = -3*u + 2*t - 6*t. Let n be (u - -8) + (-8)/6. Are 0 and n non-equal?
True
Let g be -1 + (-786)/96 - -9. Which is greater: 0.4 or g?
0.4
Suppose y - 6*y = 0. Suppose z + q + 13 = y, -z - 3*z - 50 = 2*q. Let j be (1 - 1)/(z/(-4)). Which is smaller: 1 or j?
j
Let f = -2492 + 27410/11. Do -0.072 and f have the same value?
False
Let b be -2*(56/228)/(-7). Let a = b + 176/741. Let y be (-5)/(-7) - (-2)/7. Is a >= y?
False
Let l = -641/58275 - -4/259. Is 0 bigger than l?
False
Suppose 63*o = 67*o - 8. Which is smaller: -106 or o?
-106
Suppose k + 5 = -0*k - 5*p, -4*k - 5*p - 65 = 0. Let i = k - 3. Which is smaller: i or -25?
-25
Suppose 4*d + 392 = -4*o, 2*o + 3*d - 578 = -778. Which is smaller: o or -95?
-95
Let r be (-1976)/190 - 3/5. Suppose 5*v + 70 = 3*h - 5*h, 10 = -2*h. Which is greater: r or v?
r
Let z = 0.08 + 0. Let q = 1.23 + -1.41. Let x = q + z. Which is bigger: -3 or x?
x
Let s(v) = -v**2 + 6*v + 8. Let a be s(6). Let j be (4/a)/(10/(-44)). Is -2 greater than j?
True
Let w = -103 - -155. Let r = 37 - w. Let n = -17 - r. Is n less than -1?
True
Let s(d) = 22*d + 175. Let p be s(-8). Which is greater: p or -3/682?
-3/682
Let y = 0.9 - 1.9. Let z = 673/4 + -169. Which is smaller: y or z?
y
Let r be (-1*(-1)/13)/((-224)/192). Is r at most as big as 1?
True
Let b = -0.113 + 0.213. Which is bigger: -17.1 or b?
b
Let l = -104 - -106. Suppose -4*o - n = o + 310, l*o + 102 = 4*n. Does o = -59?
False
Suppose -605 = -52*b - 33. Is 37/3 less than or equal to b?
False
Let b be (-24)/32*4/(-142). Is b at most as big as 1?
True
Let z = 0.43 - 0.11. Let x = -0.28 - z. Is -1 <= x?
True
Let l(o) = -o**2 + o + 1. Suppose -3*w = -0*w - 3. Let d be 0*((-12)/(-8) - w). Let b be l(d). Which is smaller: b or 0?
0
Suppose 0 = -17*c + 3*c - 140. Let j be (-6)/4*c/3. Is -2 at most j?
True
Let t be 6/(-33) - 26/(-22). Let n be -2*(t - 0)*(8 + 13). Which is smaller: -41 or n?
n
Let r = -1038/143 + 90/11. Which is greater: 0 or r?
r
Let s = 0 - 12. Let u = -74 + 76. Which is bigger: s or u?
u
Let o = -352 + 246. Let a be o/(-210) - (-12)/(-20). Suppose 0 = 2*r + 2*r. Which is smaller: r or a?
a
Let z be -1 - -6 - (0 + -1). Let u = z - 5. Let q be 2 + -6 + (-288)/(-63). Which is smaller: u or q?
q
Let v(s) = -s**3 - 5*s**2 + 2. Let w be v(-5). Suppose w*h = o + 11, h - 4 = 2*o - 0. Let d be -4 - -3 - 5/(-4). Which is smaller: d or h?
d
Let i be (-3)/(-7) - 9/21. Suppose -4*u - 12 = i, -3*j - 4*u + 18 = -6*u. Are j and 4 unequal?
False
Let i be (2 + 15/(-6))/(-2). Let d = 0.2 - 34.2. Let n = 31 + d. Which is smaller: n or i?
n
Let r be ((-37)/259)/(2/4). Let z = 8 + -6. Suppose z*j + 1 = 3. Which is bigger: r or j?
j
Let a(c) = 2*c**2 + 28*c + 149. Let p be a(-6). Is p greater than 54?
False
Suppose t + 27 - 69 = 0. Suppose 178*g - 177*g = -t. Which is bigger: g or -41?
-41
Let n be ((-4)/(-14))/((-10)/(-70)). Suppose n*o - j - 9 = 0, -2*o = 2*o + 3*j - 43. Is 9 less than or equal to o?
False
Let g = 30 + -23. Suppose -p - 6 = -4*y - 2*p, 3*y = 4*p + 14. Suppose g*q + y = 5*q. Which is bigger: 2/17 or q?
2/17
Let i = 694 - 812.1. Let q = i - -118. Which is smaller: q or -7?
-7
Let i be 2 - 1 - 447/21. Let t = -144/7 - i. Let a = -3.21 + 0.21. Which is bigger: a or t?
t
Let o(s) = 63*s - 3. Let m be o(1). Let z be (-3)/4 + m/48. Which is greater: -10 or z?
z
Suppose -2*y + 148 = 3*d, -5*y + 350 = -3*d - 62. Let m = 80 - y. Which is bigger: -1/25 or m?
m
Let y = -1125 + 2039. Is y greater than or equal to -1/3?
True
Suppose 1699 = 4*r - 42*w + 43*w, 0 = 4*r - 4*w - 1724. Is r less than 425?
False
Suppose -4*j - 142 = i - 0*i, -2*j - 76 = -2*i. Let c be (8/j)/(10/15). Which is bigger: c or 1?
1
Let w be (-2)/12 - 424860/(-360). Which is smaller: 1181 or w?
w
Suppose -18 = -0*y + 2*y. Let x = y - -19. Let t be 8/20 + (-4)/x. Which is bigger: 3/2 or t?
3/2
Let j = 0.02 + -0.12. Suppose 2*p - 4*p - 4*k = 62, -k + 177 = -5*p. Let v = p - -39. Which is smaller: v or j?
j
Let k(g) = g**3 - 16*g**2 - 8*g + 51. Let c be k(16). Is c <= -0.1?
True
Let s be (1/12)/((-170)/(-326910)). Do s and 160 have the same value?
False
Let v be (-245)/74 + 3 - 1/(-2). Let c = -198/851 + v. Which is bigger: 0 or c?
0
Let n = -1135 - -101013/89. Let x = 4 - 3. Which is smaller: n or x?
n
Suppose -5*m - 4 - 6 = 3*p, -2 = m + 5*p. Is 2/71 < m?
False
Let y be (2 + (-45)/10)*-4. Suppose -y = -0*m + 2*m, -2*c + 17 = -3*m. Are -2/7 and c non-equal?
True
Let m(i) = 3*i**3 + 49*i**2 - 14*i + 6. Let c be m(-15). Which is smaller: c or -1/3?
-1/3
Let h(k) = -5*k**2 + k - k**2 + 5*k**2 - 10. Let l be h(-4). Let a be l/(-18)*2/10. Which is greater: a or 0?
a
Let p = -28 + 45. Let k = -5 + p. Let t = 11.8 - k. Which is smaller: 4/5 or t?
t
Let v = -24 - -124/5. Let z = v + -17/15. Which is greater: z or -6?
z
Suppose -3*f - 9 = -5*z + 13, 5*f - 5*z + 20 = 0. Suppose -10*u + 3*u + 2*u = 0. Is f greater than or equal to u?
True
Let w = 3 + -4. Let i = 317/6 - 3649/66. Let q = i - -28/11. Is w greater than or equal to q?
False
Let x(o) = o**3 + 4*o**2 - 21*o - 21. Let c be x(-8). Do -107 and c have the same value?
False
Let t(w) be the second derivative of -w**4/12 + 4*w**3/3 - 15*w**2/2 - 18*w. Let x be t(6). Which is bigger: x or 4?
4
Let k be (-6)/(-8) + (-549)/(-4). Let h be (-4 - -1) + 402/k. Let f(c) = -c**3 + 5*c**2 - 1. Let p be f(5). Is h <= p?
False
Suppose d + 3*b - 7*b = 33, -3*b + 9 = 0. Let s = d + -45. Which is bigger: s or -7?
s
Let t(z) = -z - 1. Let g be t(-3). Suppose 4 - g = -u. Suppose -2*q + 0 - 6 = 0. Which is smaller: u or q?
q
Let g = 1121.3 + -1225. Let d = g - -106. Which is bigger: d or -0.2?
d
Suppose 2*j = -2*b + 4*b - 24, 2*j + 8 = 0. Let n = 16 - 1. Let z = n - b. Is z less than or equal to 7?
True
Let a = -20 + 22. Suppose -2*s + 12 = 3*f + f, a*s = 4*f - 4. Let r be 5 - f - 114/36. Which is smaller: r or -1?
-1
Let m = 21247/43 - 494. Let o = -313/473 + m. Which is smaller: o or -1?
-1
Let s be (-32)/24*3/(-4). Let l be ((-8)/(-16))/(s*-7). Is 2/7 >= l?
True
Let f be (-30)/21*(-374)/5. Let b(n) = -13*n + 62. Let x be b(13). Let h = f + x. Which is greater: -1 or h?
h
Suppose 39 = -3*m - 135. Let o = -57 - m. Which is smaller: o or 8/11?
8/11
Let v(z) = z**3 + 4*z**2 - 30*z + 8. Let s be v(-8). Which is smaller: s or -25/3?
-25/3
Let a(k) = -k**3 + 14*k**2 - 6*k - 22. Let q be a(11). Let c = -2203/8 + q. Which is bigger: c or 3/7?
3/7
Let j = -67 + 604/9. Let c = 1.46 + -1.46. Which is smaller: j or c?
c
Let j = -424 + 411. Which is smaller: -51/4 or j?
j
Suppose -3*z - 17 = -11. Let p be (-24)/8*(0 - z/(-6)). Let w be (((-6)/(-213))/2)/(-1). Is w greater than p?
False
Let y be (-54)/(-7) + 4/14. Suppose -4*p - 3 + 51 = 0. Suppose 6*w = 8*w - p. Is w < y?
True
Suppose -x - 112 = -3*v, -169 = -5*v - 3*x + 27. Suppose -v*c + 37*c = -1. Which is smaller: -2/5 or c?
-2/5
Suppose 0 = p + 3, 3*p - 4*p + 135 = 3*v. Suppose -3*g + v = -92. Suppose 3*o - 73 - 73 = -5*j, 0 = -j + 5*o + g. Is -0.1 equal to j?
False
Let u = 9 - -5. Suppose -u*b - 1 = -15. Are b and 11/8 equal?
False
Let l = -52.4 + 34.5. Let f = 0.17 - -17.83. Let r = f + l. Is r < 18?
True
Suppose -13 = -a - 5*p + 17, 0 = 2*a + 5*p - 35. Suppose 0 = -a*s - 25, s + 5 = m - 2*m. Which is bigger: m or -2/11?
m
Let v = 66 - 67. Let p = 64/13 - 2163/442. Which is greater: v or p?
p
Let y = 53 + -38. Suppose 5*k + 2*i - 83 = -32, 5*i - y = 0. Which is greater: k or 10?
10
Let m = -31 + 11. Let k = 8 + m. Which is greater: k or -2?
-2
Let j(y) = 2*y**3 - 13*y**2 + 10*y - 13. Let r be j(7). Let p = r + -105. Which is smaller: p or 1/3?
1/3
Let w = -934 + 61645/66. Let k = 3 - 4. Which is greater: k or w?
w
Let w(u) = u**2 - 3*u - 6. Let a be w(7). Let j(v) = -v**2 + 15*v + 23. Let f be j(20). Let o be 186/14 + a/f. Is o smaller than 12?
False
Let n be ((-182)/(-3))/((-54)/(-162)). Which is greater: n or 183?
183
Let q = -517 + 518. Which is greater: q or -12/25?
q
Let l be 3/(-1) + (-3)/(-1) + -3. Let y(o) = -3*o + 28. Let r be y(10). Which is greater: r or l?
r
Let k be (-6)/(-4)*4/3. Let j be 0/k - -1 - 0. Suppose -5*v - 7 - 16 = -3*p, -5*p + 3*v + 17 = 0. Is p > j?
False
Let j = 0.35 + -0.05. Let s = j + -0.4. Is -10 at most s?
True
Let h(p) = p**2 -