-72*q - 1368 = -96*q. Let p be 120/q + (-2)/19. Is p at most as big as 17/9?
False
Let h be (-1)/2*(7 + -5). Suppose -m = -2*m + 1. Let a be m/(-1)*3/51. Is a at least as big as h?
True
Let d(m) = -2*m**3 + 3*m + 3. Let y be d(-1). Let q be -7 - (-132)/21 - y/(-3). Which is smaller: q or 0?
q
Let b(x) = -x**3 - 3*x**2 - 5*x - 4. Suppose -9*s + 7*s = -40. Suppose v + v - 4 = 2*l, s = -5*l. Let z be b(v). Which is smaller: 1 or z?
1
Let d = 44.176 + -44.08. Which is smaller: 1/3 or d?
d
Suppose 1583 = 6*z - 9*z - g, 2108 = -4*z - 4*g. Is -529 greater than or equal to z?
False
Let q = -8612 + 86113/10. Which is smaller: -28 or q?
-28
Let g(i) = 64*i + 2305. Let q be g(-75). Which is bigger: q or -2493?
-2493
Suppose 0 = -3*r - 5*y + 123, 0 = 2*r - 5*r - 2*y + 123. Let q(w) = -3*w**2 + 127*w + 29. Let l be q(r). Is 194 at most l?
False
Suppose -209*x + 181*x - 31640 = 0. Is x >= -1125?
False
Let p = -5 - -4.99. Let s = 11.01 + p. Let g = 43965.5 + -43965. Is g less than or equal to s?
True
Let v = -0.0323 - 0.0377. Let a be (72/15 - 5)*(-15)/84. Which is smaller: a or v?
v
Suppose -5 = -4*s - 11*x + 14*x, s - 4*x = 11. Let m(y) = 5*y**2 - 4*y - 2. Let c be m(s). Which is smaller: c or -1?
-1
Suppose 2*s - 4*g - 2238 = 1044, 0 = -s - 2*g + 1633. Is s at least 1637?
True
Let l be 0/((-4)/(-4 - 0)). Let r = l + -6. Let k = -4 + r. Is -10 greater than k?
False
Let r = -13 - 1. Let f = -13.7 - r. Let v = 0.248 + -2.048. Which is smaller: f or v?
v
Let x(c) = -141*c + 843. Let a be x(6). Is 1321 less than or equal to a?
False
Let s(h) = 5*h + 3*h - h**2 + 5 - 4*h + 0*h. Let v be s(3). Suppose -7*o = -v*o. Which is bigger: 3 or o?
3
Let n = 155 + -158.36. Let k = n + 3.05. Is -1/3 >= k?
False
Suppose n - 63 = -2*n. Suppose 0 = o - b + 77 + n, o + 2*b = -89. Is -98 at least as big as o?
False
Let h = 0.2581 - -2091.7419. Which is smaller: h or 1?
1
Suppose 4*j + 13 = -3*q, -5*q - j = -0*q - 1. Let y = 316186 + -25611058/81. Which is smaller: q or y?
y
Let v = 3938 + -3938. Are v and 10 nonequal?
True
Let p be ((-427)/(-2))/(10/(-780)) + -11. Is p at least as big as -16665?
True
Suppose 3*i = 2*a - 266, -a + 78 = 10*i - 9. Which is greater: a or 881/7?
a
Let a(q) = -15 - 22*q + 63 + 2*q + q**2. Let g be a(17). Let v = 656 - 4615/7. Which is smaller: v or g?
v
Let t = 5824 + -5898.62. Let v = -0.62 - t. Is v > -0.2?
True
Let o = -550.45 - 267.55. Is 0.08 greater than or equal to o?
True
Let t = -124786/28507 - -32/983. Let n = -727/174 - t. Which is smaller: n or 88/7?
n
Let x = -3310181/229 - -14455. Is x <= 1?
True
Let r be ((-6)/22)/(27731/6930 - 4). Let o = 173 + r. Is -2/11 at least as big as o?
False
Let i = -2 + 8. Let z(o) = 5*o + 165. Let h be (184/(-6) - (-8)/(-24))/1. Let u be z(h). Which is bigger: u or i?
u
Let x(r) = 3*r**2 - 53*r + 539. Let v be x(35). Which is greater: 0 or v?
v
Let h = -2919 + 2917. Which is smaller: -77/38 or h?
-77/38
Suppose 4*u = 2*u + 2. Suppose -2*a + 1209 = -227. Let j = -35180/49 + a. Which is greater: j or u?
u
Let r(m) = 2*m**2 - 16*m - 12. Let z be r(-12). Suppose 0 = 41*f - 47*f - z. Which is smaller: f or -77?
f
Suppose 0 = -13*o + 119 + 37. Let f be (-104)/o + 5 - 4*-1. Which is greater: f or -0.112?
f
Let d(x) = -44*x + 64*x - 40*x + 8. Let v be d(0). Which is greater: v or 7?
v
Let k = -8389/5 - -1660. Let v = -93/5 - k. Which is smaller: -2 or v?
-2
Suppose 31*b - 40*b = -180. Suppose b*q + 496 = 17*q - 4*x, 4*x - 848 = 5*q. Which is bigger: -167 or q?
-167
Let m(h) = -2*h**2 - 37*h + 47. Let d = -377 - -359. Let v be m(d). Do 64 and v have the same value?
False
Let j be (1/9)/((-2)/(-10)). Let i(l) = l**2 - 15*l + 58. Let x be i(7). Let w be (1/((-16)/(-24)))/(3/x). Is j > w?
False
Let s(m) = 13*m - 4. Let y be s(4). Let h = 53 - y. Suppose -h*z + 6 - 6 = 0. Are 10 and z non-equal?
True
Suppose -3*s = -5*t + 2524 + 5334, -5248 = 2*s - t. Let c = s - -254720/97. Is c >= 2?
False
Let n be ((-3441)/444)/((-1)/(-96)). Do -755 and n have the same value?
False
Let l = -350 - -355. Let x be 5/l*-14 - 8. Which is smaller: x or -25?
-25
Let j = 69.26 - 69. Let r = j + -0.2. Let u = r - 0.16. Which is smaller: 57 or u?
u
Suppose 4*n - 2 = 3*f, 5*n + 6 = 3*f + 10. Suppose 0 = n*t + 5*u - 8, -11 = -5*u - 1. Does 4/23 = t?
False
Let l = -199/95 + 11/5. Let v = 29/95 - l. Which is greater: v or 0.3?
0.3
Let i be ((-2)/(-8))/(2/8)*14. Suppose -3*o = -0*o - 3*u + 15, 3*o = 2*u - i. Is -16/3 less than or equal to o?
True
Let t = 10974/19 - 58176/95. Let v be (34/5)/((-3)/15). Which is smaller: v or t?
t
Let g = -275.842 - -276. Let m = -0.358 + g. Which is bigger: m or -5.2?
m
Suppose 14*a + 22 + 62 = 0. Let u = 6 + a. Is u less than 2?
True
Let i(f) = -5*f + 2. Suppose 4*l - 4 = -4*r, -7 = -5*r + 2*l + 5. Let y be i(r). Let d = -2 - -2. Which is greater: d or y?
d
Let l = -49770 + 150568/3. Which is greater: l or 418?
l
Suppose 86*x + 5 = 90*x - 3*w, 0 = -x + 3*w + 8. Let n be -3 + 1 + (-19)/(-11). Which is smaller: x or n?
x
Suppose -2*u - 3*j = 86, 4*j - 32 = -3*u + 4*u. Let t be (4 - 25/10)/(2/u). Let x be 4 - (t/(-27) - -2). Which is bigger: x or -0.2?
x
Let v be 0 - 1 - (-32142)/(-165). Let g = v + 47981/245. Is g bigger than 1?
False
Let j = -109 + 106. Let h = 2 + j. Which is bigger: h or 16?
16
Let r = -74 + 74. Suppose 10*d - 8*d + 96 = r. Is d bigger than -47?
False
Let v(g) = 11*g**3 + 4*g**2 - 11*g - 9. Let c(j) = 3*j**3 + j**2 - 3*j - 2. Let f(b) = 9*c(b) - 2*v(b). Let x be f(-3). Is x < -111?
False
Suppose 6 = 3*x + 4*l, -4*x + 0*l - 5*l + 8 = 0. Let y = 6011 + -6010. Is x > y?
True
Suppose -6 = i - 15. Suppose 0 = s + 3*r, r + 30 - i = 2*s. Suppose 0 = -s*x + 14*x. Does 6/19 = x?
False
Let c be 644/(-10) - (-16)/40. Let m be (3/2)/(4/(c/(-6))). Suppose -3 = d - m, -40 = -3*q + 2*d. Is 11 at least q?
False
Suppose -124*h + 5 = -123*h, -5*x - 3*h + 630 = 0. Which is greater: x or 164?
164
Let z = 15371 - 15844. Is z >= -474?
True
Suppose -4*s - 468 = -2*y, -4*s + 2*y - 484 = 4*y. Suppose k - f = -120, k + 79 = 5*f - 41. Is s <= k?
False
Suppose 86 - 2 = 4*h - 5*y, 3*y + 40 = 2*h. Let l(i) = i**2 + 15*i + 13. Let w be l(-9). Let f = w - h. Which is bigger: -68 or f?
f
Let a = -459 - -30. Let b = -402 - a. Which is greater: b or 33?
33
Let z(y) = 33*y**2 + 592*y - 37. Let v be z(-18). Which is smaller: -5/2046 or v?
v
Let v = 1400 + -1502. Is v bigger than -129?
True
Suppose 3*n + 15 = 0, 0 = u - 3*n - 26. Suppose 21 = 10*q + u*q. Do q and -2/23 have the same value?
False
Suppose 0 = r + 87 - 91. Suppose -4 = -t, 10 - 6 = 4*y - r*t. Let c be 3/y + (-12)/(-30). Which is smaller: c or -1/5?
-1/5
Let g(f) = f**2 - 79*f + 1349. Let p be g(25). Is -2/593 equal to p?
False
Let a = -246 - -205.8. Let d = a - 74.8. Which is greater: -1 or d?
-1
Let c(i) = 498*i**2 - 16*i + 7. Let p be c(3). Which is bigger: 4443 or p?
4443
Let j = -2 - -2. Let g be 14/(-4)*6 - j. Let h = -6088 + 6066. Which is greater: h or g?
g
Let x = -7577 + 7578.3. Is x < 6/13?
False
Let x be (-21)/(-28)*-1*8. Suppose b + 3*d = -2*b - 24, -2*d = -4*b - 2. Let u be (3 - (7 + b)) + 0. Which is smaller: u or x?
x
Let l be 8 - 0 - (75 - 67). Are -3/109 and l equal?
False
Let k(m) = 2*m**2 - 96*m - 79. Let x be k(49). Suppose 0 = 7*p - x*p - 12. Is p at least as big as 2.14?
False
Let i = 7140 - 6989. Which is smaller: 13 or i?
13
Let y = 2 - -1. Let q = -17.8 + 47.1. Let c = q + -28.5. Is y < c?
False
Let w(k) = -k**3 - 30*k**2 - 85*k + 88. Let x be w(-29). Which is smaller: 0 or x?
0
Let y = 1 - 0.9. Let l = -126.08 + -2.92. Let c = l + 131. Is y at most as big as c?
True
Let r be 3*56*5/(-2430). Which is bigger: 1 or r?
1
Suppose -3*g + 5*t = -10, 4*t = 2*g + g - 8. Suppose g = -2*r + 5*q + 5 + 10, r = -4*q - 12. Let j = 7758/469 + -116/7. Is j less than r?
True
Let w = -57.97273 + -0.02727. Which is smaller: w or -1.7?
w
Let t be ((-8)/(-3))/((-7582)/51). Is t <= -1?
False
Suppose -68*o + 58*o + 444 + 166 = 0. Are 14 and o equal?
False
Suppose 5*l - 3*l = 3*z - 30, -5*l = 2*z - 39. Let m be (-1)/5*-51 + 2. Which is greater: z or m?
m
Suppose 533*n - 2077 = 23507. Let h be -2*(-2)/4*0. Which is smaller: n or h?
h
Let u(r) = -r**3 + 14*r**2 + 17*r - 27. Let y be u(15). Let h(i) = -4*i + i**y - 7*i**2 - 2 - 2*i - 7*i. Let d be h(8). Which is bigge