 or h?
-291
Let m = 8.7 - 7.1. Which is smaller: 17 or m?
m
Suppose 0 = 4*b + 57 + 47. Which is smaller: -1 or b?
b
Let n be 5/(1 + 1 + 1 + -4). Let a = -62 - -313/5. Is n at least as big as a?
False
Let m = 17 + 20. Suppose -51*y + 42*y + 342 = 0. Is y > m?
True
Let g = 20 - 38. Let l = 444 - 440. Is g at least l?
False
Let m = 691 - 455. Is m at most 236?
True
Let o = -818/5 - -340293/2080. Are 0 and o non-equal?
True
Let j be 26100/(-875)*(-28)/6. Which is greater: j or 139?
j
Let n = 516.15 + -516. Which is bigger: n or 26?
26
Let r(b) = -b**2 + 2*b - 1. Let y be r(1). Suppose y = -4*j - 0*j + 20. Let u be j*(3 - (-412)/(-140)). Is u < 1?
True
Let j = -71 + 71.1. Is j at least 41/5?
False
Let f = 687 + -680. Do f and 2 have different values?
True
Let x = -265 - -289. Which is bigger: 20 or x?
x
Let l = -59 - -24. Let w = 2455 + -2490. Is l less than w?
False
Suppose -29*v + 18*v = -22. Let d be (7/(-14))/(2/(-10)). Are v and d equal?
False
Let h = -21 - -29. Let s be h/(-60) + (-264)/45. Is 0 >= s?
True
Suppose 5*y + 20*f - 21 = 17*f, -2*f + 19 = 5*y. Let m(v) = v - 2. Let k be m(6). Which is smaller: k or y?
y
Suppose -3*g - 5*h - 122 = -42, 0 = -g + 3*h - 8. Let b be 7/21 + g/6. Let z be 2/b + 73/(-3). Is -24 less than z?
False
Let v be (1/(-30)*2)/(-38 - -39). Which is bigger: v or 1?
1
Let k be 1/(-8) + 7/(-392). Which is greater: -1 or k?
k
Let r be (-84)/10 - (0 + -2). Let p = 6 + r. Let h = -12 - -12. Is h at most p?
False
Let d = -3534 + 484164/137. Let a = d - 5087/411. Is a <= -11?
True
Let m = 4631/30 + 572/15. Let x = m - 189. Suppose -54*r - 70 + 340 = 0. Which is smaller: x or r?
x
Let l = -2/333 + -146/333. Let g = -1 - -2. Let q(f) = -2*f**3 + 2*f**2 - 2*f + 1. Let u be q(g). Which is bigger: l or u?
l
Let n be 10/155 - 480/(-2170). Which is greater: -24 or n?
n
Suppose -3*u + 18 - 3 = 0. Suppose u*o + 0*o = 20. Suppose 3*v = p - 14, -3*p = -5*v - 26 + o. Do -2 and p have the same value?
False
Let w be (-547)/(-5*(-4)/20) + -5. Does -552 = w?
True
Suppose h + 8 = 3*k, 3*h - 15*k + 12 = -10*k. Is h greater than or equal to -2/7?
True
Let j = -1553 - -1554. Is -2/1911 < j?
True
Let r(l) = -3*l**3 + 8*l**2 - l + 17. Let w(n) = 2*n**3 - 4*n**2 + n - 9. Let j(i) = 3*r(i) + 5*w(i). Let b be j(-4). Is b at most 4?
True
Suppose -2 = -o - 3*r + 4, 4*o + 4 = 2*r. Suppose 4*u - 9*u = o. Suppose -d + 2*d + 5 = u. Is -6 smaller than d?
True
Let n = -154 - -119. Are n and -32 non-equal?
True
Let g(x) = 24. Let a(j) = -j. Let p(c) = 3*a(c) + g(c). Let y be p(8). Is 2/149 less than y?
False
Let g = 450978052/299 - 1508290. Let h = g + 63/23. Which is smaller: 2 or h?
h
Let g(w) = w**3 - 27*w**2 - 58*w + 2. Let h be g(29). Suppose n = -2*v + v + h, 0 = -2*n + 5*v - 24. Let u be 1 + 2*11/(-8). Which is smaller: u or n?
n
Let t = 7474 - 59937/8. Which is smaller: 1/2 or t?
t
Let h = 0.0191 + 0.9809. Which is smaller: h or 151?
h
Let k = -8228/296555 - -2/1295. Which is smaller: 1 or k?
k
Suppose -3*n - 21 = 177. Let h = -69 - n. Which is greater: h or -5/2?
-5/2
Let v = -28 - 14. Let r(g) = 2*g**3 - 36*g**2 - 39*g - 23. Let w be r(19). Does v = w?
True
Let q(v) = -2*v + 1. Let z be q(4). Is z at least -4?
False
Let o = -3.9 + 1.9. Let l = 2287/11 + -208. Which is smaller: o or l?
o
Let r be 6*(2 - (-1)/2). Let y be 5/r*(0 - -21). Let u be (1*-2)/(7 + -8). Which is bigger: u or y?
y
Let r = 20 - 19.9. Let m(t) = -t**3 - 13*t**2 - t + 18. Let z be m(-13). Let k = -61/2 + z. Is k < r?
False
Let g be -6 - 2/24*29184/(-72). Is 27 != g?
True
Suppose -5*p - 5 = 3*y, -3*p - 4 + 5 = y. Suppose -p*s + 3*s = 0. Let n be (-3)/(-9)*12/(-7). Is n at least s?
False
Let o = -2.68 - -2.48. Is 31 bigger than o?
True
Let s = -1/63 + 229/2520. Do s and 1 have the same value?
False
Suppose 6*x - 2*x + 6 = -2*o, 2*o + 5*x + 9 = 0. Let y be o/(-9)*16/(-8). Which is bigger: -0.01 or y?
y
Suppose 0 = 5*w + h - 106, 4*w - 3*h - h = 104. Suppose -q + w + 37 = 5*i, -4*q + 116 = -4*i. Is q > 32?
True
Let x(h) = h**2 - 3*h + 7. Let b(v) = 3*v**2 - 6*v + 13. Let y(m) = 2*b(m) - 5*x(m). Let l be -2*(2 + 2/1 + -2). Let z be y(l). Does z = -5?
True
Let h(s) = -s**2 + 26*s - 49. Let z be h(24). Let x = -1.4 - 4.1. Let q = -1.5 + x. Which is greater: q or z?
z
Let b(n) = n + 146. Let k be b(-3). Which is greater: k or 1?
k
Suppose -w + 68 = 3*h - 3*w, 120 = 5*h - 5*w. Let l be -1*(4 + -3)*0 - -21. Are h and l equal?
False
Suppose -24*b = -2*b - 154. Is b greater than 0?
True
Let s = -17 - -13. Let f be (-6)/s*2/1. Let u be f/(-6)*(-1 + -1). Do u and 1 have different values?
False
Let u = -0.282 + 0.082. Is u at least -6?
True
Let g be (-2)/(-3)*(-5 - 7/(-2)). Is -4/33 <= g?
False
Let i = 100 + -103. Let o = -1 - 0. Is o less than or equal to i?
False
Let w be 495/154 + -3 - 4/(-14). Let m = -0.9 - -0.9. Is m at most w?
True
Suppose -2*j = -10 + 2. Suppose -4*c + c - j*u = 60, 3*u - 57 = 2*c. Let s be -2*(-26)/c + 2. Which is smaller: s or 0?
s
Let s be 1*(1 + 0) - -4. Let i be (-10)/(19/(-2) - -7). Which is smaller: i or s?
i
Let c = -4.89 + 5. Let h = -13.89 - c. Is 0 at least h?
True
Let q = 98 + -89. Let x be 3/(122/(-12) - 3/q). Is 0.11 at least x?
True
Let h = 147 - 141. Let y = -8.4 - -1.4. Let o = y + h. Which is greater: -11/3 or o?
o
Suppose 4*n + 16 = -3*s - s, -3*n - 5*s = 22. Is n > -8/51?
True
Let y(x) = -x**3 + 7*x**2 + 10*x + 1. Suppose -30 = -4*r + 2. Let v be y(r). Let i = 407/24 - v. Is 0 at least i?
True
Let z = -120/19 + -375/76. Suppose 10 = -2*l + l. Is z less than l?
True
Let i = 1199/4 + -298. Which is greater: i or 2?
2
Let m(j) = j**3 - 14*j**2 + 14*j - 10. Let a be m(13). Let l be (-1067)/(-22)*2*1. Suppose -5*n - a*c - l = 0, -2*c = -3*n - 0*n - 43. Is n >= -19?
True
Let m be 60/18*(-9)/(-5). Let q be (-1)/(69/m*-1). Let i be 6/24*(11 + 1) - 2. Which is smaller: q or i?
q
Let d be (6/28)/(2/436). Suppose 2*k = -5*a - 235, 0 = a - 4*k + 4 + 43. Let c = d + a. Are 0 and c unequal?
True
Let d be (-4)/6 - 14/(-12). Let f = -314 - -318. Which is bigger: f or d?
f
Let v = 2567/1541 + 2/67. Which is bigger: 3 or v?
3
Suppose -2*u + 3*z = 250, 0 = -3*u - 2*z - 3*z - 337. Does -119 = u?
True
Let b = -2545/7 + 366. Let s = b + -949/385. Which is smaller: s or 1?
s
Let a(t) = 2*t**2 - 45*t + 40. Let k be a(22). Suppose k*q = 24*q + 12. Let p = 17/9 + -113/36. Are q and p unequal?
True
Suppose -5*r + 186 = -3294. Let c be 2/(-5) - r/(-1590). Let g be (0 - 3) + (-12)/(-4). Is g <= c?
True
Let j = 444 + -309. Is 136 at most j?
False
Let r = -0.136 - -0.056. Let f = -32 - -31. Which is smaller: r or f?
f
Let o = 147 - -65. Let j = -3182/15 + o. Is 4 < j?
False
Suppose -6*g = 4*v - 2*g, 3*v - 3*g = 6. Let y = -9/181 + -156/7783. Do v and y have different values?
True
Let d = 649.14 + -649. Is d at least -14?
True
Suppose 4*l - 13 = 4*i - 17, -2*l = 4*i - 10. Is l at most -28?
False
Suppose 4*z - 2*w = 182, 2*z + w = -w + 88. Let y = -3 + 2. Which is smaller: z or y?
y
Let k be 8/4 - (0 - 1). Let o = -61219/8360 - -549/88. Let a = 70/19 + o. Which is greater: a or k?
k
Suppose -5*f = a - 19, 2*f - a - 4 = -2. Let z be ((-6)/(-156))/(f/(-31)). Let g = z - -3/13. Which is greater: g or -1?
g
Let r = -12.5 + 14. Let u = -6.5 + 6. Let y = r - u. Which is smaller: y or -3?
-3
Let h = 158 - 95. Let t be 546/h + (-2)/(-6). Let j = 37/4 - t. Which is bigger: 0 or j?
j
Let c be (0 - (-16)/(-140))*-25. Which is smaller: c or 3?
c
Let o = 141/2 - 409/6. Let d = 2 + 0. Suppose -1 = -t + d. Are o and t nonequal?
True
Let f(x) be the third derivative of -x**4/8 + 5*x**3/6 - 40*x**2. Let b be f(0). Is b less than 0.3?
False
Let d = 294 - 2052/7. Let f = 4 + -1. Suppose -4*g - q = 2 - 4, 0 = -f*g + 4*q + 11. Is g > d?
True
Let k be (-99)/(-22)*4/(-3). Suppose 11 = 2*o + 3*t, 2*o = o + 5*t - 27. Is o <= k?
False
Let y(v) = -13*v**2 - 5*v + 17. Let m be y(10). Let z = m + 30665/23. Which is bigger: z or -1?
z
Let c be (9780/16)/(-5) - (-35 - -28). Which is bigger: c or -115?
-115
Let z = 149.1 + -159. Let l = -30 + 20. Let k = z - l. Which is greater: 2/23 or k?
k
Suppose 7*l + 20 = 5*l. Let n = l + 12. Is 4 at most n?
False
Suppose -3*o - 30*s = -32*s - 88, 0 = 4*s - 16. Which is smaller: -1/9 or o?
-1/9
Let z(m) = 44*m**2 + 3*m - 3. Let q be z(-3). Suppose 14 = 5*g + q. Let t b