
True
Suppose -3*d + 14 = -4*h, -4*d + 2*h + 8 + 14 = 0. Let r(u) = 2*u - 12. Let q be r(d). Is 1 not equal to q?
True
Let o = -16/3 - -86/15. Is -1 less than or equal to o?
True
Let j be (1/(-2))/(-4 - (-420)/104). Is j > -10?
False
Suppose -w + 5*h - 26 = 0, 2*w + 2*w = h - 9. Which is bigger: w or 56?
56
Let w = 0 - -4. Let h be w*1 + 2/1. Let r be (1/h + 0)*-1. Which is smaller: r or 1?
r
Let l = -10 + 11. Suppose -4*g - 51 = g - h, l = h. Which is bigger: g or -11?
g
Let x = -279/104 - -19/8. Are 0 and x unequal?
True
Suppose 5*j = 9*j. Is 10/9 > j?
True
Suppose -2*d - 2 = -3*g, d + g = -2*g - 1. Do d and 6/13 have the same value?
False
Suppose 0 = 3*v + 5*q - 41, -5*v + 40 = -q + 9. Suppose -u = 2*u - 9. Suppose -2*l = u*h - v*l - 8, -l = -3*h + 4. Do 0 and h have the same value?
False
Let u = 5 + -4. Suppose -h - 2*p - u = 5, h + 4 = -3*p. Is -9 > h?
True
Suppose -2*z + k = 6*k - 25, -3*z - 5*k = -50. Suppose 2*n - 3*n + 2*u = 10, 5*u = -3*n + z. Let l = 2 - n. Do l and 1/2 have the same value?
False
Let f be 41/(-3) - 2/(-3). Let o = -10 - f. Let s(b) = -b**2 - 4*b + 7. Let w be s(-5). Are w and o equal?
False
Let t be 24/(-7) + -8 + 12. Suppose -i = -c - 1 - 1, 4*c = -3*i + 13. Is c <= t?
False
Suppose -4*d + 52 = -4*g, -2*d = g + 2 + 8. Are g and -35/3 non-equal?
True
Suppose 0 = 4*q + 7 + 1. Let k be (-58)/168 + 2 + q. Let x = k + 2/21. Is 1 smaller than x?
False
Let u = 117/20 + -28/5. Let o(h) = -h - 2. Suppose 2*l + 6 + 0 = 0. Let z be o(l). Which is greater: z or u?
z
Suppose -4*s - 4*o = 1 + 19, 4*s + 2*o + 14 = 0. Let v be s/(-3)*3/(-2). Which is smaller: 1/3 or v?
v
Suppose -3*k + 4*o = -5, -5*k + 0*o = -o + 3. Let p be -2 + (-1)/((-3)/9). Let j = p - k. Is -1/5 not equal to j?
True
Let g be (-207)/7 - (-12)/(-28). Let y be (-4)/(-15)*g/(-20). Let r be (-8)/(-6)*(-2)/(-8). Is y less than or equal to r?
False
Suppose 0*u - 100 = 4*u - 2*q, -q = 0. Let j be u/20*(-4)/(-10). Is -1 at least j?
False
Let f be 36/(-20) + 1/(-5). Let h be (-2 - f - 1)/1. Let p be 1 + (-6)/4 + 0. Which is smaller: h or p?
h
Let k be ((-220)/5)/((-4)/2). Is k at least as big as 21?
True
Let v(o) = o**3 + o**2 - o + 56. Let j be v(0). Let k be 2/8 + (-6)/j. Is k < 1?
True
Let g be (1/(-2))/((-6)/12*-1). Which is bigger: g or -3/5?
-3/5
Suppose 3*h + 14 = -7. Let m = 4 + h. Are -2 and m nonequal?
True
Let x(m) = -m**2 + 10*m - 12. Let f be x(10). Let s be 2/f + (-5)/10. Let d = 0 + -1. Which is greater: d or s?
s
Let q = -1 + 2. Let s = 712/7 + -102. Which is smaller: s or q?
s
Let k(l) = -5*l**3 + l. Let i be k(-1). Suppose -o + 5 - i = 0. Which is greater: o or 3/7?
o
Let n = -0.22 - -0.2. Let k = n + -0.06. Let m = -0.22 + k. Is m bigger than 0.1?
False
Let n = 1467/4 + -355. Which is greater: n or 11?
n
Suppose -10 = 2*k - 4*k. Let w(h) = 2*h - 9. Let y be w(k). Which is smaller: y or 4?
y
Let b(z) = z**3 - 4*z**2 - 5*z + 1. Let f be b(5). Suppose 251 = -5*n + 41. Let h be (-2 - -4)*(-6)/n. Which is smaller: f or h?
h
Suppose -4*j + 5*j = 3. Suppose 0 = j*v - 4*v. Which is smaller: -2 or v?
-2
Let n = -1.15 + -0.05. Let w = n - -1. Let t be 38/(-60) + (-20)/(-150). Which is smaller: t or w?
t
Suppose 4*l = -h - 26, -5*l = -2*h - 26 - 39. Let f be ((-4)/(-10))/((-24)/h). Is -1 less than f?
True
Suppose 0 = n + 3*h + 10 - 5, -3*h - 10 = -4*n. Let s(k) = -2*k**2 + k. Let d be s(n). Which is smaller: d or -2?
-2
Let a(y) = -5*y + 10. Let f(t) = -6*t + 11. Let d(g) = 7*a(g) - 6*f(g). Let w be d(-7). Which is bigger: w or -5?
w
Let l = -0.5 + -7.5. Let g = l + 16. Which is smaller: -1/3 or g?
-1/3
Suppose 0 = 3*x - 8 - 7, -4*x = -3*v - 41. Let i = v + 3. Let h be 5 + i + 9/(-7). Which is bigger: h or -1?
h
Let l = -120 + 86. Which is bigger: l or 1?
1
Suppose 8*d = 3*d - 20. Which is smaller: d or 2/5?
d
Let p be 2/12 + (-23)/(-6). Let h be (-1)/(-2) + 2/p. Which is smaller: h or 3/2?
h
Let h = -47/4 - -229/20. Is h <= 1?
True
Let t be (-8)/10*(3 + -13). Suppose 0 = 2*g - 12 - t. Suppose -g = 2*r + 3*r. Are 0 and r equal?
False
Suppose -l + 3 = -0. Let o be (-4)/(-5)*30/4. Suppose -l*p = -o*p + 3. Is p > 1?
False
Let m be -4*((-3)/(-3) + 1). Is m >= -7?
False
Let u = 102.9 + -108. Let o = 0.9 - u. Let i = -6.1 + o. Which is smaller: -1/4 or i?
-1/4
Let u = 0.03 - 0.03. Let q = u + 4. Let r = q + -3.9. Is 3 at least as big as r?
True
Let u = 0 + 0.6. Let d = -6.4 - -6. Let z = u - d. Is 0.1 at most z?
True
Let y be (0 - 3)/((-6)/4). Suppose 3*c = -y*x - 13, -2*c + 4*c - 3*x = 13. Let j = 9/20 + -1/4. Is j at most c?
False
Let f = 41 - 39. Let l = 4198 + -62992/15. Let v = -4/5 - l. Are f and v equal?
False
Suppose 2*p + 6 = -u + 3*p, 3*u - 4*p + 19 = 0. Suppose -b + 3*d - 3 = 9, 4*d + 10 = -3*b. Which is smaller: b or u?
b
Let q = 32.1 - 32. Which is smaller: q or -1/3?
-1/3
Let s be -19 - (7 + -4 + -4). Is s at least as big as -20?
True
Let k = -5.8 - -7.8. Is k bigger than 0?
True
Let d(n) = n**3 - 9*n**2 - 7*n + 3. Let w be d(10). Let i be 0 - (-6)/w*-3. Is i at most -1?
False
Let n be 10*((-99)/(-105) - 1). Let u(c) = c**2 - 7*c + 7. Let l be u(6). Suppose -2*y - 3*z + l = 0, z = -2*y + 6*z - 7. Is n at most as big as y?
False
Let r(t) = -t - 3. Let n be r(-6). Suppose 7*d = n*d. Which is greater: 6/13 or d?
6/13
Let c be 1/3 - (-60)/9. Let q be c - (0 + 2 + -1). Let d be (12 - 8) + (-1 - -2). Which is greater: q or d?
q
Let z = 8.04 + -8. Let n = z - 0.14. Is n at most 10/3?
True
Suppose -4*n + 3*z + 22 = -0*z, -4*n - 3*z + 34 = 0. Let y = 15 - 9. Which is bigger: y or n?
n
Let y = -6 + 8. Let g = -1.1 - 1.1. Let l = y + g. Is -2/7 less than or equal to l?
True
Suppose -4*t + 4*v = v - 17, 2*t - 1 = -v. Suppose -t*r + 3 = 1. Which is greater: 3/4 or r?
r
Suppose -7*z - 16 = 3*u - 2*z, 0 = 4*u - 3*z - 27. Which is bigger: 6 or u?
6
Let l(n) = -n - 3. Suppose 19 = -5*b + u, 5*b = -0*u + 3*u - 17. Let q be l(b). Are 1 and q unequal?
False
Let b = 1 + -1. Let l = -2357/3770 + 44/65. Let q = -137/406 + l. Which is bigger: b or q?
b
Suppose 4*s + 11 = -2*c - 1, 5*s = c - 22. Suppose -2 - c = q. Let w be (2 - 2) + (q - -3). Do -1 and w have different values?
False
Let x = -0.02 + 0.12. Let y(u) = -4*u - 2. Let n be y(2). Let a be 22/n - (-2)/1. Which is greater: a or x?
x
Let j(y) = y**2 + 9*y - 22. Let b be j(-12). Is 17 less than or equal to b?
False
Suppose 0 = -3*m + 3*q - 12, 3*m - m + 1 = -5*q. Let w be (0*m/6)/2. Is -2 > w?
False
Let p = -0.9 - 0.1. Suppose -2*w + h + 22 = 0, 2*w + 0*h = 3*h + 18. Do p and w have different values?
True
Suppose 8 = -3*s + 20. Suppose 4*i - 2 + 24 = 3*b, 0 = i + s. Which is bigger: b or -0.3?
b
Let b = 0.3 + 0.7. Let m = -0.8 + 1.8. Is b >= m?
True
Suppose -2*k - 8 = 2*k. Let n = -9 + 13. Suppose -6*b + n*b = 4. Is b at least k?
True
Let u = 0.03 - 4.03. Let f = -25 + 25. Which is bigger: u or f?
f
Let a = -21859/6346707 + 1/10631. Let q = -1745/13731 + a. Let f = q + 32/69. Which is bigger: 0 or f?
f
Let q = 284/3 - 93. Is q <= 2?
True
Let r(t) = 45 + t - 45. Suppose q = -2 - 1. Let c be r(q). Is c > 1?
False
Let j be 2/(-6) + -1 - -1. Let r = 353/30 - 63/5. Let v = r - j. Which is greater: v or -2?
v
Let g be (5/10)/((-2)/4). Suppose -4*k - 8 = 12. Let q be 0 + (1 - k/(-4)). Which is bigger: q or g?
q
Let a = -65 + 65.1. Is -1/6 smaller than a?
True
Let q(k) = -k**2 + 2*k + 1. Let a = 7 - 5. Let v be q(a). Let d = -380 - -3416/9. Which is smaller: v or d?
d
Let m be 14/(-35) - (-28)/(-5). Let k be ((-1)/m)/((-3)/(-6)). Let n be (-8)/12*3/(-2). Is k equal to n?
False
Suppose 0 = 4*c + 3*m + 3, -3*c - 3*m = 2*c + 6. Let y be 4/6 + 8/c. Let j be (-3)/(-1 + y) - 2. Is j smaller than 1?
True
Let j = -2 - -1. Let p = -5/3 - j. Is p greater than or equal to -2?
True
Let o be -3 + (1 - 215/(-110)). Let z(u) = u**2 - 5*u + 3. Let h be z(4). Which is smaller: h or o?
h
Suppose 0*r = -3*r + 9. Suppose -54 = 3*u - 3*n - 21, -n - 1 = u. Let c = u + 10. Which is bigger: r or c?
c
Let m = -44 - -52. Let n be (-26)/(-3) + (-2)/3. Is m greater than or equal to n?
True
Let x = 2374/5301 + -2/589. Suppose 5*c - 6*c = 0. Is x at most as big as c?
False
Suppose -6 = 3*k - 3*b, 4*k - 4*b = 2*k. Suppose 0 = -4*t + 14 - 30. Do k and t have different values?
False
Suppose 0 - 3 = 3*r. Let h(k) = -k**2 + k - 1. Let v(w) = 2*w - 3. Let u(t