?
n
Suppose 6 = 2*r + 2. Let i be (-9)/(-15)*(-5)/r. Do i and -1 have different values?
True
Suppose 0*t - t = -b - 3, 0 = 4*b + 12. Let y(k) = k + 14. Let r be y(-12). Let o be (-3 + r)*(-3)/12. Which is greater: o or t?
o
Let a(f) = f**2 + f - 2. Let v be a(3). Let m = 9 - v. Which is greater: -1/5 or m?
-1/5
Suppose -10*i = -5*i - 240. Suppose -3*p + b = 13 - i, 2*p - 27 = -3*b. Which is greater: p or 11?
p
Let b = 2.2 - 0. Let v = b - 2.2. Suppose 4*c + g = -11, -4*c + 2*g + 6 = 32. Which is greater: v or c?
v
Let t(b) = b + 9. Let d be t(-9). Suppose d*y + 8 = 2*y. Let u(x) = x + 9. Let m be u(-7). Which is bigger: m or y?
y
Let w be 6/(-8)*35/(-21). Which is smaller: w or 1/3?
1/3
Let x be (-10)/(-125)*5*10/36. Let l be (-4)/(-2)*(-2)/4. Are x and l equal?
False
Let g be (-2)/8*(0 - 8). Let m be (-8 + 3)/((-7)/g). Which is smaller: 1 or m?
1
Let m = -0.14 + 1.14. Are m and -5/22 unequal?
True
Suppose t - 4*f = -f + 3, 4*t - 3*f = 3. Suppose 0 = 5*g + 2 - 7. Which is smaller: t or g?
t
Let z be 10*1*3/6. Suppose -5 = -z*m + 5. Which is bigger: 7/4 or m?
m
Let r(t) = -2*t**2 + 3*t - 1. Let l be r(1). Is l less than -1/85?
False
Let m be (3 - 0)*(-20)/(-270). Which is bigger: 2 or m?
2
Suppose -5*i + 0*i + 11 = -3*t, i + 5 = 3*t. Suppose 0*h + 5 = h, -5 = -i*l - h. Suppose l = -n - 1 + 2. Is 2/9 < n?
True
Let r = -18.9 + 19. Is r >= 8?
False
Let h(i) = 2*i + 1. Let f be h(-1). Is 2/67 < f?
False
Let t = -27 + 15. Let j = -3 - t. Is j greater than or equal to 8?
True
Let c be ((-9)/27)/((-2)/4). Is c less than or equal to -2/3?
False
Let z(d) = -3*d - 65. Let b be z(-15). Is -19 at most b?
False
Let n = -5 - -2. Let y = 4 + n. Suppose -k = -25 + 24. Is y equal to k?
True
Let u = -14 - -12. Which is smaller: u or -4?
-4
Let p(w) = 16 + w + 0*w - 2 + 0*w. Let n be p(-10). Suppose 0 = -3*h - 3*y - 9, -4*y = -n*h - 5 - 15. Are -3 and h equal?
False
Let l(j) = -5*j**2 - 3*j - 10. Let u(p) = -4*p**2 - 2*p - 9. Let t(x) = 5*l(x) - 6*u(x). Let v be t(-4). Let c be 2*((-3)/(-2) - 2). Is v >= c?
True
Suppose -2*r = 6*z - 3*z - 9, 5*z + 5*r - 20 = 0. Suppose -h - 2*a - 10 = 0, 0*h - 4*a = 5*h + 32. Let n be 4/(-7) + h/(-14). Is z > n?
True
Let z = 3 - 2. Let d(p) = -p**3 - 6*p**2 - 4*p + 5. Let b be d(-5). Which is smaller: b or z?
b
Suppose 2*z + 2 - 6 = 0. Suppose -10 = z*l, -5*m + 5*l = 3*l - 30. Which is smaller: 2 or m?
2
Let u be 12/18*(-3)/5. Is -1.3 at most as big as u?
True
Let n = 108.9 - 109. Is 39 at most as big as n?
False
Let q be (-16)/(-56) - (-8)/21. Let d be ((-4)/(-16))/(1/4). Which is bigger: q or d?
d
Let n = 1.1 + -1.5. Which is smaller: n or 0.2?
n
Suppose 0 = 2*u - o - 4*o - 8, -3*u + o = 1. Which is smaller: -3/8 or u?
u
Let w be 42/(-11) - (-4)/(-22). Are -5 and w nonequal?
True
Let j be -2*(-5 + 3) + 0. Suppose 4*c + 28 = -j*l, 0 = -2*c + 5*c + 5*l + 31. Is c greater than or equal to -5/6?
False
Let b = 0.64 - 0.6. Let v = b + 0.06. Is 1/3 <= v?
False
Let o(p) = p**3 + 8*p**2 - 2. Let d = 2 - 5. Let z = d + -5. Let k be o(z). Is k bigger than -3?
True
Suppose -2*o + 29 = -9. Let p = o - 25. Are p and -6 equal?
True
Let t = 9 + -16. Let b = 3 + t. Is 1 less than b?
False
Suppose 0 = -w + 5*v - 4, -3*w = -v + 4*v - 6. Let c = -4 + w. Which is smaller: c or -4?
-4
Suppose -4*g = -6*g - 4. Which is greater: 0 or g?
0
Let v be ((-2)/(-3))/(-7 + 535/75). Which is smaller: 0.07 or v?
0.07
Let c(g) = g**3 + 6*g**2 + 5. Let m be c(-6). Are 1 and m equal?
False
Let s = 3.98 - 4.1. Which is smaller: -2 or s?
-2
Suppose -16 = 4*j + 16. Let r = 7 + j. Do -1 and r have the same value?
True
Let x = 0 - -1. Suppose -5*q = -o - 9, -4*q = 3*o - 2*q - 7. Let u = o - -1. Which is greater: u or x?
u
Let y = 12 + -9. Suppose 2 = y*o - 1. Which is bigger: -3/10 or o?
o
Let l = -1/26 + -11/52. Is l bigger than -1?
True
Let d be 6/15 + (-203)/(-5). Let m be (-209)/5 + 3 + -2. Let h = d + m. Is h != -1?
True
Let s(h) = -15*h. Let i be s(1). Let w = i + 8. Does w = -6?
False
Let b(u) = u**2 + 4*u - 10. Let c be b(-8). Let k be (-1)/(c/(-10) - -2). Which is greater: k or 4?
k
Let o be 75/20*(-5 + 1). Which is bigger: o or 0?
0
Let h = -73/3 + 217/9. Which is bigger: -0.1 or h?
-0.1
Suppose p - k = -6, -p - 4*k = -2 - 17. Let x = 4 - p. Let j be 6/x + 2/(-10). Which is bigger: -2/15 or j?
j
Let r = -134 + 137. Is 3 < r?
False
Suppose 5*g = 5 - 0. Suppose -4*l + 4*v - 11 = -43, 2*v + 25 = 5*l. Do l and g have the same value?
False
Suppose -23 = 3*w - 5. Is w <= -7?
False
Let y = 8 - 9. Which is bigger: y or -2?
y
Let v = 5 + -1. Let f = 8 - v. Let n = 4 - f. Which is greater: n or -1/5?
n
Let d = -1151/18 + 64. Which is bigger: d or 0?
d
Suppose 0 = 5*b - g - 43, g = b - 5*b + 38. Which is greater: 8 or b?
b
Let m = 19.9 - 19.9. Do m and 58 have the same value?
False
Let p = -47/182 + 3/26. Which is greater: p or 0?
0
Suppose 0*d = 5*d + 2*h + 16, 13 = d - 5*h. Let w be (-9)/15 - (d + 1). Suppose 0 = -13*y + 6*y + 7. Is y at most as big as w?
False
Let q = 0.5 - 4.5. Let y = -1.4 + 1. Let b = y + 0.3. Is q at least as big as b?
False
Let q be -3*(16/3 + -5). Which is greater: q or -1/138?
-1/138
Let j be ((-8)/(-16))/((-1)/((-80)/22)). Which is greater: j or 2?
2
Let z be 4 - 6 - (2 - 2). Let x be -3 + z/6 + -3. Which is smaller: -6 or x?
x
Let j(o) = 5*o**3 + o**2 + 5*o - 5. Let y be j(1). Is 0 != y?
True
Suppose 2*c + 1 - 3 = 0. Let a = -33 + 17. Let t = a - -16.03. Are c and t equal?
False
Suppose -4*f = 4*f + 176. Is f at most as big as -23?
False
Let z(g) = g**3 - 12*g**2 - 11*g - 16. Let l be z(13). Let s(o) = -o**2 + 12*o - 14. Let k be s(l). Is 5 less than or equal to k?
True
Let p = 6 - 0. Let h = p + -5. Which is greater: -9 or h?
h
Let j be (4/(-9))/(-9 - -11). Let f = 52.1 + -50. Let k = f - 2. Is j <= k?
True
Let z = 14 + -10. Suppose 0 = 5*w - 2 - 3. Suppose 3*x - 4*v = w - 10, 0 = x - 3*v + 8. Which is greater: z or x?
z
Suppose -j + 11 = f, -70 = -4*f + 4*j + 14. Suppose 0 = -4*u - 16, -7*w + 2*u + f = -5*w. Are w and 4 unequal?
False
Suppose 4*q + 2*h = 36, -4*q - 6 = -5*q - 2*h. Is q less than or equal to 10?
True
Let c be 175/28 - (-2)/(-8). Let g be (-3)/(-1) + 16/4. Are c and g equal?
False
Let p be (-22)/(-16)*-2 - -2. Suppose 5*s - 3 = -13. Which is greater: s or p?
p
Let l = -1870/13 + 144. Let x = -3 + 2. Let m be (x/2*2)/1. Is l less than or equal to m?
False
Let t = -0.6 + -2.4. Let s = -1 - t. Let n = 0.8 - 1.8. Is s greater than or equal to n?
True
Let u = -10 - -10.16. Let o = -0.06 + u. Which is smaller: o or -3?
-3
Let n = -34 + 33.74. Let k = n + 0.06. Is k not equal to -2/3?
True
Let t = 0 + -0.08. Which is smaller: t or -11?
-11
Let c be (-5 - -3)/(-2)*-1. Let o be c + 7/1 + -1. Is o at most -0.1?
False
Let f = -9.7 + 10. Is 0.1 at least as big as f?
False
Let v = -131 + 142. Which is greater: 16 or v?
16
Let y be (-26)/(-8) - (-1)/(-4). Suppose 4*z = 3*z - 4*t + 7, -z + y = 2*t. Suppose 2*i - 4*s - 20 = 0, i + s + 1 + 4 = 0. Which is bigger: i or z?
i
Let w = 104063/65 - 1601. Which is bigger: w or 1?
1
Let r = -39 + 52. Are 1/4 and r equal?
False
Let z be 25/(-1)*6/(-45). Let i = z + -59/18. Does i = -1?
False
Let v(l) = l + 6. Let p be v(-6). Let o = 1 + p. Let m(c) = 2*c**3 - c**2 + c - 1. Let r be m(o). Which is greater: 0 or r?
r
Suppose -x + 34 = 2*o, 2*x + 3*x + o - 206 = 0. Let z be 30/x*(0 + -1). Which is bigger: z or -2?
z
Let d = -0.4 + 0.4. Let g = -0.1 - d. Does g = -3/5?
False
Let f be (-11 + 12)/((-2)/(-4)). Let b = 1 + -0.7. Which is greater: f or b?
f
Suppose 2*m - 22 = -f - 6, m + 2*f = 11. Suppose -m*n = -3*n - 4. Which is smaller: n or 1/6?
1/6
Let z = 1983 + -2798. Let j be (1 - 0) + z/1050. Let n = j + -2/35. Which is smaller: 1 or n?
n
Let n(p) = 2*p**2 - 8*p - 16. Let j be n(-12). Let i = 6258/17 - j. Is i equal to 1?
False
Suppose 4*o = 4*p - 24, 2*p - p = 3*o + 12. Suppose -q + 4*b + 8 = b, -3*q + p = -2*b. Which is smaller: 0.07 or q?
q
Let a = 1.6 - 22.6. Is a >= 1?
False
Let h(d) = d**3 - 2*d**2 - 5*d + 4. Let n(i) = 2*i**3 + i. Let v be n(1). Let k be h(v). Is k at least -2?
True
Let v(q) = q**2 - 3*q + 4. Let w be v(3). Suppose w*y - 15 = 1. Which is greater: 3 or y?
y
Let t = 28 + -13. Let b be ((-39)/t + 2)*-5. Is b greater than or equal to 3?
True
Suppose -4*s + 5 - 1 = 0. Suppose 