4 - 5. Let b be m(12). Suppose -b*h + h + 4 = 0. Which is greater: h or 0.53?
h
Let s = -149 - -151. Suppose 3*a - s + 15 = -4*r, a - r = -16. Is 1 bigger than a?
True
Suppose 0 = 28*b + 9*b - 975 - 24. Which is greater: -2 or b?
b
Let k(c) = 8*c**3 + c**2 - c. Let q be k(-2). Let i = 117/2 + q. Which is smaller: 64 or i?
i
Let s = 439 - 2901/7. Is -0.13 equal to s?
False
Let i = -329.5 - -330.5. Is -425 < i?
True
Let s = -125096 - -8881971/71. Which is smaller: s or 2?
2
Let j(v) = 29*v + 17. Let a be j(-5). Let w = 84 + a. Is -43 at most as big as w?
False
Let t be ((-3)/5)/(3/(-15) - 0). Suppose -5*k + 20 = -5*g, 5*k + g = t*g + 17. Let l be 6/3 + 3 + 3 + k. Do 11 and l have the same value?
True
Suppose 4 = -2*l + 58. Let o = 31 - l. Let m be ((0/o)/1)/(-2). Does m = 0?
True
Let v(c) = c + 5. Let f be v(0). Suppose f*g - g + 36 = 0. Which is smaller: 0.8 or g?
g
Let z = 10035951 - 10027406.018. Let w = z + -8559. Let c = 0.018 + w. Which is smaller: c or 2/7?
c
Let s = 4 - 0. Let c = 376 + -374. Let f be 29/(-28) + (c - s)/8. Which is smaller: 0 or f?
f
Let z be 193/6360 + (-1)/(-5). Let o = 10/53 - z. Let u be (-166)/747 + (22/18 - 0). Do u and o have the same value?
False
Suppose n - 2*t - 67 = -0*t, t + 65 = n. Let d(m) = -m**2 + 21*m - 106. Let h be d(8). Is n < h?
False
Let k be 11280/(-22) + (-558)/2046. Is -3588/7 at least as big as k?
True
Let t(s) be the third derivative of -7*s**4/12 + 19*s**3/2 + 3*s**2 - 30. Let c be t(3). Let y be 14 + (-2 + 2)/(-1). Which is greater: c or y?
c
Let p = -270.1 - -24.7. Let k = p - -244. Which is greater: k or -1/3?
-1/3
Let h(w) = 3*w**2 - 22*w - 6. Suppose -33*m + 42 = -27*m. Let f be h(m). Are f and -11 equal?
False
Let f be (12/(-14))/((-2)/(-609)*(-39)/26). Which is smaller: f or 165?
165
Suppose 0 = 2*w - 3*n - n - 68, -2*w = -3*n - 70. Let j = w + -38. Suppose -2*q - 4*q + 48 = j. Is 7 greater than or equal to q?
False
Suppose -3*o - 6 = 6*n - 7*n, -4*n = -4*o. Let h be ((-1120)/(-2550))/7*o/2. Is h <= -1?
False
Let q(y) = y**3 - 4*y**2 - 6*y - 25. Let c be q(5). Is -43 greater than c?
False
Let d = -562.177 + 8.177. Are d and 13 equal?
False
Suppose 0 = -18*x + 16*x - 54. Let q be x/36 - (-31)/4. Let p be (-4)/(-14) - ((-278)/q + 2). Which is smaller: p or 36?
36
Let d = 0.042 + -0.342. Let r = -0.39 - 0.41. Let k = 15.2 - r. Which is bigger: k or d?
k
Let p = 20236 + -23029. Is p greater than -2793?
False
Suppose -4988 = 7*c - 11*c. Let m = c - 1858. Let j = m - -2429/4. Which is smaller: j or -5?
-5
Let f = -0.167 - 0.063. Let n = f + 0.13. Which is smaller: -146 or n?
-146
Let u be 10535/1918 - -5 - 8. Let x = u + 1/137. Which is smaller: 4 or x?
x
Let c = 10170 - 10316. Which is smaller: -149 or c?
-149
Let t(d) = d**2 - 11*d - 96. Let y be t(12). Let m = y - -298. Which is bigger: m or 215?
215
Let y = -2.61 - -1.44. Let z = y + -53.83. Let w = z - -56. Do w and -0.026 have the same value?
False
Let m = 1178304893/1116 - 1055829. Let q = m + -2/279. Suppose -2*b - l = -5*b + 3, -b = -l - 1. Which is greater: b or q?
b
Let z(q) be the first derivative of -q**2/2 + 9*q - 44. Let x be z(8). Which is smaller: -6/31 or x?
-6/31
Suppose -195*o = -208*o + 22932. Let p = -322817/183 + o. Are 0 and p nonequal?
True
Let k be (63/(-84))/((-97164)/32). Is -1 >= k?
False
Suppose 3*f - 47 = -4*w + 31, -2*f + w = -63. Let l(t) = t**2 + t - 1. Let u be l(2). Suppose 0 = u*y - 2*y + f. Do y and 5 have the same value?
False
Let y be 11/(165/10) + 14/(-21). Do -2/9305 and y have the same value?
False
Let i be 6/(-15) + (-183293)/(-570). Let j = 319 - i. Let d = 2.4 + -0.4. Do j and d have the same value?
False
Suppose -5*m - 85 = 50. Let u = -17 - m. Let i be (-1 - -8)*(0 - -1). Is u <= i?
False
Let t be 4 + (4775685/240084)/(-5). Let s = t + 3/988. Is s >= 0?
True
Suppose -4*b + 2 - 30 = 0. Let v = 4 + b. Suppose 26 = -2*g + 4*f, f = 45 - 44. Which is smaller: g or v?
g
Let a be (-1164)/97 + (-1 - (-96)/2). Do 971/28 and a have the same value?
False
Let c be (29378/1985)/(0/1 + -10). Which is smaller: c or -2?
-2
Let b(u) = 1135*u + 15. Let k be b(3). Let x be (-360)/k + (4007/3591 - 1). Which is smaller: x or -1?
-1
Suppose 2*q = 11 - 29. Suppose -21*a - 51*a = 71*a + 1287. Are a and q unequal?
False
Let o be (-110)/8 - 12/(-16). Let a = o - -12. Let s = -3417/28 - -489/4. Which is smaller: a or s?
a
Let x(p) = p**3 + 59*p**2 + 318*p + 1. Let s be x(-53). Which is smaller: s or 2/30329?
2/30329
Suppose 5*f = 187 + 63. Let w be f*3*5/(-30). Let y be -4 - (-1)/(w/(-90)). Is y at most as big as 1?
True
Let u be (-11)/(-33)*(-6)/(-2). Suppose 2 = -3*v + 2*f, v = -2*f + 9 + u. Let i be (1 - v) + -5 + 8/2. Is i less than or equal to -11/6?
True
Let m = 30.77 + -32.17. Is 2/25 equal to m?
False
Suppose -5*l = 5*l - 80. Let h(t) = 7*t**3 - 13*t**2 - 9*t + 1. Let y(m) = m**3 - m**2 - 1. Let w(a) = h(a) - 6*y(a). Let g be w(l). Is g less than 2/121?
True
Suppose -x + 2 = x, -3*x + 3 = -5*i. Let l = -27584 - -5489214/199. Are l and i equal?
False
Suppose -5*g + 9*g = -176. Let r = -44 - g. Suppose -14 = 3*w - 2*x, r*x = x - 4. Which is bigger: w or -1/2?
-1/2
Let d = -57 - -58. Suppose 0 = 4*q + q + 40. Let c be ((d/38)/(1/q))/(-1). Which is greater: -1 or c?
c
Let j = -4.393 - -209.543. Let z = j + -205. Let h = -0.1 - 0. Which is smaller: h or z?
h
Let j be (-23 - -2)*(-2)/3. Suppose -1442*c + 1396*c + 506 = 0. Which is smaller: c or j?
c
Let t = -10202/7 - -1452. Let b(l) = -l**3 - 4*l**2 + 9*l + 10. Let y be b(-5). Let q be 6/(y/4 - -1). Which is smaller: t or q?
t
Let k = 6 + -7. Let z = 5164 - 5164.01. Do k and z have different values?
True
Suppose 0 = -49*s + 50*s - 3. Suppose -s*w + 66 = 57. Is -3/14 >= w?
False
Let m(w) = 7*w**2 - 10*w + 9. Let j be m(1). Let s = -71 - -41. Let g be (-1)/(-2)*j - 255/s. Which is bigger: 12 or g?
12
Let t = -22123984/51 - -433834. Is 30 < t?
True
Suppose 124*z + 168 = 132*z. Suppose 4*h - 6 = -10. Which is bigger: z or h?
z
Let z = 15 - 13. Let n(a) = 13 - 6*a**z - 30*a**2 - 15*a - a**3 + 18*a**2. Let s be n(-17). Are s and -22 nonequal?
True
Let q be -2 - (2 - 0 - 5). Let h = 47201 - 708022/15. Which is greater: q or h?
q
Let p = 1290.846 - -1.154. Which is bigger: p or 2?
p
Let a = 759 + -761. Let m = 0 + a. Is 11 > m?
True
Let v = 479/960 - 49/192. Is 1 at least as big as v?
True
Suppose 0 = -4*q - 4*v + 248, 0*v + 191 = 3*q + 4*v. Let r = 56 - q. Are 1/5 and r equal?
False
Let x be 6/182*((-4)/(-13))/(88 - 58). Which is smaller: 0 or x?
0
Let p = 642/23 - 301328/10787. Is p equal to 1?
False
Let y = 1801 - 1458. Is y <= 0.1?
False
Suppose 0 = 131*k - 79809 - 224504. Which is greater: k or 2324?
2324
Let k(v) = 2*v**3 - 4*v**2 + 4*v - 3. Suppose 2 = r - 0. Let l be k(r). Suppose -l*t + 9*t = -4. Is -4/29 <= t?
False
Let s = -0.149 + 1.909. Let u = s - -21.24. Which is bigger: u or 0?
u
Suppose 2*w = t - 826, -10*w + 11*w = t - 829. Suppose 3*s = 5*n - t, s + 172 = n + 4. Which is bigger: 0.1 or n?
n
Let s = -2107.99 - -2107.9. Let z = -15.2 - -18. Let v = z + -3. Are v and s unequal?
True
Let p be 9435/1332 - 2/(-8). Let w = 6 - 3. Which is greater: p or w?
p
Let q = -16690 + 16694.14. Is 5/2 greater than or equal to q?
False
Let s = -38619 + 6449341/167. Which is bigger: s or 1?
1
Suppose 0 = -z + 4*x - 23, 32 = -3*z + 2*x + 3. Let t be (-8 - z)/((-1)/28). Which is greater: t or 55/2?
t
Suppose -3*n + 12 = -6*s + 4*s, 2*n = s + 8. Let w(x) = -x + 1. Let r be w(s). Is r != 8/15?
True
Let m(y) = -3*y**2 - 12*y - 6. Let v be m(-4). Does -1.28 = v?
False
Let a = -11991532/13 + 921867. Let k = 558 + a. Let i = k - -89/117. Is i at least as big as -2/25?
True
Let u = 2/152791 + -183429/2340605329. Is u less than 1?
True
Let o be 5*((-88)/10 + (36 - 27)). Is o at most as big as -18/199?
False
Suppose -11*t + 10*t = -5*o + 4, 0 = t - 4*o + 3. Which is smaller: t or -22/863?
-22/863
Suppose 0 = 40*w - 59*w + 5605. Suppose 5*b = s - 340, -4*s + 5*s + 4*b = w. Is s at least 317?
False
Let g(r) = 2*r**2 - 94*r - 207. Let u be g(49). Let c = -0.3 + 0.5. Let t = c + 1.8. Which is greater: u or t?
t
Let j = 5400 + -5320. Is j < -0.23?
False
Let x = 0 + -1. Let z(w) = w**2 + 16*w + 14. Let s be z(-15). Let f be s*5 - (-616)/140. Which is smaller: f or x?
x
Let o be -2*(954702/