 = 32903955/19 - 1731404. Let p = 383 - m. Which is smaller: p or -2?
-2
Let n be (-15)/1215*(5 - -1). Suppose 3*r = -r. Suppose 0 = 5*z - r + 5. Is n bigger than z?
True
Let y(f) = -2*f**2 + 36. Let w be y(4). Let i = 39 + -23. Suppose q + 5*t = 18, 4*q + t + 1 - i = 0. Is w greater than q?
True
Let b = 47.9 - -3.1. Let c = -53 + b. Let z(w) = -w**2 + 4*w. Let h be z(5). Which is smaller: h or c?
h
Let m = 0.179 - -0.021. Which is smaller: -0.155 or m?
-0.155
Let r = -18358/21 - -874. Suppose -2*l - x - 2 = 0, 4*l + x + 1 = 3*l. Is l > r?
False
Suppose 0 = 4*h - 92 + 44. Suppose 17*p - 230 = h*p. Is p greater than 44?
True
Let m = -11 - -19. Let x(g) = g**2 + 2*g + 7. Let v be x(m). Let p be (-4)/22 - v/66. Is p bigger than -1?
False
Let g = 345 + -325. Which is smaller: g or 248/13?
248/13
Let z = -764 + 779. Is 16 < z?
False
Suppose 0 = -6*f + 530 + 880. Which is smaller: f or 234?
234
Let v = -7 + 7.1. Let f = v + -0.2. Which is smaller: f or -0.05?
f
Suppose -x + 4*o + 51 = 0, 4*o = -2*x - 2*x + 284. Which is smaller: 65 or x?
65
Suppose 66*l = 68*l - 36. Let g(n) = n**3 + 19. Let z be g(0). Let m be l/12 + z/(-10). Which is bigger: -1 or m?
m
Let b = 22 - 77. Let c be (-3)/9 + b/60. Which is greater: c or -1/7?
-1/7
Let n = 0.098 + 0.002. Suppose -208 = -4*b + 3*t, 6*b - 3*b = 4*t + 149. Let d be ((-2)/(-3))/(b/15). Which is smaller: n or d?
n
Let f(n) = -2*n + 38. Let v be f(15). Suppose -18*w + 22*w = v. Is w greater than 11/18?
True
Let v(a) = 2*a**2 + 12*a + 5. Let m be v(0). Which is greater: m or 1?
m
Let f = 59 + -87. Let t = f + 28. Which is bigger: -27 or t?
t
Let b = 1054 - 57968/55. Let q(z) = -z**2 + 5*z + 9. Let g be q(5). Suppose -g*y + 8*y + 1 = 0. Is y less than or equal to b?
False
Let g be ((-26)/(-4))/((-2)/(-12)). Let q = g + -79/2. Which is smaller: 0.5 or q?
q
Let q = 16 - 13. Let o be -2 - 2/((-4)/q). Which is smaller: -14 or o?
-14
Let c(a) = -a**3 - a**2 + 3*a + 1. Let i be c(-3). Suppose q = 3*k + 2*k - 25, -2*q - 3*k + 41 = 0. Is i <= q?
True
Let c = -220 - -206. Let a(p) = -p**2 - 4*p + 2. Let v be a(-4). Suppose w + 17 = v. Are c and w nonequal?
True
Let x be 39*((-18)/14)/(18/18). Is x at most as big as -50?
True
Suppose -b = 3*b - 56. Let h = -15 + b. Is -8/7 at most h?
True
Let c be 3 - -489*(-8)/30. Let z = c - -127. Which is greater: -6 or z?
z
Let i = -451 - -950. Is 501 at least i?
True
Let g be (-400)/(-160)*(-1)/(-335). Which is greater: g or 0?
g
Let a(q) = q**3 - 3*q**2 + 2. Let p = -10 - -12. Let z be a(p). Let y be z + 0 - -8 - 0. Are y and 6 equal?
True
Let b be -10*12*1/5. Let m be b/40 + 0 + 1. Which is bigger: m or -1?
m
Suppose -9*n = -4*n - 10. Let c(a) = 10*a - 13. Let z be c(n). Are 6 and z equal?
False
Let s = -14 + 12. Let t be s*-3*3/6. Suppose -4*j - c - 29 = 0, 5*j + t*c + 31 = -0*j. Is -7 < j?
False
Suppose 190 + 130 = -4*g. Is g < -76?
True
Let p(u) be the third derivative of -u**4/12 + 4*u**3 + 8*u**2. Let i be p(12). Which is smaller: 2/27 or i?
i
Let m = -108 + 107.9. Which is bigger: m or 60/19?
60/19
Let w be (-120)/(-200) + -3*(-6)/45. Which is smaller: -492 or w?
-492
Let l be 2/32*(-52)/39 + 0. Let z(q) = q**2 - 8*q + 7. Let k be z(7). Does k = l?
False
Let s = -20.16 + 20. Which is greater: 0.2 or s?
0.2
Let q be 18/(-27) + (-16)/(-6). Suppose -2*p + 12 = q*p. Suppose i + p + 3 = 0. Which is smaller: i or -3?
i
Let m = 644 + -4506/7. Let f = 1 - 8. Which is smaller: f or m?
f
Let f = -60/133 + -159/532. Let l(v) = -v**3 - v**2 + 2*v - 1. Let i be l(-2). Is f at least i?
True
Suppose -5*h = -s + 1580, 0 = 3*h - 2*h + 4*s + 316. Let d be h/108 - (-9)/3. Is d >= -1?
True
Let r = -6/833 + 20837/1666. Suppose 0 = 2*y + 2, -5*t + 4*t + y = -14. Is t != r?
True
Let v be (-16)/(-56) - (1921/(-2709) + 1). Which is smaller: 1 or v?
v
Suppose 2*o - 4*q = -16, 2*o + 5*q + 2 = 22. Let g be (-1)/((-10)/(-2) + -1). Is o bigger than g?
True
Let l(k) = 20*k**2 - 47*k - 127. Let p(a) = 7*a**2 - 16*a - 42. Let n(g) = 6*l(g) - 17*p(g). Let u be n(15). Which is greater: u or 24?
u
Let r = 1243/61957 + -3/371. Does 1 = r?
False
Suppose -133 = 4*s - 181. Let c = 15 + -10. Let l = -4 + c. Is l at most as big as s?
True
Suppose 4*w + 69 = 3*c, -c + 87 = -5*w + 3*c. Let k be 35/(-14)*12/w. Let u be (-3 - (-9 - k))/(-2). Which is greater: u or 1/3?
1/3
Let q = 424574/8819811 - 56/1157. Is 1 greater than q?
True
Let u = 0.05 - 0.06. Let s = u - 0.29. Is s bigger than -8?
True
Let j = -1.13 + 0.23. Let i = j + 1.83. Let h = -0.07 - i. Which is bigger: h or 1/2?
1/2
Let j(t) = -3 + 4 - t + 11 + 2*t. Let h be j(-5). Suppose 0*r = -2*m + 5*r + 1, -5*m - 4*r + 52 = 0. Are h and m nonequal?
True
Let t = -14 + 13. Let h be 68/(-52) - 1/1. Which is smaller: t or h?
h
Let m = 2 + -2. Which is smaller: -1/31 or m?
-1/31
Let l = -97 + 97.75. Let j = 0.63 - l. Which is smaller: j or 0.4?
j
Suppose 0 = -2*r - d + 41 + 94, -80 = -r - 3*d. Which is smaller: r or 74?
r
Let x(w) = 19*w + 79. Suppose -2*z + 9 = 21. Let k be x(z). Which is greater: k or 0?
0
Let z = 11 + -23. Let n be (z/(-20))/((-16)/10). Which is greater: -1 or n?
n
Let a = 15 - 96/7. Is a smaller than 0?
False
Let v be 16/(-5) + 1/5. Let s(o) = -o**3 - 2*o**2 + 2*o - 3. Let g be s(v). Suppose g*c - c - 3 = 0. Is -3 <= c?
True
Suppose -c + b + 0*b = 6, 3*c - 2*b = -13. Let u = -1623/7 + 231. Which is greater: u or c?
u
Let u = 1617517720706276591/143740674 + -2228099260309/198. Let o = u + -1/725963. Let n = -679 + o. Which is bigger: 0 or n?
0
Let s(w) be the first derivative of w**2/2 + 2*w - 9. Let b be s(-2). Suppose 12*i - 9*i + 24 = b. Which is bigger: -1/3 or i?
-1/3
Let q = 192 + -89. Let c = q - 108. Are -0.05 and c nonequal?
True
Suppose -2*m + 5*m = 12. Suppose 0 = -3*k + o - 38, k + m*k = -4*o - 52. Which is smaller: k or -23/2?
k
Let d(k) = 6 + k - 2*k + 0. Let i(u) = -2*u - 2. Let t be i(-4). Let f be d(t). Are f and 6/13 non-equal?
True
Let j be 0/1 + 6/6. Is j less than or equal to 19/9?
True
Let l = -17/8 + 29/8. Is 0.2 bigger than l?
False
Let x be 15/(-20) - (-135)/(-12). Is x equal to 2?
False
Let v(q) = -3*q - 14. Let u be v(-6). Suppose u*c = -3 - 1, -3*b - c = 1. Which is smaller: 1/25 or b?
b
Let f = -12095/48 + 252. Let m = f + 5/16. Are m and 1 equal?
False
Suppose 4*q - q + 25 = 5*w, -23 = 3*q - 4*w. Let d be ((-6)/q)/(6/75). Which is bigger: 17 or d?
17
Let x be (-1)/(2 - ((-219)/108 + 4)). Does -34 = x?
False
Let a(p) = p**2 - 3*p - 1. Let t be a(4). Let m = -22/9 + 61/9. Which is smaller: t or m?
t
Let s be (4 - 4 - 4)*(-26)/8. Suppose s = 15*h - 2. Which is smaller: 11/17 or h?
11/17
Let h be (0 - (-3)/108)/(12/(-80)). Suppose -2*i + 5*z + 15 = -5*i, i - 12 = 4*z. Which is bigger: i or h?
i
Let m be (-116)/(-6) + ((-68)/51 - -2). Is m less than or equal to 20?
True
Let k = -1186 + 1184. Is k greater than or equal to -13/18?
False
Let k(i) = i**2 + 3*i - 56. Let z be k(-10). Let y be 4/18 + (-106)/(-9). Which is smaller: y or z?
y
Let z(a) = a - 4. Let d be z(6). Suppose -4*f - 39 = 3*v, -2*f + 4*v - 39 = -v. Let l be (-4)/f*(-54)/(-15). Is d smaller than l?
False
Let h(s) = s**3 + 16*s**2 + 10*s + 53. Let w be h(-14). Is w > 303?
True
Suppose 0 = -8*j + 740 - 108. Are 555/7 and j non-equal?
True
Let f = 353 - 359. Which is greater: 0 or f?
0
Suppose 4 = y - 3*b - 2*b, -2*y + 2*b = 24. Let s(n) = 11*n + 10. Let z be s(6). Suppose 0 = 5*t + z - 1. Is y equal to t?
False
Let x(r) = 6*r + 35. Let d be x(-6). Let n = 19 - -37. Let f be (n/(-21))/(1/3). Which is bigger: d or f?
d
Let c = -1068691/294 - -3635. Which is bigger: -1 or c?
c
Let s be (4 + 18/(-6))/(3/(-125)). Which is greater: s or 2?
2
Let o(b) = -6*b + 4*b + 3*b - 3*b + 35. Let x be o(17). Is x < 0?
False
Suppose 0 = -4*q + 8*q + 536. Let z = 233 + q. Which is smaller: 98 or z?
98
Let n be (24/20)/(6/640). Let z = n - 113. Is 14 smaller than z?
True
Let k be (2/(-7))/((-3)/21). Suppose k*s + 3*o = 22, -s = o - 6 - 3. Suppose s*v = -2*z - 4, z + 1 = -5*v - 2*z. Are v and -1 nonequal?
True
Let m = 9 + -7. Suppose m*y - 1 + 3 = 0. Let o = -1714/11 - -156. Is o bigger than y?
True
Let w = -32.9 + 33. Let l = -14 + 13.93. Is l bigger than w?
False
Suppose 13*l = 10*l + 9. Suppose -l*p = 2 - 8. Suppose -p*j + 4*o = -14, 8*j = 3*j - 4*o + 77. Which is greater: j o