33.5 + 34. Which is smaller: z or -2?
-2
Let m = 10 + -10. Let v = 0.1 - m. Which is smaller: -1/5 or v?
-1/5
Let d = -69 + 80. Is d at most as big as 0.3?
False
Suppose 125 = -5*z + 3*f + 2*f, -z - f - 33 = 0. Are -29 and z equal?
True
Let q = -62 - -66.9. Let a = 0.3 + -5.3. Let c = q + a. Is -0.3 at least as big as c?
False
Let w(x) = -x**2 + 13*x + 16. Let g be w(14). Do 1 and g have different values?
True
Let i = -17982/26201 - -33/197. Let v = -4/7 - i. Which is greater: v or 1?
1
Let w(s) = s**3 - s**2 + 4*s + 2. Let q be w(0). Which is bigger: q or 3?
3
Suppose 2 = -w - 3. Let z = -31/6 - w. Which is bigger: -1 or z?
z
Let k = 332/63 - 41/9. Let v = -1 + k. Which is bigger: 3/8 or v?
3/8
Let j = -30 + 24. Is j <= -8?
False
Suppose -7 = 3*t - 5*h, -5*t + 27 = 4*h - 23. Suppose 2*y = t*y. Is y != -3/4?
True
Let w be 0 - 1 - (0 - 0). Let g be -5 + 4/(-36)*-42. Does g = w?
False
Let y be 2/7 + 270/35. Let z = -2 + y. Does 7 = z?
False
Suppose 4*o = -0*o + 12. Suppose o*n - 4 = -16. Which is greater: 1/2 or n?
1/2
Let l be 3 + -2 - (1 + -1). Suppose 5*n = -4*g + 120, -2*n - g + 15 = -6*g. Let m = -58/3 + n. Is l bigger than m?
True
Let x = -4376/27 + 162. Which is greater: -2 or x?
x
Suppose 4*s + 48 = -3*j, 2*j = -s - 16 + 4. Is -13 smaller than s?
True
Let q be (-1 - 24/(-21))*-1. Which is smaller: -4/3 or q?
-4/3
Let r = 11 + -10. Let b be 2/(-10) + (-341)/(-5). Let n = b + -336/5. Is n equal to r?
False
Let b be 1/(3/(-18)*1). Is -6 equal to b?
True
Suppose k + 1 + 8 = 0. Let j be 3678/(-32)*6/k. Let v = -77 + j. Which is smaller: 0 or v?
v
Let j = 14 + -26. Let z = 2.4 + -1.4. Which is smaller: z or j?
j
Let m be -2 + -1 + 1 + 2. Suppose m = 4*z + 3 + 1. Which is bigger: z or 0?
0
Let v = -4 - -2. Let r = -7 + 6.5. Let j = r + -0.5. Which is smaller: j or v?
v
Let h = -113902/5 - -22661. Let j = 77 + 42. Let d = h + j. Which is bigger: 1 or d?
1
Let h be 4/(-2) - (13 - 15). Suppose b = -v + 5, -2*v + 6 = 2. Suppose -4*x - 32 + 3 = b*d, h = -d + 2*x + 7. Which is smaller: d or -11/3?
-11/3
Let l = 223451/106 - 2108. Is l at least as big as 0?
True
Let u be (-1)/(-3) + 2/(-2). Is 0 at most u?
False
Let v be (-6)/(-2)*5/(-30). Let u = -3.1 - -3.3. Is v at most as big as u?
True
Suppose 0 = 3*t - 11*t + 512. Is t at least 63?
True
Let j = -1 + 1. Let z = 1 - j. Let a be -2 - (-3 - 2 - -2). Is a smaller than z?
False
Suppose -3*a + 10 = t + 1, 0 = -3*a + 5*t - 9. Suppose 5*b - a = 3. Which is smaller: -2/11 or b?
-2/11
Suppose -2*g - 34 = 2*z + 36, 3*g + 115 = -5*z. Let a = g + 115/4. Suppose 0 = 7*r - 3*r + 8. Which is smaller: r or a?
r
Let z be ((1*-1)/2)/((-22)/88). Is z at least 4?
False
Let z = 0.9 + -0.94. Let u = z - -0.04. Let y = u + -5. Is -1 less than y?
False
Suppose 4*r + 2 = -5*q, -5*r - 3 - 22 = -5*q. Let a = r - -2. Which is greater: a or -2/15?
-2/15
Let t = -5.3 + 5.1. Is 3/4 not equal to t?
True
Let v(h) = -h**2 + 14*h - 6. Let n be v(14). Is -6 at least as big as n?
True
Let n = 1/5 - -1/20. Are n and -3 equal?
False
Let k be (0 - 2) + (-12)/(-15). Is -1 at least as big as k?
True
Suppose 4*r + 0*r = -2*s + 20, 2*s - 3*r = 41. Let y be 6/s*(-2)/3. Which is smaller: -4 or y?
-4
Let y(o) = -o**3 - 14*o**2 - 13*o + 30. Let t be y(-13). Which is smaller: 1 or t?
1
Suppose 0 = 2*x - 4*a + 16, 4*a = -4*x - 27 - 5. Let v = 4 + -3. Let y be x/(-4)*v/(-2). Is y != -1?
False
Suppose 3*v + 12 = 4*u, 2*u = -v - 3*v - 16. Which is smaller: 3/7 or u?
u
Suppose -3 + 7 = 4*h. Let x be (-2)/(h - 26/4). Which is greater: x or 0?
x
Let y = -385/9 + 2267/45. Which is greater: 9 or y?
9
Let h = -8 + -22. Let q be ((-3)/56)/((-3)/h). Let t = q + -3/14. Are -1 and t nonequal?
True
Suppose -g - 7 = -3*v, v - 2*g - 3*g + 21 = 0. Is v greater than 7/2?
True
Suppose -4*l - 16 = v, -4 = 4*v + 6*l - 2*l. Let t be v/6 + (-8)/21. Is t bigger than -0.07?
True
Let s = -0.37 - 0.63. Let b be -2 - 42/45*-3. Which is bigger: b or s?
b
Let w = -68 + 67. Let l be (1 - 1) + (-52)/(-2). Let v = l - 103/4. Do v and w have different values?
True
Let t = 383/156 + -8/39. Is 2 at least t?
False
Suppose 5 = -5*a, 4*m + 0*m - 2 = 2*a. Let k = 2 - 1.9. Let s = k - 0.4. Which is greater: s or m?
m
Let s = -74 + 71. Is -1/4 bigger than s?
True
Let c(o) = -3*o - 15. Let p be (-292)/60 + (-4)/30. Let s be c(p). Which is smaller: -4 or s?
-4
Let t = -1.51 + 1.6. Let i = t + 1.91. Let y = i + -1. Which is bigger: -8 or y?
y
Let b be 2/(5*(-1)/1). Suppose -31 = 2*k + 3*a - 0*a, k + 5 = 2*a. Let j(d) = -d - 12. Let v be j(k). Are b and v non-equal?
True
Let m = -14.62 - -14. Let g = -0.7 - m. Let i = g + 0. Is i less than -1?
False
Suppose 0 = -4*i + 3*u - 78, 2*i - 4*i = 5*u + 26. Let x be i/(-4)*(-4)/24. Let j(n) = -n**3 - 6*n**2 - 5*n - 2. Let h be j(-5). Is h at most x?
True
Let u(w) = w**2 - 2*w - 4. Let q be u(4). Which is bigger: 3 or q?
q
Let o(d) = -d - 8. Let h be o(-4). Do h and -3 have the same value?
False
Suppose b - 50 = -5*v, 4*b - 61 = -5*v + 4. Suppose v*j + 10 = 4*j. Let p be -1*(1 + j + 1). Which is greater: p or -2/21?
p
Let h(q) = -2*q + 3*q**2 + 12*q - 3 - 4*q**2 + 2. Let t be h(10). Is t at least as big as 1?
False
Let y = -1/890 + 1817/32930. Let t be 2 - 6 - (-4)/((-12)/(-15)). Do t and y have the same value?
False
Suppose 5*n - 4*u = 25, 32 = 4*n + u - 9. Let r = -8 + n. Which is smaller: 1/10 or r?
1/10
Let x = -0.5 + 0.3. Let t = 28 + -30. Is t smaller than x?
True
Let d = -8 + 7.9. Let u = 2 - 2. Is u not equal to d?
True
Let t = -390 + 1943/5. Which is smaller: t or -1?
t
Let i be (-2)/4 - 4/8. Let g = -375 - -5627/15. Which is bigger: i or g?
g
Let s = -6.5 - -7. Let j = s + -0.7. Let f = 0 + -0.1. Which is smaller: f or j?
j
Let m = -12.01 - -12. Is -2/3 equal to m?
False
Let k(q) = q**3 - 12*q**2 - 11*q - 26. Let d be k(13). Let g = -1 + -1. Which is bigger: g or d?
d
Let m(k) = -k**3 + 2*k**2 - 2*k + 3. Let c be m(2). Suppose 2*t = j + 4, t + j = 5*t - 6. Which is smaller: c or t?
c
Suppose -3*r - 4 = 4*m + 2*r, 0 = -4*m - r - 4. Which is smaller: -18/31 or m?
m
Let r(j) = j**3 + 4*j**2 - 21*j + 1. Let v be r(-7). Let y = 141/4 - 177/5. Is v smaller than y?
False
Suppose 2*j - 5*s = -j - 65920, j - 2*s + 21973 = 0. Let o = -439607/20 - j. Let q = o + 28/5. Which is bigger: 2 or q?
2
Suppose 0 = 3*y - 11 - 4. Let h(w) = 14*w - 7*w - 3*w - 3*w - 3. Let q be h(y). Is 2 less than q?
False
Let t = -5 - -19. Suppose -g + 2*q + 0*q = -4, 0 = 4*g + 2*q + t. Let l be g*(-14)/8*2. Is l at least 7?
True
Let b = -3 + 2. Let p = -24295 - -340323/14. Let r = 27/2 - p. Is b at least as big as r?
False
Let h = -56 - -56. Which is bigger: h or -3/46?
h
Let y(h) = h**2 - 3*h + 3. Let z be y(2). Let q be (-1)/z*(1 + -4). Is 4 != q?
True
Let a = -0.4 + -2.6. Let m = -4 - a. Which is bigger: m or 0?
0
Let u = 5 + -5. Let o = u - -3. Let s be (0 - 1)/((-2)/4). Which is smaller: o or s?
s
Let a = 1 + 2. Suppose 0*n - 10 = -5*n - h, -3*n + 4*h - 17 = 0. Is a < n?
False
Let w(g) = 2*g**2 - 3*g - 2. Let l be w(2). Which is bigger: l or 1/2?
1/2
Let o(j) = j - 4. Let g be o(7). Let c be (2 - -3)*(-2)/(-2). Suppose -g*y - 2*q + c = 3*q, -3*q + 3 = 0. Which is smaller: -3/7 or y?
-3/7
Let h(o) = -o**2 - 7*o - 7. Let q be ((-12)/(-10))/(3/(-15)). Let w be h(q). Let u be (25/20)/(3/(-4)). Which is bigger: w or u?
w
Suppose -2*r + g = 0, g + 1 + 6 = -5*r. Do r and -3/16 have the same value?
False
Let i = 6 - 14. Suppose -g - 20 = 3*u, 2*g + 10 + 6 = -3*u. Is i <= u?
True
Let f = -1.9 + 2. Suppose 6*l - 4*l = 0. Is l != f?
True
Let j(x) = x**3 + 6*x**2 + 3*x - 6. Let q(k) = k**2 - 7*k + 5. Let p be q(5). Let o be j(p). Suppose -2*v = -o*v. Do -2 and v have the same value?
False
Let n(y) = 2*y - 2. Let x(w) = -w + 1. Let l(d) = 4*n(d) + 9*x(d). Let m be l(1). Let p(s) = -s + 6. Let z be p(7). Do z and m have the same value?
False
Let y(v) = 12*v**2 - 7*v**2 - 3*v - 6*v**2 + 4*v. Let m be y(-1). Do m and -2 have the same value?
True
Let k = -7 - -5. Let x be 10/(-35) + 0/k. Are 0 and x non-equal?
True
Let d = 0.08 - 0.08. Let n = d - 3. Which is smaller: n or -1?
n
Let i be 2/(6/(-9)*1). Let n(w) = 2*w. Let f be n(i). Which is smaller: f or -7?
-7
Let o be -12 + 2 + 2 - -1. Let w(c) = -c. Let i(d) = d**2 + 10*d - 9. Let p(v) = -i(v) - 4*w(v). Let b be p(o). Which is sm