1 + -784/29. Which is smaller: 137 or t?
t
Let a = -2123776 - -8002387201/3768. Let g = 3/628 - a. Which is bigger: g or -1?
g
Suppose 6*t = 13 - 25. Let v(f) = -4*f**3 - 4*f**2 + 3*f + 5. Let g be v(t). Is g smaller than 10?
False
Let t = 92 - 155. Let b = 60.2 + t. Which is smaller: -5 or b?
-5
Let b = 6244 - 6254.654. Let y = b - -7.59. Let t = y + 0.064. Which is smaller: 1 or t?
t
Let f = 175933/303 + -1742/3. Suppose 152*x + 232*x - 55*x = -87*x. Is f < x?
True
Let v(p) = 9*p**2 - p + 6. Let f(k) = -k**3 + 2*k**2 + 3*k - 3. Let w be f(3). Let j be v(w). Let u = j + -123. Is u < -33?
False
Let t(a) = a**2 + 100*a - 971. Let n be t(9). Which is smaller: n or 512?
n
Let c(u) = -872*u - 18978. Let z be c(-19). Which is bigger: z or -2406?
-2406
Let z be 106542/(-3105) + 36 - 2/23. Which is smaller: z or -5.1?
-5.1
Let x be (2/215)/(256/(-82400)) + (12 - 9). Let s = -0.1 - -0.2. Which is smaller: x or s?
x
Let w = 0.081 + -5.261. Let o = w + 4.18. Which is greater: o or -16?
o
Let k = 170 + -170.35. Let s(a) = -a**3 - 12*a**2 - 2. Let x be s(-12). Let h be (2/6 - 0)*x. Which is bigger: k or h?
k
Suppose -6*x + x = 15. Let l = 57 - 53. Suppose 8*f - 3*m = 3*f - 18, l*m - 4 = 0. Are f and x equal?
True
Let k = -21994 - -21994. Are -7/1069 and k non-equal?
True
Let j = 11737 + -11753. Which is smaller: j or -339/20?
-339/20
Suppose -c + 3*y + 142 = 0, 50 - 334 = -2*c - y. Suppose 0 = b + 5*u - 53, -5*u = 2*b + 16 - c. Is b at least as big as 72?
True
Let d(t) = 58*t + 71. Let f be d(-5). Let l = f - -267. Is 49 not equal to l?
True
Let j be ((-210)/(-126))/((-5)/(-27)) + -8. Is -63/475 less than or equal to j?
True
Suppose 0 = -k - 3, 7 = -2*p - 3*k. Let n(o) = -13*o**2 - 1. Let j be n(p). Let c be j/(-35) + 7/(-5). Which is greater: c or 1/7?
1/7
Let r = -3.61 - -4.61. Suppose -10*k + 13*k = -3. Let a(n) = -3*n**2 + 2*n + 1. Let f be a(k). Is r != f?
True
Let j be (-264)/165 + 1/2. Let z be 1 - 3 - 9/45*-5. Which is greater: z or j?
z
Let z(b) = 6*b - 279. Let l be z(22). Is -153 > l?
False
Let t be (-793)/(-9) - (-5 + (-5 - -2)). Which is bigger: t or 97?
97
Suppose -2*f - 3*f - 5 = 0. Let z be (-3 - -6)*(-6914)/(-33). Let k = -630 + z. Is f at most as big as k?
False
Let p = 1879 - 1847. Is p less than 25?
False
Let u be (633688/(-45856))/11 - (3 + (-34)/8). Is u at most as big as 1?
True
Let m be 7/(-2)*2012844/(-2478). Which is smaller: 1/3 or m?
1/3
Suppose 53*f + 88935 = 22*f - 24*f. Which is smaller: -1615 or f?
f
Let u(b) = 2*b**2 - 31*b - 42. Let i be u(16). Is 3/46 less than or equal to i?
False
Suppose 24 = -2*t + 8. Let v = -6 - t. Let k be (144/14)/3 + -3 - 1825/175. Is k not equal to v?
True
Let i(w) = 2*w**3 - 5*w**2 - 3*w - 10. Suppose 6*f - 90 = -9*f. Let z be i(f). Let c be 1/(-2)*4 + 446/z. Is 0 <= c?
False
Let d = -15931/10790910 + 2/1495. Which is greater: 1 or d?
1
Let r = -36 - -34. Let s be (-3 + (r - 0))*5. Does s = -26?
False
Let o(p) = 6*p - 32. Let d be o(13). Suppose -d = 7*x - 18. Is -8/3 at most as big as x?
False
Suppose -239*h + 798 = -225*h. Which is smaller: 9 or h?
9
Suppose 0 = l + 4*x + 10, -5 = 4*l + x - 25. Let h be ((-1160)/133)/(-4) + l/57. Is h bigger than 1?
True
Let t = -3/923 - 1701/923. Let w = -98/39 - t. Let b be (-17)/(-14) - 3/6. Is w < b?
True
Let f = -1.85 + -9.05. Let t = f + 9. Let n = t - -0.9. Does 1/65 = n?
False
Let f(u) = u + 9. Let w be f(-6). Let m(n) = -6*n + 23. Let s be m(w). Do s and 17/3 have the same value?
False
Let l = -17573/4998950 + 7/3050. Is l >= 1?
False
Let x = -84 + 110. Let a = -303.1 + 329. Let h = a - x. Is h at most 2/3?
True
Let q = 4.5158 + 0.0542. Let t = -4.46 + q. Which is bigger: 0.09 or t?
t
Let h be (-2)/(-14) - 0 - (-769)/(-5383). Is 4644 != h?
True
Let h = 14 - -51. Suppose 70 = x + h. Suppose 5*g + 5 = x*l, -g + 4 = -6*g + 4*l. Is g smaller than 1/14?
True
Let l be (7761/351)/((-4)/6). Which is bigger: l or -32?
-32
Suppose 351*t - 356*t - 375 = 0. Is t at least -18?
False
Suppose -4*p - 14290 + 2415 = 3*w, -p - 2971 = 3*w. Are -5933/2 and p equal?
False
Let d be -118 - -6*7/3. Is d at least as big as -101?
False
Let z be -1 + (-35)/((-28)/4). Suppose z*h = 13*h - 4104. Which is bigger: h or 455?
h
Let r be (-1 - 66/(-62)) + 0. Let p = 19/186 + r. Let q = 1172037 - 1172037.1. Which is smaller: q or p?
q
Let l(s) = -s**3 + 4*s**2 - 4*s + 3. Let p be l(2). Suppose -30 = -p*n - 0*n. Suppose -3*f + 0*v = 5*v + n, 0 = -5*f - 5*v - 20. Which is bigger: f or -40/9?
-40/9
Let l = 424 + -446.2. Let p = 22 + l. Which is greater: -16 or p?
p
Let g = -340 + 548. Let i be (-5)/((-170)/g) + -6. Suppose 0 = -0*j + 3*j + 6. Are i and j nonequal?
True
Let a(o) = -o**2 + 7*o - 7. Suppose 12*y - 20 = 7*y. Suppose -y = 4*z - 28. Let d be a(z). Is 1/77 < d?
False
Let q(o) = -2*o - 8. Let p(h) = -24*h - 1. Let s be p(1). Let n be -25*((-40)/s)/4. Let l be q(n). Which is smaller: 14 or l?
l
Let a = -116.58215 - -0.17215. Let h = 117 + a. Let v be ((-5)/70)/(1/4). Does h = v?
False
Let j = 5315 + -5379. Which is smaller: -82 or j?
-82
Let c = -4.92 - -4.907. Let n = -0.587 + c. Is 21 at most as big as n?
False
Let x be (-2782)/(-18) + 44/99. Suppose 12*d - x = 121. Is d < -2?
False
Suppose -2*z = z - 216. Let x be 3 - (-194)/(-8)*(-40)/14. Let j = x - z. Do j and -7/5 have different values?
True
Suppose -49 = -5*q - 2*m - 44, 3*q + 4*m = 17. Is -70/141 not equal to q?
True
Let g(x) = -x**2 - 20*x - 31. Let k be g(-18). Let y = 29 + -11. Suppose -5*b + 8*b = y. Is k smaller than b?
True
Let n be (118677/60952 - (-93)/1767) + -2. Is -1 equal to n?
False
Let f be 2 - (-376)/(-24) - (3 - 2). Which is bigger: -15 or f?
f
Let m = -52 - -82. Let y(z) = -z - 4. Let u be y(-8). Suppose -5*j + 10 = 5*w - m, 3*j = u*w + 10. Which is greater: j or 3?
j
Let w be (-83872)/(-5991) - (114 + -100). Is 1 less than or equal to w?
False
Suppose v + v = 0. Let x = 16512 + -231169/14. Are v and x equal?
False
Let d = 24 - -12. Is 39 at least d?
True
Let d = -640/7 + 149127/1631. Let m be (-1)/(-3)*0/2. Is d < m?
False
Let c = -5.9564 + -0.0436. Let m = -4.73 - 1.37. Let j = m - c. Which is greater: j or -1/8?
j
Let m = 157 + -630. Suppose -60*r - 167442 = 171*r + 123*r. Is r <= m?
True
Let v(d) = -3*d**3 - 26*d**2 + 9*d + 3. Let p be v(-9). Suppose -3*f + 6 = -p*b, 5*b + 12 = 4*f + 1. Is -2/7 > f?
True
Let j be 0 - 1 - (30 + -33)*1/3. Which is smaller: j or -2/5331?
-2/5331
Suppose 8 = 32*b + 136. Let a be -48*(b + (-9)/(-3)). Is 50 less than a?
False
Let z = -23.488 - 5.242. Let i = 1.27 - z. Which is bigger: 0.2 or i?
i
Let a(o) = -o**3 + 6*o**2 - o + 3. Let y(c) = 7*c**3 + 4*c - 5. Let n be y(1). Let p be a(n). Is -33 greater than or equal to p?
False
Let c = -7 + 10. Suppose c*d - 2*d = 2. Suppose d*q + 17 + 11 = 0. Is q bigger than -16?
True
Let d = -383.101 - -0.101. Let j = d - -383.266. Is -1 greater than j?
False
Let w(l) = -6*l**2 - 517*l + 203. Let v be w(-85). Which is bigger: v or 797?
v
Suppose 2*m = -3*l - 292, 4*m - 408 = 4*l + 2*m. Let o(t) = -4*t**3 + 13*t**2 + 16*t - 6. Let q be o(5). Are l and q unequal?
True
Let k = 255205/2 + -135813. Let j = -8013 - k. Do 198 and j have different values?
True
Suppose 2*u - 39 = -35. Let l be u/8 - ((-19)/4 + 6). Is l at most as big as -12/85?
True
Suppose -36*f = 986 + 1786. Let v be (-1512)/f + 0/(-5 + 1). Is 20 < v?
False
Let s(z) = z**3 - 356*z**2 + 1758*z - 15. Let i be s(5). Suppose 2*t = 6 + 4. Suppose a + 2 - 5 = -t*u, 3*a + 2*u = -4. Is i smaller than a?
False
Suppose 3*i = 10*i - 70. Let j be -1 - (-2)/3 - (-377)/(-39). Let z be (-9)/2*(j + (-4 - -12)). Which is smaller: z or i?
z
Suppose y - 2*r - 50 = -4*y, 2*r = -10. Let f be ((-2)/y)/(1/6). Let m = 46.5 + -50.5. Is m greater than f?
False
Let b(r) = 9*r**3 + 178*r**2 - 43*r - 59. Let h be b(-20). Let d = -5219/376 - -111/8. Which is bigger: h or d?
h
Let w(j) = -2*j + 11. Let p be -3 + (1/5 - (-174)/30). Let t be (-7)/((-6)/(-9)*p/(-2)). Let q be w(t). Which is bigger: q or 4?
4
Let b = -11213/1324082 + 7/1234. Which is smaller: 1 or b?
b
Let r = 172964511515751/9290 + -18618354330. Let i = r + -1/1858. Is -23 > i?
False
Let v = 11005 + -13734. Is v < -2730?
False
Let c = -39.31 + 10.83. Let f = c + -5.52. Which is greater: f or 5?
5
Let r(b) = -2 - 3*b**3 + 4 + 7*b + 0 - 6*