 -8*m - 6 - 26 = 0. Let i be m + (-2 - 745/(-125)). Is i not equal to 1/4?
True
Let s = -21 + 20. Suppose 12 = 6*o - 3*o. Let x be (-3)/2*o/11. Which is smaller: x or s?
s
Suppose -3*z - 5*v + 2*v - 90 = 0, 3*v = -4*z - 121. Which is smaller: z or 4?
z
Let s = 207 + -227. Which is smaller: s or -19?
s
Let m(x) = 2*x**2 - 2*x + x - 2*x + x**3. Let t be m(-3). Let q = 425 + -426. Which is smaller: q or t?
q
Let y(c) = -c**2 + 7*c - 17. Let d be y(5). Let q be (-1308)/(-672) - (-4)/d. Which is greater: 0 or q?
q
Let j = 4.3 - 44.3. Let p = 40.5 + j. Is p greater than -4?
True
Let w = -1544 + 2618. Which is smaller: w or -2/5?
-2/5
Let p be (-80 + 83)*(-2)/36*-41. Which is smaller: p or 6?
6
Suppose -2*t + 90 = -20. Let z = t + -79. Which is smaller: z or -25?
-25
Let g = 21 + -25. Let v be (g/(-5))/((-21)/(-1050)). Is 41 smaller than v?
False
Let k = 156.5 + -157. Let s = -0.5 - k. Let b be 1*4*(-7)/2. Do b and s have the same value?
False
Suppose 0 = -11*o + 134 - 2. Let x be (o/9)/(4/(-18)). Which is greater: x or -5?
-5
Let a = -3432/17945 - -7/37. Is -1 > a?
False
Let i = 4203/2 - 79807/38. Which is smaller: 2 or i?
i
Let t = -24 - -10. Let d(r) = -r**3 + 4*r**2 - 7*r + 10. Let i be d(2). Suppose b + 17 - i = 2*h, -b - 18 = 3*h. Which is smaller: t or b?
b
Let f be 2 + 0 + 0 - -2. Let n be (4/2)/(45/(-10) + 5). Is n >= f?
True
Suppose l - 2 = -0*l. Let n be 585/2673 - l/11. Let h(f) = -f**2 - 6*f. Let s be h(-6). Is n >= s?
True
Suppose 5*w = -0*w. Suppose -3*a - 4*p - 3421 = -18795, 0 = a - 2*p - 5138. Let z be (-4)/(-18) - 1248/a. Which is smaller: z or w?
z
Let u = -22 + 92. Let a = 60 - u. Which is greater: a or -0.1?
-0.1
Suppose 558 = 2*b + 2*b - y, y = 3*b - 419. Does 138 = b?
False
Let b = 23.7 + 77.3. Let f = 102.84 - b. Let z = f - -0.16. Is z >= 0?
True
Let z(t) = -t**3 + 10*t**2 - 2*t + 21. Let c be z(10). Let n = -12543/44 + 285. Is n at most c?
True
Let l be 5 - (-21)/(-7) - (-62 - 1). Suppose -a - 2*h - 5 = 3*h, 4*a - l = -3*h. Which is smaller: 0.2 or a?
0.2
Suppose 10 = 3*n + 2*n. Let o be n/(-14) + 8/56 + -2. Which is bigger: -1 or o?
-1
Suppose -10*q + 9*q = 3*j - 4, -6 = -4*j - 2*q. Is j greater than 3.43?
False
Let x = 917559203/6 - 10253724109717/67050. Let b = x + 2/1341. Which is smaller: b or -1?
-1
Let x(r) = -2*r**3 + 39*r**2 + 20*r - 18. Let w be x(20). Which is smaller: w or -20?
-20
Suppose -4*j - 29*u = -25*u - 2736, -u + 2727 = 4*j. Is j less than 681?
False
Let p = 30 - 59. Let h = p + 88/3. Is h greater than 16?
False
Let x = 251 - 252. Is 4/55 <= x?
False
Let c(w) = 2*w**2 - 6*w - 6. Let s be c(7). Let h be (-5)/(-2)*(-60)/s. Which is smaller: h or 0?
h
Let f = 170 + -169. Is -2 bigger than f?
False
Let w = -2 - 3. Let l(u) be the third derivative of u**5/60 - u**4/6 - 2*u**3/3 + u**2. Let t be l(3). Is t less than w?
True
Let g = 14.66 - -0.34. Let y = -14.4 + g. Let s = -0.1 + 1.1. Which is greater: s or y?
s
Let f = -34/41 + 551/615. Let l be (-15)/9 - 1/3. Let i = -1 - l. Which is bigger: f or i?
i
Suppose -4*m - 15 = -7*m. Let b be m/(-3) + 12/18. Is 4 less than b?
False
Let y = 71 + -50. Suppose -y*k = -22*k - 51. Is -50 <= k?
False
Suppose -368 = -r - 366. Suppose 5*d - 4*i - i = -20, -5*i - 20 = 0. Let x be ((-30)/(-40))/(r/d). Which is greater: x or -1?
-1
Let g be 10/20 + (-2 - -1). Which is smaller: g or -121?
-121
Let p(l) = -44*l**2 - l + 9. Let c be p(-3). Let w be 2 + (-41)/(-3)*c/2632. Which is greater: w or 1?
1
Let k be (-1636)/(-548) + (-3)/1. Which is smaller: 1 or k?
k
Let z be -42 - (-5)/((-25)/(-15)). Let m = -42 - z. Which is smaller: -6 or m?
-6
Suppose -c + 3 + 5 = 0. Suppose -2 = -q + 2*y - c, -2*q + 5*y = 15. Suppose q = -2*i - 5 - 5. Which is greater: i or 0.2?
0.2
Let m = 45.9 - -2.1. Let v = m + -52. Do -1/5 and v have different values?
True
Suppose -47 = -3*y + 13. Let q = y + -23. Let h(g) = g**2 - 6*g + 5. Let j be h(5). Which is greater: q or j?
j
Let p = 3 - 1. Suppose p = -4*c - 2. Which is smaller: c or -9/8?
-9/8
Let i(q) = q**3 + 11*q**2 + 10*q + 8. Let b be i(-10). Let k(o) = -3*o + o**2 - 7 + o - 6*o. Let d be k(b). Is d > -8?
True
Suppose 0*q - 2*q = 0. Let z be 301/(-196) + ((-100)/(-16))/5. Is z != q?
True
Let d = -0.3 - -0.4. Let g = d + 0.9. Let w = -0.2164 - -0.2164. Which is greater: g or w?
g
Suppose 0*x + 3*x - f - 16 = 0, 3 = -3*f. Let m(c) = c**2 - 6*c + 2. Let d be m(x). Let s be d/18*36/8. Which is smaller: s or 0?
s
Let g = 347 - 353.14. Let q = -6 - g. Let b = -19.34 + 18.34. Is q at least b?
True
Let x = 954.8 + -0.8. Which is greater: x or 0?
x
Let v be 42/20 + -2 + 0. Let t(i) = -37*i - 6. Let w be t(-5). Let z = w + -178. Which is greater: v or z?
z
Let y be ((-8)/150)/((-3)/(-36)*-2). Are y and 0 nonequal?
True
Let k = -1936 + 1102. Is k equal to -835?
False
Let u be ((-3)/(-351))/((-15)/342). Let d = u - 8/39. Suppose 0 = 10*v - 6 - 4. Does v = d?
False
Let f = -66 + 113. Let q = -45 + f. Are q and 0.06 nonequal?
True
Let g = -2558 - -2560. Which is smaller: g or 0.0437?
0.0437
Let j(p) = -17*p - 59. Let m be j(-4). Suppose -4*w = -3*s - 16, 4*w - 21 + 5 = -5*s. Suppose m*g = w*g - 5. Which is bigger: g or 20/9?
20/9
Let i(q) = q**2 + 25*q + 31. Let u be i(-23). Let d be 2/u + 11531/195. Is 57 not equal to d?
True
Let y = 36 - 36. Let g = 4988/11 + -453. Are y and g unequal?
True
Suppose 0 = -5*n + 5*o + 61 + 44, -55 = -3*n - o. Let g = n + -19. Which is smaller: 1/15 or g?
g
Let y be (2 + (3 - 4))/((-3549)/(-6)). Is -1 less than y?
True
Suppose 2*c = 2*s + 3 - 1, 2*c = s. Let a(i) = -11*i - 12. Let p be a(-8). Let f = 230/3 - p. Is f less than c?
False
Suppose o - 8*t = -7*t + 45, 5*o + 5*t = 265. Which is greater: 39 or o?
o
Let i(x) = -1437*x**2 + 1. Let s be i(2). Let a = s + 1522953/265. Is a less than 1?
True
Let f = 3 + -2. Let i = -0.01612 - -0.04412. Which is greater: f or i?
f
Suppose 9*q - 3 = 10*q. Let z be (0 + -2 + 2)*q/(-3). Which is bigger: z or 1/12?
1/12
Suppose 12 = 2*m + 3*v, v + 0*v = -4*m + 4. Suppose 0 = -5*k + 3*d + 378, 3*k + k - 296 = -4*d. Let w = 528/7 - k. Which is smaller: m or w?
m
Let n = 1468 - 1040. Which is bigger: -2 or n?
n
Let y = 2/12957 + 12947/64785. Let k = 0.2 - 0.1. Which is smaller: y or k?
k
Let f = -477 - -477. Is f at most 3/101?
True
Let v(w) = -27*w + 81. Let y be v(3). Which is smaller: y or 46/39?
y
Let h(c) = -117*c + 20. Let b be h(2). Does -214 = b?
True
Suppose 61 = -j + s - 4*s, 2*s = 3*j + 150. Which is greater: j or -70?
j
Suppose 3*q + 56 = -88. Let f be (3/2)/((-18)/q). Which is smaller: 8 or f?
f
Let x = 21.29 + 2.71. Is x > 1?
True
Let b(k) = -k + 5. Suppose 4*p = -3*r + 11 + 24, -p - 2*r + 15 = 0. Let w be b(p). Let y = 182 - 2183/12. Is w not equal to y?
True
Let z = -712 + 755. Do z and 291/7 have the same value?
False
Suppose m = -4*z + 6, 0 = -0*m - 5*m - 3*z + 13. Let d(g) = -4*g**2 - 4*g + 3. Let o be d(2). Let x be -2 + (3 - (-27)/o). Is x at most as big as m?
True
Suppose y = 3*y - 144. Suppose 0 = 2*h + 4*h + y. Is h greater than -14?
True
Let q = 4 - 8. Let u = -2 + q. Let n be 11/u - (-6)/(-4). Which is smaller: -4 or n?
-4
Suppose g + 3 + 1 = 0. Let s be g/(-2)*(-18)/(-12). Suppose -z - s*z = 0. Which is smaller: z or -2?
-2
Let l(p) be the second derivative of -p**3/6 + 3*p**2/2 - 5*p. Let j be l(-12). Let o = j - 19. Which is smaller: o or -6?
-6
Let b = 9903137/36355 - 7/7271. Which is smaller: 271 or b?
271
Let t = 48.3 + -48. Let c = t - 0.3. Is -1.2 <= c?
True
Let o(f) = f**3 - 11*f**2 - 3. Let i be o(11). Let n be (-546)/(-28) + 1 + i/2. Is 18 at least n?
False
Suppose 7 + 9 = -2*o. Suppose 2*l = 3*m + 34, m + 49 = -2*m + 5*l. Is m less than or equal to o?
True
Suppose 17*o + 1467 = 10188. Are 513 and o equal?
True
Suppose k = -3*j - 2, 1 = -3*k - 4*j - 0. Is 20/11 bigger than k?
True
Let l = -6146/5 + 1228. Suppose -t + 2*t - 1 = 0. Let h = -1 + t. Which is bigger: h or l?
h
Let w = -2426 - -502178/207. Which is smaller: 0 or w?
w
Let y = -109/3 + 5011/138. Let s(o) = -o**2 - 17*o - 31. Let r(p) = -p**3 + 21*p**2 - 20*p - 15. Let l be r(20). Let b be s(l). Is b < y?
True
Let j(d) = -d**3 - 42*d**2 - 4*d - 103. Let y be j(-42). Which is bigger: 2 or y?
y
Let q = -4632 + 50907/11. Let m = q - -4. Let v = 1 + -2. Is m bigger than v?
True
Let t = -396 - -252. Let