34*o = 35*o + 2. Which is smaller: o or d?
o
Let p = 0.74 + 0.26. Is -0.2 equal to p?
False
Suppose 0 = 4*m + 1 + 3. Let c(k) = 3*k. Let h be c(m). Is h at most as big as -4?
False
Let a be 5/((-5)/(-2)) - 3. Let v = -4 + 14. Suppose -n + 0*x - v = -2*x, -4*n - x = 22. Which is bigger: a or n?
a
Suppose j - 12 = 4*j. Which is smaller: j or 0?
j
Suppose 19 = 5*z + 144. Let c be 30/z*(6 - 1). Let u be (-1)/((-3)/c) + 2. Which is smaller: 2 or u?
u
Suppose 0 = -3*z + 3*t + 20 - 5, 0 = t + 5. Suppose z = d - 1. Is -1/8 smaller than d?
True
Suppose -3*i + 3 - 6 = 0. Let v(b) = b**2 - 2*b - 1. Let x be v(2). Is x > i?
False
Let g be 6/8 + (-4)/(-16). Let s = -12 + 13. Is s bigger than g?
False
Suppose 4*d = -2*n + d, 20 = 4*n - 4*d. Let u = 6 - 9. Let h be (u + 0)/((-9)/6). Is n >= h?
True
Let r = -93 - -96. Let z be -6*(-1 + 2/3). Suppose -8 = -2*k, -4*a = -z*a - k - 2. Is a bigger than r?
False
Let w = -2 - -4. Suppose 4*y + 11 = -5*m - 11, 0 = -m - w. Which is greater: y or -11/5?
-11/5
Suppose 5*t - 50 = 5*v, -3 - 12 = -5*t - 2*v. Suppose 0*p = t*p. Is p < -1?
False
Let f = -2 - -2. Suppose -2*j - 3 + 5 = f. Which is smaller: j or 1/5?
1/5
Let s = -459/616 - -1/56. Do s and 0 have the same value?
False
Let g = -40 - -40. Let n = -3 + 39. Let s be 8/(-2)*(-2)/n. Are g and s unequal?
True
Suppose j - 3 = -2. Suppose l + 6 = 3*z + j, 4*z = 3*l + 10. Let h(n) = -n**2 + n. Let k be h(z). Is -1 not equal to k?
True
Let i(b) = -b**2 - 3. Let n be i(-3). Let w be (n/(-15))/(2/(-10)). Which is greater: w or -5?
w
Let n(w) = -w**3 - 10*w**2 - 9*w + 3. Let u be n(-9). Suppose -2*a = 4*o, -6*o = 4*a - o + u. Let x be a/7 + 192/378. Is x equal to -1?
False
Let r = -11 + 11. Let z = -0.2 + 1.2. Let x = r + z. Do 0 and x have the same value?
False
Suppose -12*z - 29 - 31 = 0. Are -10 and z nonequal?
True
Let w = -19 - -24. Which is smaller: 2 or w?
2
Let o(y) = -y**3 - 4*y**2 - 2*y - 6. Let i be o(-4). Suppose 8 = i*w, -3*z - 14 = 2*w - 4*w. Which is smaller: 2 or z?
z
Let q(w) = w**3 + 11*w**2 - w - 10. Let p be q(-11). Let j = -61/5 + 12. Which is bigger: j or p?
p
Suppose -23 = v + 19. Let m be 8326/v - (-10)/15. Let s = m + 197. Are 0 and s nonequal?
True
Let z = 0.06 - 0.33. Let o = z + 0.37. Which is smaller: -2 or o?
-2
Suppose 0 = 2*w - 0*w - 4*d - 2, 3*d = 3*w - 3. Which is smaller: w or -1/4?
-1/4
Let t = -44202 + 308513/7. Let v = t - -129. Which is smaller: v or -2/43?
-2/43
Let o(l) = -9*l. Let x be o(1). Suppose -16*k = -12*k + 44. Which is smaller: k or x?
k
Let a = 422/5 - 84. Which is greater: a or -7?
a
Suppose -2*c = -c. Which is smaller: -4/7 or c?
-4/7
Let a be 2*((-6)/4 + 1). Let z be ((-10)/(-35))/(-1 + a). Is z > 0?
False
Let t be ((-7)/((-28)/8))/(-85). Which is smaller: 0 or t?
t
Let q be 46/(-14) - (-2)/7. Let r(x) = x**2 - 4*x + 3. Let b be r(4). Suppose b*g = -2*g + 5. Is q greater than g?
False
Let b be (-3 + 0)/(9/(-2)). Which is smaller: b or 2?
b
Suppose -q + q = 5*q. Which is greater: 26 or q?
26
Let j = -0.03 + 0.43. Let k = -2.6 - j. Suppose 0 = 5*y - 5*h, 5*y + 2*h = -3*h. Which is bigger: k or y?
y
Let o be 27/12 - -3 - (-3)/(-12). Which is bigger: 7 or o?
7
Let y = 0.23 - 0.03. Let g = -0.2 + y. Let z = g - 0.02. Is 0 at most z?
False
Suppose -z - z - 96 = -3*c, -5*c = 5*z + 290. Let s be z/(-10) + 4/(-10). Suppose 0 = -2*x - s*l + 22, -2*x = -3*x + 2*l - 7. Is x less than -1/8?
False
Let x(b) = 20*b. Let h be x(-3). Let u be h/63 - 2/(-7). Is 0 greater than or equal to u?
True
Let h(w) = -w - 10. Let b be h(-10). Is 4/55 < b?
False
Let p be (-2120)/30*(-3)/2. Let z = 1273/12 - p. Let b(g) = g - 7. Let w be b(6). Is w not equal to z?
True
Let d be 7 - (-1 + (-4 - -6)). Suppose 4*y = -2*y + d. Are 3 and y nonequal?
True
Let w = -2 + 4. Suppose -2*f = w*g + 8, 4*f = -0*f - 5*g - 20. Which is smaller: 1/25 or f?
f
Let d be -6*(-1)/(-10)*3. Let f = d + 7/5. Let u = 2 - -1. Is u <= f?
False
Suppose -5*v = -2*b - 23, -2*b + 27 = -0*b + 5*v. Is b > 14/9?
False
Let u = 0 + 0.21. Let o = u + -0.11. Is o bigger than -1/4?
True
Let k = -6 - -1. Let i = 6 + k. Let m = 17768/27 - 658. Which is greater: m or i?
i
Let a be (-1 + -7*1)*1. Let j = a - -11. Suppose j*r = 2*r. Which is smaller: r or -1?
-1
Suppose -f - l - 11 + 9 = 0, 4 = -f - 2*l. Are f and -2/203 nonequal?
True
Suppose 3*c + 0*c - 9 = 0. Let r = -2 + c. Suppose -5 = -4*m - r. Is m at least as big as 1?
True
Let o be 2 - 2*(-1)/(-2). Suppose 0 = 3*k + 4 - o. Is k at least -1?
True
Let n(f) = f**2 - 6*f + 7. Let s be n(5). Let y = 731 - 734. Is y greater than or equal to s?
False
Let j = 3907/107070 + -2/1245. Which is greater: 0 or j?
j
Let g be 5/4 + 1/(-4). Let z be (3/(-6))/g*2. Is z smaller than -2/13?
True
Let s = -102 - -103. Which is greater: s or -2/169?
s
Suppose 3*v - 13 = -10. Are v and 1/37 nonequal?
True
Let t = 9 - 0. Let v be (3 - 26/t)*1. Is 0 < v?
True
Let b = -25 + 25.11. Let j = b + -0.51. Which is greater: 1 or j?
1
Let a = -53/21 + 20/7. Let j = -5/28 - 653/28. Let v = j - -24. Which is greater: a or v?
v
Let p be -4 - -3 - 1 - -26. Are p and 24 nonequal?
False
Let l(p) = -7*p - 6. Let j be l(-3). Let c be (-176)/58 - j/(-5). Does c = 1?
False
Suppose 2*p + 29 = l, -11 = -2*l - 1. Is -13 <= p?
True
Let b = -2/79 - -85/237. Let x = -0.6 + 1.2. Let i = x - 4.6. Do i and b have different values?
True
Let w = 2 - 1. Let r = -25 + 48. Let u = r + -18. Is u greater than or equal to w?
True
Let r = -841/24 - -104/3. Which is greater: r or -1?
r
Suppose 0 = 2*k + k - 9. Let a be 26/(-10) - (-2)/(-5). Let n = a + 6. Do k and n have different values?
False
Let b be 9/(-6)*(-328)/3. Let n = b - 1474/9. Which is bigger: -1 or n?
n
Suppose 0*a + 4 = 2*a. Let c be 4/a - (-5 - -10). Are -4 and c nonequal?
True
Suppose 0 = -3*s - 0 - 6. Let u be (-1)/s + 9/6. Suppose d = -p - u*p, -2*d = -p. Which is greater: p or 2/5?
2/5
Let m(x) = x**2 - 4*x - 6. Let n be m(8). Suppose -3*l - 8 = -n. Suppose 0 = -l*u + 3*u + 12. Is u < 4?
False
Let y be (3/(-10))/(228/(-190)). Let l(q) = -q**2 - 3*q + 3. Let j be l(-4). Which is smaller: j or y?
j
Let b = -20.3 + 20. Which is greater: 7 or b?
7
Let w be 19/(-22) - (-8)/16. Is 1 less than or equal to w?
False
Suppose -4*t + 4*n - n = 12, 4*n - 12 = 4*t. Let z = 5 - 0. Suppose 4 = -z*v - 1. Which is bigger: v or t?
v
Suppose 0 = 3*w - 20 + 2. Let u be w/15 + (-2)/5. Which is greater: u or -1/2?
u
Suppose 0 = -k + 3*k - 384. Let c = k - 956/5. Let s be 3/3*(-1 + 1). Which is bigger: c or s?
c
Let k = 6.1 - -0.9. Let h = -7 + k. Let p = -3 - -2. Which is smaller: p or h?
p
Let h be (-28)/(-18)*(-42)/(-245). Which is smaller: 1 or h?
h
Let o be -1*5 - (2 + -4). Let i = 4 + -5. Let c be (-3)/6 - i/1. Is c equal to o?
False
Suppose 4*m - m - 30 = 0. Let o be m/(-35) + (-51)/(-7). Suppose 0 = l - y - 0*y + o, 0 = 2*l + y + 2. Is -5 less than l?
True
Suppose 1 = 4*g + 21. Let h be 0 - g/((-5)/4). Let l be (h/(-2))/2*-1. Which is smaller: 2/5 or l?
l
Let s = 14 + -10. Suppose 0*q - 7 = -5*q + 2*z, -s = -5*q - z. Is q != -0.2?
True
Suppose 21 = j + 2*j. Let i = -3 - j. Is -10 at least i?
True
Let a = 16 + -26. Which is bigger: 1 or a?
1
Suppose 0 = -z + 2*l + 22, -5*z + 88 = -5*l + 3. Which is smaller: z or 13?
z
Let y = 0.3 + -0.6. Let q = 171/5 - 34. Which is smaller: y or q?
y
Suppose o = -3*d - 15, -4*d - 1 = -5*o - 0. Which is bigger: -2 or d?
-2
Suppose 3*q + 4 = 13. Let v be 2*-5*4/(-8). Suppose -6 = 3*c + 3*m, v*m + 13 = 2*c - 6*c. Is c less than q?
False
Let k be ((-8)/(-6))/((-4)/(-6)). Suppose 3*u - 3 = -2*h, -u - k = -3*u. Is h > 3?
False
Let d = -5 - 1. Let a = -6 - d. Is a at least as big as -2?
True
Let b be 12/(-4) - (-7 - -2 - 27). Is 1 less than b?
True
Let a(i) = i**2 - 2*i - 5. Let u be a(4). Let f be (u + 0 + -2)/1. Is f at most -1/2?
False
Let n = -75 + 65. Which is bigger: -11 or n?
n
Let l = 7 - 4. Let c = l + -4. Is c bigger than -1/2?
False
Suppose 4*f = -0*f. Let v be (-2858)/56 + 4/14. Let q = 51 + v. Which is bigger: q or f?
q
Let m(c) = c**3 - 3*c + 1. Let l be m(2). Is l at least -2?
True
Let s = 12 - 6. Let m = 7 + -3. Let v = m - s. Which is greater: 0.1 or v?
0.1
Let p = -901.14 + 914. Let v = p + 0.14. Is v not equal to 1?
True
Let g be -2 + 3/((-252)/106). Let q = -24/7 - g. Which is smaller: 1 or q?
q