 + 65*i**2 - 145*i - 34. Let x be c(30). Is 108 bigger than x?
False
Suppose -21626 = -0*i - 22*i. Suppose 1851 = -3*c + p, i + 261 = -2*c + 4*p. Which is greater: -615 or c?
-615
Let r = 0.378 + -0.226. Let o = r + -0.152. Which is bigger: 2/11 or o?
2/11
Let x(k) = -14*k + 16*k - 12*k**2 + 34 - 7 - k**3. Let c be x(-12). Suppose 0*n = 3*n - 4*t + c, -5*t = -15. Does 1 = n?
False
Suppose -17*q - 5082 = 33*q + 71*q. Are q and 55 non-equal?
True
Let t = -3471.8 + 3772.99. Let a = -301 + t. Which is smaller: -22 or a?
-22
Let h(r) = -1468*r**2 - 247*r + 485. Let p be h(2). Is p > -5881?
False
Suppose 0 = 60*c + 39199 + 10481. Is -828 less than or equal to c?
True
Suppose 4*a - 3*u = 64, 18*a = 23*a + 3*u - 134. Which is greater: a or 3?
a
Suppose 3*v = 9*c - 11*c + 9, 0 = -2*c - v + 3. Let t be 20/(-6)*(-10)/375*-9. Which is bigger: t or c?
c
Let p be (60/(-4500))/((-2)/(-36)). Do -1 and p have the same value?
False
Let h = 146 + -16. Let z = -5333 + 5211. Let o = z + h. Is 0.9 bigger than o?
False
Let y = 354.3 + -375. Let p = -0.3 + y. Let f = 26 + p. Do 1/2 and f have different values?
True
Suppose 62 = 3*a + 20*t - 22*t, -16 = 4*t. Let n(p) = 6*p**2 - p. Let s be n(-2). Suppose -s = 3*l + 2*o - 78, -l = -o - 24. Is a equal to l?
False
Let n = 303.41 - 340. Let h = n - -3.59. Which is greater: 0.2 or h?
0.2
Suppose -82*s + 76*s - 66 = 0. Let y(f) = 7*f + 2. Let t(a) = -21*a - 6. Let p(u) = -3*t(u) - 8*y(u). Let n be p(-2). Is s < n?
False
Suppose 0 = -0*b + 3*b + 5*x - 45, 4*b = 4*x + 60. Suppose -5*k + b = 0, 4*y - 8*k + 5*k = -13. Which is smaller: y or -3/161?
y
Let c = -1.574 + -0.196. Let l = -1.75 - c. Which is smaller: l or 22?
l
Let a = 79 + -84. Let n be -2 - a/(-10)*-2. Suppose -5 = -5*v, 1 = -3*u + u - v. Is n >= u?
True
Suppose -16*i + 3860 = -21*i. Let r = i - -913. Which is smaller: r or 140?
140
Let k(s) = 2*s - 7. Let n be k(5). Let x = 77 - 305. Let l = x - -230. Is n < l?
False
Suppose 54 = 2*k - 7*i, -3*i = 4*k - 59 + 87. Which is smaller: k or -1/19491?
k
Let c = -2113 - -2131. Do c and 23 have the same value?
False
Suppose -51*s - 6*s = 0. Which is greater: s or -1/32?
s
Let i = -125 + 116. Let s(o) = 2*o**2 + 15*o - 34. Let y be s(i). Is -12 equal to y?
False
Let u = 33215/34 - 977. Suppose -f = -0*f - 18. Let r = -18 + f. Which is smaller: u or r?
u
Let g be (-6)/(-2) + (-45)/(-35)*7. Is g <= -72?
False
Let k(r) = r**2 - r - 6. Let j(o) = -o**2 + 6. Suppose -3*q - 2 - 4 = 0. Let w(b) = q*j(b) - 3*k(b). Let i be w(7). Is i at most 1?
True
Let j = 78614/9 - 594169/99. Let h = -2735 + j. Let s = -1949/1078 - h. Do s and 1 have the same value?
False
Let x be 0 - (-1849003)/(-264147) - (3/3 + -8). Is -1 bigger than x?
False
Suppose -17*l = 4*l + 42. Let a = -396 + 398.43. Is l not equal to a?
True
Let g(m) = -m**3 + 3*m**2. Let t be ((-6)/4 - 0)/((-13)/26). Let n be g(t). Do n and 3/50 have the same value?
False
Let h be -26*(1 + 0)*(-95)/190. Suppose -3*u = 17*i - h*i - 1187, -2*u = -5*i + 1501. Is 300 less than i?
False
Suppose -5*f + 150 = -85. Let n = 46 - f. Do n and 1/156 have the same value?
False
Let r(h) be the first derivative of 1/2*h**2 + 12*h - 15 + 1/4*h**4 + 4*h**3. Let f be r(-12). Do -1/41 and f have different values?
True
Let u = -277 - -247. Suppose -2*s = -3*s - 36. Let w = s - u. Is w > -6?
False
Let j = 618 - 617.9. Which is smaller: -11868 or j?
-11868
Let l = -59 + 108. Suppose -2*b - l = -i + 2, -2*i + 3*b = -97. Suppose 3*c + 0*m = m - i, -4*c + 4*m - 68 = 0. Which is bigger: c or -13?
c
Suppose -4*n - 2*m - 14 = 0, -23*n + 19*n - 5*m - 11 = 0. Suppose 4*o - 12 = -0*o. Suppose -4*g + o*g = 4. Is n equal to g?
True
Let r = 29035.997 - 29068. Let w = r - -0.003. Let q = w - -32.1. Which is smaller: q or 0.2?
q
Let d(c) = -c**3 - 14*c**2 - 2*c + 3. Let k be d(-9). Let p be ((-2)/(-20))/((-8)/k). Which is smaller: 4 or p?
4
Let a(h) = h**3 + 2*h**2 - 39. Let u(r) = 9*r + 99. Let b be u(-11). Let s be a(b). Which is smaller: -40 or s?
-40
Let n be (-74)/(-70) + (-3472)/(-3038). Is 214 equal to n?
False
Suppose 5*j = 3*m - 102, 5*m = -2*j - 0*j - 47. Let l(z) = -19. Let g(b) = -b - 1. Let o(c) = 3*g(c) + l(c). Let i be o(0). Which is smaller: j or i?
i
Let b be 21/7 + (4 - 0). Suppose -147 = 3*o + 3*j, -b*o = -8*o - 4*j - 37. Is -55 at least as big as o?
False
Let b(a) = 435*a**3 + 11*a**2 - 23*a + 6. Let u be b(2). Is u bigger than 3483?
True
Suppose 4*i = -2*c + 16, -3*i = -c + i - 4. Suppose 10 = 4*b + 3*y - 2, -y = -5*b - c. Is b at least 24/49?
False
Suppose -9*t - 9 = 3*w - 6*t, -3*w - 5*t = 5. Let q be (6 - -1) + -4 + 1. Which is bigger: w or q?
q
Let n be (-1 - -2)/(-1 + 0). Let t be (-6)/(-11) + (-9951)/5115. Are t and n non-equal?
True
Let q = -2 - 9.4. Let t = 10.26 + q. Let i = t - -1.173. Is 0.1 equal to i?
False
Let h(p) = 3*p**2 + 67*p - 345. Let i be h(-41). Is 1949 less than or equal to i?
True
Let c = 179844/5 + -35728. Let m = -438241/1820 + c. Let w = -5/84 + m. Which is smaller: -0.1 or w?
-0.1
Let x be (-12 + (-78)/(-6))*1. Is -16/249 != x?
True
Suppose 0 = 32*r - 19*r - 78. Let h be (-9)/r*(-1)/(-3)*2. Let o be (30/12)/(3/(-2)). Is h at most as big as o?
False
Let b be 1 + 14/(-21)*(-27)/(-18). Is -9/35 smaller than b?
True
Let n = 628 - 629. Let z be -3*(-2 + 2 + -2). Suppose 30 = -4*g + z. Which is smaller: g or n?
g
Let v = -5.22 + 2.81. Let p = -2.51 - v. Is 0.12 at least p?
True
Let h = 3.1 - -0.9. Let b = 55.9 - 52.9. Let v = b - h. Is 1 less than or equal to v?
False
Let m be 94/(-18) - 4/(-18) - 31. Let w be -7 + -5 + (-426)/m. Let v be (-4)/(-6) + 20/(-12). Which is greater: v or w?
w
Let p = 10.9 - 11. Which is smaller: 350 or p?
p
Let l be 14/245 + (-120)/2100. Let s be (2/210)/((-2)/4). Is l > s?
True
Let p = -230409 + 230383. Let w(l) = -l**3 + 3*l**2 - 3*l + 1. Let j be w(4). Which is bigger: j or p?
p
Let g(f) = -f**3 + 8*f**2 + 8*f + 12. Let d be g(9). Suppose 0 = 5*n + 3*j - 2, 33 = -d*n - j + 35. Is 3/112 smaller than n?
True
Suppose u + q - 5*q = -1244, 5*u + 6364 = -4*q. Which is bigger: -3805/3 or u?
u
Suppose -5*a + 163 = 193, -d + 614 = a. Is d bigger than 610?
True
Let m = -13.96 - -600.96. Let f = m + -589. Is 3/23 greater than or equal to f?
True
Let g(t) = 3*t**3 + 19*t**2 - t + 37. Let z be g(-8). Which is smaller: -3018/11 or z?
z
Suppose d - 436 = 2*l, -4*d + 5*d - 400 = -2*l. Which is smaller: d or 412?
412
Suppose x = -4*y + 25, 10*x - 6*x - 3*y - 62 = 0. Suppose 4*b - 9 = -x. Are -13/5 and b unequal?
True
Let u be 14 + (3 - 6) + -5. Suppose -4*q = -5*j - 41, 3*q + u*j - 3*j + 3 = 0. Suppose -3*w - i = 4, 12 = -q*i - 4. Which is smaller: w or 3/4?
w
Let t be ((-1 + 0)*2)/((-171340)/(-3360) - 51). Which is smaller: t or 337?
t
Let f be (-14)/(-7)*355/10. Do 57 and f have the same value?
False
Suppose -5*r - 662 = -g, 0 = -9*r + 12*r + 3*g + 408. Is -120 at most as big as r?
False
Let u = 764.68 + -737. Let b = u + 0.32. Let y = -28 + b. Is y less than or equal to -44?
False
Let h = 45 - 181/4. Let z = 47670 + -47669. Which is smaller: z or h?
h
Suppose 0 = -k + d, 13*k = 17*k - 5*d - 1. Let f = 319/8 - 6125/152. Is k smaller than f?
True
Let k(j) = 366*j + 1655. Let o be k(17). Which is smaller: o or 7879?
o
Let i be (97 + 55)/(-19) - (0 - (-4348)/(-374)). Is 3 less than or equal to i?
True
Let h(r) = -2*r**3 + 12*r**2 + 16*r - 12. Let k be h(7). Suppose -k*g + 6*g = -200. Is -51 greater than or equal to g?
False
Let o = 2 + -1. Let k be 1/(-2) + (-858)/(-156). Let y be (k + (1 - 6))/(o/(-1)). Which is greater: y or -1?
y
Let k = 118 + -171. Let b(t) = 5*t + 274. Let m be b(k). Is m greater than 8?
True
Let p = 58.4 - 48. Let t = 10.62959 + -0.02959. Let k = t - p. Which is bigger: k or -19?
k
Let h = -7525 + 7367. Which is bigger: h or -13?
-13
Let a(d) = 44*d - 303. Let y be a(7). Suppose 0 = y*j - 3*q + 3, 3*j = 7*j + 3*q - 3. Which is greater: -24/17 or j?
j
Let t be (3 + -2 + 14)*-2238*(-13)/546. Is 799 greater than t?
False
Let c = -508 + 507.48. Let p = c + 0.59. Do -19 and p have the same value?
False
Let d(m) = -95*m - 1. Let p be d(2). Let y = p + 191. Suppose -3 = -3*c + 6*c. Which is greater: c or y?
y
Let o = -1463.14586 + 1463.1. Which is greater: o or 1?
1
Suppose -2*c - n + 10 = 0, -3*c + c + 18 = 3*n. Suppose c = 14*h - 53. Suppos