((-6)/i). Suppose 4*s = -4*m - 16 - p, 5*m = 3*s + 7. Does 1/6 = m?
False
Let z = -14 - -11. Let c(i) = 6*i**3 - i**2 + 1. Let n be c(1). Suppose -3*v = r + 3, -n*r = -r + 2*v + 2. Which is bigger: r or z?
r
Let t(k) = 3*k - 1. Let x be t(1). Let o be x/6 + (-1)/2. Let i = -1 - 0. Are i and o equal?
False
Let y = -112 - -339. Let m = y - 3860/17. Let a = m + -14/51. Is 1 not equal to a?
True
Suppose -g = 4*g - 5. Let v be -1 - (0 - (1 - 0)). Is g bigger than v?
True
Let b = -0.5 - -1. Let q = b + 1.5. Let x = -1.9 + q. Which is smaller: -0.3 or x?
-0.3
Let s = -1.3 - -4.3. Let i = -1.2 - -0.2. Let v = s + i. Is 1/4 greater than v?
False
Let h be (1/2)/(5/(-2738)). Let j = h + 272. Which is smaller: j or -2?
-2
Let b = -7/5 - -19/10. Suppose 18 = -4*v + u + 5, 5*v + 26 = -2*u. Let a be (-6)/v*12/9. Which is smaller: b or a?
b
Let u be 876/(-52) + (-2)/13. Which is bigger: u or -16?
-16
Let a = 9 - 10. Let o be (18/15)/((-33)/(-10)). Are a and o nonequal?
True
Suppose 10 = 5*s, 0 = -3*n - n - s - 18. Which is smaller: -2 or n?
n
Let n = 7 + -51/7. Is n less than or equal to -4?
False
Suppose 4*m - 20 = -4*t, -4 = -4*t - 3*m + 20. Suppose 7*r + t = 10*r. Which is greater: r or 13/4?
13/4
Let j be (0 - 6/(-3)) + -1. Let d = 0 - j. Let g = 0.2 - 0.1. Which is greater: g or d?
g
Suppose 4*h = -5*u - 8, 0*u = -u. Let d(a) = -a**3 - 6*a**2 + a. Let x be d(-6). Let b(n) = n**2 + 6*n - 3. Let o be b(x). Which is greater: o or h?
h
Let s be (-2 + 0)*-2 + -13. Which is bigger: s or -8?
-8
Suppose -2*j = 3*j - 5. Suppose -4*v + 5 + 3 = 0. Which is smaller: j or v?
j
Let m = 11.9 - -0.1. Let u = 12.1 - m. Which is smaller: 14 or u?
u
Let m(d) = -d**3 - 4*d**2 + 5*d + 5. Let u be m(-5). Is 1 > u?
False
Suppose 0*u = 3*u - 6*u. Is -1/104 smaller than u?
True
Let s be (1/((-1)/3))/1. Let c(f) = -f**2 - 5*f - 4. Let p be c(s). Which is bigger: 6/7 or p?
p
Suppose 28 - 1 = -3*z - 3*h, -20 = 3*z - 4*h. Is z <= -3?
True
Suppose 7 = -s - 5. Which is smaller: 0.2 or s?
s
Let b be ((-16)/(-20))/(-2)*-4. Which is smaller: b or 2?
b
Suppose -13 = -5*h + 2*q - 5, -h - 3*q + 5 = 0. Suppose 5*n + h*l - 10 = 0, -5*l = n - 3*n - 25. Which is smaller: n or 3/8?
n
Suppose 0 - 31 = -k. Suppose 0 = 2*a + 4*z + 24, -a + 4*a + k = -5*z. Do a and -2 have different values?
False
Let n = 1.87 + 0.13. Let j = n - 1.9. Is 1 <= j?
False
Let g be 24/(-10) - 10/(-25). Let f be (g/2)/((-2)/(-2)). Suppose 6 + 4 = -5*r. Which is bigger: r or f?
f
Suppose 2*b = 10, f + 5*b + 0*b = 24. Let s be ((-15)/8)/1*f. Which is bigger: 1 or s?
s
Let y = 12 - 10. Is y equal to 19?
False
Let a = -389 - -799/2. Which is bigger: a or 12?
12
Let f(d) = -d**2 - 2. Let r be f(0). Is r greater than or equal to 2?
False
Let u be (-45)/36 - (-21)/36. Which is greater: 7 or u?
7
Let m be 2/((-6)/9) + 72/30. Is -9/7 bigger than m?
False
Let u = -54.2 - -60. Let g = 6 - u. Which is greater: g or 2/7?
2/7
Let p be (-104)/(-64) - (-3)/(-4). Which is bigger: p or 0?
p
Let b = 47 + -47.1. Which is bigger: -1.8 or b?
b
Let a be (-153)/(-516) + (-1)/4. Is a less than or equal to 0?
False
Let p = 351 - 8776/25. Which is smaller: 0 or p?
p
Let h = -0.36 + 0.36. Let c = -57 - -54.1. Let o = 3 + c. Which is greater: h or o?
o
Suppose c - 2 + 0 = 0. Let f be 3/(c + (-21)/6). Let v = -557/938 + 3/134. Which is bigger: v or f?
v
Let g = -2 + 4. Suppose -g*q - 2*m = 4, 5*q - 2*m - 3 = 1. Which is bigger: q or 2/5?
2/5
Let q be (140/(-10))/(44/14) - -2. Is -2 less than or equal to q?
False
Let i(t) = -t**2 - 4*t + 5. Let d be i(-5). Let q = -5 + 4. Which is greater: d or q?
d
Let a = -1137 + 73903/65. Let z = -2 + 3. Is a greater than or equal to z?
False
Let n = -6 + 4. Let o = 8/3 - 10/3. Which is bigger: o or n?
o
Let d be 2/(-8) - (-9)/(-12). Let f = -0.4 - 0.6. Is f less than d?
False
Let x(f) = f**3 + 4*f**2 - 2*f. Let n be x(-5). Let z = n - -9. Which is greater: z or -7?
z
Suppose -5*q + h + 1 = -9, q - 4*h - 21 = 0. Which is smaller: 6/11 or q?
6/11
Suppose 5*w + 2*t - 25 = 0, 4*t = -0*w - w + 23. Suppose -1 = 4*b - w*r, 3*b + 3 = -r - 1. Let y be -1*((-6)/14)/(-1). Is b at most y?
True
Let t = 55 - 55. Let u(i) = -i**3 + 4*i**2 + 5*i + 5. Let c be u(5). Suppose -4 = -2*l + l - c*z, l - 3*z + 4 = 0. Are t and l nonequal?
True
Let p = 0.12 - 5.12. Let w = 4 + p. Let y = w - -2. Which is smaller: y or 0.2?
0.2
Let h = 8 + -6. Let l(j) = -j - 2*j + h*j - j. Let s be l(-2). Is s smaller than 2/9?
False
Let r be 69/(-10) + (-6 - -9) + -5. Let l = -1208 - -6003/5. Let t = r - l. Which is smaller: -1 or t?
t
Let i(b) = b**3 - 8*b**2 - 9*b - 13. Let t be i(9). Are 0 and t equal?
False
Let a = -11 - -13. Let b be a/4*(-2 + 0). Which is smaller: b or -1/12?
b
Let n be (38/(-6))/(5/(-15)). Suppose -5*w = 25, 4*w = 3*t - 4*t - n. Let z be 2/6 - (-1)/(-9). Is z at least as big as t?
False
Let d = -35/9 - -358/99. Let u be (-2)/8 + 1/4. Is d bigger than u?
False
Let a be (0 - -10)/(6 - 4). Suppose -x + 3 - 4 = -3*r, a*x + 5 = 3*r. Let k be 1/2*r/1. Which is bigger: k or 2/11?
2/11
Let p = 0.8 - 1. Let f = p - -1.2. Let j be 3/6 + 25/(-90). Do f and j have the same value?
False
Let k = -1178 + 3478/3. Let w = k + 19. Which is smaller: -2/11 or w?
-2/11
Let g(u) = -u - 26. Let j be g(-20). Is j bigger than -6?
False
Suppose -h - h + 6 = 0. Suppose m - 12 = h*m. Let y(b) = -b**3 - 6*b**2 - b - 5. Let s be y(m). Is s != 2?
True
Suppose 2 = -2*z + 4*s, -s - 2 = 2*z - 3*s. Let m be (-1)/z + -5 + 7. Is 4 >= m?
True
Let c be 18*((-5)/(-2))/(-5). Let t be (2/3)/((-15)/c). Let q be ((-1)/(-1))/(-1 - -2). Is t greater than q?
False
Let h = -19.2 - -18. Let n = 0 + -0.2. Let r = n - h. Do r and 2/9 have different values?
True
Let q = 427/2 - 222. Which is smaller: -10 or q?
-10
Let w be 2*1 - 1*-2. Let q = 11 - 6. Suppose 22 = 5*b - 2*f, 3*b - 5*b + 13 = -q*f. Is w less than or equal to b?
True
Let l be 10 - ((2 - 2) + 2). Suppose 5*y + 2 = -l. Is y > -1?
False
Let u = -1.3 + 1.2. Is 0.05 greater than or equal to u?
True
Let g be (12/16)/(1/4). Which is greater: 5 or g?
5
Let p = -8/7 - -39/28. Suppose -2*v - 5 = 3*v. Is v equal to p?
False
Suppose 9*m = 8*m. Suppose m = 5*k - 5 - 5. Suppose -5*z - 3*a + 17 = -a, 2*a - 2 = -2*z. Are k and z non-equal?
True
Let w = -53 - -38. Let k = -27 - w. Which is smaller: k or -11?
k
Let h = 22339/49530 - 55/127. Let s = -881/1326 - -28/51. Let r = s - h. Which is smaller: r or 1?
r
Let g be (210/45)/(6/(-8)). Which is bigger: -7 or g?
g
Let n(h) = -5*h + 45. Let v be n(12). Which is greater: v or -16?
v
Let u = 15 + -16. Let n = 2/337 - -656/3033. Which is bigger: n or u?
n
Let m = -6 + 4. Let z(x) = 13*x**3 - 12*x**3 + 5 + 3*x**2 - 12*x - 8 - 8. Let o be z(-5). Which is smaller: o or m?
m
Let i = 7 + -3. Suppose -5*c = 5, 4*p - i*c - 10 = p. Suppose 4 = 2*r, -5*q - 2*r = -19 + 5. Is p less than or equal to q?
True
Suppose 5*i - 3*i - 17 = 3*o, -5 = -o - 2*i. Let h be (-3)/(((-27)/6)/o). Which is smaller: -4/7 or h?
h
Let k be (-5)/(70/32) + 2. Let l(j) = -j - 6. Let g be l(-6). Suppose 5*t - 2 - 3 = g. Which is greater: k or t?
t
Let c be 74 - 3/6*0. Suppose -5*w = 29 - c. Does w = 9?
True
Let a = 27 - 16. Let y = a - 10. Let l = -5.4 - 1.6. Which is bigger: l or y?
y
Suppose -x + s = -13, -8*x + 3*x - 5*s = -85. Which is smaller: 16 or x?
x
Let m = -20 + 21. Is m less than -1/4?
False
Let n = 28 - 24. Which is bigger: -5 or n?
n
Let k = -49 - -48.58. Let v = 0.08 - k. Let o = v + -0.3. Does o = 2?
False
Suppose -16*t = 14 + 2. Is -14/15 smaller than t?
False
Let y be 6/(-10) - 64/10. Let x = y - -5. Is x at most as big as -2?
True
Let v(g) = -g**2 + g - 1. Let q(h) = -h**2 + h - 176. Let l(i) = q(i) - 2*v(i). Let j be l(0). Let w = -1220/7 - j. Is w less than -1?
False
Let n be 0/(-2) - (-117)/(-104). Suppose -2*x = 2*x. Is n <= x?
True
Let s = -453 - -963/2. Let q = s - 29. Which is bigger: -0.2 or q?
-0.2
Let q = 0.098 + 0.902. Is -13 less than q?
True
Suppose 0 = 3*x + 2*j - 14, x + 0*j - 18 = -4*j. Let d be x - 2 - (-8)/22. Are d and 0 equal?
False
Suppose -5*d + 2*d + 15 = 0. Suppose 2*g + 15 = d*g. Suppose 0 + 10 = -5*a, -g*n + 15 = -5*a. Which is smaller: n or 3?
n
Let o be (3/6)/((-1)/(-14)). Suppose 4*z - 8 = 8. Let d = z - o. Is d less than or equal to -4?
False
Suppose 4*c = 3*j + 9, 2*j = 