*k**3 + 109*k**2 + 24*k - 71. Let z be c(-27). Let d(n) = -8*n + 1. Let m be d(-1). Is z less than or equal to m?
False
Let q = 17658.2 + -17528. Which is greater: 1 or q?
q
Let j be (3*336/(-225) - -4)/((-6)/(-18440)). Which is greater: j or -1475?
-1475
Let z be (-35)/12*2/5. Suppose 428*y = 150*y. Is y <= z?
False
Suppose -33*b + 58*b + 9000 = 0. Is -363 < b?
True
Let h be 1 + (2 - 2) + 2. Suppose -4*z - 5*z + 135 = 0. Suppose 3*b = 4*r - 17, -r - h*b + 8 = -z. Is 7 less than r?
True
Suppose -5*h - c = -18, -c = -2*h + 9 + 1. Suppose w - r = 20, w - 2*r = h*w - 70. Suppose -4*b + 8 = 3*y - 10, 5*y - w = -4*b. Is y at least -3?
True
Let b = 55472/35 - 1585. Suppose -5*f - f + 210 = 0. Suppose f*r = 34*r. Is r smaller than b?
False
Let b = 69774 + -18629635/267. Do b and -1 have different values?
True
Let d be 0*(-2)/4 + -56. Let w = 277 + -270. Suppose 3*a = -2*r + w*r + 284, -4*a = -2*r - 122. Is r at most as big as d?
False
Suppose 2*z + 3*t + 5 = 0, -4*z - 4*t = -9*t - 1. Which is greater: -11/41 or z?
-11/41
Let j = 135 - 103.5. Let a = -15.5 - j. Is 2 != a?
True
Suppose 8*f - 42*f - 114*f + 148 = 0. Suppose 2*v + 11 = 5*a - 81, -2*v = 2*a + 92. Is v greater than or equal to f?
False
Let c = 8 + -4. Let z be (1 + 2)/(((-6)/c)/(-1)). Suppose 4*a + w = 0, -z*w = 3*a + 2*w - 13. Is 2/47 not equal to a?
True
Suppose -18*g + 123 = -97*g + 44. Let a = -7/101 + 1041/9191. Which is smaller: g or a?
g
Let g = 116591674250 - 52525598574647181/450509. Let q = g - 7/2489. Let p = -2859/1448 + q. Are p and -3 nonequal?
True
Let a be (-30)/135 - 1298/(-9). Suppose -5*b + a = 4*b. Let v = -24 + b. Which is bigger: -6 or v?
-6
Let s(m) = m**3 - 21*m**2 + 9*m + 126. Let b be s(18). Is -684 greater than b?
False
Let q be (64/(-768))/((-15)/(-35)). Are q and -1 equal?
False
Let l(k) = 4*k**2 - 18*k + 16. Let x be l(4). Let c = -30 + x. Is c at most as big as -21?
True
Let v = 339 - 340. Let b = -170/13 - -55433/4238. Is b less than or equal to v?
False
Let y = 10490 + -9603. Is y not equal to -11?
True
Let z(b) = -b**2 - 5*b + 27. Let t be z(-8). Suppose 8 - 11 = -t*a. Do 2/45 and a have the same value?
False
Suppose -3422*m = -3421*m - 698. Are 695 and m nonequal?
True
Suppose 0 = 4*u + 3*t - 20, 4*u - t + 8 = 3*t. Let b = 209/576 + -9/64. Is u > b?
True
Let b = 154 - 214. Let x = 57 + b. Let p = 0.1 - 0. Which is smaller: p or x?
x
Suppose 2*n = -5*b - 83, -4*n - 192 + 101 = 5*b. Which is bigger: 90 or b?
90
Suppose 2*i = -i + 246. Let l(u) = u**3 + 190*u**2 + 2*u + 82. Let r be l(0). Is i > r?
False
Suppose -21*x + 12 = -19*x. Suppose -21 = -x*k + 45. Is 5 less than or equal to k?
True
Let o(x) = -x**2 + x. Let c be o(0). Let f = 15715 - 644309/41. Which is greater: f or c?
f
Suppose u - 3*u - 5*b - 7 = 0, 2*b - 2 = -2*u. Suppose 0*n + 5*n - 40 = -u*a, 0 = 3*a - 3*n - 30. Let m be a/46*(-13)/(195/(-12)). Does m = -1?
False
Let z = -146177/5 + 29399. Which is greater: 165 or z?
165
Suppose 40 = -10*s + 20. Let c be 385/(-6370) + s/(-28). Is -1 < c?
True
Suppose 5*p - 4 - 10 = 2*b, -2*p + 2*b = -8. Let r = -2 + p. Let g be 2/(-21)*((-3)/33)/(156/(-7722)). Is r != g?
True
Suppose 2*i = -2*u - 14, -4*i = -u - 2*i - 16. Suppose 1591*z - 1612*z = 231. Which is smaller: u or z?
z
Let u be (-12)/(-96) + 11422/16. Let h = -549 + u. Is 166 != h?
True
Suppose 12*m - 2*m = 10. Let u be 0/16 - (0 - m). Let n be (3 - u) + 60 + 2. Which is smaller: n or 63?
63
Let r = 589.311 - 1.311. Let a = 597 - r. Let n = 0.3 - 0.5. Is a equal to n?
False
Suppose -3*a + 3 = -2*i, 43 + 8 = -4*i - 3*a. Suppose 4 = p + 4*b - 3, 0 = 2*b - 2. Let d be p + (i - -4) + 5. Which is smaller: d or 2?
2
Let x = 16 + -28. Let z = x - -28. Let n = -2958.8 + 2958.8. Which is bigger: z or n?
z
Suppose -14*c - 7543 = 49*c + 7388. Is -247 less than c?
True
Let u be 27/13 + (-4)/2. Let q = 28.76 + -367.96. Let x = q - -339. Which is smaller: u or x?
x
Let g = -2 - 1. Let y = g - -2.7. Let b = -12606 + 12604.8. Is b at least y?
False
Let x be ((-168)/(-8) - 17) + (-70)/(-5). Suppose -3*i - 1 = -4*i. Which is greater: i or x?
x
Let h be (9/6)/(6/(-4)). Which is smaller: -2/19203 or h?
h
Let g = 2296 + -2234. Is -1/15 at least g?
False
Suppose -s - 4*h - 100 + 18 = 0, 5*s - 3*h + 364 = 0. Let n be 5504/(-64) - -11*1. Which is smaller: n or s?
n
Let l be (-14)/(-20)*5713/(-1379). Is l at most as big as 2/5?
True
Let t = -7 - -13. Let y = 1107 + -1106. Is t not equal to y?
True
Let i = 29 + -33. Let w be (-2)/i + 28/(-8). Let u be ((-16)/304)/((-1)/w). Which is greater: u or 0?
0
Let n be (-10)/1*198/(-1815). Let z = -11.9 + 11.4. Is n at most z?
False
Let x = 21.6 + -21.7. Which is bigger: x or -52?
x
Let r be 1*-1 + (0 - -2) - (-31020)/23500. Which is smaller: 1 or r?
1
Suppose 12*s + 4875 = -24021. Which is bigger: -2409 or s?
s
Let w be 17/1 + (-111112)/6596. Is w bigger than 1?
False
Let b(h) = 3*h + 24. Let p be b(16). Let d = p - 67. Suppose -d*f = -16*f + 176. Does f = 14?
False
Let g = 0.0519 - -641.9481. Let m = 561 - g. Is -4 smaller than m?
False
Let s = -314 - -543. Let h = 230 - s. Do 7 and h have the same value?
False
Let i(v) = -60*v - 5263. Let w be i(-88). Which is smaller: 38 or w?
w
Let i = -2663032/13 + 205156. Let l = -307 + i. Let s = 5/3 + -2. Is l at least s?
True
Let c = -0.38 - 29.82. Let m = c + 31.9. Let f be (-8)/(-70) - (-4)/(-10). Is m equal to f?
False
Let c(g) = -g**2 - 251*g + 2609. Let h be c(10). Is h <= 24/1847?
True
Let n be (-1)/(2/2)*(13 - 14). Let c = 24078/5 + -4728. Let v = -87 + c. Which is greater: n or v?
n
Let r = -4/697 + -1366/4879. Which is smaller: -538 or r?
-538
Suppose -64*x = -8912 - 1456. Does x = 653/4?
False
Let p = 118833 + -356602/3. Let g be (-7)/((2/(-13))/(-2)). Let a = 58 + g. Which is smaller: p or a?
p
Let t = 522 + -879. Let j = -355.73 - t. Is 0.1 < j?
True
Let m = -255 + 282.8. Let o = 3.2 + m. Let p = 30.9 - o. Which is greater: p or -25?
p
Let c = 20 - 20. Suppose -2*w + 4 = -c*w + 2*k, -4*k - 16 = -4*w. Suppose 0*g - 4*g = -w*g. Is 4 bigger than g?
True
Let b(x) = -42*x + 95. Let v be b(3). Are -5 and v nonequal?
True
Let f = -28/7555 - -35402/2213615. Is -1 at least as big as f?
False
Let b = -269 + 1880/7. Let x be 2/(-5) + 102/105. Let o = x + b. Is -1 less than or equal to o?
True
Suppose -5*k = 3*s - 35, -3*s = 10*k - 7*k - 27. Suppose -w + s = -v + 3, 0 = -2*v - w - 1. Which is smaller: 16/73 or v?
v
Suppose -4*a - 5*l - 1940 = 0, 5*a + 3*l + 1455 = 2*a. Is -482 < a?
False
Let s be (-274)/12 + 3 + (-2)/3. Does -22 = s?
False
Let i be 124/6 - (-1)/3. Let v(h) be the third derivative of h**4/8 + 7*h**3/3 + 2*h**2 + 7*h. Let d be v(3). Are i and d equal?
False
Let x be (-4)/(-38) + (-17061)/893. Are -268/15 and x non-equal?
True
Suppose 2*t - 6*t + 3*x = -40, 3*t - 13 = -2*x. Suppose i - 6 = r, -5*i + 0*i + 15 = -2*r. Suppose 0 = -4*j + i - 9. Is t < j?
False
Suppose 2*l - 5*q - 1035 + 1051 = 0, -4*l + 24 = 4*q. Which is smaller: l or 34/13?
l
Suppose -v = -0*v - 147. Let x(j) = -j**2 + 28*j + 206. Let h be x(30). Which is bigger: h or v?
v
Let x(l) = -10*l - 26 + 4*l - 8. Let f = -7 + 1. Let q be x(f). Which is smaller: q or 4/5?
4/5
Suppose 5*p - 994 + 159 = 0. Suppose 171*m - p*m = -1356. Is -339 >= m?
True
Suppose -56 = 35*l + 84. Let c(z) = -24*z**2 - 2*z + 4. Let r be c(4). Let f = -1175/3 - r. Is f at most l?
False
Suppose -5*f + 24 = -2*r, -8 = -4*f + r + 10. Is f at most as big as -0.117?
False
Let z = 11365.36 + -11365. Which is smaller: -3/13 or z?
-3/13
Let k(j) = -5*j**2 + 24*j - 11. Let p be k(4). Suppose -735 = p*n + 5*y, 4*n + 5*y + 90 = -494. Is -152 equal to n?
False
Let a(k) = k**3 - 3*k**2 + 3. Let d be a(2). Let v be (-124)/(-93) + (-2)/(d + -1). Is v >= 2?
True
Let o be (-68)/(-18) + (-6)/(-27). Let u = 216 - 220. Is o smaller than u?
False
Let q = 0.6 - 4. Let k = -178.6 + 184. Let p = q + k. Which is greater: p or 30?
30
Let w = -364 + -486. Let q be (82/(-70) + 1)/(5865/w). Which is bigger: q or -1?
q
Let w be (1/2)/((-1)/6*3). Which is smaller: w or -5/152?
w
Let g be 6/9*(-3)/(-2)*46. Suppose 2*h = -h + 591. Suppose x = 5*a - h + 51, 4*x = -a + g. Which is bigger: a or 31?
31
Let s be 39/(-516) - 3/12. Let v = 3128 - 3128. Is s > v?
False
Let o(h) = 3*h**2 - 12. Let z be o(5). Let l = z - 24. Which