 Which is greater: 1 or m?
1
Let s be 24/(-3280)*-4*-1. Which is bigger: 0 or s?
0
Let p = -17 - -20. Suppose p*g = 44 + 28. Let a = g + -49/2. Is a greater than or equal to -5/3?
True
Suppose 43 = 8*g + 91. Which is smaller: -1/7 or g?
g
Let q = 675/221 - 42/13. Which is bigger: 0 or q?
0
Let g = -116 + 80. Let o be 1 - 1 - 24/g. Is o at most as big as 25?
True
Suppose s - 2 = 0, 2*s = c - 3 - 4. Suppose 5*l = 4*l - c. Is l >= -0.2?
False
Let r be (-4 - -2)*2/(-4). Let h(g) = -g**3 - 5*g**2 - 9*g - 6. Let c be h(-3). Suppose -5*m = -2*n - 18, 5*m + 2*n - c = -r. Is 3 <= m?
False
Let i be 3/2*1/(-6)*4. Let y be ((3/20)/i)/(90/(-20)). Which is smaller: y or 0?
0
Suppose 0 = -4*j - 0*j. Let y = 9 - 5. Suppose -y*d = 16, 2*z = -2*z + d + 4. Is j smaller than z?
False
Suppose -8*u - 53 = 43. Let t be u - -14 - (-1 - (-1 - 3)). Which is smaller: -2/5 or t?
t
Let t(m) = -1290*m**3 + 3*m**2 + 7*m + 4. Let g be t(-1). Is 1291 equal to g?
False
Suppose 2*f + 5*h = -f - 7, -3*f + 4*h = -11. Let o be f + -1 - (7 - 6). Which is smaller: o or 3/50?
o
Suppose 5*p + 46 = 3*o - 10, -o + 52 = -5*p. Let s be p + 9 + (0 - -7 - 1). Which is bigger: -2 or s?
s
Let v = 5.048 - 5.31. Is v less than or equal to 2?
True
Let o = -1 - -3. Suppose 2*i = 4*d + 80, 42*d = 40*d - 3*i - 56. Is o greater than d?
True
Suppose 38*v - 17 = 21. Which is smaller: -1/10 or v?
-1/10
Suppose -70*o + 84 = -74*o. Let d = -84015/7 + 11981. Let k = o - d. Which is greater: -1 or k?
k
Suppose 2*l - 4*l + 4 = 0. Let k be (-4 + l + 7/2)/(-255). Which is smaller: k or 1?
k
Let o = -37 - -19. Let s = -10 - o. Let y be (s/60)/((-4)/(-5)). Is y >= 1?
False
Suppose 24 = 4*p - 2*z, p = 2*z + 7 + 5. Let s(o) = -o + 11 - 3 + 2*o + p. Let r be s(-12). Is -1/13 < r?
True
Suppose s - 364 + 363 = 0. Is s equal to -4/63?
False
Let p = -137/6 + 433/12. Suppose 29*r - 13 = 28*r. Which is bigger: p or r?
p
Suppose r - 2*a - 4 = 5, 27 = 3*r + 5*a. Let k = -2 + 24. Suppose 2*j = 5*l - 54, 0 = -4*l + 3*j + 24 + k. Which is smaller: l or r?
r
Let m be 2/7 + 270/35. Let q be m/(-14) + 27/35. Which is bigger: -2 or q?
q
Let d(v) be the third derivative of v**6/120 + 7*v**5/60 + 13*v**4/24 + 2*v**3/3 + 8*v**2. Let q be d(-5). Is -11 less than q?
False
Let f = 0.1 + 0.9. Let n = -464 + 447. Is f != n?
True
Suppose -4*w + 4*n = -40, 0 = -3*w - 2*w - 4*n + 14. Suppose -3 = w*c + 3. Which is bigger: 1/5 or c?
1/5
Let j = 396 + -396.1. Which is smaller: -19.9 or j?
-19.9
Let m be 249/9462*(-38)/(-4). Let a be 9/((-1)/((-28)/(-6))). Which is greater: m or a?
m
Let i = 32 + -5. Let c be (0 + i/(-21))*8/12. Is -1 smaller than c?
True
Let l = -138 - -3731/27. Is l < -1?
False
Let v = -22 + 16. Let d be (-387)/(-4) + (-30)/40. Let i = d - 674/7. Which is greater: i or v?
i
Suppose 0 = -957*i + 964*i - 812. Is i <= 233/2?
True
Let t = -31 - -45. Let d(n) = -1 + 1 - 6*n**2 + 3*n - 15*n**3 + 14*n**3 - 14. Let y be d(-7). Is y <= t?
True
Let m = 145/3 - 48. Suppose 4*p - 2*l - 2 = 0, -26 = 5*p - 2*p + 4*l. Let s be (p/4)/((-45)/10). Is m > s?
True
Let f be ((-4)/(-56))/(349/4132). Let s = -4/349 - f. Suppose 1 + 9 = -5*h. Which is smaller: h or s?
h
Let x = -146 + 145. Which is bigger: -19 or x?
x
Let a be ((-16)/(-3))/(35/1929). Let v be (-12)/(-9) + -2 + (-11492)/(-39). Let b = v - a. Which is bigger: b or -1?
b
Let n = 900976/5093 + -1946/11. Is n <= 0?
True
Let f(x) = -x - 4. Let d be f(-4). Let s = 9 - 9. Is d at most s?
True
Let q(h) = -4*h**2 - 25*h - 6. Let g be q(-5). Is -4 < g?
True
Suppose -7*k + 6*k = 3*h + 1, 5*h = -15. Suppose 4*n + 3*c + 10 = 0, n - 3*c - k = 3*n. Let s be (-1 + (-2 - 0))*1. Is s at least n?
False
Let i be ((-3)/(-499))/(189/(-14)). Which is greater: i or 0?
0
Let k(a) be the first derivative of 3*a**2/2 - 13*a - 8. Let o be k(3). Is -1 at most as big as o?
False
Let n = 1 - 1. Let p = -131 - -133. Let x be (-9)/12*(-1)/p. Are x and n equal?
False
Let p = -64 + 61.3. Let t = 2.78 + p. Let l = -0.034 - 0.066. Is t > l?
True
Let p = -2/13 + -9/26. Let f = -0.29 + 0.24. Let z = -10.95 + f. Which is smaller: z or p?
z
Let i be (-6)/(-1) - 4 - -2. Suppose -i*n = -6*n. Suppose 4*s - 5*d = -21, 3*s = -d + 7 + 1. Which is greater: n or s?
s
Let m be (96084/6858 - 14)*9/(-2). Is m equal to 1?
False
Let q = 349 - 350. Is 2/365 not equal to q?
True
Suppose 0 = -11*s + 702 - 669. Let m be (-1)/(-1) + 1*2. Suppose h - 12 = -s*h, 5*h = -m*t - 33. Is t != -15?
True
Let d = 1.2 + -1. Let i = d - -0.8. Let f = 0.108 - 0.308. Is i > f?
True
Let v be 3/((6/4)/(-1)). Let o be v/(-7) - (-212)/(-7). Is -29 at most o?
False
Let y = 30 + -18. Let j = -14 + y. Is j at least 0.2?
False
Let q(i) = i**2 + 3*i + 2. Let m be q(5). Are 41 and m non-equal?
True
Let s = -34.342 + 0.242. Let w = 34 + s. Is -0.16 bigger than w?
False
Let y be (4 + (-63)/14)/(-3). Do y and 2 have the same value?
False
Let z = -11 + 9. Let v be (-58)/(-270)*5 + (z - -1). Let c be (-1)/(-4) - 3/(-4). Which is smaller: c or v?
v
Suppose -95 = -5*x + 160. Let f = x + -51. Which is bigger: 0.1 or f?
0.1
Let u be (0 + 0 - 1) + 66. Let a(q) = q**3 - 24*q**2 + 126*q + 97. Let h be a(16). Is h greater than u?
False
Suppose -2*h + 19 = -6*z + 7*z, z + 4*h - 9 = 0. Which is greater: -3/2 or z?
z
Let r = 602 - -428. Is r bigger than 1029?
True
Let c be (14 - 8)*(41/21 - 2). Which is smaller: -12.7 or c?
-12.7
Let i be (-187)/(-605) - (3/(-33) + 0). Let z = -124 - -129.92. Let v = z + -6. Is i at most v?
False
Let y = 113 - 114.1. Let d = -0.4 - y. Which is bigger: d or 0.1?
d
Suppose -3*n = -z, 0 = -n + z + 18 - 16. Are 1/40 and n unequal?
True
Let v(y) = y**2 - 25*y + 4. Let m be v(25). Suppose 31 = -m*f - 9. Which is smaller: -7 or f?
f
Let g be 15/(-35) - (-5590)/36498. Let q = g + 5/79. Let c = q + -17/33. Is c at most 0?
True
Let n = 67 - 32. Let b = -17 + n. Let d = 18.5 - b. Are 2 and d unequal?
True
Let r(b) = -11*b**3 + 8*b**2 + 14*b - 1. Let y be r(-2). Which is bigger: 94 or y?
94
Let i be (-5 - -61) + (4 - (-3)/(-1)). Which is smaller: i or 54?
54
Let r = 17 + -5. Let c = -12 + r. Is c != 1/41?
True
Let y be -1 + 1/(3/(-45)). Suppose -118*d + 34*d - 1512 = 0. Which is greater: y or d?
y
Suppose 3*g = 4*w - 36, 4*g - 8 = 6*g. Let v = 11 - w. Let s be 2/8 - v/100. Is s bigger than 0?
True
Suppose 12 = -f - 31. Let t = 31 + f. Which is smaller: t or -11?
t
Let n = -3/5 + 1/10. Let t(h) = -2*h**2 + 7*h - 4 + 14 + 3*h**2. Let g be t(-4). Is n > g?
True
Let v(c) = 2*c**3 + 11*c**2 - 22*c - 18. Let q be v(-7). Which is bigger: -3 or q?
-3
Let f = 86.36 - 0.36. Let r = -85 + f. Which is greater: 0.2 or r?
r
Let h(z) = -z**3 + 10*z**2 - 46*z - 37. Let r be h(9). Which is smaller: -372 or r?
-372
Let z(l) = -l - 2. Let k be z(0). Suppose 4*b - 2*i = i - 139, 3*b - 2*i = -104. Let d = 32 + b. Is d equal to k?
True
Let p be (-3)/5*(-2)/(-3). Let f(r) = -r**3 + 13*r**2 + 15*r - 13. Let t be ((-104)/24)/(-13) + (-82)/(-6). Let n be f(t). Is p at least as big as n?
False
Let q = -37/30 - 91/10. Let t be ((-495)/(-225))/(2/10*-1). Is t <= q?
True
Let c = 127 - 428. Is c at most as big as -299?
True
Let h = -11.7 + -0.3. Let i = -1.621 - 0.379. Which is smaller: h or i?
h
Let g = 131 - 57. Suppose 2*p + g = 12. Is p >= -31?
True
Let m = -1.5 - 16.5. Let q = 0.11 + -21.11. Let r = q - m. Is r bigger than -3?
False
Let v(j) be the second derivative of -j**5/120 - j**4/6 + j**3/3 + 2*j. Let b(h) be the second derivative of v(h). Let u be b(0). Which is bigger: -3 or u?
-3
Let b(f) = 9*f**2 - 6*f**2 - 4*f**2 + 3. Let h be b(3). Let o = -21 - -14. Which is smaller: h or o?
o
Let s = -103.051 - 0.349. Let h = -116 - s. Let b = h + 13. Which is smaller: -1/3 or b?
-1/3
Let s = -107 - -107.43. Let j = -0.23 + s. Is -0.19 at least as big as j?
False
Suppose 0 = -3*n + g - 120 - 568, -4*n - 3*g - 939 = 0. Which is smaller: n or -230?
n
Suppose -v + 12 - 9 = -2*i, 0 = 4*v + 4*i. Which is bigger: 79 or v?
79
Let l = -193 + 159. Suppose -t - 4*j - 30 = -3*j, -2*j - 128 = 4*t. Is t <= l?
True
Let s be 4/(-3)*6/(-2). Suppose -2*t = s, y + 5*t - 62 = -0*y. Let c be 2/(-4) + y/16. Is c at most as big as 2?
False
Suppose t - 1 = -0*t. Let a = -81 + 78. Let r be 18/a - (-282)/42. Which is smaller: r or t?
r
Suppose 3 = -0*i + i. Suppose -4*u + 2 = -b - 4*b, -i*u + 7 = -b. Let l