= 666/265 - 6/53. Let x be 63/13 - 12/(-78). Let s be (1 - (-12)/(-20)) + 3/x. Is z >= s?
True
Suppose 5*d = 3*y - 395, 0 = -37*d + 41*d - 3*y + 319. Let g = -4 - -6. Which is smaller: g or d?
d
Suppose 6*v = 22*v. Which is bigger: v or 1/246?
1/246
Let v = -1221 - -1204. Is -17 greater than or equal to v?
True
Let h(k) = -4*k + 12. Let p be h(16). Let l = -51 - p. Which is greater: 3 or l?
3
Let s = 27.7 + -34. Let v = -3.5 - s. Let o = v - -3.2. Is o <= -3?
False
Suppose 5*n - 2481 = -2306. Is n >= -1?
True
Let k = -39700/21 - -1890. Let j = 7209330467/1155 + -6241845. Let s = k - j. Which is smaller: s or -1?
-1
Suppose 10*c + 14 = 11*c. Suppose -3*r + c = -13. Is -3 less than or equal to r?
True
Let z = -8 + 11. Suppose -2*d + 0*d - 4*o = -24, -5*o + 8 = -z*d. Let n(u) = -4*u**3 + u**2 + u. Let t be n(-1). Is d less than t?
False
Let n = 22.3 - 22.2. Which is greater: 2/11 or n?
2/11
Suppose 6*a - 4*a - 144 = 0. Suppose 0 = 4*w - 2*v - a, 0 = w + 3*w - 5*v - 66. Is w > 18?
True
Let l(v) = -2*v**3 + 56*v**2 - v + 34. Let w be l(28). Which is smaller: w or 106/17?
w
Suppose r + 8 = -4*g, -3*r - 1 = 4*g + 7. Let d = -1/125 + -229/2625. Which is smaller: d or r?
d
Let s = -1 - -1. Let n = 13451/707285 - 2/13345. Is n at most as big as s?
False
Let l be 1/((-3)/(-6 - 96)). Is l >= 36?
False
Let i(k) = 11*k + 122. Let g be i(-11). Which is greater: -8/219 or g?
g
Let y = -47.7 + 6.7. Let o = 35 + y. Which is bigger: o or -2?
-2
Let d = -40.945 - -41. Let u = d - -0.045. Is u equal to 1.3?
False
Suppose -3*a + 4*k + 62 = 0, 3*a + 0*k = -k + 67. Let v be (-40)/(-6)*(-99)/a. Is -30 less than or equal to v?
True
Let l(g) = 4*g**2 + g + 1. Let d be l(-1). Suppose 9*b - d*b = 4*z - 29, 5*z = -4*b - 15. Let x be z/(2/(-15 - -1)). Is x >= -2?
False
Let z = -126550 - -1140538/9. Let u = -176 + z. Is -0.2 >= u?
False
Let t(m) = -3*m**2 + 7*m - 8. Let u be t(2). Let p be ((2 - 2)/3)/(u/(-2)). Is 6/19 smaller than p?
False
Suppose 127*z - 139*z = 12. Which is bigger: 22 or z?
22
Let q = 8 + -2. Let w(k) = -5*k**3 - 11*k**2 - 7*k. Let u(s) = -s**3 - s**2 - 1. Let b(i) = 6*u(i) - w(i). Let r be b(q). Do 0 and r have the same value?
True
Let t be (-26)/10 - (-4)/(-10). Let s = -919 + 366. Let b = 2751/5 + s. Is b smaller than t?
False
Suppose -10*r = -72 + 19 - 77. Let i(z) = -4*z. Let s be i(-4). Which is smaller: r or s?
r
Let b = -339 + 266. Is -72 at most b?
False
Suppose -22*q = 586 + 888. Are q and -133/2 equal?
False
Let i = -15 - 0. Let k = i - -15.1. Let g be (2/7)/(3/7). Is k bigger than g?
False
Let j be 2 + ((-17928)/1482)/6. Is j less than or equal to 1?
True
Let k = -1693 - -1685. Let w be 6/(-21) + (-352)/42. Is w equal to k?
False
Let a be 5*1 - (1 - 2)*-3. Suppose -8*w + 26 = a. Is w != -1?
True
Let v = 0.31 - 0.276. Let k = v - -0.966. Are k and 2/9 unequal?
True
Let p be (-224)/392 + 50/14. Is p smaller than 41/10?
True
Let r = 116.209 - 0.109. Let w = 132 - r. Let i = w - 16. Which is smaller: 1 or i?
i
Let y(d) = -4*d**3 + 2*d**2 + d. Let r be y(-1). Suppose 3*i - r*t = -2, -5*t + 12 = -5*i - t. Which is bigger: -6 or i?
i
Let s = -218 + 218. Is -8/31 != s?
True
Let c = -375 - -211. Let k be c/24 - 2/12. Let t = 4 + k. Which is bigger: t or -2?
-2
Let f(n) = n**2 - 8*n + 7. Suppose 2*h + 0*h = 20. Let c be f(h). Let j = c + -2. Is 25 at least as big as j?
True
Let s = -3.5 - -3.32. Let y = s - -0.34. Are 0.1 and y equal?
False
Suppose 0 = -2*a + k + 84, 2*a - k - 166 = -2*a. Let p = a + -42. Is -3/31 at least p?
True
Let u = 901/7 + -129. Let m(d) = -d**2 - 3*d + 1. Let w be m(-3). Which is greater: w or u?
w
Let z = 2884/11 - 262. Is z greater than or equal to 2/17?
True
Let p be (-42)/(-10) - 72/(-90). Which is smaller: p or -0.24?
-0.24
Suppose -17 + 7 = 5*s. Let g be (15/(-4))/(s/(-8)). Are g and -16 nonequal?
True
Suppose -l - 1972 = 32652. Let q = l - -6959444/201. Let w = q + -2/469. Which is smaller: 1 or w?
w
Let z be (1/7)/((-24)/28). Let t be (-2)/(0 + 4)*0. Does z = t?
False
Let d = -28.4 - -10. Let m = -2.4 - d. Which is smaller: -1 or m?
-1
Let f be (10/(-28))/(798/56 + -15). Let w(s) = -s + 5. Let z be w(5). Is z > f?
False
Let y(v) = 3*v**2 - 3*v - 3. Let t be y(2). Let d be (-2)/t - 800/(-1128). Is d bigger than 1?
False
Let v be ((-8)/6)/((-18)/81). Let t be (-1)/2 + 15/v. Let c be 3 + -1 + 2 + -2. Do c and t have different values?
False
Let t be 2 + (363/6 - 0). Suppose 5*f - 178 = -518. Let b = f + t. Which is smaller: b or -6?
-6
Let d be (27/(-24)*-2)/(36/(-96)). Let q = 46.1 - 46. Is d bigger than q?
False
Let y(x) = x**3 - 4*x**2 - 13*x + 6. Suppose 39*d = 42*d - 18. Let z be y(d). Which is smaller: z or 4?
z
Let d be (-4)/14*-2 + (-2717)/(-133). Suppose 4*y - 83 = 3*c + 12, 0 = -4*y + c + 85. Which is smaller: d or y?
y
Suppose 2*v = -5*l - 22 - 238, v - 145 = 3*l. Which is greater: l or -46?
-46
Suppose -20*d + 22 = -238. Which is smaller: d or 9?
9
Let d = 2 - 15/8. Let g = 3.13 + -4. Let w = g - 0.13. Is d less than or equal to w?
False
Let b = 609 - 611.9. Do b and 0 have the same value?
False
Suppose 2*q - 2 = 2. Let k be -10*q/(-24)*4. Which is smaller: 3 or k?
3
Let g be 10 - (0 + 0 + -3). Let p = g - 10. Suppose -3*y - o = 12, -5*y - 30 = 2*o + p*o. Is y < -3/2?
True
Let n = -113 + 166. Which is smaller: -2/3 or n?
-2/3
Let z(l) = l + 10. Let u be z(-33). Is u smaller than -26?
False
Let z = 7656/7 + -1091. Which is bigger: z or 4?
4
Let o(n) = -3*n**2 + n - 8. Let i be o(4). Let w be (120/27 + -4)*6/i. Is 0 at least w?
True
Let g = 2.65 + -2.85. Are -1/3 and g non-equal?
True
Suppose -5*b - 31 + 146 = -5*t, -3*t = -b + 27. Let d = b + -15. Suppose 0 = -d*v + v + 5. Is v <= 1?
True
Let q(c) = -4*c**3 + c. Let i be q(-1). Let m = 17 - i. Let g = m - 15. Is 0 at least as big as g?
True
Let a be 4 - ((-580)/(-55) + -2). Which is smaller: a or -6?
-6
Let q be (-76)/39 - 10/15. Let d(r) = 33*r - 829. Let c be d(25). Is q > c?
True
Let t = 1.47 + -0.07. Let l = t + -1.6. Let d = l + -9.8. Which is smaller: 0.1 or d?
d
Let s = -67.53 - -68. Do 3 and s have the same value?
False
Let h(b) = -6*b**2 + 47*b - 2. Let a be h(7). Which is smaller: 36 or a?
a
Suppose 2*m - 4*m = 5*h - 49, -4*h = -4*m + 56. Suppose 4*z = -v + 2 + m, -3*v + 5*z = 28. Let q be -1*((3 - 3) + v). Which is greater: 1/4 or q?
q
Let b(l) = -3*l + 7. Let m be b(8). Suppose -4*o - 45 = -3*p, -5*o = -o + p + 33. Let v = o + -8. Is v equal to m?
True
Let n be 16290/9*(-8)/110. Let b = n + 132. Let o = 29 + -29. Is o at least b?
False
Let g be (-675)/18*(-8)/(-6). Let d be -10*(-5)/g*4. Let b be 42/20 + d - -2. Which is greater: b or 1?
1
Let u = 14878/7 - 2130. Let z = u + 121/28. Which is smaller: -5 or z?
-5
Suppose 2*c = 2*c + 6*c. Which is smaller: 1/5 or c?
c
Let m be 9/(-2)*(-2800)/42. Let c = m - 4498/15. Suppose 6*f = 5*f. Which is smaller: c or f?
f
Let f be ((-12)/(-30))/((-519)/15 + 2). Is f < 1?
True
Let a(x) = 2*x**2 - 28*x + 18. Let p be a(11). Let d = p - -74. Let k(v) = 3*v**2 - 2. Let y be k(3). Are d and y nonequal?
True
Suppose -4*a = 5*j + 2 + 47, -7 = 2*a - j. Let d be (4/15)/(4/a). Let b be 36/40*(7 - (-112)/(-21)). Is d less than or equal to b?
True
Suppose 19*l + 83*l - 102 = 0. Are l and -2/1321 equal?
False
Let l = 10966 - 8717972/795. Which is smaller: l or 0?
l
Suppose 0 = -56*u + 63*u + 6895. Which is bigger: -986 or u?
u
Suppose -814*v = -811*v - 54. Is v > 18?
False
Let b = 3.73 - 3.63. Which is smaller: b or 478?
b
Suppose 20 = -12*c + 17*c. Suppose -l + c*o = 3*o - 4, 0 = 3*l + 4*o + 9. Let b = -1.5 + -0.5. Which is bigger: b or l?
l
Let y = -1.051 + 0.051. Let h = -12 - -18. Let x = -5.99 + h. Is y at most as big as x?
True
Let g be 7 - ((-4431)/(-261) - 10). Does 5 = g?
False
Suppose -7*o - 12 = -3*o. Let h be (-10)/20 - (o/6 - 0). Let l = 0 - -1. Is l <= h?
False
Let n = 1790 - 1933. Which is greater: n or 0.3?
0.3
Suppose 3*m + 0*m = 270. Suppose 13*x - 10*x + m = 0. Is -29 > x?
True
Let i = -200/17 + 4217/357. Let m = -2 + 3. Which is smaller: m or i?
i
Let d = -24 - -21. Let l be (d - 42/(-2)) + -3. Let m be (-3)/l*(-10)/(-6). Which is bigger: 0 or m?
0
Let g(b) = b**2 - 5*b - 419. Let k be g(37). Is 764 less than k?
True
Let f = 34 - 33.7. Let x = -5 + 7. Suppose 0 + x = 2*l. Are f and l equal?
False
Let f