re v and 729 nonequal?
False
Let y = 63.053 - 0.053. Let f = 64.4 - y. Let w = -0.4 + f. Which is greater: 55 or w?
55
Let o = 2.87 - 5.51. Which is smaller: -29 or o?
-29
Let j = -1971.8 - -1972. Which is bigger: -0.00781 or j?
j
Let g = 0.0812 - 0.0812. Which is greater: g or -7/6?
g
Suppose -2*t - 4*u + 18 = 0, -4*t + 0*u - 4*u + 40 = 0. Let i = -2848 - -2854. Is i greater than or equal to t?
False
Suppose 0 = 2*z + 3*z + 5*a - 75, -4*a = -z + 35. Suppose -z*g + 14*g + 130 = 0. Which is smaller: 24 or g?
24
Let j(k) = -k**3 - 7*k**2 + 10*k - 11. Let u be j(-8). Let f = 77 - 32. Suppose -f*p = -46*p - 25. Is p not equal to u?
True
Suppose -24*n = -9*n - 165. Let k(i) = 12*i**2 + 2*i + 3. Let t(g) = -24*g**2 - 3*g - 5. Let s(p) = -5*k(p) - 3*t(p). Let y be s(1). Is y at most n?
True
Suppose 606 = 61*y + 40*y. Does 398/61 = y?
False
Let m(p) = 147*p**2 - 2*p + 1. Let g be m(1). Suppose -g = 5*r - 36. Let o = -4395 - -4372. Is r > o?
True
Let l = 688907 + -27149135965/39409. Is l less than or equal to -1?
False
Suppose -11 = -5*k + 2*h, 5*k + 0*h - 9 = 3*h. Let r be k*(-9)/((-4698)/48). Which is greater: 1 or r?
1
Suppose 5*i + 3 = 2*i. Let l = 105 - 107. Let r be 4 + l + -6 + i. Is -5 < r?
False
Let a = 12109 - 36332/3. Is 0.37 < a?
False
Let p = 387 + -384. Suppose 0 = 3*o + p, -f - 4 = 5*o - 3*o. Let z = 20 + -28. Are f and z non-equal?
True
Let t be 6/(-11) - (69998461/3422133 - 21). Which is smaller: -1 or t?
-1
Let p = 4457/552 - 211/24. Let x = 18/23 - p. Which is bigger: x or -2?
x
Let y = 5991 - 772819/129. Let v = 1217/2580 - y. Let u = -1/12 - v. Are 0 and u non-equal?
True
Suppose 3*p - 45 + 138 = 0. Let t = 6993 + -6985. Let f = p + t. Do -21 and f have different values?
True
Let o = -161022/11 - -14657. Is 20 at most as big as o?
False
Let p = 3.242 + 0.058. Let m = -4.3 + p. Let x be 11 + -13 + 51/18. Are m and x unequal?
True
Let v = -3.291 - -5.291. Is 21 > v?
True
Let p = -13525.9497 + 13526. Which is bigger: 0.8 or p?
0.8
Suppose -3*b + 10 = 105*o - 103*o, 2*b + 20 = 4*o. Let z(k) = -4*k - 3. Let u be z(9). Let y = -19 - u. Which is smaller: b or y?
b
Let j(u) = 3 + 25*u**2 + u**3 - 23*u**2 - 6. Suppose -2*m - 14 = 5*m. Let t be j(m). Is t at most -3?
True
Let y(g) = 13*g - 194. Let b be y(15). Which is bigger: 24/61 or b?
b
Let y = 3245.363 + -3248. Is y greater than 0?
False
Let j(w) be the third derivative of w**5/60 + w**4/12 + 5*w**3/6 - 79*w**2. Suppose 0 = -3*f - 9 - 9. Let m be j(f). Which is smaller: m or 28?
28
Let p = 321 + -335.3. Let i = p - 1.7. Is -1/3 greater than i?
True
Let i be (0 - 1)/(12/192). Let j = i + 29. Suppose -6*y + j*y = 0. Which is bigger: -3/10 or y?
y
Let r(n) = n**2 - 157*n + 904. Let v be r(6). Are -4673 and v nonequal?
True
Suppose 41*y - 6 = 47*y. Let t be (y/(-2)*-6)/(-1). Suppose -t*f - 120 = -13*f. Is f <= 12?
True
Let m = 1844 - 1841. Let p be -2 + 1/((-3)/(-51)). Suppose p = -3*u + m*t + t, 3*t - 13 = 4*u. Is u bigger than -30/17?
True
Let i(a) = -4*a - 13. Let r be i(-8). Let j be r - (-3 + -1 + 3 - -3). Suppose -j = 2*u - o, 0 = -5*u - 0*u - o - 60. Which is greater: u or -29/3?
-29/3
Let s = -5931 + 7592. Which is smaller: s or 1663?
s
Let d = 0.096 + -2.116. Let t = 1.75 - 1.73. Let g = d + t. Which is smaller: g or -24?
-24
Let v = 9299 - 19123/2. Which is bigger: v or -264?
v
Let w(t) = -64 + 41 + 47 - 2*t. Let n be w(-6). Which is smaller: n or 106/3?
106/3
Let v be 305/(-4) + (-15)/(-60). Let t be v/(-34) - (-4 + 6). Let z be 3/(-6) + 8/16. Which is smaller: t or z?
z
Suppose -v - 3*p - 8 = -3*v, -4*p - 11 = -3*v. Let d be (84/7 + -7)/122. Which is smaller: d or v?
d
Let g be (-84)/70*(20915/10 - 4). Is g < -2507?
False
Suppose -22*u = u + 4692 - 1334. Which is bigger: u or -440/3?
u
Suppose -12*w - 2*n - 732 = -7*w, 760 = -5*w + 5*n. Let j be (-184)/(-13) + -3 + w/(-52). Suppose 0 = -3*c - 11 + 50. Which is bigger: j or c?
j
Suppose -2*w - 92 + 96 = 0. Suppose 5*o = 2*b + 23, -2*o = b + w - 4. Suppose 2*t + 45 = 3*z, 4*z - 49 = o*t + 17. Is t equal to -87/5?
False
Suppose 124*q - 123*q + 1744 = 4*w, q + 2*w + 1792 = 0. Which is greater: q or -1777?
q
Let q be (-29)/((-551)/(-38))*3*33. Is q != -217?
True
Let o(v) = 9*v - 22. Let r be (6/10)/(5/150*3). Let g be o(r). Suppose 36*y - g*y = -4. Which is smaller: y or 8?
y
Let b(c) = 18*c**3 + 22*c**2 - 334*c + 5. Let t be b(8). Is 7957 > t?
False
Let j = 16 - -5. Suppose 4*i = -4*m, 0 = 4*m + 2*i - 5*i - j. Suppose m*b + 2 - 53 = 0. Does 18 = b?
False
Suppose -5*i - 3 - 2 = 0. Let q be (-2)/i*(39 + -19). Which is bigger: q or 1?
q
Let u be -1*12/30*-26670 + 5. Is u < 10672?
False
Suppose 0 = 37*v + 79251 + 39112. Which is smaller: v or -3198?
v
Let t be 7/(42/(-603))*2/3. Which is bigger: -63 or t?
-63
Let s = -2009/3 + 5089/6. Let w = 179 - s. Which is bigger: w or 0?
w
Let s be 15 - (7 - (-9592)/1180). Which is smaller: 0 or s?
s
Let o(t) = -t**2 - 35*t + 198. Let l be o(-39). Let u be 0 + (l/7 - -45). Is 50 greater than or equal to u?
False
Let l(j) = j**3 - 9*j**2 + 16*j - 1. Let t be l(6). Let d be (t/39)/(3/(-10 - -1)). Is d less than or equal to 1/65?
False
Let h = 49308 - 172314. Let b = -1105562/9 - h. Let p = b - 166. Is -1 less than p?
True
Let g be 0 - (6962*(-3)/6 + -6). Is g greater than 3487?
False
Let c = 36327 - 2034285/56. Is c greater than or equal to 1?
False
Let k = -4 + 3. Suppose c - 4*x - 12 = 0, 3*c + x + 104 = 75. Are c and k equal?
False
Let s = 265 + -105. Suppose 156*d + 128 = s*d. Which is bigger: d or 232/7?
232/7
Let b = -0.09218 - 0.00782. Which is bigger: b or 229/26?
229/26
Let x = 46644 + -26892. Which is bigger: x or 19753?
19753
Let n be (-9)/((63/(-6))/(-7)*78/(-121797)). Is 9370 >= n?
True
Let q be ((-2)/(-3))/((-4)/6). Let x = q - 0. Let z be (-54)/17*(-11)/(-33). Is x greater than or equal to z?
True
Let c = -0.2208 - -2.0798. Let f = -0.619 + c. Which is smaller: -2 or f?
-2
Let i(b) = b - 4. Let z be i(7). Suppose 6*s - s + 2*a - 11 = 0, 0 = z*s - 2*a + 3. Let d = 41/4 + -385/36. Does d = s?
False
Let h = 87 - 78. Let b be h/(63/(-16)) - (-2 + 0). Is b smaller than 1/50?
True
Let r = -529268 + 13235882/25. Which is greater: r or 166?
r
Suppose -4*h + 6*s = 7*s + 36, -2*h - 12 = 2*s. Let g(d) = 2*d**2 + 7*d - 120. Let j be g(h). Which is bigger: j or -28?
j
Let f(n) = -32*n**3 + n**2 - n + 1. Let b be f(1). Let k(l) = -15*l**2 - 508*l + 37. Let v be k(-34). Does b = v?
True
Suppose 4*m - 3*m = 25. Suppose k = 0, 5*w - 2*k - m = -4*k. Suppose -2*d + 3 = -w*d. Is d not equal to 1/18?
True
Let a = -15 - -18. Let y be 1/a*-18*2/(-4). Let q(u) = -u**2 + 9. Let p be q(y). Are -1/13 and p equal?
False
Suppose 2*h = -2*d + 378, 4*h - d + 295 = 1041. Let v be (h/2 - (-35)/(-70)) + -1. Is v >= 92?
True
Let u(w) = w**2 - 25*w - 42. Let o be u(27). Let n be (1/(-3))/(20/o). Which is smaller: 1 or n?
n
Let b(z) = -2*z**3 + 2*z + 590. Let l be b(0). Let o = 441 - l. Is o < -149?
False
Let t be 4/(-3) - (-4)/12. Let y(f) = -6*f - 1. Let h be y(t). Suppose 5*z = 3*j + 83, -3*z + h*j + 49 = 3*j. Which is smaller: 18 or z?
18
Suppose -8*b + 2411 + 798 = g, 4*g - 1207 = -3*b. Which is smaller: 2008/5 or b?
b
Let d be 843/4496 - (-1)/8. Let s = -0.4 - -0.4. Which is smaller: s or d?
s
Let y = 34968 + -36468. Is -1500 at least y?
True
Suppose 0 = 3*m + 369*a - 370*a + 31, 4*m - a = -43. Is 0.087 bigger than m?
True
Suppose -5*k - 35 - 25 = 0. Suppose 2*p - w - 371 = 5*p, -2*p = -w + 244. Let j = 112 + p. Which is bigger: k or j?
j
Let g = -26497 + 49257924/1859. Are g and -1 equal?
False
Suppose -2*u = -4*g - 5*u + 643, g = -u + 160. Suppose -g = -9*c + 998. Are c and 128 unequal?
True
Suppose 4*p = 8, -4*u - 4*p = u - 173. Let j = -35 + u. Let k be 2/(j*(-3)/(-36)). Which is smaller: k or -13?
-13
Let t(u) = -2*u**3 - u - 2. Let d be t(-1). Let y = -8 + 9. Let o be (y/(-2))/(12/(-30)). Does o = d?
False
Let m(n) = -17*n**3 - 4*n**2 + 2*n + 1. Let g be m(5). Let w be 12/(-21) - (0 + g/(-21)). Is -107 at most w?
True
Suppose -2*q + 6 = 3*o, -3*q - 5*o + 13 = 3. Suppose 3*t - t = q. Let a = -2152/82615 + -6/1271. Is a greater than t?
False
Let l(z) = 7*z**2 - 5*z + 4. Let q be l(1). Suppose a = -q - 19. Are -23 and a equal?
False
Let i(l) = -20 + 5*l - 170*l**2 - 6*l + 173*l**2. Let j be i(-5). Is j at le