- -60. Is f greater than 27?
False
Suppose -33 = 5*n - 2*a, -3*a + 27 = -3*n - 0*a. Let f = -45.67 + 46. Let h = -0.43 + f. Which is bigger: n or h?
h
Let k = 50 + -80. Let p be (16/(-10))/(4/k). Is p at most -3?
False
Suppose 0 = 6*m - 2*m, 5*z = m - 210. Let o be ((-2)/(-6))/(z/(-36)). Do 0 and o have the same value?
False
Let v = -56 + 55.6. Which is greater: v or -7?
v
Let w be 1*1/6*(3 + -5). Is -9.4 at most w?
True
Let y = -1.4 - -1.8. Let c(j) = 2*j - 12. Let o be c(10). Let n = o + -39/5. Is n less than or equal to y?
True
Let s be 18/(-45) - (-72)/205. Let g = 51/205 + s. Do g and 0.2 have the same value?
True
Suppose -2*j - 24 = 4*j. Let y be (0 + -3)*j/(-4). Is -10/3 >= y?
False
Let z = 79763/3 + -26877. Which is smaller: z or -290?
-290
Let x = 4 - 2. Suppose -x = i + 3*k, -2*i + 6 = -4*i - 4*k. Let m = 1/10 - 37/10. Which is smaller: i or m?
i
Suppose -42 = 4*t + 142. Let w = -50 - t. Let b = 1 + -1. Which is smaller: b or w?
w
Let n be (-2 + (-6 - -5))*(-1)/(-1). Is n > -9?
True
Suppose 5 = 3*j - 1. Let w = 3 + j. Suppose -38 + 0 = -5*b + z, 0 = w*z - 10. Which is bigger: b or 7?
b
Suppose 5*o = 4*w - 1433, 5*o - 1101 = 20*w - 23*w. Is w at least 359?
True
Suppose -5*t - 6 = -2*t. Let o be 6*(t - 20/(-8)). Suppose o*k - 19 = -10. Does k = 14/9?
False
Let x = -0.0092 + -85.9908. Do x and 4 have the same value?
False
Let s be (8/6)/4*(-333)/(-3). Let w = s + -36. Which is greater: 2/91 or w?
w
Suppose 0 = k - m, -16*k + 5*m = -17*k. Is -1/543 at least as big as k?
False
Let z = -310 + 267. Which is bigger: -0.1 or z?
-0.1
Suppose 13*c - 48 = 43. Is c < 5?
False
Let v = 606 + -606. Which is smaller: 9/23 or v?
v
Let d = -0.262 + 0.378. Is d <= -0.2?
False
Suppose 4*g + 84 = 476. Suppose -5*y + 2*m + g + 37 = 0, -2*y + 5*m + 54 = 0. Let b = y - 24. Which is bigger: b or 8/5?
b
Let s be -10*2 + -4 - -2. Let f(g) = g**3 + 21*g**2 - 22*g + 19. Let u be f(s). Which is smaller: u or 18?
18
Suppose 3*s = -m - 2, -4*m + 0*s + 2*s + 48 = 0. Let c = -2/17634815 - -88544407071/8429441570. Let t = c - 1/239. Is t < m?
False
Let f = -78 - -78. Which is bigger: f or 2/203?
2/203
Suppose 3*z - 404 = -128. Let i = 47 - z. Let y be 378/i + (-2)/(-5). Which is smaller: y or -0.1?
y
Suppose -5*m = -n + 2, -n = -m + 2 - 0. Let q = 2 + m. Let k = 79 - 1502/19. Which is smaller: k or q?
k
Let w = 25 + -24.44. Let u = -37.56 + w. Let j = u + 36.9. Is j greater than or equal to 12?
False
Let p(c) be the first derivative of c**4/4 + 3*c**3 - 11*c**2/2 - 7*c + 1. Let m be p(-10). Suppose -4 = -4*z + 4*d, 0*z - z + m*d = -7. Is z < -2?
False
Let f = 3/490 - -857/20090. Let t = f + -221/328. Suppose -3*g + 10*g = 0. Is t != g?
True
Let r = -108/5 + 319/15. Which is bigger: -48/7 or r?
r
Let s(w) = -w - 4. Let j be s(-12). Let c be j/12 + (-370)/564. Is c > 1?
False
Let y be (-4)/(-6)*(-21)/28. Let s = 1.3 + 4.7. Let q = s - 4. Which is greater: q or y?
q
Let b = -1148 + 492. Let n = -5897/9 - b. Let v be 20/(-30)*(-9)/(-6)*-1. Does v = n?
False
Let x be -3 + ((-2460)/(-700) - (-1)/5). Which is smaller: 1 or x?
x
Let b be 12/94*11/110. Which is bigger: 0 or b?
b
Let p be 1/(-3) + (-45 - -45). Let v = -1.2 + -7.8. Let w = 7.5 + v. Which is smaller: p or w?
w
Let y = -6.7 + 0.7. Let t = y + 14. Let j = -481.9 + 482. Which is bigger: j or t?
t
Suppose 86*o - 99*o - 884 = 0. Which is smaller: o or -47?
o
Let d be -2*1*(-1 - -2). Let h(l) = 2*l. Suppose -2 = 4*n - i - 6, -4 = -n + i. Let f be h(n). Is f less than or equal to d?
False
Suppose -1325*y = -1311*y - 6286. Is 451 bigger than y?
True
Let x(l) be the first derivative of l**3/3 + 4*l + 17. Let f be x(0). Let t = 5 + -3. Is f less than or equal to t?
False
Let u = 2 - 1. Let r = -4.32 + 0.32. Let b = -2 - r. Which is greater: b or u?
b
Suppose -u + 2*u - 2 = 0. Suppose 5*v + 4 = -0*v - n, u*n = -4*v - 8. Let x(c) = -c**3 + 9*c**2 - 8*c + 6. Let q be x(8). Is q greater than v?
True
Let z(y) = y**2 - 28*y + 130. Let v be z(6). Let g = 2 + 0. Let u = 1 - g. Which is bigger: u or v?
u
Let r be 378/42 + (-100)/11. Is r >= 1/10?
False
Let b be (0 + -1)*3*2/6. Which is bigger: b or -11/36?
-11/36
Let n be 8 - 12 - (130/(-42) - 1). Which is greater: 3 or n?
3
Let f = -132 + 55. Let o = f + 48. Is -31 bigger than o?
False
Suppose -15*g + 1539 = -6*g. Is g at least as big as 171?
True
Let d = 5.95 - 6. Let r = -18 - -17.9. Let o = -1.1 - r. Is o != d?
True
Let q = 194 - 197. Do q and 1 have different values?
True
Let n(f) = f + 13. Let g be n(-13). Let r = -17 - -32. Suppose 7 = -3*k - k + 3*t, -t = 5*k - r. Does g = k?
False
Let y be (-864)/10 - 6/10. Which is smaller: y or -88?
-88
Let d = -70.99 + 73.79. Let b be 1 + (1/(-1) - 0). Which is smaller: d or b?
b
Let q be 2/3 - (-26)/6. Let v(g) = -g**2 + 19*g + 6. Let t be v(-5). Let s = t + 119. Is q less than s?
False
Let f(c) = -9 + 14*c - 6*c + 49 + 31. Let x be f(-7). Do x and -1 have the same value?
False
Let i = 0.471 - 0.388. Which is smaller: i or -1?
-1
Let b = -7 + 668. Which is smaller: 660 or b?
660
Let k = 1.38 - 0.67. Let t = -3.39 - k. Let j = 4 + t. Which is smaller: 5 or j?
j
Let g be ((-2)/2 - -1)/((-20)/10). Suppose g*n = 8*n + 240. Which is smaller: -28 or n?
n
Let g = -43/10 - -19/5. Is -21 bigger than g?
False
Let p = 1141 - 1123. Does 14 = p?
False
Suppose 0 = -3*v + 3*j + 186, 0 = j - 3 + 2. Suppose 0*b = -3*b - 5*l + 39, -4*b + v = 3*l. Which is greater: 19 or b?
19
Let n = 378 + -741/2. Let v(k) = 8*k + 2. Let u be v(3). Suppose 0*j + 3*j = -2*y + u, 3*y = 5*j - 37. Is j > n?
True
Suppose 2*t = -2*m - 2*m - 70, -3*t = 5*m + 88. Is -17 > m?
False
Let t = 13 + -11. Let m be (-2 - 0)/((-1)/t). Let i = 12 - m. Which is greater: i or 7?
i
Let r = 188 - 189. Is -2/757 < r?
False
Let u = 235.6 + -236. Let x = 0.9 - 1.1. Is x <= u?
False
Suppose -3*d + 28 = 4*g, 4*g - 17 = -d + 3. Suppose -2*c - 2*f = -0*f, 3*f = -4*c + d. Let i be (-13)/c + 30/(-40). Is i less than -4?
False
Let s = -40 + 70. Let w = s + -30. Let q = 3 + w. Which is bigger: 0 or q?
q
Let p = -1545 + 1545. Which is bigger: 26/31 or p?
26/31
Let u = -22702/501159 - -2/5631. Which is greater: 1 or u?
1
Let x be -1275 + 3 + -4 + 2. Let y be (2 - -1) + x/420. Which is smaller: y or 0?
y
Let y be (-3 - 0)/(3/(-9)). Let k be (-2)/9 + (-16)/y. Which is greater: k or 3?
3
Let g be (-24)/(-6) + (-6 - (-8810)/4395). Does g = 0?
False
Let f = 64.56 + 1.44. Let q = -67.03 + f. Let z = q + 0.03. Which is smaller: z or -6?
-6
Let h = -66/30685 + -17312147/153425. Let c = -113 - h. Which is smaller: 0 or c?
c
Suppose 0 = 4*j + j - 20. Suppose -3*y + j*y - 4 = 0. Suppose -z - 21 = 3*g, -3*z + 2*g + y = -2*z. Is 1 > z?
True
Let g(s) = -s**3 + s**2 - 1. Let x be g(1). Let h = 12667/4 + -240653/76. Which is bigger: h or x?
h
Let y = 492 - 6389/13. Let w = y - 34/39. Let k = 3.8 + 0.2. Which is smaller: k or w?
w
Suppose 3*i - 20*x + 149 = -18*x, 145 = -3*i - 2*x. Is -335/7 at least as big as i?
True
Let q be (-4 + -4)/((-10)/(-145)). Is q bigger than -116?
False
Let s be -2 + (-59)/(-11) + (-14 - -12). Which is greater: 1/4 or s?
s
Let o = -153.4 + 153. Is -25 <= o?
True
Let t = -591096/1670305 + 1/25697. Is -1 equal to t?
False
Suppose -4*n = 2*m - 10, -2*m - 3*m + 15 = 5*n. Let b be 69/67 + -2 + 1. Which is smaller: m or b?
b
Let t = 0.211 + -0.111. Let c = 1.74 + 0.31. Let b = 0.05 - c. Is b <= t?
True
Let i = -3.6 - -4.6. Is -2.36 at most as big as i?
True
Let s = 547/14 - 235/6. Is -2 less than s?
True
Let r = 12.6314 - -0.0686. Which is bigger: 2/7 or r?
r
Suppose 0 = -5*x + 8*x - 6. Suppose x = -u - u - 4*f, f = 0. Which is smaller: 3/7 or u?
u
Let p = 107 - 68. Is 0 < p?
True
Let c be ((-2)/(-3) - (-25)/(-15))*1. Let m = -44/85 + 19674/38335. Do c and m have different values?
True
Let r be (1 - 0)*2/2. Let a be (13 - 8) + -5 + (-12)/26. Which is smaller: r or a?
a
Let l be 2 + 1/((-10)/683536). Let m = -68094 - l. Let w = -256 + m. Which is smaller: 1 or w?
1
Let b = -12 + -3. Let i = -10 - b. Let f = 143 + -144. Which is smaller: f or i?
f
Suppose -5*x + 0*x = -100. Let b be 15/x + (-50)/(-8). Which is smaller: b or 8?
b
Let p = -7.61 + 5.51. Does p = -3/17?
False
Suppose 0 = -4*a - 2*r + 104, -5*a - 4*r + 41 = -86. Let y be (-42)/15*(2 - a). Let t = 208/3 - y. Is t bigger than 0?
False
Su