, 0 = -5*w - 5. Let l be (2 + -4)/(1 - (y - -2)). Let n be (-46)/60 + (-2)/5. Which is bigger: l or n?
n
Let y be (-10)/(-240)*-6 - (-730)/8. Is y > -3?
True
Let c be 35/(-201) - (4 + 119/(-28)). Let r = c - -34/67. Is 0 at most r?
True
Suppose 152 = -5*x - 108. Are -52 and x equal?
True
Let g be 5/10*10 - 2. Suppose -y = -g*u - 79, 3*u - 3*y + 59 = 2*y. Which is smaller: u or -27?
u
Suppose 2*i + 28 = 180. Let w = i + -382/5. Let q = -0.43 + -16.57. Which is smaller: q or w?
q
Let o = 1421 - 1422. Which is greater: -222 or o?
o
Let p be (-55)/(-5) + 55/3. Let v = 23 + 5. Which is smaller: p or v?
v
Let n = 1333 + -1322. Which is smaller: n or 9?
9
Let p(f) = -3*f - 6. Let t be p(-2). Suppose 5*s + 1 = 4*g, 4*g - s + 3 = -t*s. Let d(u) = u**2 + 8*u + 2. Let k be d(-8). Which is bigger: k or g?
k
Let v = -105 - -77.5. Let c = v + 26. Is c >= -1/2?
False
Suppose -j - 65 = 20. Let h = -169/2 - j. Is h > 20?
False
Let n = -0.098 - 0.032. Let l = 39 - 119/3. Which is bigger: l or n?
n
Let u = -117.77 - -0.77. Let t = -74 - u. Let s = t - 41. Is 1/17 equal to s?
False
Let g(z) = 3*z**2 + 9*z - 7. Let a be g(-4). Suppose -a*l = 25, -4*q + l + 2 + 7 = 0. Do q and 2/13 have the same value?
False
Let b be (-2)/19*1/(-2). Let s(f) = 2*f - 13. Let j(a) = -3*a - 35. Let y be j(-14). Let m be s(y). Is b < m?
True
Let g(z) = -z**3 + 3*z - 48. Let w be g(0). Let c be w/10 - (8 - 9). Are -5 and c non-equal?
True
Let x = -44107614/2377 + 18556. Is -1 bigger than x?
False
Let v = -85.7 + 71. Let q = 15 + v. Is 0.5 at most q?
False
Let y be 0 + 3 - 285/10. Let j = 26 + y. Suppose 0 = -n - 5*g + 2*g, 5*n = 3*g. Which is greater: j or n?
j
Let r = 0 - -5. Let t(z) = -18*z. Let n be t(r). Let u be (1 - -2)/(n/(-4)). Which is bigger: 1 or u?
1
Let z(p) = 3*p**2 - 14*p - 6. Let a be z(5). Is a greater than 3/13?
False
Let x = 2169/11 + -197. Let u = 6.5 - 6.559. Let t = u - -0.029. Which is bigger: x or t?
x
Let u = 1495 + -191359/128. Let a be 4/48 - (-374)/408. Is a bigger than u?
True
Suppose 0 = 3*c - 4*c - 3*j - 15, -5*c + 5*j + 25 = 0. Let p be -2 - (17/(-57))/((-1)/(-6)). Do p and c have different values?
True
Let j = -70 + 37. Let b = 33 + j. Is -9 at least b?
False
Suppose -2*m = -2*l + 1 - 13, 2*m + 3*l + 13 = 0. Let x(v) = 4*v**2 + 0*v + 5*v + 8*v**2 - 3*v - 1. Let w be x(m). Is w less than 13?
False
Let g = -12.2 - -17. Let f = g - -1.2. Which is smaller: f or 0?
0
Let h = 16 + -7. Let p be (3/h)/(1/(-3)). Let x be (-3)/p + (-119)/49. Which is smaller: x or -0.1?
-0.1
Let j(z) = -4*z - 57. Let y be j(14). Is y less than 2?
True
Suppose -5*q = 2*v + v - 9, -q - 19 = -2*v. Which is greater: 37/4 or v?
37/4
Let v be ((-12)/(-10) + -1)/((-13)/(-65)). Let d = 0 - v. Let p = 104 + -518/5. Which is smaller: d or p?
d
Let x(l) = 2*l + 7. Let h be x(-2). Suppose -2 = -2*o - 2*u, 0 = -2*o - h*u + 2 + 1. Are 0 and o equal?
True
Let n = -15.11 + 0.11. Let h = 1.448 + -0.448. Which is smaller: n or h?
n
Let v be 106/(-240) - (-34)/85. Let t = 29/120 + v. Which is smaller: t or 1?
t
Let q = 2 + 50. Let d = q - 31. Let r = d + -24. Which is smaller: 0 or r?
r
Let k = -53.1 - -55.1. Is -73 >= k?
False
Suppose 0 = -5*g - 133 + 23. Let s = -15.68 + 15.78. Which is smaller: g or s?
g
Suppose -151 - 57 = -4*i. Suppose -8 = -2*b + i. Which is bigger: b or 29?
b
Suppose 4*p - 5*y - 22 = 3*p, 4*y = -2*p - 12. Suppose 7*d - 10 = p*d. Let w be d/(-5) - 11/(-40). Is w smaller than 0?
True
Let c be (4/12)/((-1)/(-78)). Let u = c - 18. Which is greater: 57/7 or u?
57/7
Let f(h) = 2*h + 11. Let w(i) = -i - 5. Let a(b) = 2*f(b) + 5*w(b). Let l be a(-6). Suppose -l*t - 24 = 3*k, -k + 15 = -2*t - 4*k. Is -8 < t?
False
Suppose 2*x - 14 = -4. Suppose -5*l - x = 5*w, 0*l + 13 = 2*l - 3*w. Does 6/11 = l?
False
Suppose 2*p = -5*p + 84. Suppose 5*g = -g - p. Which is smaller: -15 or g?
-15
Suppose 0 = 2*u - 13 - 161. Let i = 93 - u. Are i and 1 unequal?
True
Suppose -4*j + 4 = -5*c, 0 = c + 4. Let x be 33*4*j/(-24). Is x <= 22?
True
Suppose 34 = -25*f - 41. Let z be (1 - -2)*18/(-14). Which is smaller: z or f?
z
Let o = -278.9 - -276. Is 0.2 greater than o?
True
Let g = -15.3 + 2.3. Let n(x) = -x**3 + 11*x**2 + 9*x + 30. Let b be n(12). Which is greater: g or b?
b
Let u = -6.2 + 9.3. Let i = -3.09 + u. Which is bigger: 0.4 or i?
0.4
Let u = -44 - -24. Let h be u/(-48) + (-2)/3. Which is smaller: h or -1/15?
h
Let p = -58 - -57.975. Let r = p - 0.175. Let c(j) = -6*j**2. Let d be c(1). Is r > d?
True
Let w = -1061 + 1055.4. Do -0.1 and w have different values?
True
Let h(x) = x**2 + 3*x - 2. Let f be h(-8). Is 24 greater than f?
False
Suppose 2*u = -5 + 13. Let f(p) = -p**3 - 13 + p + 0*p**3 + 2 + 15*p**2 + 2. Let l be f(15). Is u less than l?
True
Suppose 0*z + 6 = -3*z - 3*q, -4*z + 4*q = 0. Which is greater: -21/13 or z?
z
Let g = -3696 - -2261. Is -1436 greater than g?
False
Suppose -2*o = -2*r - 2, r = 4*o - 6 - 4. Suppose -2*u + 5*x = -20, o = u + 2*x + 2. Suppose -j = 2*p - 15, 2*p + u*j = 6*p - 65. Which is smaller: p or 8?
8
Let d be 0*((-12)/(-20) - (-16)/40). Let y be 10/45 - (-31)/(-45). Is d equal to y?
False
Let t = -464 - -525. Are t and 185/3 non-equal?
True
Let q = 4 + -3. Let c be (-5)/(100/24)*14/126. Which is bigger: c or q?
q
Suppose -5*i + i = y - 2, 3*i = -3*y + 24. Let x = y + -24. Let u = 2455/6 - 1265/3. Which is greater: u or x?
u
Let u = 99 + -209/2. Let y = u + 6. Which is smaller: y or -0.07?
-0.07
Let s = 71/1066 + -3/26. Suppose -3*v = -450 + 453. Which is smaller: v or s?
v
Let i = 202811/101 - 2008. Let h = 379/5959 - i. Which is smaller: h or 1?
h
Let n = 54 + -54.045. Let w = -3.545 - n. Is 1 less than or equal to w?
False
Suppose -47 = -26*m - 21. Which is smaller: 3/175 or m?
3/175
Let d be 1/(-3)*-3207 + 1. Let w = d + -6445/6. Is -5 at least w?
False
Let u(q) = q**3 + q**2 + 2*q + 4. Let n be u(-2). Let j be n + (-68)/(-20) + 72/70. Let y be 2 - 2 - (1 - 0). Which is bigger: y or j?
j
Let m = 162 - 162.143. Is 1 equal to m?
False
Let i(u) = u**3 - 5*u**2 - 8*u + 11. Let n be i(6). Let o(z) = 2*z + 7. Let c be o(-7). Is n != c?
True
Let d = 1.32 + -2.12. Which is smaller: d or -15?
-15
Let t be 6/((4/2)/10). Let s be (4/(-5))/((-4)/t). Suppose 4*p - 11 = -g, 29*g - 24*g + 29 = p. Which is greater: p or s?
s
Let q = -32 - -32. Suppose q = -4*k - k. Which is smaller: k or 2/135?
k
Let h = -6 + 6. Suppose h = -0*g - g - 161. Let m = -1124/7 - g. Is m at most as big as 1?
True
Suppose -37 = -3*r - i, -2*i = -5*i - 6. Let o = 228 - 216. Is r equal to o?
False
Let n = 1647 + -111993/68. Is -1 <= n?
True
Let n(w) = -w**3 - 15*w**2 - 27*w - 53. Let m be n(-13). Which is greater: 1 or m?
1
Let a = -1.737 + 2.737. Do 0.818 and a have the same value?
False
Let y = -1 - -1.2. Suppose 6*m - 132 + 486 = 0. Let z = m - -887/15. Is y at most as big as z?
False
Let s(x) = -2*x + 15. Let g be s(6). Suppose 0 = 5*h - 3*q + q - 94, 3*h - 4*q - 62 = 0. Suppose -b - h = -g*b. Which is bigger: 8 or b?
b
Suppose r = 5*r + 72. Let b be (-70)/(-12) - r/27. Do b and 8 have the same value?
False
Let z = 0.1 - 2.1. Let j = 0.314 - -0.21. Let g = -0.224 + j. Is z <= g?
True
Let m be 6*(-1 - 2/(-4)). Let s be (6/(-4))/(-3 + 81/24). Let t be (-340)/136 - (-1 - 6/s). Is t greater than m?
False
Let q(r) = -23*r**2 - 133*r + 1. Let i be q(-7). Do i and -197 have the same value?
False
Let a(o) = o**2 - 2*o + 2. Suppose 3*m - 11 = -5. Let t be a(m). Suppose 0 = -w - w - t*g + 8, -2*w + g = 4. Which is greater: w or -2/41?
w
Let r(x) = 2*x**2 + 21*x + 14. Let o be r(-10). Suppose 1 = b + o, b + 1 = -2*c. Which is smaller: -2/29 or c?
-2/29
Let n be (-7 - -4)/(30/4). Let p be 2/(-17) - (2 + (-91)/51). Is n at most p?
True
Let a = 16/1717 - -5/101. Which is smaller: 2 or a?
a
Let f(n) = -3*n - 1. Let s be f(-1). Suppose 27 = 4*k + 5*l, -k - 7*l + 18 = -2*l. Suppose k*h - 30 = -2*a - 11, 4*h = s*a + 16. Which is bigger: h or 4?
h
Let g = 342 - 344. Let m = -151/4 - -37. Which is smaller: m or g?
g
Let b = 48 - 46. Suppose h - 6*h + b = -4*w, 4 = 2*h. Let y = -0.38 - -0.3. Is y > w?
False
Let p = 150 + -92. Which is greater: 55 or p?
p
Let s = 15.33 + -15.33. Which is bigger: s or -685?
s
Let f = 10.16 + -0.16. Let b = 9.2 - f. Let q = b + 0.8. Which is bigger: -0.1 or q?
q
Let h be 1*-12 - (