3)/((-10)/30). Let d = -4 - -1. Let t be (d*1)/(-3)*-1. Is y at most t?
True
Suppose k + 8 = -2*i, 3*i = 3*k + k + 10. Let v(d) = -d**3 - 18*d**2 - 16*d + 12. Let u = 17 - 34. Let h be v(u). Which is greater: k or h?
k
Let h be (-5 + 4)/(1/(-1)). Which is smaller: h or 0?
0
Suppose -h + 4 = h. Let j = h + 1. Suppose -2*b + 1 = 4*g - j, 2*b = -g + 4. Which is smaller: 4 or g?
g
Suppose 3*n = 5*l + 7, -2*l - 3 = -n - 0*l. Is n not equal to -12?
True
Let m = 11 + -7. Let h = -0.02 - -4.02. Let a = h - m. Is a > 0?
False
Suppose -4*u + 5*c + 11 = 0, -5*u + 4*c = 3*c + 2. Suppose 2 = q + 1. Which is greater: q or u?
q
Let x be 34/4 + (-3)/6. Let j be ((-4)/x)/((-2)/(-4)). Do -2/11 and j have different values?
True
Let m = 37/9 - 149/45. Is m >= 1?
False
Suppose 0 = -2*k + u - 0*u - 14, 2*u - 8 = 0. Let n be k + 6 - 1/2. Let g(i) = -i**3 + 6*i**2. Let w be g(6). Which is smaller: n or w?
w
Let d = -190/3 - -64. Is 0.1 greater than or equal to d?
False
Let p = -102.92 + 99. Let o = p + -0.08. Let s = o + 0. Which is bigger: s or -2/7?
-2/7
Suppose 4*i + 12 = -4, 5*g = 2*i + 8. Suppose g = -a + 1. Let y be 7/(-28) + 9/4. Which is bigger: a or y?
y
Let m = 48 + -53. Which is smaller: 0.3 or m?
m
Suppose -5*k + 3*i + 17 = 5*i, 5*i + 20 = 0. Let w be (-54)/(-8) - (-1)/4. Does k = w?
False
Let a be (-108)/(-490) - 4/20. Let l = 13/49 + a. Is l less than -1?
False
Let p be 2/(-1)*8/(-8). Suppose -n = -3*n - p. Is n bigger than 1/13?
False
Let z be (-15)/(-18)*78/15. Do 3 and z have the same value?
False
Let z = 3 + 5. Suppose 5*v = -r - 13, -r + v = 2*r + 23. Let y = z + r. Which is bigger: 3/7 or y?
3/7
Suppose -3*l = l + 12. Is l at least -3?
True
Let j = 5.17 - 0.17. Do j and -2/9 have the same value?
False
Let m = -1939 + 763965/394. Let w = m - -797/3546. Suppose 0*p - p = 0. Is w less than or equal to p?
False
Let p(m) = 4*m - 4. Let l be p(3). Suppose -q = 5*k + l, 2*q - q = 3*k. Let x = q - 0. Do -3 and x have different values?
False
Let k be 13/(-7) + (1 - 0). Let d = -11 + 10. Which is smaller: d or k?
d
Let c = 13 - 13. Let s be 8/(-10) + c/2. Is 0 bigger than s?
True
Let t = -0.3 + -5.7. Let r = -7 - t. Let k = -0.03 - 2.97. Is k <= r?
True
Let v(a) = -a + 3. Let b be v(-3). Let o(i) = i - 11. Let c be o(b). Let n = c - -7. Is 2 >= n?
True
Let o(v) = v**3 + 5*v**2 + v + 7. Let s be o(-5). Let b(y) = y + 14. Let t be b(-11). Suppose -4*h + 22 = t*l - l, 4*h - 31 = -5*l. Which is bigger: l or s?
l
Let y(o) = -2*o**2 - 18. Let t be y(0). Do -19 and t have the same value?
False
Let y be 0/14 + ((-9)/(-8) - 2). Let m be (-1 - 0 - -1)/1. Which is bigger: y or m?
m
Suppose 6*c + 4*x - 21 = 3*c, -4*x = -c + 7. Let r be ((2 - 4) + 1)*c. Are -7 and r nonequal?
False
Let b = 17 - 15. Suppose -5 = -5*p, p = 3*r - 0*p + 166. Let u be (-45)/(-6)*(-4)/r. Which is smaller: b or u?
u
Let k = -6/5 - -32/25. Let s = 79/50 - k. Let h be 18/14 - (-2)/(-7). Is h less than or equal to s?
True
Let w = 1 + 4. Let l be (-16)/(-12) - (-6)/9. Suppose 0 = w*r + 2*u + l*u - 13, 5*u = -5*r + 15. Which is smaller: r or -1?
-1
Suppose -h - 4*d + 2*d = 7, -3*h + 2*d + 3 = 0. Suppose -k - 20 = 4*k. Let m be k/((-104)/(-30)) - h. Is 1 less than m?
False
Suppose -5*b = -4*b + 5*y + 21, 4*y + 40 = 5*b. Let t(r) = r - 4. Let k be t(b). Let w be 10/4 - (k - 0). Which is smaller: 2 or w?
2
Let l(o) = -2*o - 15. Let n be l(-5). Does n = -1/2?
False
Let f(k) = -7*k**2 + 5*k**2 + k**2 - 3*k + 1. Let b be f(-3). Let g = 199/11 + -18. Which is smaller: b or g?
g
Let j = -177/14 + -379/42. Which is greater: j or -23?
j
Let m(a) = a**3 + 13*a**2 + 11*a - 11. Let r be m(-12). Let u = -1 - r. Is -2 at most as big as u?
True
Let y be 1/(-2) - (-184)/240. Is 0.1 at most y?
True
Let g = 1 + -1. Let v = 333/95 - 17/5. Which is greater: g or v?
v
Let k(l) = l - 4. Let j be k(8). Let q be (-2)/j*6/21. Is 0 >= q?
True
Let l = 6 + -1. Suppose 5*w + l = -0*w. Let z = 9 + -10. Is w less than z?
False
Let m(p) = -p**2 - 9*p - 8. Suppose 0 = -2*h + 4*h + 16. Let i be m(h). Which is smaller: -2/11 or i?
-2/11
Let d be 1 - ((2 - 2) + -4). Suppose g + d = -0. Do -7 and g have different values?
True
Let i(s) = s**2 + 2*s. Let d be i(-3). Let l be ((-4)/(-20))/(d/5). Is l > -1?
True
Let n = 73/50 - -1/25. Suppose 2*v + r = 5, 3*r - 4 = -3*v + 2. Let m = 6 - v. Which is smaller: n or m?
n
Let d be 2 + (0 - 1) - (0 - -2). Is d <= 1/19?
True
Let k(l) = l**2 - 9*l - 12. Let m be k(10). Let z be 6/4*4*1. Let f = m + z. Which is smaller: 5 or f?
f
Let w be ((-33)/(-55))/((-1)/(-15)). Is 8 not equal to w?
True
Let n = -14 - -13. Which is bigger: -1/5 or n?
-1/5
Suppose 3*n = -6*x + 2*x + 13, 3*x + 6 = 3*n. Suppose 3*j - 10 = -x. Is j equal to 3?
True
Let w = -248 + 1236/5. Suppose -5*h - 6 = -3*h. Let c be 1*2/(6/h). Which is greater: w or c?
w
Suppose 0 = -s + 6*s. Suppose h + 0*h - 1 = s. Is 4 less than or equal to h?
False
Let k(y) = y**2 + y - 1. Let x be k(2). Suppose -5*r + 1 - 31 = x*g, -3*g - 10 = r. Is 1 greater than g?
True
Let m = 4 - 3. Let c = m + 3. Let y = -4 + c. Is 2 smaller than y?
False
Let c be ((-10)/4)/5*-12. Is 17/3 <= c?
True
Let f = -1.08 + 1.056. Which is smaller: 2 or f?
f
Let m = 1 + 0. Let a = 43/265 + 2/53. Which is greater: m or a?
m
Let i = 0 + -0.1. Let z = -0.3 - i. Let x be 1/15*3*2. Which is smaller: z or x?
z
Let k = -40 - -75. Let j be 14/k*(-5)/(-2). Is -0.2 at least j?
False
Let w be ((-6)/(-2) - 4)*12. Is -10 at most as big as w?
False
Suppose -4*p + 9 = 1. Suppose -30 = -3*h + p*h. Suppose 7*f = 2*f + 5*m + h, 8 = -2*m. Which is smaller: 5/6 or f?
5/6
Let t = -0.011 + -0.089. Is -27 greater than or equal to t?
False
Let n(i) = -3*i**2 + 2*i - 1. Let r be n(1). Let p be 7/(-4) + 3/6. Which is bigger: r or p?
p
Let o be 18/(-315)*(-145)/(-4). Let k = o + -3/7. Which is smaller: k or -2?
k
Let f = -2.33 + 0.43. Let u = -2 - f. Let j = 11/36 - 5/9. Is u at most j?
False
Let n be (25/15 - -1)*27. Is n less than or equal to 73?
True
Let d = 129 + -218. Are d and 1 equal?
False
Let s = -113/3 - -38. Suppose 0 = -2*d - d. Suppose 0 = 4*u - d*u. Which is smaller: u or s?
u
Suppose 5*g - 2*c + 10 = g, 0 = -2*g - c - 7. Let u be 6/(-40) + g/12. Let h be 10/3*(-6)/(-4). Does h = u?
False
Let x = -0.1 - -0.4. Let b = -0.4 + x. Let d = 0.5 + -0.8. Which is greater: d or b?
b
Let w be (-1)/6 + (-1)/(-6). Suppose 4*o + 2*k + 8 = w, 3*o + 2*k + 7 = k. Which is bigger: o or -2?
-2
Let y(j) = -j**3 + 6*j**2 - 1. Let r be y(6). Let c be (-2)/1 + (-5)/r. Suppose 4*g + 2 = -c*i, 5*i + 0*g = -5*g - 5. Which is bigger: -1 or i?
-1
Let j = 109 - 329/3. Is j >= 0.02?
False
Let a be (-6)/(-12)*(2 - 0). Let m be (-4)/a - (-2 + 0). Is m bigger than 0?
False
Suppose -63 + 15 = -4*n. Let z be (2/2)/((-2)/n). Which is smaller: -8 or z?
-8
Let s be (-157)/(-7) + (-48)/(-84). Does s = 22?
False
Let r(p) = -p**3 + 14*p**2 - 17*p + 29. Let c be r(12). Is 112 greater than c?
False
Let s = -0.47 - -0.47. Does 5 = s?
False
Let o be (12/(-5))/(4/30). Let h be (-14)/(-2)*(-4)/o. Let g = -116/63 + h. Is g greater than 1?
False
Let i be -6*(68/(-23) + 3). Which is smaller: -1 or i?
-1
Let a = -95/3 - -221/7. Suppose -c + 2 = 3. Is c equal to a?
False
Let z(q) = q**3 + 5*q**2 - 2*q - 11. Let p be z(-5). Is p at least as big as -7?
True
Let s = 3 - 3. Let q be s/(-1 - 1 - -5). Let a be (-11)/(-90) - (-2)/(-9). Do q and a have different values?
True
Let k = 0.05 + -0.09. Let r = k + 0.04. Which is greater: r or 0.03?
0.03
Let h = -0.98 + 1. Let i = 0.28 + h. Is i at most as big as 2?
True
Suppose -3*u - 4 = 17. Let p(g) = -g**2 - 7*g - 1. Let y be p(u). Let d be 1 - (1 - y)*1. Is d at least 2?
False
Let w be (-4)/(-18) - (-2)/(-9). Suppose w*d = 2*y - 5*d - 29, -3*y + 21 = -3*d. Let j be (12/(-27))/(4 - y). Is j < 0?
True
Let u(g) = -g**3 + 10*g**2 - 5*g - 7. Let c be u(10). Is c at most -57?
True
Let w be 2/(-7) + (-16)/(-7). Let p be -5*(-3)/(105/w). Let g = -2 - -1.8. Which is smaller: p or g?
g
Suppose 0 = -3*i - 5*v + 2*v + 15, -6 = 2*v. Let d = i + -6. Which is smaller: d or 3?
d
Let h = 0 - 0. Let t = 14 - 10. Which is smaller: t or h?
h
Let q = -44/3 - -15. Let r = 8 - 7.93. Let a = 3.07 - r. Which is smaller: a or q?
q
Let x be 2/4 + (-159)/6. Is x greater than -26?
False
Let a = 2.05 + -0.05. Suppose -s + 