 - 9*f**2 + 13*f + 9. Let p be m(o). Is -21 equal to p?
True
Let x = -5 - -5. Suppose x = 4*k + k - 90. Suppose 4*h + k = -2*z, 4*z - h = -0*h. Which is bigger: -3/7 or z?
-3/7
Let r = 273353/35 + -7809. Is 1 <= r?
True
Let u = -25/49 - -1927/3969. Suppose -4*r = -0*r. Suppose -4*c - 4*a = 4, -4*c - a + r*a - 4 = 0. Which is smaller: c or u?
c
Let k(y) = -3*y + 2 + y**3 + y - 4*y**2 + 0*y. Let d be k(3). Suppose q + 14 = 3*n, -2*q - 2*n + 56 = -6*q. Is d not equal to q?
True
Suppose 3*u + 204 = -3*d - 0*u, -4*d - 247 = -u. Let y be (-62)/(-161) + d/147. Are 0 and y unequal?
True
Let a be (-2)/(-15) - 10/60*0. Let v = 2 + -3. Is a greater than v?
True
Let f = -2.15 + 0.15. Let i = 0.9 - 0.9. Is f greater than or equal to i?
False
Let b = -48369/583 + 912/11. Do b and 4 have different values?
True
Let s = -0.741 + -0.169. Let q = 14.09 - s. Is q equal to -3/2?
False
Suppose 0*w - 58 = o + 5*w, 0 = 2*w - 2. Which is smaller: o or -64?
-64
Suppose 50 = 25*w - 20*w. Suppose 6*b - 16 = -w. Are -2/21 and b equal?
False
Let w(d) = 49*d - 21. Let r be w(11). Is r at least 519?
False
Let q(y) = -2*y**3 + 9*y**2 - 2*y - 7. Let t be q(4). Let b = 2/153 - -260/3519. Which is bigger: b or t?
t
Let f be -1*(2 - 1) - -3. Is f bigger than 12/23?
True
Suppose 0 = 3*m + 3*g - 72, -m + 32 = g - 4*g. Suppose 4*f - 90 = -m. Are 16 and f unequal?
False
Let l be ((23/1012)/((-2)/(-1)))/(-1). Which is greater: 1 or l?
1
Let w = -191883/7 - -27288. Let y = w - -127. Which is smaller: 2 or y?
2
Suppose 0 = -0*v + 4*v + 80. Suppose 19 = -a + w - 0*w, 0 = -3*a + 5*w - 55. Let g = v - a. Which is greater: 1/2 or g?
1/2
Let f = -416/355 - 2/71. Which is greater: 5 or f?
5
Let l be (-123)/(-246)*1/2. Which is greater: 51/4 or l?
51/4
Let p be 3 + (-3 - 0/(-3)). Let i(j) = j**2 - 2*j - 24. Let l be i(p). Let b be (-12)/21*(-3)/l. Are 1/2 and b nonequal?
True
Suppose 52 + 28 = 2*b + 2*i, -20 = -4*i. Suppose -5*h - b = 2*c - 2*h, 5*h - 11 = 2*c. Let n be (-2)/c - 112/52. Is -1/2 less than or equal to n?
False
Suppose q + 14*q - 2475 = 0. Are q and 166 nonequal?
True
Suppose -4*a = -2*a - 6. Suppose 4*s = a*s. Let z be (-3)/3 - 1 - s. Is z not equal to -1?
True
Let h = 54 + -211/4. Let q(s) = -s**2 + 9*s + 6. Let j be q(9). Let i(p) = p**3 - 6*p**2 + p - 6. Let f be i(j). Which is smaller: f or h?
f
Let x(m) = -m**3 + 5*m**2 + 34*m - 20. Let p be x(10). Is p less than 4?
True
Let j = 22 - 15. Let y be (-3)/(-12) + (-6)/(-8) + 6. Is j greater than y?
False
Let j be 20/(-110) + (-1359)/(-33). Which is greater: j or 43?
43
Suppose 3*j + 13 = -2*o - 7, 5*o + 2*j + 28 = 0. Suppose 0*h = -h - 2. Let f be (-1 - -3)/(-3 - h). Are f and o equal?
False
Suppose 180 = 2*o + 5*m, 4*o = -0*o - m + 324. Suppose -4*h - o = -4*t, -t = -2*h - 0*h - 39. Let k = 34 + h. Is k smaller than 16?
True
Let l = -1 + 263. Let v = l + -483/2. Are v and 21 nonequal?
True
Let g(k) = k + 2. Let v be g(4). Let z = 7975/1707 - 3/569. Which is smaller: z or v?
z
Suppose -r = -2*r + 3*v - 1, -1 = v. Let i(a) = -7*a**2 + 17*a**2 - 9*a**2 + 3*a. Let c be i(r). Which is smaller: c or 2?
2
Suppose 262 = 11*h - 13. Is 23 at most h?
True
Suppose -3*v + g + 14 = 2*g, 5*g + 32 = 2*v. Suppose v*p - 8*p = 0. Let n = -14/23 + 163/230. Which is bigger: p or n?
n
Suppose -3*z = 17 - 62. Suppose 5*i + 23 = 3*q, q = 4*q - 3*i - z. Which is greater: 1/25 or q?
q
Let z(m) = m**3 + m**2 - 2*m + 2. Let h be z(0). Suppose -5*u + 26 = 1. Suppose 5*q + 3*d - 15 = 2, h*d = -u*q + 13. Which is smaller: q or -1/3?
-1/3
Let f = -372.8 + 373. Is f greater than or equal to 108?
False
Let f = 79/15 + -26/5. Suppose -5*v - 5*v + 3*v = 0. Is f bigger than v?
True
Let h be 3*(-6)/18 - 54/7. Let g = -3/14 - h. Is 8 >= g?
False
Let d = 212 - 45. Which is bigger: d or 4?
d
Suppose 2*r = -3*p - 34 - 21, -3*p - 47 = 4*r. Let x = -29 - p. Is x smaller than -7?
True
Let z be 4 + (-3)/4*-4. Let k = 7 - z. Let u = -2/49 + -72/637. Is k at most as big as u?
False
Let h = -109 - -4. Let v = 105.1 + h. Which is greater: -10 or v?
v
Let s = 0.1 - 0.2. Let l = 12970 - 12866. Is l < s?
False
Let y = 94.7 + -10.7. Let d = -63 + y. Is d equal to 2?
False
Let p be 1/2643*9*(-4)/(-6). Let d = 10546/11453 + p. Which is greater: d or 1?
1
Let t = -311/21 + 41/3. Let y = -12 + 1. Let v(a) = 2*a**2 + 23*a + 9. Let m be v(y). Which is greater: t or m?
t
Suppose -2*n = 3*n. Suppose 0 = -g - n + 2. Suppose -5*k = -7 + g. Which is greater: -3/20 or k?
k
Suppose 11*w = 12*w + 14*w. Does w = -6/409?
False
Let a = 30 + -34. Let u be (-3)/(-6)*-2*1. Which is greater: u or a?
u
Let g be (-21)/4*(-38)/(-57). Suppose -2*p + 1 = r, -5*p + 9 = 3*r + 3. Suppose -3*s + r*s + 20 = 0. Which is bigger: s or g?
g
Let q = 8 + -2. Suppose -3*h + h - q = -4*l, h + 3 = -4*l. Is 2/19 greater than l?
True
Let c = -203.9 - -204. Let m = -1926/187 + 112/11. Which is smaller: m or c?
m
Let d = -5 + 0.2. Let k = -3 - -4.8. Let p = d + k. Is p less than 0.2?
True
Suppose 181 = 7*p - 43. Let h = -23 + p. Suppose -5*f + h*f = -4. Is f less than -3?
False
Let m = -127 - -127. Is -9/22 equal to m?
False
Suppose -4*r + 80 + 212 = 3*t, 0 = -2*t - 5*r + 190. Suppose -o = 4*l - 0*o + t, -3*l - o - 74 = 0. Is l greater than or equal to -25?
False
Let c = -0.086 - -16.086. Let j = 6 - -24. Let z = c - j. Is z <= 1?
True
Let r(h) = h**3 - 6*h**2 + 5*h + 4. Let f = -19 + 27. Suppose 7 + f = 3*d. Let j be r(d). Is 3 at most as big as j?
True
Let a = 70.98 - 71. Which is smaller: -13 or a?
-13
Let u be 8/36 - 5390/(-45). Suppose -19*v + u = -13*v. Is 20 <= v?
True
Suppose -46 = -5*l - 4*c, l - 7 = -0*l - 3*c. Suppose l = 5*q - 5*p, 3 = -2*q + 5*p - 2. Suppose 0 = -q*j + 20 + 5. Is 11/2 at least j?
True
Let u = -2720 - -2857. Which is smaller: 412/3 or u?
u
Let p be 6417/(-11284) - (-8)/14. Is 1 not equal to p?
True
Suppose -17*x + 18*x = 11. Is 11 less than or equal to x?
True
Let g be 2/(-4) + (-13)/2. Let b = -9 - g. Let v = -2/1255 + -8777/5020. Is b at least v?
False
Suppose -3*o - p - 64 = -11, -2*o - 3*p - 47 = 0. Let a be (8 + -7)/(2/(-34)). Which is smaller: o or a?
a
Suppose 1279*m - 1286*m = 7. Let d = 1/10 - 8/5. Is m at least as big as d?
True
Let h = -129 - -129.23. Does 1.3 = h?
False
Let t = 512 + -514. Which is bigger: 26 or t?
26
Suppose -14 = -2*z - 0. Suppose z*d - d = -12. Is d not equal to -12?
True
Let k = -130.84 + 1.84. Let a = 128.6 + k. Let f be (-2)/8*2/3. Is a less than f?
True
Let q(o) = -o**3 - 5*o**2 - 3*o + 2. Let t be q(-3). Let y(h) = -h**3 + 5*h**2 + 4*h + 8. Suppose 0 = -f - 5 + 11. Let l be y(f). Which is smaller: t or l?
t
Let y be 2/((-5)/(350/4)). Let q = y + 41. Is q < 45/7?
True
Suppose 7*v = -v + 56. Suppose 3*x - 39 = -3*s, 0 = -s - 2*x + 9 + 8. Which is smaller: s or v?
v
Let l(q) = -q**2 + 2*q + 50. Let w be l(-5). Which is smaller: 16 or w?
w
Let o = 3/133 - 142/399. Is o at most as big as 0.05?
True
Suppose 368*u - 371*u + 126 = 0. Which is bigger: u or 38?
u
Suppose 0 = 2*w - 45 - 63. Let p be (w/(-180))/((-12)/10). Let a = -464/5 - -2322/25. Is a <= p?
True
Suppose -5*w = -2*i - 3*i + 5, 2*i - 8 = -w. Let v = i + -3. Let d = -27 + 27. Is d > v?
False
Let g(w) = -w**3 - 21*w**2 - 49*w - 320. Let p be g(-10). Is p equal to -930?
True
Suppose 8357 = 13*k - 535. Which is greater: k or 685?
685
Let b be 5/30*(-20)/290. Is b > 1/4?
False
Let i = 21 - 18. Suppose 0 = -i*d + 4*v + 31, 3*v - 8*v + 4 = d. Let q be (24/d - 3)*-6. Is q <= 2?
True
Let t = 14827/546 + -190/7. Let x(q) = -q**2 + 3*q + 4. Let j be x(4). Which is greater: j or t?
t
Suppose -3*y + 5 = -2*s + 6*s, -3*y + 2*s + 11 = 0. Suppose 5*k + 2*w + y*w - 75 = 0, -2*k - 4*w = -32. Which is smaller: k or 16?
k
Suppose 0 = 2*k - 3 - 1. Suppose -3*j = j + w, k*j - 4*w = 0. Let b = -25/3 - -247/30. Which is smaller: b or j?
b
Let p = -11 + 5. Let l = -56.2 - -50. Let z = p - l. Which is greater: z or -1/8?
z
Let l be (12 + -20 + 9)/((-38)/68). Is l at least as big as -1?
False
Let h = -0.07 + -0.33. Let z = h + 0.1. Is z at most as big as -0.6?
False
Let z be (4/(-3))/((-1)/(-9)). Let d(a) be the third derivative of a**4/24 + 2*a**3 + 12*a**2. Let g be d(z). Which is greater: 2/61 or g?
2/61
Let i = 493 - 514. Which is greater: -26 or i?
i
Let x(l) = 3*l**3 - l**2 - l. Let c be x(-1). Let m be (10/c)/(6/(-9)