 -4?
False
Suppose -1 = 9*f - 10. Which is smaller: f or 2/409?
2/409
Let k = 282.7 + -46.7. Let n = 231.92 - k. Let c = n - -4.1. Which is smaller: 0.1 or c?
c
Let n(c) = c**2 + c - 1. Let y be n(-2). Let o(w) = 4*w. Let j be o(3). Suppose 4*g = -j, 4*g = p - 6*p - 7. Is p at most y?
True
Let o = -30 - -32. Suppose -b + 1 = o. Which is bigger: 2/15 or b?
2/15
Suppose -5*k - 9 = 2*v, 2*v - 3*k + 15 = -2. Is -25 greater than or equal to v?
False
Let l(d) be the third derivative of -7*d**4/24 - 4*d**3 - 38*d**2. Let g be l(-5). Which is smaller: g or 13?
g
Let j = 4.179 + -0.579. Which is smaller: j or -8/9?
-8/9
Let y(o) = -2*o**2 + 6*o - 2. Let r be y(4). Let b be (-2)/r - (-451)/(-55). Is b less than or equal to -8?
True
Let f be (-3)/(-16)*4/(-60). Let y = f + -207/80. Suppose 1 - 13 = 4*c. Is y >= c?
True
Let o = 0.235 - 0.227. Which is bigger: 2/3 or o?
2/3
Let x(v) = v**3 - 2*v**2 - v + 1. Let m = -45 + 47. Let u be x(m). Which is greater: 2 or u?
2
Let u(d) be the second derivative of d**5/10 - 3*d**4/4 + d**3/2 + d**2 - 2*d. Let s be u(4). Let z be (-3)/s*2 + -5. Is -5 greater than z?
False
Let o be (-12)/18*1 + 274/6. Which is smaller: o or 46?
o
Let n be (-24)/14 - -1 - 156/546. Which is smaller: n or -36/29?
-36/29
Suppose -5*k + 280 - 90 = 0. Let s = -50 + k. Which is smaller: s or -11?
s
Let z = 5 + -5. Let m = 0.226 + -0.016. Let v = m - 6.21. Is v not equal to z?
True
Let y be ((-45)/(-172050))/((-6)/5). Let x = 149113/13764 + y. Let c = 1271/114 - x. Do c and 0 have the same value?
False
Let t = 22.48 - 16.1. Let r = t - -0.62. Which is smaller: -0.3 or r?
-0.3
Let r = -4 - -4. Suppose -5*j + 0*j - 20 = r. Let c be 4/(0 + j) - -2. Which is smaller: 6/13 or c?
6/13
Let g = 31 - -98. Is 129 at least g?
True
Let z = -24.7 + 3. Let a = z - -22. Is a > 6?
False
Let j be ((-42)/28)/(3/(-8)). Suppose -x - 5*f + 6 = -10*f, x - j*f - 5 = 0. Let z be (-18)/(-20) + (x - 2). Is z > -2/3?
True
Let q(c) = -c**2 - 4*c + 2. Let n be q(-4). Suppose 3*b - n = b. Let w be (-144)/(-74) + (-2)/b. Is w smaller than 0.1?
True
Let v = 10.5 - 6.5. Is v at most as big as -0.22?
False
Suppose 0 = 99*h + 355 + 4199. Is h <= -46?
True
Let x be 4/((-5)/1 - (-2 + -2)). Which is greater: x or -40/11?
-40/11
Suppose 5*h + 5*v - 46 = 9*v, 0 = 5*h - 3*v - 47. Is h at most as big as 2?
False
Suppose 0 = -3*p - 6*p + 1170. Is 130 < p?
False
Suppose -5*l = -3*k + 846, -l - 176 = 18*k - 22*k. Is 0.2 bigger than l?
True
Let b(w) = -2*w**3 + 12*w**2 + 13*w - 18. Let u be b(9). Let i = u - -7355/19. Is -1 greater than i?
False
Suppose 0 = -f - 361 + 362. Which is smaller: f or 84/43?
f
Suppose 3*v = 2*u - 56, -3*v + 3*u - 52 = 5*u. Let t = 16 + v. Let g = -1 - -1. Is t bigger than g?
False
Let l = -1403 + 234300/167. Let u = l + -319/2505. Let o be ((-2)/3)/((-14)/21). Are o and u nonequal?
True
Suppose 10*j - 4*j + 114 = 0. Is j <= -9?
True
Suppose 3*h + 2*w - 63 = 0, 36 = 2*h - 3*w + 7. Is h greater than -4?
True
Let h = -76 + 50. Let i = h - -26.06. Let k = i + 13.94. Is k greater than 1/3?
True
Let r(g) = g**3 - 5*g**2 + g + 5. Let d be r(4). Let k = 8 - 6. Suppose 2*p - k*i = i - 31, 0 = 5*p + i + 35. Which is greater: d or p?
d
Let p(d) = -d**2 - 11*d - 5. Let n be p(-9). Let o = 10 + 1. Let b = o + 0. Is b smaller than n?
True
Let r = 49541156365/6812 + -7272630. Let n = r + -18/131. Are -1 and n equal?
False
Let m = -19.3 + 34.9. Let h = m - 15. Is -3/7 less than or equal to h?
True
Let i be 1/((-22)/4) - (-5900)/22. Are 269 and i non-equal?
True
Let m = 33 - 27. Let q = 4 - m. Let t = -1.94 - q. Which is bigger: -2 or t?
t
Let b be (-10)/(-25) + (-242)/5. Let o(r) = r**2 - 47*r + 293. Let v be o(38). Which is smaller: v or b?
v
Suppose -6*h = 4*f - 7*h + 161, f = 4*h - 29. Are f and -39 unequal?
True
Let s = 6.759 + 0.241. Is -14 at least as big as s?
False
Let d(x) = -2*x + 11. Let n be d(-5). Let t be n/(-2)*2/(-3). Let l = t - 5. Is 2 != l?
False
Let l(h) = h**3 + h**2 - 14*h - 3. Let r be l(-4). Suppose -2*g = r*z + 19, -2*g = -5*g + 2*z. Which is smaller: 2 or g?
g
Suppose -17*n + 22*n + 45 = 0. Let b = 8 + n. Is 4 greater than b?
True
Let m be 1/3 + -1 - (-184)/345. Suppose 18*d = 13*d - 10. Let v be (d - -1)*1 + 1. Which is smaller: m or v?
m
Let q(y) = -y**3 + 14*y**2 - y + 8. Let g be (-6)/(-9) + (-14)/(-6). Let o(u) = 7*u - 7. Let v be o(g). Let c be q(v). Which is bigger: -4 or c?
-4
Let t(b) = b - 7. Let o be t(8). Let j = 57/11 - 1003/132. Let a = 11/4 + j. Is o smaller than a?
False
Let x(q) = -2*q - 20. Let y be x(9). Let j = y + 23. Let l be 2/j + (-464)/120. Which is bigger: -0.1 or l?
-0.1
Let j = 1.9 - 2. Suppose 0 = 19*s - 15*s - 8. Suppose -3*v - 2*p - 34 = -7, s*v = 4*p - 18. Is j equal to v?
False
Let k = 48 + -31. Let y(t) = -t + 8. Let d be y(k). Which is bigger: -8 or d?
-8
Let g be (3/(-8) - 0)/7. Suppose r + 12*z - 9*z - 10 = 0, -2*r - 2*z = -8. Which is bigger: g or r?
r
Let s be -5 - ((-4)/2 - -4). Let r = -52 + 45. Let p = r - s. Is p smaller than 1/8?
True
Let a = -2.1 + 3.7. Let o = 21.34 + 6.76. Let s = -28 + o. Which is smaller: s or a?
s
Suppose 0 = -4*w + 2*f + 44, -w = 4*w + 3*f - 77. Is 18 equal to w?
False
Let f = -136 - -72. Let b = f - -65. Let q = -5 - -5.3. Are q and b equal?
False
Let v = -0.065 - 2.635. Let x = -1.3 - v. Let d = -6.6 - x. Does d = 0.1?
False
Let n = -164097/2728 + 83/248. Let j be ((-90)/(-25))/(9/150 + 0). Let s = n + j. Which is greater: 0.2 or s?
0.2
Let c = -2 - 5. Let t = 12 + c. Suppose 5*h = 5*k, -6*k + 3*k - t*h = -8. Which is smaller: -1/3 or k?
-1/3
Suppose 4*k + 44 = 3*t, -48 = 4*k + 3*t - 7*t. Let i be 3 - (k/(-6) - 2). Which is bigger: i or 3?
i
Let i(n) = -n**2 + 11*n - 11. Let p be (-2*(-10)/8)/((-4)/(-16)). Let z be i(p). Is z at least -10?
True
Let s = -0.0581 + 0.3111. Which is greater: 2/7 or s?
2/7
Suppose 24 = -h + 2*z + 3*z, 5*z = -2*h + 12. Let i be h/14 + 410/(-35). Which is smaller: i or 0?
i
Suppose -4*q + 85 = -111. Let g = 22 - q. Let a = 31 + g. Is 3 at most a?
True
Let n(a) = -19*a - 379. Let w be n(-20). Are w and 551 non-equal?
True
Let p be -10*(-2 - 0)*(-30)/40. Is -16 < p?
True
Let q = 1.6 - 1.75. Let j = 0.17 - q. Let y = 0.12 - j. Which is greater: 1 or y?
1
Let g = -2051 + 18485/9. Which is smaller: g or -1/4?
-1/4
Let s(j) = -2*j**2 + 9*j - 2. Let o be 8/(-3 - -5) + 2. Let b be s(o). Let u be (3 + 56/b)*5. Which is greater: u or 1/8?
u
Suppose -3*r + f + 2*f = 9, 3*f = -5*r + 9. Which is smaller: r or -0.08?
-0.08
Let q be (3/(-30))/((-2)/(-15)). Let k = 0.1 + -0.2. Which is smaller: q or k?
q
Let l = -247 + 365. Let p be 10 + -8 + (-230)/l. Is -1 != p?
True
Let m = -223 + 18. Let j be 1/(-2)*(-2445)/(-6). Let y = m - j. Is -2 less than y?
True
Suppose -5*w + 9 = 29. Let h be 6/(-15)*10/w. Which is smaller: h or 2/131?
2/131
Suppose 3*i + 0*i - 450 = 0. Let z = -144 + i. Is z <= 31/6?
False
Let v(k) = k**2. Let x(c) = 4*c**2 + 2*c + 1. Let w(g) = 5*v(g) - x(g). Let n be ((-1)/1*1)/1. Let q be w(n). Which is smaller: 3/5 or q?
3/5
Let r = 81 + -142. Let u = -36 - r. Which is bigger: u or -1?
u
Let f(b) = 4*b**3 - 7*b**2 - 8*b + 1. Let z = 8 - 1. Let m(j) = 5*j**3 - 6*j**2 - 7*j + 1. Let t(c) = z*m(c) - 6*f(c). Let u be t(1). Is u >= 12?
False
Let x = 0.012 - 80.012. Let b = 117 + x. Which is greater: 0.1 or b?
b
Suppose 5*c - 1117 = -1012. Is 152/7 equal to c?
False
Suppose 23 = 2*p - 3. Let n = -2 - p. Let w be 6/n + (-13)/5. Is -3 greater than w?
False
Let h be (2088078/14)/((-1290)/21). Let j = 2428 + h. Let y = j + 1933/860. Which is smaller: 2 or y?
2
Let q = 282.8 - 283. Is -2/41 equal to q?
False
Let j be -30 + 6/5*(-70)/(-28). Suppose u = 0, 0 = -4*o - 2*u - 146 + 42. Is o at most as big as j?
False
Let x = -0.0101 + 0.0051. Is x less than or equal to 1?
True
Let s = -589 + 587. Which is bigger: -26/9 or s?
s
Let q = -14.78 + 12.5. Let n = -0.28 - q. Is -7 > n?
False
Let i = -176 + 178. Which is greater: i or 105?
105
Let l(t) = -2*t**2 - 10*t + 21. Let s be l(-7). Let v be (-64)/6 - (-8)/12. Let h be ((-23)/v)/(s/14). Which is smaller: h or -4?
h
Let v = 41 - 72. Let r = v - -32. Let o be (-11)/(-9) + -1 - 0. Which is bigger: r or o?
r
Let c be -2 + -399*8/(-12). Do 264 and c have different values?
False
Let b = 437.9 + -433. Which is smaller: b or