 c*i - 9 = -35, 4*i = -v - 14. Which is smaller: 0 or v?
0
Let n = -31 - -31. Which is smaller: 2 or n?
n
Let l = -8 - -6. Let n be (-1)/l*0*-1. Which is smaller: -3/4 or n?
-3/4
Let a = 19/12 - 5/4. Is -1 at most as big as a?
True
Suppose -5*u = -6*u. Suppose u*y - 3*y - 30 = g, 0 = 3*y + 2*g + 27. Is -11 <= y?
True
Let p(h) = -h**2 + 15*h - 12. Let t be p(11). Is 31 less than t?
True
Let o = -21 + 25. Let s be 10/(-35) + o/14. Is -2/19 less than s?
True
Suppose 6*c = 10*c. Which is smaller: c or -0.2?
-0.2
Let h be -2*(5/(5/3))/(-40). Which is smaller: -1 or h?
-1
Let j be (-1)/(-40)*298 - (-9)/12. Is 9 <= j?
False
Suppose 0*z + 35 = 5*z. Suppose -2*y = -z*y + 25. Which is bigger: y or 4?
y
Let t = 1077 - 697. Let y = 9502/25 - t. Which is smaller: 1 or y?
y
Suppose -30 - 12 = 3*p. Let d = -8 - p. Is d smaller than 6?
False
Suppose 0 = 3*j - 8*j + 15, -2*k = -j - 17. Which is smaller: k or 2/7?
2/7
Let k(f) = 5*f**2 + 2*f + 2. Let n be k(-2). Which is bigger: 19 or n?
19
Suppose -2*d + 0 = -8. Suppose 0*p = -2*p - d. Let y = -9/20 - 53/60. Which is smaller: p or y?
p
Suppose 7*s = 11*s - 4. Which is greater: -1/8 or s?
s
Suppose 4*n - 1 - 3 = 0. Which is smaller: 0 or n?
0
Let f = 120.1 + -120. Let u = 0.1 + -1.1. Let r = u + 1.1. Is r less than or equal to f?
True
Suppose 12*l - 5*l = 8*l. Let w be (-4)/(-14) + 86/(-56). Is l != w?
True
Let u be (-21)/(-15) - 4/10. Let j be ((-4)/(-102))/(u/(-3)). Let l = 5 + -6. Are l and j equal?
False
Suppose 0 = -u - 4*u - 5. Let y(h) = 4*h**2 - 2*h + 1. Let r be y(1). Let q = r + u. Is q greater than or equal to 2?
True
Let q = 0.011 - -0.289. Which is smaller: -5 or q?
-5
Let k = 113.9 - 120. Let j = 0.28 + 5.72. Let b = j + k. Which is smaller: b or 3?
b
Let y = -81/20 - -17/20. Which is greater: -3 or y?
-3
Let u = -58/15 - -197/60. Which is smaller: 0 or u?
u
Let b = -2 + 1.9. Let r = 4 - 4.2. Let x = -1.2 - r. Is b smaller than x?
False
Let u = 6/377 - 4183/2262. Let q be ((-4)/16)/((-2)/(-8)). Which is smaller: u or q?
u
Let x = 3 - 7. Let y = x - -4. Let u = 1.5 - 2.5. Which is bigger: y or u?
y
Let c = 2.5 - -12.5. Which is greater: c or -0.2?
c
Let k be (-2 - -3)/(3/42). Suppose 0*j - k = -2*j. Suppose 0 = 4*o - 16, 4*o - 9 - j = -3*q. Is -2/31 at least as big as q?
False
Suppose -b - 4*b + 30 = 0. Let g be b/33 + 24/110. Is g smaller than -0.5?
False
Let r = 432/5 - 87. Let p(m) = -m**3 + 2*m**2 - 2*m + 2. Let q(h) = h**3 - h**2 + h - 1. Let k(y) = 5*p(y) + 6*q(y). Let v be k(-5). Which is smaller: r or v?
v
Let s = -8.3 - 0.7. Let g = 6 + s. Is g at most as big as 1/4?
True
Let o = 73 - 71. Let b be 38/(-6) - 1/(-3). Let m be ((-3)/(-2))/(b/8). Is o at most m?
False
Let t = -7 + 18. Let s = 17 - t. Is s != 5?
True
Suppose 0 = 5*i - 3*i. Is 3/5 >= i?
True
Suppose 9 = 2*d - o, 25 - 2 = 5*d - 3*o. Which is greater: 0.09 or d?
d
Suppose -3*h = 5*x - 3*x - 113, -3 = -3*x. Let o = 109/3 - h. Which is smaller: o or 3?
o
Let l be (-74)/5*(-35)/(-5). Let w = l + 104. Which is smaller: -2/3 or w?
-2/3
Let h(a) = -a**3 + a - 15. Let k be h(0). Let x = 10 + k. Which is greater: -3 or x?
-3
Let s = -0.49 - 0.01. Which is bigger: -0.1 or s?
-0.1
Let o = 566 + 560. Let c be 4/(-6) + o/12. Let b = -93 + c. Which is greater: -0.1 or b?
b
Let k = -21 + 21. Is k < -1.6?
False
Suppose -5*t - 6 = 2*p - 2*t, 2*p + 4*t + 6 = 0. Let q be p/(-15) - (-28)/10. Suppose -1 = -2*h + q*h. Which is smaller: h or 0?
h
Let z = -0.2 + 1.2. Let r = 2833/3 + -138853/147. Let p = 2/49 - r. Which is greater: z or p?
z
Let t be 1/(3/((-6)/(-5))). Let x = 0.05 + -0.05. Let f = x + 0.1. Is f > t?
False
Suppose -9 + 5 = q. Is q not equal to -6?
True
Let s = -51 - -35. Let k be 2 + (-1)/((-6)/s). Let l be (-7)/((-21)/(-6)) + 1. Is k at least as big as l?
True
Suppose -t + 8*i = 4*i + 23, i = 5*t + 20. Suppose -c + 18 = c. Let b be 4/(-6)*t/c. Is b > 1?
False
Let b be 1/(-4) + 1/(-12). Let m(c) = -c**2 - 19*c - 36. Let d be m(-17). Is b <= d?
False
Suppose 0 = 4*u - 0*u + 8. Let z = 1 + -1. Are u and z equal?
False
Let a(u) = -2*u**2 + u**2 - 2*u + u**3 + 0*u**2 + u. Let c be a(0). Let l be (4/39)/(2/(-3)). Is l greater than c?
False
Suppose 16 = 5*i - 4*d, 10 = -2*i - 3*d - 2. Is i equal to -6/5?
False
Suppose -3*t + 33 = 3*o - 7*o, -2*t + o = -17. Which is smaller: t or 6?
6
Let l be 2/15 - (4 + -4). Let w = 5 - 11. Let y(x) = -x**2 - 7*x - 5. Let h be y(w). Which is greater: h or l?
h
Let k be 26/6*(6 + (-84)/16). Is 3 smaller than k?
True
Let g = -8 - -10. Let y = 0.6 + -0.1. Let j = -0.3 + y. Is g less than or equal to j?
False
Let w = 3.3 + -1.3. Is w bigger than 1?
True
Let i be (36/(-27))/(-2)*(-6)/4. Is 2/21 equal to i?
False
Suppose 0 = 4*y + 20, 4*d + d + 5*y + 45 = 0. Let o(u) = -u + 2. Let x be o(6). Let g = d - x. Is g less than or equal to -1?
False
Let a = 8 - 8.3. Which is smaller: -2/11 or a?
a
Let y = 0.103 - 2.103. Are 26 and y nonequal?
True
Let d = -166.2 - -149. Let f = 17 + d. Are f and 0.2 unequal?
True
Let r = 174 - 175. Are r and 3/13 nonequal?
True
Let d = 72677/85 - 855. Let c = d + 81/170. Let m = -1 + 2. Is m <= c?
False
Let r = -11 + 7. Let x be 3/(r - -1)*3. Is -3 bigger than x?
False
Let i = -5.824 + -0.076. Which is smaller: 0 or i?
i
Let b = -13/9 + 56/45. Does 1 = b?
False
Let n(o) = -o**3 + 4*o**2 + 4*o + 2. Let w be n(-2). Is 18 greater than w?
False
Suppose 4*x - 12 = a, x + 3 = 2*x - 2*a. Which is smaller: 2 or x?
2
Let o = 43.04 + -47. Let a = 0.74 + -0.7. Let v = a - o. Which is smaller: v or 2/5?
2/5
Let x be ((-15)/(-4))/((-5)/(-20)). Suppose x = 3*b + 3. Suppose 0 = -3*j + 5*y + 16, y + y + 12 = b*j. Are 2/3 and j unequal?
True
Suppose 2*m + 31 = 5*p, p = 6*p + m - 37. Is p != 7?
False
Suppose -5*m - 35 = 5*r, 0 = 4*m - 4 - 0. Let c be r/(-14)*4/(-8). Let n = -3 + 2. Do n and c have the same value?
False
Let a = -0.15 - -0.06. Let b = -1.81 + a. Let n = -0.1 + b. Is -0.1 greater than or equal to n?
True
Let p be 1/4*4 - 22/(-38). Which is greater: 1 or p?
p
Let f(s) = -s**3 - 13*s**2 - 8*s + 13. Let o be f(-12). Which is greater: o or -33?
-33
Let b(u) = -u**3 - 2*u**2 - u - 4. Let a be b(-3). Let q be 3/4 + 2/a. Is q greater than or equal to -2/25?
True
Suppose -3*g - 40 = -g - 2*c, 0 = -4*g + c - 71. Is -17 less than g?
False
Let x(v) = -v**3 + 10*v**2 + v - 3. Let k be (9 + 1)*(-4 + 5). Let z be x(k). Is z greater than or equal to 7?
True
Let r(q) = -4*q - 2. Let s be r(-2). Suppose -4 = 4*x, s*d - 3*d - 2*x - 11 = 0. Is d >= 3?
True
Let f(o) = -o + 5. Let m(y) = 1. Let v(r) = -f(r) + 6*m(r). Let l be v(-2). Let b be l + (-2 - (-1 - 1)). Which is smaller: -0.1 or b?
b
Let n be (-2)/4*6/12. Let y = 0.4 + -3.4. Let f = y - -3.2. Is f at most as big as n?
False
Let l be (-2)/(((-24)/(-13))/(-3)). Let f = -7/2 + l. Which is greater: 4/7 or f?
4/7
Let a = 1703 + -28941/17. Is 0 smaller than a?
True
Let m = 4 + -8. Let b = 7 + m. Let w = 1.2 - 0.2. Which is greater: b or w?
b
Suppose 50*w + 4 = 46*w. Let g(o) = 6*o**2 - 2*o - 2. Let z be g(2). Let s be (-1)/4 + z/136. Is w at most as big as s?
True
Suppose c = 4*c. Let h = -1 + c. Which is smaller: -2 or h?
-2
Let v be 1 - 2/(-2 - -1). Let o be 4 - 5 - 0/v. Is o greater than or equal to 0?
False
Let f = -5.7 + 1.7. Which is greater: f or 2?
2
Let g = 86 + -89. Let p(k) = -k - 2. Let x be p(-6). Suppose -x*s = -0*s. Is g at least as big as s?
False
Let q(k) = k**3 + 4*k**2 - k - 1. Let b be q(-4). Suppose b*f - 18 = -0*f. Let r be ((-3)/14)/(f/16). Which is greater: r or -1?
r
Let r(h) = h**3 - 7*h**2 - 8*h + 5. Let v be r(8). Is v at least 4?
True
Let m be 4/2 - (-60)/10. Let l be ((-18)/m)/(18/(-3)). Suppose 5*t - 4 = y - 0, 8 = 4*y + 4*t. Which is greater: l or y?
y
Let p = 0.111 - 0.201. Is 9/7 bigger than p?
True
Suppose -2*w + 7*w + 15 = 0, 4*r = -w + 41. Let s = 8 - r. Which is smaller: s or 1?
s
Suppose -4*l + 2 + 22 = 0. Let m = l - 1. Is 3 bigger than m?
False
Let y = -1.1 + 1.03. Let z = -0.03 + y. Do z and -2/17 have different values?
True
Let h = -170/7 - -24. Let m = 94/7 + -96/7. Is m >= h?
True
Let y be (-30)/(-8)*2/10. Let w be 143/(-182) + (-4)/(-14). Let m = w + y. Does m = 5?
False
Let p = -18 - -24. Let z be 8 - (2 + 2/(-2)). Which is greater: z or p?
z
Let p be (1/10)/(52/455). Is 1 less than or equal to p?
False
Let 