 Is 12 at most as big as c?
False
Suppose 0 = -l - 3*l - 52. Let j be (-4 - 300/(-42))/((-30)/126). Is j >= l?
False
Let r = 598 + -595. Is r < 5?
True
Let b = -0.1 - 0. Let r = 10.66 - -8.34. Is b greater than r?
False
Let n = -8 + 7.97. Let h = n + 13.03. Let i = 13.1 - h. Is i < 2?
True
Let u = -0.003 - -33.003. Suppose -5*q + 3*b - 5 = 0, -3*b + 11 = -2*q - 0*b. Is q less than u?
True
Let q be (-30)/945*-28*6/(-3256). Which is greater: 1 or q?
1
Let u(v) be the first derivative of v**4/4 - 2*v**3 - 7*v**2/2 + v - 1. Let y be (-66)/(-10) + (-8)/(-20). Let f be u(y). Is -2/41 bigger than f?
False
Let z be (-12)/24 + (-75)/(-102). Which is smaller: 0 or z?
0
Let h = 96.914 + 0.086. Let i = 119 - h. Which is smaller: i or 2?
2
Let j = -37 - -32. Let u be 2/((j/50)/(-1)). Is 21 greater than or equal to u?
True
Suppose -3*m + 62*k + 244 = 67*k, m - 4*k - 87 = 0. Which is greater: m or 84?
84
Let d be ((-56)/(-70))/(1/(-15)). Let l be (57/d)/(-1) + (-6)/(-24). Is 5 bigger than l?
False
Let b be (-1)/13*2 + (-36290)/(-130). Which is smaller: b or 280?
b
Let g be 62/(-15)*-28 + 22/33. Let t = -54116/465 + g. Which is greater: -1 or t?
t
Suppose -5*y - 4*o - o = -20, 8 = 2*y - 3*o. Let l = -0.16 + 2.96. Let k = 2.7 - l. Is y less than k?
False
Let m be 3/12 - (-3 + (-46)/8). Suppose 12 = -12*n + m*n. Which is smaller: -22/7 or n?
n
Let q(y) = -71*y + 2. Let m be q(1). Let s be (-2)/(-10) + m/120. Which is bigger: 0 or s?
0
Let u be -25 - (9/(-3) - (-1)/(-1)). Which is greater: u or -24?
u
Let h = 1355043934/51 - 26571550. Let j = -2061 - h. Let o = j - 1/3. Which is smaller: o or 1?
o
Let a = 269/4 - 67. Let y be 2/(-4) - (-49)/2. Suppose -3*f = -5*b + 26 + 2, 4*f = 4*b - y. Is f greater than or equal to a?
False
Let a be 3/(-6) - 2040/(-16). Which is greater: 380/3 or a?
a
Let l be (64/6)/(11/(-132)). Let j = -129 - l. Which is smaller: 4/13 or j?
j
Let n = 0.3 + -1.3. Let c = 17.376 - 0.376. Is c < n?
False
Suppose r - 4*o - 8 = o, -5*r + 18 = -3*o. Let q be 13/r*(3 - 6). Suppose 5*a - s + 30 = 3*a, 2*a + s = -22. Does q = a?
True
Suppose -2*p - 2*p - 2*d + 16 = 0, 2*d + 19 = 3*p. Let o = p - 23/5. Which is greater: -2 or o?
o
Let j be 1 + (-6)/3 - -135. Let t = 936/7 - j. Let v = -60 + 59.89. Is t != v?
True
Let u be (-14)/(-36) + (-3)/(-6). Let g = -142/99 + u. Let v = 123 - 123. Which is bigger: g or v?
v
Let t(a) = a**3 - 11*a**2 - a + 2. Let s be t(11). Let n(l) = -l**2 - 9*l - 1. Let p be n(s). Let r be (-6)/21*(p + 0). Which is smaller: -1/2 or r?
-1/2
Let k(t) = -t - 16. Let i be k(-10). Let z be 0 + -2 - i - 3. Suppose z = 4*g + j, 0*j + 3 = 2*g + 3*j. Which is greater: g or -0.18?
g
Suppose 0 = -3*h + 3*l, 2*h - 3*l - 2 = 1. Let p be ((-34)/22 - h)/(-6). Let x = p + 46/99. Which is smaller: -1 or x?
-1
Let i = -712 + -18. Which is smaller: i or -728?
i
Let a be ((-9)/(2376/(-143)))/(1/(-4)). Suppose 0 = 3*y + 5 + 4. Is a smaller than y?
False
Suppose 9*a - 4*a + g - 293 = 0, 49 = a - 3*g. Suppose -3*q - 3*c = -c - a, -2*q + c + 27 = 0. Suppose o + 9 = 25. Is o equal to q?
True
Let f be 28/(-4) + (-1945)/(-35). Is f smaller than 48?
False
Let k = 66 + -63. Let t be 2/(-7) + (-48)/(-21). Suppose 10 = 3*u + s, u + 10 = -t*u + 4*s. Is u != k?
True
Suppose -86 = 2*k - 3*m, -7*m = k - 4*m + 52. Let u = -72 - k. Is u at most as big as -51/2?
True
Let k be (0*(-1)/8)/(-2). Is -4 != k?
True
Let x = -4 - -2. Let d = 21 - 22.9. Let q = d - x. Which is greater: 3 or q?
3
Suppose 2*r - 1 + 9 = 0. Let u = 2 - r. Suppose 0 = 2*x - u - 20. Is x > 13?
False
Let z = -0.281 - -8.281. Which is smaller: z or -4?
-4
Suppose 6*y - 3 = -5*r + 10*y, 2*y + 3 = 3*r. Do 44/19 and r have the same value?
False
Let i = 4 + -1. Suppose 0 = -g + 4*s + 18, i + 10 = g - 3*s. Which is smaller: g or -3?
-3
Suppose -6*y - y + 35 = 0. Let s be 18/(-45) + 2/y. Which is greater: 2.7 or s?
2.7
Let o be (0/8)/(-3 + 2). Let f be 13/78*(o + -1). Suppose -5*g + g + 2*r + 2 = 0, 2*g - 3*r - 7 = 0. Which is greater: g or f?
f
Let z = -47/45 - -4/9. Let y = -1.33 + 1.23. Is z greater than or equal to y?
False
Suppose 3*s = -4*x + 126, 0 = 2*s - 5*s + 4*x + 126. Let l be (8/s)/((-20)/6). Let p = -1 + 0. Are p and l unequal?
True
Suppose o - 35 = -4*j, 2*j = o + 39 - 14. Suppose 4*b = 3*d + 1 + 4, 3*b = -2*d + 25. Suppose d*y - 54 = -4*h, -35 = -4*y - 3*h + 8. Are j and y equal?
True
Suppose 2*y - 69 = 6*y - 3*u, y - 4 = 5*u. Let o = -58 + 38. Which is bigger: o or y?
o
Let x = 2/27861 + 55712/139305. Let o = 794 + -2416/3. Which is smaller: x or o?
o
Let t(g) = -g - 4. Let l be t(-5). Suppose f = -4*p - 10 - l, -2*p = -5*f + 33. Let s = -9 - -16. Is s at most f?
False
Let d(f) = f**2 - 5*f - 4. Let m = 30 - 24. Let k be d(m). Let j = 25 - 47/2. Is j >= k?
False
Let g(z) = -29*z - 459. Let m be g(-16). Suppose 2*a - 1 = -4*j + 3, 17 = 3*a - 5*j. Which is greater: m or a?
m
Suppose -m - 3 = 0, 0*m = -x + 3*m + 2. Let k = -8 - x. Is 0 smaller than k?
False
Suppose 0 = k - 2*i + 30, 0 = -2*k + 3*k - 5*i + 24. Let l = 33 + k. Is l greater than -1/20?
False
Let y = -27 - -168. Let k = 141 - y. Let v = 16 - 40. Which is smaller: k or v?
v
Suppose 577*m - 3*x = 573*m - 1487, 4*m + 1502 = -2*x. Which is bigger: -375 or m?
m
Let m = -903 + 902. Let h = 3 + -4. Let n = -1 - h. Which is greater: n or m?
n
Let s = 0.08 + 0.02. Let z = -0.4 - s. Let w = 0.8 + z. Which is smaller: 2/5 or w?
w
Suppose 5*u + 17*u = 3520. Are 161 and u nonequal?
True
Suppose 4*u + 2*u + 12 = 0. Let w be (0/(-5))/(-3 - u). Suppose w = 5*z - 13 + 8. Is -2/13 at least as big as z?
False
Let s = 327 + -330. Is -19/11 less than s?
False
Suppose 2*r + 72 = 2*b + b, 5*b - 170 = 5*r. Let h = r - 9. Let y = 119/3 + h. Which is smaller: y or 0?
0
Let p(k) = k - 18. Let r be p(9). Let l be (-4)/3 + (-30)/r. Suppose m = 3*m + l. Do m and -7/5 have different values?
True
Suppose 7 = -4*d + 3*o, -d + 2*o - o = 3. Let h(i) = -2*i**3 - 17*i**2 - 15*i - 35. Let a be h(-8). Suppose -2*b - a = -5*k, -3*k - k + 18 = -d*b. Is 1 < k?
True
Suppose 3*c + 35 = -5*v + 2*c, 2*v - 4*c = -36. Let a(o) = o**2 + 8*o - 2. Let w be a(v). Which is smaller: w or -9/7?
w
Let c be (2 + 14)/((-4)/(-2)). Let k be -1*(c - (-4)/1). Is -12 at most as big as k?
True
Let p = 286 - 296. Which is smaller: 12 or p?
p
Let u = -283716/5 - -57101. Let l = -356 + u. Is l bigger than 2?
False
Let a(w) = -w**2 + 25*w - 27. Let p be a(23). Which is smaller: 21 or p?
p
Let d(g) = -g**3 + 25*g**2 + 28*g - 53. Let r be d(26). Is 7/61 smaller than r?
False
Suppose 10*t - 4*i = 7*t + 25, -3*t + 20 = i. Suppose 4*c = -20, -q + 25 = -c - 2*c. Let r = -5 + q. Is t greater than r?
True
Let x = 772/9 - 84. Let z be 9 + (-16)/((-8)/(-2)). Let p be z/(12 - 2)*2. Is x not equal to p?
True
Let r = 599 - 4276/7. Let o = -11 - r. Is o less than -2?
False
Let h(x) = -87*x - 124. Let w be h(-5). Which is greater: 310 or w?
w
Let y = -1 + -1. Let x be y/(-1) - 43/21. Let p be ((-22)/(-77)*-7)/(-2). Is x at most p?
True
Let y = 1/4 + -99/340. Let k = -1/17 + y. Is -11 bigger than k?
False
Let s be (16/(-80))/(-1*(-1 - 0)). Let v = 19 - 33. Which is greater: v or s?
s
Let w = -59 - -68. Which is bigger: w or 30?
30
Let r be -7 - (62208/(-741))/12. Is r greater than 0?
False
Let o = -94 + 101. Suppose -o*v = 26 + 16. Which is greater: v or -9?
v
Let m = 0.021 + -6.041. Let l = m - -0.02. Let o = l + -1. Which is bigger: -1 or o?
-1
Let m = 1122.7 - 1122.2. Let n = -1/92 - -27/368. Which is smaller: n or m?
n
Let h = 1487/42 + -1/14. Is 36 at least as big as h?
True
Let i be (-9)/18*13*-2. Suppose -i = 2*m - 69. Is m at most 28?
True
Let u = 1.9 - -0.1. Let k = -1.96 + u. Let g = k - -0.06. Which is smaller: g or -0.1?
-0.1
Suppose -36*c = 32*c - 5372. Which is bigger: 77 or c?
c
Suppose -293*c + 298*c + 2070 = 0. Is -413 bigger than c?
True
Let s(b) = b**2 - 6*b + 3. Let u be s(5). Let o(g) = -5*g**2 - 2*g. Let w be o(u). Which is smaller: -0.2 or w?
w
Let z = 4.93 - 2.23. Is 10 bigger than z?
True
Suppose -5*z = -z. Suppose -j + z*j + 7 = 0. Suppose g + 4*v - 5 = 4, 2*v = -3*g + j. Which is greater: 3 or g?
3
Let y be (-11 - -2)*2/(-6). Suppose -5*j - 4*f = -62, y*j + 3*f = 5 + 31. Which is bigger: j or 11?
j
Let s = 24 + -19. Let b be (s/(-45))/(2/(-6)). Let a = 0 + -0.2. Is b != a?
True
