et p = y + 0.16. Let i = 2.1 - p. Is i > -2?
False
Let i = 6780 - 5200. Which is smaller: i or 1579?
1579
Let z = 0.13 + -4.69. Let y = -1.76 - z. Let k = 0.2 + 0.8. Which is bigger: k or y?
y
Let y(v) = 2*v**2 - 11*v - 6. Let r be y(8). Suppose 3*m + 5*k = 74, 5*m - 112 = -2*k + 43. Let x = m - r. Which is smaller: 1/44 or x?
x
Let m(h) = h**3 + 6*h**2 + 2*h - 5. Let p be m(-5). Suppose -3*g + g + p = 0. Let q(r) = r + 10. Let y be q(-3). Which is smaller: g or y?
g
Suppose 23 = 5*r - 4*m - 2, m = 3*r - 15. Let w be (258/215)/(2/r). Is w greater than or equal to 8?
False
Let q(r) = r**3 + 6*r**2 - 18*r - 18. Let n(i) be the third derivative of i**4/6 + 10*i**3/3 - 4*i**2. Let j be n(-7). Let g be q(j). Which is smaller: 21 or g?
g
Let u(d) = d**3 + 22*d**2 + 7*d - 34. Let m be u(-22). Let o = -189 - m. Which is bigger: o or -1/938?
-1/938
Let c be 9/((8/540)/(16/20)). Let l be c/(-4) - -2 - (-24)/48. Which is smaller: l or -118?
l
Let o(q) = -3*q - 78. Let l be o(-21). Let a be (-3)/l*-4 + 3968/(-40). Is -98 at most a?
False
Suppose 4*a + 4*n - 1940 = 0, 2215 = 5*a + n - 202. Let u = -386 + a. Is 94 greater than or equal to u?
False
Let j be (25 - (3 - -15))*(0 + 2). Is 161/12 != j?
True
Suppose 135047 + 145273 = 128*r. Is 2191 <= r?
False
Suppose -y + 3 = 4. Suppose 4*s - 27 = 5*j + 102, -2*s - 8 = 0. Let g be (238/(-118))/(j - -30) - -2. Is y <= g?
True
Let u = -26441 - -9624525/364. Let t(v) = -v**3 - 2*v**2 + v + 1. Let y be t(-2). Which is smaller: y or u?
y
Let s(h) = -2*h**3 - 10*h**2 - h - 5. Let i be 2*(0 + (-30)/12). Let a be s(i). Let n = 23 + 15. Which is greater: a or n?
n
Let d = 803 + -57014/71. Suppose -3*m - m = -3*i - 75, -m = -3*i - 30. Suppose 3*x + 2*r + 11 = 0, x - 6*x = -5*r - m. Is d at most x?
False
Let q = -34848 - -34323. Which is smaller: q or -511?
q
Let m = -8503/20 + 1699/4. Suppose -2*a = g - 6, 0 = 4*a - g - 10 - 2. Is m less than or equal to a?
True
Let i = -107932379/55 - -1963134. Let d = i + -727. Which is greater: d or 0?
d
Suppose 10*m - 5*m = 4*h - 29, 8 = 2*h + 4*m. Let d be (2/(-4))/(h + (-2828)/472). Let b = d - -59. Is 2/9 <= b?
False
Suppose 1537 + 637 - 500 = 62*m. Let y = 2 - -1. Suppose 0*p + p - y*q = 12, 0 = -q + 5. Is p less than m?
False
Let u(l) = 8*l**2 - 11*l - 25. Let q be u(-6). Let x = -330 + q. Let r = -24013/46 + 522. Is x smaller than r?
True
Suppose -5369 = -g + 2762 - 1466. Is -1/4 at least as big as g?
False
Let g = -270.212 - -270. Let r = -0.912 - g. Is -23/6 != r?
True
Let a = 103.1 + -72.9. Let q = 30.1 - a. Let c = -0.3 + 18.3. Is c < q?
False
Let w = -97 + 217. Let c = 117 - w. Which is smaller: c or 27?
c
Let b(o) = 6*o - 29. Let u(j) = -12*j + 58. Let d(v) = -11*b(v) - 6*u(v). Let g be d(-21). Is -156 at most as big as g?
True
Let i be (-6)/(-26)*(-35)/105. Is i greater than 395?
False
Let a = 1/2999 + -6005/20993. Let t be 1 - (3 + -4)*-1. Are a and t equal?
False
Let c = 119 - 21. Suppose -489*z + 484*z + q = -496, 3*z + 4*q = 247. Which is greater: z or c?
c
Let a(x) = -6*x**3 + 5*x**2 - 14*x + 7. Let n(f) = 5*f**3 - 5*f**2 + 13*f - 8. Let d(h) = 4*a(h) + 5*n(h). Let b be d(4). Which is smaller: b or 9?
b
Suppose -4*d = 3*i - 310, 2*i - d = -0*i + 203. Is i greater than -46?
True
Let f = 342 - 491. Let n = f + 137. Which is smaller: n or -2/9?
n
Let q be (14/21)/((-4)/(-39)). Let v = 2 - q. Suppose -c = 10*c + 44. Which is smaller: c or v?
v
Let t = 8561 + -8562. Which is smaller: -27/238 or t?
t
Suppose -934*x - 8283 = 5727. Let p be 38/6*(-10)/4. Is x >= p?
True
Let m(u) = -120*u - 5168. Let y be m(-43). Do 2049 and y have the same value?
False
Let j = -117 + 116. Let t be (-1)/j*(53 - 34). Do t and 19 have the same value?
True
Let a(v) = 9*v**3 + 2*v**2 + 4*v + 8. Let f(z) = -10*z**3 - 2*z**2 - 5*z - 9. Let x(d) = -4*a(d) - 3*f(d). Let k be x(-2). Let c = k - 37. Is c equal to -2/23?
False
Let j be 19516/1020 - (52/(-60) - -1). Which is greater: j or 88?
88
Suppose 14 = -5*o + 2*g + 81, -3*o - g + 49 = 0. Let u = 95 - 82. Is o >= u?
True
Let x = -296.95 - -299. Let i = x - 2.35. Suppose -g + 4*g = -4*h - 6, 33 = -5*g + h. Is g at most i?
True
Suppose 9 = -0*s + s + 3*c, -5*c + 15 = 2*s. Let q = 3 + s. Let v be 0 + ((330/(-72))/5)/(3/(-9)). Is q smaller than v?
False
Suppose -2*n + 3 = -129. Let a = 39 - n. Let c be (a/81)/(1/(-3)). Which is bigger: 2/233 or c?
c
Let x be -2 - (6 + 392770/(-49098)). Do 1 and x have different values?
True
Let r(d) = -4*d - 2296. Let y be r(-47). Is 0 smaller than y?
False
Suppose 0 = 2*b + 10 - 12. Let i(w) = -161*w**2 - 5*w + 1. Let q be i(b). Are q and -165 equal?
True
Let v = -41 - -38. Let h = 4 + v. Let u = -2 + h. Do -2 and u have the same value?
False
Suppose 5*s - 15 = 0, -f + 6*f + s = 3. Let t be -5 + 3 + (-1219)/(-3). Let z = 420 - t. Which is smaller: z or f?
f
Let j(i) = 3*i + 34. Let c be j(-2). Suppose 2*q + 2*q + c = 0. Let o = -1537/3 - -506. Is o less than q?
False
Suppose g = 2*u - 6, 7 = -2*u + 5*g + 29. Let b(l) = -l**2 - 4*l + 107. Let k be b(9). Let z(a) = -6*a**2 - 61*a - 10. Let i be z(k). Is u <= i?
False
Let w be (-37)/(-111) + (-3381)/7. Which is smaller: -484 or w?
-484
Let x be 33/(-55) - (-2062)/(-5). Let t = -413 - x. Is -20/31 smaller than t?
True
Suppose -4940 = 146*s - 66*s - 61*s. Which is smaller: s or -242?
s
Let n = 0.062 + -25.062. Let h = n - -25.45. Let m = 2.45 - h. Do 0.1 and m have different values?
True
Let p = -309.77 + 313. Let v = -4.23 + p. Is -8.7 greater than or equal to v?
False
Let k be 4/(-20) + (-22)/(-10). Let b be (k - 1)*-36*(-1)/2. Which is bigger: 13 or b?
b
Let v(k) = -2*k**3 + 28*k**2 - 36*k - 112. Let r be v(12). Which is greater: 50 or r?
50
Let n = -513.9775 - -514. Let q = 2.9775 + n. Which is bigger: -10 or q?
q
Let g = 0.0135 + -22.7135. Let t = g + 22.9. Is t less than or equal to -5/4?
False
Let z(y) = -y**2 + 4*y - 7. Suppose 2*x + 4*g = 12, -x + 0*g - g + 5 = 0. Let t be z(x). Let b(j) = -j - 7. Let n be b(t). Which is greater: n or 1/6?
1/6
Let c = 4471.6 + -4495. Is c <= 2?
True
Let x = -404 - -393. Which is smaller: x or -45?
-45
Let z(d) = -d**3 + 27*d**2 - 11*d - 76. Let y be z(26). Let j = y - 306. Does j = 3?
False
Let c = -2336 + 63056/27. Let q = -0.121 + 0.321. Is c bigger than q?
False
Let p(b) = -b**2 + 27*b - 71. Let w be p(24). Let t be 30/105 - 3/w. Is -2 less than t?
False
Let j(a) = -a**3 + 7*a**2 + 5*a - 39. Let m be j(7). Let g(c) = -2*c**3 - 3*c**2 + 16*c + 19. Let y be g(m). Is 37 less than or equal to y?
False
Let y be (-870)/(-58) - (-1 - -15). Which is greater: y or 4/3685?
y
Let n = 213 + -211. Let d be 0 + (n - 5) + 118/38. Is 0 smaller than d?
True
Let c = 13 - 31. Let b = c + 27. Let w be 2/((-6)/b)*115/(-15). Which is greater: 25 or w?
25
Let n be (25 - 1)/(126/4). Let g be (-88 - -88)*3/(-12 - -6). Which is smaller: n or g?
g
Let b(j) = 126*j**2 + 8*j - 9. Let r be b(4). Suppose 4*l + 3*k + r = 0, -4*l - 431 = -4*k + 1601. Is -509 >= l?
True
Suppose 3*x - 2 - 7 = 0, -5*m = -2*x - 64. Suppose 2*q - 9*q = 147. Let g = q + m. Is -22/3 not equal to g?
True
Let z(m) = m**2 + 5*m + 3. Let c be z(-6). Let f = -958 - -968. Let n = c - f. Which is smaller: 0.21 or n?
n
Suppose 4*v + 123 = 3*f, -2*f + 2*v = -45 - 35. Let q(t) = -t**3 + 20*t**2 + 22*t - 7. Let x be q(21). Let r be f/(-12) + x/(-56). Which is bigger: -2 or r?
-2
Let n be ((-52)/(-16))/((-37)/5476). Is n less than or equal to -451?
True
Let o be 1 + (-6)/1 - (-16 + 56/5). Does o = 568?
False
Let k = 1306 - 16968/13. Let s = -9416/12207 + k. Is 0 > s?
True
Let a be -1*(4 - 2)*(-538)/4. Let s = a - 181. Is 89 greater than s?
True
Let s be 1*-4 - (-18212)/72. Let b = s + -249. Which is bigger: 1 or b?
1
Let y = 896/27 + -902/27. Does 2/5521 = y?
False
Let n be (3 - (-22)/(-6))*-3. Let x be (-471)/(-45) + -77 + 70. Are x and n unequal?
True
Let h be (-490)/(-16296) - 15/60. Which is bigger: 1 or h?
1
Let n(l) = -l**3 - 12*l**2 + 2. Let j be n(-12). Let h be 13 - (6 + j) - 5. Is h less than -15/22?
False
Let u(n) = n**3 + 4*n**2 - 3*n - 8. Let k be u(-5). Let f = 92 - k. Let b = 138 - f. Which is smaller: b or 30?
b
Let r = -1.4 - -14. Let c = r - 1.6. Let j = c + -20. Which is smaller: j or -1?
j
Let m(l) = -38*l + 445. Let u be m(13). Which is greater: 86 or u?
86
Let b(h) = -6