 612 = 4*z. Is z at least as big as 570/73?
True
Suppose 2*h - 2*r = 24, -4*h - 2*r + 18 = -0*r. Suppose -47*l + h = -44*l - 2*p, 0 = -5*l + 4*p + 13. Which is bigger: 1/19 or l?
l
Suppose 0 = -2*u - t + 596, u + 11*t - 10*t = 296. Is u < 299?
False
Suppose -503 - 1321 = 57*z. Which is smaller: z or -22?
z
Let n(g) = 3*g - 6. Let h be n(4). Suppose 0 = -3*j + h. Let a be ((-498)/332)/((-1)/1). Which is smaller: a or j?
a
Suppose -5*q + 609 = 7*x, -4*x + 115 = 5*q - 233. Let b(r) = 7*r**2 + 7*r + 4. Let a be b(-4). Which is greater: x or a?
a
Let w be (0 + -1)*(-399)/(-19). Let a be (7 + 182/w)/((-2)/6). Let z = 8 - 6. Are z and a nonequal?
True
Let r = -3/1021 - 790/78617. Is 1 > r?
True
Let t = 467 + -463.43. Let m = 6.94 - t. Let v = m + -3.3. Is 1 > v?
True
Let u = 3.39 - -6.61. Which is greater: u or -2?
u
Let n = 155 + -328. Let b = 162 + n. Which is smaller: b or -8?
b
Let y be (-7947)/7 - (-1 - 0 - -3). Let q = y - -1146. Is 10 <= q?
False
Let w = -122493/11 - -11131. Suppose 5*z = z - 24. Let k = -11 - z. Which is smaller: w or k?
k
Let s be (-1199072)/(-80) - (-30)/50. Is 14988 equal to s?
False
Let c(w) = 3*w + 16. Let h = 160 - 165. Let v be c(h). Which is smaller: -81 or v?
-81
Suppose -5*z + 4*d = 91, -3*d + 46 = -3*z - 11. Which is greater: z or -24?
z
Suppose -s + 9 = -0*s. Suppose 0 = -s*n - 0*n + 27. Suppose -4*f - 5*m - 5 = 9, -2*f = n*m + 8. Are -1/38 and f unequal?
True
Let g be 1/((-2)/26*(33/(-12))/(-11)). Do g and -48 have the same value?
False
Let j(n) = n**3 - 102*n**2 - 84*n - 2259. Let f be j(103). Is f less than or equal to -3930/13?
False
Let f(o) be the third derivative of o**4/8 - 13*o**3/6 + 53*o**2. Let s be f(4). Which is smaller: -4/7 or s?
s
Let k = 3100 + -1382. Let z be (k/861 + -2)*93. Let d = z + 6/41. Are -6 and d unequal?
True
Let y be (-1*6)/((-6)/(-27)). Let p be (-1 + 5)*y/(-2). Let v(s) = -633*s - 1211. Let q be v(-2). Is q less than or equal to p?
False
Suppose 1265 - 7005 = -10*w. Let r be ((-27)/(-6))/((-28)/w). Is r not equal to -93?
True
Let x = 3076 + -1741. Is 1334 <= x?
True
Suppose -5*c - 26 = -3*d, -5*c + 4*c = 4*d - 4. Let k = 26 + d. Which is bigger: k or 26?
k
Suppose y + 3*y = 316. Suppose -5*d - 19 + y = 0. Let r be -3*((-200)/d)/(-5). Is -28/3 bigger than r?
True
Let v = -58 + 57.9966. Let r = 127.3034 + v. Let s = 127 - r. Is s smaller than -0.08?
True
Let v = -17 + 16.9. Let z = -178 + 173. Let k be (9/4)/(z - -1 - -1). Which is smaller: k or v?
k
Let k = 6.94 + -8.94. Suppose 4*c + 12 = -4*q, 5*q - 3*c - 9 = q. Suppose 7*x - 2*x + 4*y - 12 = 0, q = 3*x - 3*y + 9. Which is smaller: x or k?
k
Let y(q) = -10*q**3 - 70*q**2 - 12*q - 65. Let l be y(-10). Is 3055 smaller than l?
False
Let c = 5426 - 37988/7. Is 133 at least as big as c?
True
Let f = -1932.066 - -1932. Is 15 != f?
True
Let l(r) = -r**2 - 18*r + 69. Let x be l(-21). Let m be (-5 + (-4)/12)*x/2. Which is smaller: -2 or m?
m
Let d = 864 + -897. Let q(r) = -3*r**2 + 4*r + 1. Let v be q(4). Let l = d - v. Are 12 and l nonequal?
True
Suppose i + 4 = 2*m, -2*i + m = -3*i + 5. Suppose -i*q - 3*t = -189, -8*t = -5*t - 9. Is q bigger than 90?
False
Let t(q) = -4*q**2 - q - 10. Let m(s) = -s**2 + s. Let b(y) = m(y) - t(y). Let v be b(-3). Is 30 at most as big as v?
True
Let i(w) = w - 2. Let u be i(4). Let o be (-27 + 39 - (-10)/(-2))/1. Let b be (-12 + 71/o)/(-1). Which is smaller: b or u?
b
Let w = -45 + 69. Let j be ((-12)/30)/(w/(-40)). Which is greater: 52 or j?
52
Let a(b) = -8*b**3 + 5*b**2 + 7*b - 15. Let g be a(-2). Suppose 0 = f - r - 54, -r = -3*r + 4. Is g at least as big as f?
False
Let f be (5 + 25/(-2))/((-3)/(-12)). Let p be 2*f/12 - 10. Is -13 at most p?
False
Let k = -185 - -187. Let i(w) = -w**3 - w**2 + w + 55. Let c be i(0). Suppose -k*g + 13*g = c. Is g greater than or equal to 3?
True
Suppose 5*r - 3*t = r - 483, 20 = 4*t. Let v be (3/(-1) - (-675)/210)*632/(-474). Is r > v?
False
Suppose 0 = -3*b - 7*b - 2460. Let i be b/3*(1 + (-2)/(-4)). Which is bigger: i or -124?
i
Let l be (-6)/33 - (-180)/22. Let o = 9 - l. Let k be ((-14)/861)/((-9)/54). Which is bigger: o or k?
o
Let a = -603 + 602. Let t = -114.7 + 137. Which is bigger: t or a?
t
Let g(q) = -15*q**2 - 56*q + 22. Let y be g(-15). Which is greater: -2512 or y?
-2512
Let z(t) = -4*t + 7919. Let b be z(-74). Is b at least as big as 8215?
True
Let z = 43 + -40. Let c = -49.7 - -49. Let a = c - -0.4. Which is greater: a or z?
z
Let u(x) = 13*x + 4. Let m = -88 + 90. Let g be u(m). Let p(r) = r**3 + 9*r**2 + 5*r + 5. Let i be p(-8). Is g > i?
True
Suppose -a + 0*y + 3*y = -9, 4 = 4*y. Suppose -5*v - a = -w, 3*w = 2*v - 3 - 0. Let m = -59 + 51. Which is bigger: w or m?
w
Let k = 236504/13 - 18182. Let u(q) = -6*q - 2. Let x be u(-2). Are k and x non-equal?
True
Let h = 5060 + -3016. Is h less than 2047?
True
Let a be 1/18*27*(-880)/(-6). Which is bigger: a or 661/3?
661/3
Suppose -4*y + 4 = -4*d, -4*d = 31*y - 26*y - 5. Let a(j) = 24*j**2 + 6*j + 21. Let b be a(-7). Let q be 812/b + 4/(-6). Which is smaller: y or q?
q
Suppose 8214 = -41*b - 32663. Which is bigger: b or -6988/7?
b
Let c be 17/(-2)*-77 + (-20)/40. Let k = c + -5179/8. Is 6 not equal to k?
True
Let x be -7 - -2942*30/20. Suppose 764 = -22*c - x. Which is smaller: -234 or c?
c
Let t be ((-1)/(-1557))/(38/(-190)*(-10)/4). Let w be 0 - (3 - (-20)/(-5)). Which is smaller: w or t?
t
Let c = 1332 - 1329.9. Let h = 7.4 - 7. Is h less than c?
True
Let l = 68 - 69. Let x be 24/(-21) + (-24)/(-6). Let r = -25/7 + x. Is r <= l?
False
Let a = 0.07 - -2.78. Let h = a + -2.8. Is 0.01 smaller than h?
True
Suppose 66 = -2*v - 0*v. Suppose 6*q + 12 = 9*q, -5*q = -5*g - 30. Let l be (v/(-15) + g)*5/1. Is l > 4/5?
True
Let w = 7669 + -7668. Which is smaller: w or -26/57?
-26/57
Let o(a) = a**2 + 17*a - 1065. Let t be o(-43). Which is bigger: t or 128?
128
Let q(i) = i**2 - 14*i + 27. Let p be q(12). Suppose 0*w + 26 = 5*c - 4*w, -2*w = -p*c + 16. Suppose 75 = c*t - 21. Is t < 18?
True
Let w = -70 + 1608/23. Let t = 0 + 4.2. Let y = 4 - t. Which is smaller: w or y?
y
Suppose -2*k + 6 = 4*p, -2*p - 2*k + 7 = 3*k. Let v be (-164969)/(-560) + (-8)/(-5). Let t = v - 296. Which is bigger: t or p?
p
Let o = 4966 + -4881.72. Let v = 0.28 - o. Let d = v + 155. Is d less than -0.1?
False
Let u = -16348/13 - -1258. Which is smaller: u or -13?
-13
Let p = -681 - -682.474. Let v = p - 0.474. Let d = -5.5 + -62.5. Which is smaller: v or d?
d
Let f = 410/39 + -141/13. Are f and 6/67 nonequal?
True
Let c be -1*(-48)/((-8)/(-2)). Let n be (2*-1)/c - 303273/65410. Let k = 2/633 + n. Is -6 < k?
True
Let r be (((-111)/4)/3)/(-6*2/(-96)). Which is bigger: -75 or r?
r
Suppose u = 2*f + 1, -8 = f + 3*u - u. Let x be 5/(60/(-416)) - f. Is x at most as big as -34?
False
Let l = -124 - -250. Let d be (-2)/14 + (-1242)/l. Is d >= -10?
True
Let m = -1/12781 - 102033/2747915. Which is smaller: 1 or m?
m
Let w = -41416141/2194 + 18877. Which is greater: 0 or w?
0
Suppose 5*w + 144*t - 15 = 149*t, 2*w - 1 = t. Which is bigger: -82/59 or w?
-82/59
Let i(s) = -69*s + 3. Let j be i(-1). Suppose -2*l + 5*a = -20 - 68, -a = -2*l + j. Let w = -12.9 - -13. Are w and l non-equal?
True
Let m be 9335/1235 + (-15)/(-65). Which is bigger: m or 7?
m
Let l(v) = 4*v + 123. Let h be l(2). Which is bigger: 115 or h?
h
Suppose 0 = 3*i - 4*p - 387, -2*i + 12*p = 9*p - 258. Which is greater: i or 121?
i
Let k(r) = r**3 + 9*r**2 + 14*r - 10. Let h be k(-5). Suppose h*x + 54 = 17*x. Is x >= -18?
True
Let n be 8/28 + (-883740)/1106. Let z = n - -5592/7. Is z smaller than -1?
False
Suppose -v = -558 + 1663. Let m be 2/17 - 4290/v. Let k be 9/6*28/6. Which is bigger: m or k?
k
Let k be -5 - ((-14)/(-8) - 2/(-8)). Let i(v) = v**3 + 7*v**2 + 2*v + 19. Let o be i(k). Suppose 2*m - 146 = o*q - 42, 104 = 2*m - 2*q. Is m bigger than 52?
False
Suppose 23*u - 408 = 11*u. Let s be 0/(u/(-289) - 38/(-34)). Is 20/43 greater than s?
True
Let u(j) = -j - 10. Let r = 34 + -52. Let p be u(r). Let z be (3/(12 + 3))/(p/170). Which is smaller: 4 or z?
4
Suppose 2*u = 3*f - 194, -5*f - 3*u = -144 - 173. Suppose -2*b + f - 18 = 0. Suppose 5*w - 10 = 13*q - 15*q, -4*q + 156 = -7*w. Which is smaller: q or b?
b
Let b be (10/(-132))/((-5)/3). Let f = b - -5/11. Which is greater: 70 or