et j be (-144)/(-70) + 1 + -3. Does j = p?
False
Let o(g) = -2*g - 22. Let a be o(-11). Which is greater: a or 8/9?
8/9
Let s be 0 - -4*4/(-24). Which is bigger: 1/24 or s?
1/24
Suppose -9*s = -s. Suppose 0 = -n - n + 20. Suppose -2*b - 3*b - n = s. Which is greater: -1 or b?
-1
Let t be 42/(6/3) - 2. Let w be -2 - (-4*t)/2. Let l be w/10 - (-4)/10. Are 4 and l equal?
True
Let i be ((-8)/6)/((-1)/3). Let f = -93 - -99. Which is greater: i or f?
f
Let p = -13 - -15. Is 0.05 at most as big as p?
True
Let i(n) = -2*n + 12. Let r be i(5). Which is smaller: r or 5/4?
5/4
Let c(x) = 17 - 11*x**2 - 15 - x**3 + 4*x**2. Let j be c(-7). Are j and 5/4 non-equal?
True
Suppose 10 = -5*f, 9 - 29 = t + 5*f. Let y = 9 + t. Let l be (-3 - (2 - 2))/1. Which is smaller: l or y?
l
Let k = -9597/19 + 505. Let h be (-1)/((-1)/(-2)) - -1. Is k less than h?
False
Let h = -3100/10639 + -22927579/11170950. Let o = h - -33/14. Let u = o - -44/75. Which is smaller: 1 or u?
u
Suppose -4*v + 5*z + 9 - 2 = 0, v - 4*z = -1. Let l = 2 - 6. Let f = v + l. Which is smaller: 1/9 or f?
f
Let b = 1/14 + 19/28. Let w = 1 + -1. Which is greater: b or w?
b
Suppose 7*v = 5*v. Is -2/9 < v?
True
Let h(c) = 2*c + 6. Let v be h(-4). Let t = -1 - v. Suppose -a - 2 = w - 4, -4*a = -5*w + 1. Is w bigger than t?
False
Suppose 0 = 3*p - 42 + 3. Let y(v) = -v**2 + 14*v - 10. Let a be y(p). Which is bigger: 0 or a?
a
Suppose -3*s - 2*s - 130 = 0. Let m = 27 + s. Is -0.3 <= m?
True
Let l = 1/15 + -17/30. Let c = 2.9 + -3. Let z = c - -0.1. Which is greater: l or z?
z
Let v = 11/39 - -1/39. Is -1 at least as big as v?
False
Let t be (263/2)/(0 - -15). Let l = t + -49/6. Suppose 10*g = 14*g. Which is bigger: g or l?
l
Let y = 1 - -1. Suppose -4*h + 28 = -3*k, -k = -2 + 6. Suppose -y*v - 2*v = h. Are 0 and v unequal?
True
Let a be (-2)/(-6) - (-5)/3. Let x = a + 1. Suppose -2*b + 4 = j - 0*b, 5*j - 4*b - 20 = 0. Which is smaller: x or j?
x
Let n = 25/6 + -127/30. Is -1 < n?
True
Let k be ((-1)/(-3))/(1/(-3)). Let w be (1 + k)/(2 - 0). Which is bigger: 1 or w?
1
Let o(b) = -4*b**2 - 2*b - 1. Let i be o(-1). Let m(n) = n**3 - n**2 - 8. Let r be m(0). Let w(u) = u**2 + 9*u + 4. Let g be w(r). Which is smaller: i or g?
g
Suppose -20 = w - 3*w. Let p be w/(-2) + 2 - -3. Let c be (-5)/(-15) - p/1. Which is smaller: 2 or c?
c
Let x = 2 + 2. Suppose y + x*y = -25. Are -1 and y unequal?
True
Let h be ((-42)/7)/((-6)/(-4)). Which is greater: h or -1?
-1
Let z(f) = -9*f - 18. Let v be z(-4). Do 18 and v have different values?
False
Let z be 785/(-354) - (-3 + 1). Let g = 3/59 + z. Suppose 6*b - 5*b = 1. Which is smaller: g or b?
g
Let u be (3/10)/((-24)/10). Let l be (-3)/(-2)*4/(-6). Is u equal to l?
False
Let j be (3/1)/(-24)*-4. Which is smaller: j or 47?
j
Suppose 8 = 4*c + 20. Let k = -3 + -1. Which is smaller: k or c?
k
Let u be 77 - ((-20)/(-5) + -5). Is 77 at most as big as u?
True
Suppose -2*j - 8 = -a, 4*j + 8 = -0*j - 2*a. Suppose 6*i = -3*i - 63. Which is smaller: i or j?
i
Let d be 1/(3 + 2 + -4). Let y(k) = -k**2 - 2*k + 1. Let g be y(d). Suppose -2*q - 2*q = 3*l + 21, -2*l + 2*q = 0. Which is smaller: g or l?
l
Let u = -7 - -6.9. Do -2 and u have the same value?
False
Let w = -221/14 + 31/2. Which is smaller: 0 or w?
w
Let v = 4 - 3. Let m = -1 - v. Let q be (-70)/(-15) - m/(-3). Which is smaller: q or 3?
3
Suppose -q - 3 = -2. Let r(j) = -j - 3 - 2*j + 1 + j**2. Let b be r(3). Is b >= q?
False
Let p = 2 + 1. Suppose -2*a - 16 = -c, -75 = -5*c + 5*a - 0*a. Suppose 5 = -p*h + c. Is 2 at most as big as h?
True
Suppose p - 16 = -14. Let r be (p/5)/((-1)/10). Which is bigger: r or -6?
r
Suppose -2*l - 12 = 2*l. Let c(x) = -x**2 - 11*x + 2. Let p be c(-11). Let k be -3 + p - 4/l. Which is smaller: 1 or k?
k
Let l = -1.5 - 13.5. Let f = 15.3 + l. Is 2 at least f?
True
Let o(a) = 2*a + 17. Let n be o(-7). Let p = -4 + n. Which is greater: p or 0?
0
Let x = -0.16 - 0.04. Which is greater: 1 or x?
1
Let w(k) = k - 3. Let z be w(7). Let s = -8 - -8. Suppose z*m - 5*m = s. Which is smaller: m or -2/7?
-2/7
Let o be (-3)/10 - 28/(-70). Which is bigger: 1 or o?
1
Let p = -31 - -15. Which is greater: p or -15?
-15
Let f be 4/3 - (-100)/(-12). Let h = f - -20. Is 14 greater than h?
True
Suppose s - 4 - 2 = j, -2*s - 12 = 4*j. Let i be (-1)/1*(s + -3). Do 2 and i have different values?
True
Let z = 0 - 1/4. Suppose 4*o - 11 = -59. Let v be 1/4 + 3/o. Is v bigger than z?
True
Let f be (-3)/7*28/42. Is f > -3/7?
True
Suppose 0 = -5*y - w + 27, 2*y = -w + 10 + 2. Let t be (3 - 4) + y/4. Is -2 at least t?
False
Let j be 44/24 - (-2)/12. Let k be (j/3)/(2/3). Is k greater than or equal to -1?
True
Let f(i) = -5*i - 2. Let y(m) = 4*m + 1. Let x(u) = -5*f(u) - 6*y(u). Let z be x(-6). Which is smaller: z or -0.2?
z
Let b be (-2)/10 + (-14)/30. Suppose 8*m - 3*m = 0. Which is smaller: b or m?
b
Let r = -8 + 4. Let w = -2 - r. Let c = -1.5 - -1.4. Are w and c unequal?
True
Suppose 5*t - 64 = 9*t. Are -15 and t nonequal?
True
Let a be 1/(-12) - 10/(-40). Is 0 < a?
True
Let x = -77/10 - -17/2. Let a(f) = -f - 5. Let s be a(-7). Are s and x nonequal?
True
Suppose d + d = -2. Do -2 and d have the same value?
False
Let y = -1302863/70 - -18612. Let r = 1/14 - y. Suppose 10 = -2*s, 2*s + 18 = 5*c + 3. Which is greater: c or r?
c
Suppose o + 0*o = -2. Which is smaller: -4 or o?
-4
Let j = -76 + -39. Let n = 3807 + -18458/5. Let t = j + n. Which is smaller: -5 or t?
-5
Suppose 4*c - 5*d = -2, d - 1 - 3 = 2*c. Let h = 4 + c. Let t be ((-17)/(-34))/((-5)/(-4)). Which is bigger: t or h?
h
Suppose -23 + 8 = -3*t. Is 5 greater than t?
False
Let j(i) = i**3 + 9*i**2 + 7*i - 8. Let f be j(-8). Let x be 0*(f - (-2 + 1)). Which is bigger: x or 1?
1
Suppose 2*m = 27 - 13. Which is smaller: 0 or m?
0
Let j be 11/4 + -1 + -1. Let b(f) = f - 3. Let n be b(4). Which is greater: n or j?
n
Let g be 286/(-33)*(-3 + 0). Which is smaller: 27 or g?
g
Let h be (2 - 2)*(-1 - 0). Is 1 equal to h?
False
Suppose 3*c + 3*i = 12, -2*i + 8 = -5*c + c. Is 0 smaller than c?
False
Let p = -52.1 - -56. Let f = -4 + p. Is -0.1 less than or equal to f?
True
Let a = 19 + -15. Suppose 5 = 4*s - 11. Suppose -4*j - 3 = 3*p, s*p = -a*j + 1 - 5. Is j at least 0?
True
Let t(l) = 14*l - 85. Let z be t(6). Let o = 7/13 - 15/52. Is o less than or equal to z?
False
Let h = 13 + -12.9. Suppose -4*y = 5*v - 173, -y + 2*v + 19 = -8. Let x = 184/5 - y. Which is smaller: h or x?
x
Let u(x) = x**3 - 8*x**2 - 1. Let t be u(8). Suppose 0 = -5*d - 25, 2*j + 5*d = 3*d - 44. Let c be (-1)/4 - j/36. Which is smaller: t or c?
t
Let q be 6/33 + 19505/13420. Let g = q + 7/61. Which is smaller: 3 or g?
g
Let q = 4/3 - 11/6. Let w(j) = j**3 - 5*j**2 - 5*j - 5. Let c = -4 - -10. Let o be w(c). Which is smaller: o or q?
q
Let x(f) = f**2 + 4*f + 5. Let c be x(-4). Suppose c*d - m = 25, m + 3*m + 28 = 2*d. Suppose g - 4*l = d, -2 + 4 = 5*g - 2*l. Which is greater: -2 or g?
g
Let n be -1 + (-39)/(-5) + 12/(-15). Suppose -4*o - c = 21, -c - 1 = -0. Let f = n + o. Is 2/5 > f?
False
Let l(y) be the third derivative of -y**6/120 - y**5/20 + y**3/6 - 2*y**2. Let i be l(-3). Which is bigger: -3/13 or i?
i
Let y(w) = -w**2 - 11*w - 6. Suppose 0 = -2*f - 1 + 3. Let n be (-8)/12*(f - -14). Let m be y(n). Is m at least as big as 3?
True
Let q = -25.033 - -0.033. Let t = q + 22. Which is greater: t or 0.2?
0.2
Suppose a + 32 = -3*a. Is a greater than -8?
False
Suppose -d = 4*d - 100. Suppose -4*n + d + 4 = 0. Let s = -5 + n. Is -1 < s?
True
Suppose -17*b = -14*b - 48. Is b not equal to 16?
False
Let x = 0 + 1. Let r be (x + 0)*(-4)/14. Let g = 0.47 - -2.53. Is g less than r?
False
Let c = -51 + 152/3. Is 1.1 bigger than c?
True
Let h be 1/(2 + -3) + -2. Suppose -16 = p + 3*p. Let a = p + 0. Which is bigger: h or a?
h
Suppose -3*b = -3*w, 5*b = -3*w - 0*b. Let v = 5.7 + 9.4. Let h = -15 + v. Are w and h equal?
False
Let s be 9/6*(-24)/(-9). Let p = 8 - s. Is 1 less than p?
True
Suppose -9 = 2*r - 3*s, -3*r - 19 + 4 = -5*s. Suppose 0 = 5*y - 0*l + 4*l + 15, y - l - 6 = 0. Is r equal to y?
False
Let i = 7599/50 - 152. Is 1 at most i?
False
Suppose -3*p + 3*w + 1 + 17 = 0, 4*p + w - 4 = 0. Suppose y = -5*q + 3*q + 1, -5*y = -p*q + 7. Let a be 0/(-2) - (0 - -1). Do a and y have the same value?
True
Let m