 0/(-1) - -3. Let j(v) = v**2 + 7*v - 2. Let c be j(-5). Let s = t + c. Is 1/16 > s?
False
Suppose 5*y - z = -101, 0*y + 2*z = -2*y - 38. Let d be (-3 - y - 0)*-1. Is d equal to 2?
False
Let j = -62 + 62.25. Which is smaller: j or -3?
-3
Let b = 0.38 + -0.78. Let g = 0.1 - 0.3. Let y = b - g. Which is smaller: y or 0.3?
y
Let i = -99.9876 - 0.0124. Which is smaller: i or -3?
i
Let w(f) = -f**2 + f + 2. Let m be w(2). Let i be m/((-2 - -4) + 0/(-1)). Do 1/90 and i have the same value?
False
Let v(q) = 25*q + 263. Let h be v(-11). Which is bigger: h or -6?
-6
Let a be 1 + (-3 - 1/(-1)). Let q be (a - -3) + (11 - 13). Is -2/25 bigger than q?
False
Let m(a) = -11*a - 66. Let i be m(-6). Which is smaller: 1/327 or i?
i
Let t be (2/6)/((-1)/(-6)). Let l = -0.17 - -2.97. Let o = l + -3.8. Is o less than or equal to t?
True
Suppose v - 109 = 5*x + 461, -3*v + 1615 = 4*x. Which is bigger: 1/4 or v?
v
Let d(b) = -b**2 + 9*b - 12. Let s be d(9). Let x = 12 + s. Suppose -3*h - 13 = -m - 0, h + 4 = x. Are -4/9 and m equal?
False
Let s = -2.8 - 0.2. Let c(w) = 3*w + 8*w + 60*w**3 - 11 - 61*w**3 + 9*w**2. Let b be c(10). Which is bigger: b or s?
b
Suppose -3*y - 64*l + 6 = -60*l, 5*y + 19 = 3*l. Is -39/44 equal to y?
False
Suppose -500 = -25*n + 30*n. Let q be ((-18)/(-16))/(15/n). Is -8 equal to q?
False
Let w = 1055 - 1060. Is w at most -215?
False
Let s be (-28)/42 - (-4256)/(-6). Let m = 26268/37 + s. Which is greater: m or 1?
1
Let s = -7/295 - -1352/44545. Which is smaller: 1 or s?
s
Let w = 1938 - 1138. Let p = w + -42402/53. Let f(d) = -d**3 + d**2 + d. Let c be f(-1). Is p at least c?
False
Let i = 0.166 + -0.386. Is i at least as big as -1/12?
False
Let u be ((-8)/8*0)/1. Is 10/113 bigger than u?
True
Let g = -0.07 + 0.27. Which is smaller: g or 0.6?
g
Let s be 16*((-72)/12 - 105/6). Is s greater than or equal to -377?
True
Suppose 2*f - 72 = -3*f - 3*m, 76 = 5*f + 4*m. Let z be ((-4)/(-6) - f/18)/2. Which is greater: z or 4/7?
4/7
Let g be (-140)/21*(-33)/(-2). Let b be (-6)/8*g/33. Let h = 2 - -1. Are h and b non-equal?
True
Let v = 6 - 14. Let t be (-2)/(-4)*v/18. Are t and 3 unequal?
True
Let z be 12/15 - (-26860)/175. Let g = -154 + z. Which is greater: g or -0.08?
g
Suppose 4*l - 3*l = -4*k - 23, 2*k - 1 = -3*l. Do -23/3 and k have different values?
True
Let q be 1/(-53)*((-135)/(-21) - 6). Which is bigger: -1 or q?
q
Let f = 137179485/1619 - 84731. Which is smaller: f or 1?
f
Suppose 3*t = -z + 4*z + 15, -t = 0. Let c(i) = 2*i**3 - 62*i**2 + 58*i + 55. Let h be c(30). Is z at most h?
True
Let g(o) = 5*o + 8. Let q be g(-5). Which is smaller: q or -16?
q
Let v = 7 + -11. Let m be 26 - (-4 + 3 - -1). Let t = -33 + m. Are t and v nonequal?
True
Let o = 2/377 - 768/2639. Is 1/342 less than or equal to o?
False
Let n = 0.093 + -421.093. Does 0.2 = n?
False
Let c be (-1445 - -1)*-1 - 0. Let v = c - 15866/11. Let s be 1*3 + ((-13 + -1)/7 - -2). Does s = v?
False
Let n = 2/8323 + 2397014/41615. Let s = -58 + n. Suppose 0 = 5*i + m, 2 = 2*i + m + 5. Which is greater: i or s?
i
Let y = 70.33 + -70. Let r = y + -0.43. Which is greater: -39 or r?
r
Suppose -176*t + 195*t = 0. Which is greater: 1/3 or t?
1/3
Let x(b) = 144*b - 5. Let o be x(1). Which is smaller: o or 140?
o
Let g be (-1)/(-8) + 45/24. Suppose 0 = n + w - 5 + 12, -3*w - 15 = g*n. Let b(d) = d**3 + 6*d**2 - d - 5. Let c be b(n). Are 3/5 and c equal?
False
Let r be (-18)/(-30) + (-44)/(-10). Suppose 3*t + r = 8*t. Is t at most as big as 1?
True
Let d be 7476/(-9) + (-16)/120*-5. Which is smaller: d or -828?
d
Let s = -0.06 - -35.06. Let b = -30 + s. Which is smaller: b or 0?
0
Let j(y) = y**3 - 41*y**2 - 46*y - 88. Let q be j(42). Is -256 at most q?
True
Suppose -2*p + 3*s + 24 = 3*p, 5*p - 6 = -3*s. Suppose p*w = 5*v + 2, -w + 2*v + 3*v = -4. Which is bigger: 1/29 or w?
1/29
Let c = 44 - 30. Let w = c + -13. Let v be 24/(-35) - (-4)/10. Which is smaller: v or w?
v
Suppose -6*b + 2 = -5*b. Suppose 0*g - 4 = -z - 4*g, -3*z = b*g - 2. Suppose 5*n = 5*v + 1 + 9, 0 = 5*v + 20. Which is bigger: z or n?
z
Let u = -8780.49 - -8827. Let l = u + -44.2. Let y = 2.4 - l. Which is bigger: y or -1?
y
Let g be 1/(-4) + (-1 - 505/12). Let u = g - -44. Which is greater: 0.15 or u?
u
Let j(x) = x**2 - 4*x - 58. Let l(f) = f + 1. Let y(u) = j(u) + 5*l(u). Let i be y(7). Let o = -171/5 + 36. Do o and i have the same value?
False
Suppose c = -4*c + 5355. Let y = c - 7481/7. Is y equal to 1?
False
Let g be 831/21 - (-6)/14. Suppose g - 12 = -2*u. Do u and -14 have different values?
False
Let m be ((-27)/6*2)/(11/22). Which is smaller: 30 or m?
m
Let a(q) = q**2 + q + 1. Let v be a(-2). Suppose -8*x - 330 = -v*x. Let w = -329/5 - x. Which is bigger: w or 0.1?
w
Let p = -148 - -1922/13. Let z = 2200 - 2201. Is z >= p?
False
Let j = -0.46 - -0.31. Let n = -11 - -13. Which is greater: n or j?
n
Let x = -258.7 - -270. Let j = 11.1 - x. Is -1/4 < j?
True
Suppose 0 = 7*l - 975 - 8790. Is l < 1396?
True
Let n(b) = -5*b**2 - b**2 - 8 - 2*b**2 + 9. Let w be n(-1). Suppose 4*y = z - 14, -y - 7 = 3*z + 16. Is w not equal to z?
True
Let f = 476 - 433. Is 42 at least f?
False
Let n = 52 + -38. Suppose 46 = -3*x - n. Is -20 bigger than x?
False
Suppose -g - 16 + 19 = -y, 3*g = 2*y + 6. Let z = -443/105 + 30/7. Is g > z?
False
Let n(i) = -8*i - 77. Let s be n(0). Let b = s + 149. Are 72 and b unequal?
False
Let t = 1/204 - -1057/34068. Is t < -1?
False
Let p be 7 - 1/(-1)*-2. Let o be p*(-18)/((0 - 20)/(-4)). Is o greater than -18?
False
Let y be (-20)/(-35) - (-44)/(-28). Let t = -1 - y. Which is smaller: t or -9?
-9
Suppose -2*v + v + 5*i + 9 = 0, -2*i + 30 = 2*v. Let b = 81 - v. Let h = 403/6 - b. Is -1/3 != h?
True
Let c = -14664187/330 - -44437. Let k = -3/22 + c. Suppose 112*h - 116*h - 4 = 0. Is h less than k?
True
Let a(w) = w**2 - 14*w - 1. Let p be a(14). Let r be 71733/153 - 1/(-3). Let t = 469 - r. Which is smaller: p or t?
p
Let k = 1 + -8. Let y(d) = 2*d**2 - 15*d**2 + 4 + 6*d**2 - d**2 - 4*d. Let c be y(1). Is k at least as big as c?
True
Suppose -5*b - 5*y + 20 = 0, 3*b + y = 3*y + 2. Let h = 681/506 - -5/46. Does b = h?
False
Suppose 198 = -4*p + 3*c, -30*p - 4*c + 249 = -35*p. Suppose 3*i = -2*a - 101, -2*a = 3*a + i + 220. Which is smaller: a or p?
p
Let p be (-16)/(-88) - 101/11. Let j be 2/9 - 1094/(-504). Let h = -15/7 + j. Is h != p?
True
Suppose 2 = 3*c - 4. Suppose h - 2*r + 7 = 0, c*h + 2*r - 5*r = -11. Is h less than -2?
False
Suppose 11*y - 17 - 5 = 0. Do y and 5/9 have the same value?
False
Let v = -1750 - -1248. Which is smaller: v or -1?
v
Let y(k) = -25*k + 43*k - k**2 + 59 + 42 - 39. Let i be y(21). Is -1 > i?
False
Let y = -6003/124750 + 30/499. Which is smaller: y or -1?
-1
Suppose -3*w + 12 = -3*c, -2*w - 4*c + 1 = -7. Let p be ((-11)/6)/(4/(-8)). Which is smaller: w or p?
p
Let f(m) = m**2 - 21*m + 10. Let z be f(20). Suppose -16 = 3*i + i - 4*s, -3*i = -4*s + 7. Is i bigger than z?
True
Suppose -5*u = -d + 385, 2*u + 0*d - 5*d = -154. Do -78 and u have the same value?
False
Let o = -18.1 - 10.5. Let a = o - -27. Is a not equal to 2/5?
True
Let u = -22 + 32. Let w = 28 - 24. Suppose -k - 28 = -2*v + w*k, -2*v - 3*k + 12 = 0. Are u and v nonequal?
True
Let k be (-10)/4*(56/(-5) + 6). Which is greater: k or 0.02?
k
Let j = 14377/369 + -350/9. Is j at least -1?
True
Suppose 12 = 29*x - 23*x. Suppose 0 = -x*f + 5*h - 15, 2*f + h - 3 = 5*f. Is f smaller than 6?
True
Let x be -4*4/(-16)*5. Suppose 0 = -k + x*k - 64. Let y = k + -17. Which is greater: -0.2 or y?
-0.2
Let o = 34 + -33. Is 113/10 equal to o?
False
Let c be -3*(9/((-7371)/(-4921)) - 6). Suppose -2*r + 6 = 4*d, -d = -3*d - 5*r + 15. Which is smaller: c or d?
c
Let l = -0.302 + -1.488. Let a = l - -1.7. Let o = 7.09 + a. Are o and 2 non-equal?
True
Let f be (-21)/(-115) + 16/(-40). Let t = f + -44/115. Which is greater: t or 0?
0
Let l be -2*1/3*15. Let k(g) = 4*g - 7. Let p(s) = -5*s + 7. Let z(u) = 6*k(u) + 5*p(u). Let t be z(l). Is 2 less than or equal to t?
True
Let n = -0.25 + 0.233. Are n and 0.2 unequal?
True
Let q = -176 + 877/5. Let u = 2.93 - -0.07. Let v = 1 - u. Which is greater: q or v?
q
Suppose -2*o - x - 1144 = -0*x, o + 569 = x. Which is smaller: -572 or o?
-572
Let v be (1/(-3))/(7/63). Let c = -727 - -726.76. Wh