False
Let l(c) = 2*c + 5. Let v = 7 + -12. Let u be l(v). Is -5 at most as big as u?
True
Let y = -3 - -2. Is 9 < y?
False
Suppose -2*n - r + 36 = 0, 2*r - 4 = n - 17. Suppose 18 = -5*o - n. Which is smaller: -6 or o?
o
Let k = -15/19 + 41/76. Is 3 not equal to k?
True
Let x = -0.195 - -4.145. Let k = -4 + x. Let a = -2.05 - k. Are a and -1/2 unequal?
True
Suppose -4 = -4*l, 5*x - l = 18 + 1. Which is bigger: x or 8/3?
x
Let t(j) = -j**2 - 4*j**2 - 4*j**3 - 4 - j + 3*j**3. Let l be t(-5). Is 3/4 smaller than l?
True
Let a(v) = v + 7. Let z be a(-3). Suppose m + z*k - 2 = -16, 0 = m - 2*k - 10. Is m greater than -0.1?
True
Let k(h) = -h**3 + 6*h**2 - 2*h + 8. Let w be k(6). Suppose -2*y + 8 = -4*y. Is y less than or equal to w?
True
Let q be (0 - 0 - 6) + 2. Let l(u) = u**2 + 4*u - 2. Let o be l(q). Let d be o + 1 + (-1 - -2). Is -2/7 greater than or equal to d?
False
Let t(g) = g + 12. Let x be t(-7). Suppose -c - x = 4*c. Which is bigger: c or -0.5?
-0.5
Let w = -0.3 - -0.2. Let z = 48 - 48.2. Let n = z + w. Which is bigger: n or -2?
n
Let w(n) = -n**2 + 8*n + 9. Let z be w(5). Let h be 1/(-8) + 11/z. Let o = 2 - 3. Is o less than or equal to h?
True
Let a be (-3)/(-24)*(-302)/1. Let u(z) = 4*z + 6. Let l be u(8). Let t = l + a. Which is greater: 1 or t?
1
Let v = 1.8 - -3.2. Let h = v - 3. Which is bigger: h or -2?
h
Suppose -15*d - 24 = -19*d. Suppose 2 = 3*o - 4*c, -c = 2*o - 3*c. Let g be ((-2)/d)/(o/12). Is g != 1/2?
True
Let m be 3/(-12) - 21/(-532). Is -3 equal to m?
False
Let a = 0.78 + -20.78. Which is greater: a or 0?
0
Let z = 0 - -4. Suppose -s - z = 5*k - k, -3*k = 5*s + 20. Is 3 > k?
True
Let u be ((-4)/88)/((-1)/(-4)). Is u greater than 1/2?
False
Suppose 15 = 3*h - 0*h. Let f = h + -4. Is 2/3 < f?
True
Suppose g - 3*g + 6 = 0. Suppose 0 = -5*t + 10, -d + 5*t - 14 = -g. Which is bigger: d or 4/9?
4/9
Let d = -121 + 84. Let j be d/45 - (-2)/9. Let a(p) = p**2 - 3*p + 1. Let v be a(2). Is v greater than j?
False
Suppose -h + 8 = -3*h. Let f be (-10)/(-2)*(-4)/h. Suppose -4*l = -f*z + 28, -4*z + 0*z - 5*l + 6 = 0. Do z and 4 have different values?
False
Let i = -124 - -123.8. Do -6/37 and i have the same value?
False
Suppose -1 = 5*i - 6. Let v be -3 - i/(-3 + 2). Which is bigger: v or 1?
1
Let g = 0.42 - -1.58. Which is smaller: -1 or g?
-1
Let x = 133 + -130. Which is bigger: x or -15?
x
Suppose 0 = 3*j - 0*j - r, 0 = -r. Let t = 0 + j. Which is smaller: -1 or t?
-1
Let x = 8/17 - 132/425. Are 3 and x equal?
False
Let a be 176/630 - (20/18)/5. Is a greater than or equal to -1?
True
Let j = -31 + 15. Let o be 23/(-7) - j/56. Suppose -7 + 19 = -4*s. Is s > o?
False
Let i(k) = k**3 + 7*k**2 + 7*k + 10. Let x be i(-5). Do 26 and x have the same value?
False
Let f be (-24 - -23) + (-3)/(834/(-286)). Which is greater: f or 1?
1
Let v = 0.001 - 0.121. Which is smaller: v or -1/3?
-1/3
Suppose -2*d - 3 = 4*f + d, 2*d = f - 2. Suppose f = n - 4*n - 63. Let v = -213/10 - n. Which is bigger: 0 or v?
0
Let h = -552374/191 + 2892. Are 1 and h non-equal?
True
Suppose 6 = -3*i + 3. Is i less than or equal to -2.4?
False
Let k(w) = w**2 - 15*w + 36. Let b be k(8). Are -19 and b unequal?
True
Let w(s) = 2 - 1 + s + 0*s. Let b(o) = -o - 1. Let u(p) = 6*b(p) + 5*w(p). Let l be u(0). Is l > 1?
False
Let q be 16/(-3) + (-4)/(-12). Suppose -b + 0*b = 0. Which is bigger: q or b?
b
Let o be 485/(-105) - (1 - 1). Let h = 13/3 + o. Suppose -2*n = 2*m + 8, 0 = -m + 4*n + 10 + 1. Which is smaller: m or h?
m
Let o(a) = -a + 4. Let x be o(8). Let q = x - -5. Let s be 0 - (-2 + 18/10). Are s and q equal?
False
Let s(c) = -c - 3. Let a be s(-3). Let h be (1 - (0 + 7))/(-2). Suppose -h*m = -a*m. Which is greater: m or 3?
3
Let s be -7 + (-2 - (-24)/9)*6. Suppose -4*u - 5*f + 11 = 0, 4*u - 2*f + 16 = 2*f. Which is smaller: u or s?
s
Let v(d) = -2*d - 1. Let m be v(2). Let g = m - -8. Let t = 0.3 - 0.2. Is g != t?
True
Suppose 110 - 109 = -n. Let v be (-23)/4*-2 + 0. Let x = v + -12. Is x >= n?
True
Let c be -1 - 1 - (-5 + 1). Let o be c/6*(-1 + -2). Let y be 2/((-2 - o)/(-1)). Is y not equal to 2?
False
Let z be (-3)/((-855)/6) + 0. Are z and 1 equal?
False
Let n be 3/(-4) - 140/(-16). Let w be n/15 + (-3)/15. Which is greater: w or 0?
w
Let g(m) = -2*m - 2. Let d be g(-3). Let w(u) = -u**2 - 3*u - 1. Let t be w(-1). Suppose -4*q + 17 = f + t, 3*q - 12 = 3*f. Is q greater than d?
False
Suppose 0*m + 5*m = -140. Let s be -2 - m/(-30)*-3. Is s greater than -1?
True
Suppose -m + 3*m - 9 = -o, -4*m = 5*o - 21. Suppose k - o = -0*k. Let f be (-4)/10 - 8/(-10). Which is smaller: f or k?
f
Let b = -58 - -57. Is -19 <= b?
True
Let m = -32702/9 + 3623. Let z = m + 31/3. Is z <= -8?
False
Suppose 0 = 5*g - n - 0*n + 75, 0 = -5*n. Which is bigger: g or -12?
-12
Suppose -162 = -12*w + 42. Which is bigger: w or 18?
18
Let g = 49 + -49.13. Is g at most 2/7?
True
Let o be (32/(-52))/(2/4). Which is bigger: o or 0?
0
Suppose 2*p = -2, 3*b + 6*p = 3*p - 27. Let l = 18 + b. Suppose 3*d + 2*q + l = 2*d, 5*q + 25 = d. Are -0.2 and d non-equal?
True
Let o = -72 - -54. Which is smaller: o or -19?
-19
Let h be -2 - -3 - (-2)/1. Suppose -2*z + h*z = 27. Suppose 2 = 4*d + 2*v, 4*v = -7 + z. Is -3 >= d?
False
Let q = -2063 - -307389/149. Let m = 284/1043 + q. Which is smaller: 1 or m?
m
Let y(v) = -v**2 + 18*v - 16. Let m be y(17). Which is smaller: 2 or m?
m
Let h be (-4)/8*2*-2. Suppose -13 = 5*s + h*v, 4*v + 2 = 3*s - 11. Is -1/2 greater than s?
True
Let q = 90357/170 + -5319/10. Let o = 10/17 + q. Is o less than 1?
True
Suppose 4*l - l = -24. Let v be (-4)/(-22) + l/(-440). Is -1 not equal to v?
True
Let x(c) = -2*c - 2. Let p be x(-1). Is p != -2/3?
True
Let m(z) = -z**2 + 18*z - 9. Let f be m(17). Let h be 50/(-26) + -6 + f. Which is smaller: 0 or h?
0
Let j = 22.75 - -0.25. Let k = -22.1 + j. Is -1 less than k?
True
Let b = -2.04 + 0.04. Let c = 2 - b. Suppose -14 = 20*k + 26. Which is smaller: k or c?
k
Let g be 1*1570/(-65) + 4/26. Is g greater than or equal to -25?
True
Let i be (4/(-6)*-11)/((-84)/(-36)). Which is bigger: i or 2?
i
Let a be (-36)/90 + (-22)/(-105). Which is smaller: 1 or a?
a
Let m(o) = -o - 10. Let g be m(-7). Let w = g + -4. Which is greater: w or -6?
-6
Suppose -4*v = v + 2*j - 3, 0 = 3*v - 5*j - 8. Let r = 51 - 48. Let x be 3 - r - (v + 0). Is 1/5 not equal to x?
True
Suppose 0*y = y - 5*s - 15, 0 = -3*s - 9. Suppose y = 4*l - 3*l. Which is bigger: l or -1/3?
l
Let s be (-5)/(-4) - 3/12. Are s and -1/18 unequal?
True
Suppose -4*t = -3*x - 0*x + 51, 3*t + 4*x = -32. Is t > -12?
False
Let p be (6/3)/(3/(-90)). Let z = p - -39. Let t be z/(-15)*-1 + 2. Which is greater: t or 0?
t
Suppose -5*s + 35 = 2*o, 3*s = -s - 2*o + 28. Is s greater than or equal to 5?
True
Let m be (-1)/3 + 111/9. Suppose 0 = 5*t - 4*w + 11, -t = 3*t + 2*w - m. Is t at most as big as 6/13?
False
Let j be (-3)/24*(18 + 0). Is j equal to -1?
False
Let i = -0.45 + 0.05. Suppose -2*x + 3*x = 0. Suppose -2*w + 0*w = x. Are i and w nonequal?
True
Suppose 10*s - 6*s = 0. Is -4/23 smaller than s?
True
Let k be -2*1*(-4)/8. Is k at least as big as 2/35?
True
Let j be (-140)/(-30) - (-1 + 1). Which is greater: j or 4?
j
Let p be (3/(-21))/((-120)/(-28)). Let l = p + 67/210. Is 0.07 greater than l?
False
Let r(h) = -8*h - 4. Let x be r(2). Let i = -58/3 - x. Which is smaller: i or -2?
-2
Let q(y) = -y**2 - y + 16. Let s be q(5). Let f = 33 + -47. Is f bigger than s?
False
Let u(z) = -7 + z + 2*z - 4*z. Let m be u(-8). Is 2/15 at least m?
False
Let o(t) = 33*t**2 - t. Let s be o(-1). Let c = 343/10 - s. Let a = c + 1/30. Which is bigger: 1 or a?
1
Suppose -a - 27 = -3*v, 5*a + 3 = 4*a. Let o(z) = z - 10. Let l(c) = 2*c - 19. Let y(q) = -3*l(q) + 5*o(q). Let p be y(v). Which is greater: p or -2/7?
-2/7
Suppose 0 = 2*b + 18*b + 980. Which is smaller: b or -51?
-51
Suppose 2*i - 3*l - 8 = 0, 0 - 8 = -2*i - 5*l. Suppose 3*w + 4*k = -16, 0 = -i*w + 2*k + 4 + 4. Let a be (-45)/(-21)*4/(-10). Which is smaller: w or a?
a
Suppose -11*z + 36 = -7*z. Let v(b) = -b**2 + 4*b - 3. Let n be v(4). Let g be (z/n)/((-6)/(-4)). Is -2 at most as big as g?
True
Let g be (-15)/20*48/(-18). Is 6 bigger than g?
True
Let m = -55 - -85. Let n be 4/m + 1 + -1. Are n and -1 equal?
False
Let t(r) = r + 1. Let h be t(0). L