 12 = 0. Is v bigger than x?
True
Suppose 3*c + 4 = 5*c - o, -3*o - 12 = 5*c. Let i = -4 + 4. Is c equal to i?
True
Let f = 5 + -2. Let z = 2 - f. Do z and -6 have the same value?
False
Let h be 0*((-9)/(-6) + -1). Is -3/7 >= h?
False
Let l(a) = a - 1. Suppose 0 = -j - 3*j + 4. Let f be l(j). Is 1/7 greater than f?
True
Let h = -0.1 + -0.7. Let m = 0.5 + h. Let c = m + 0.3. Are c and -0.2 unequal?
True
Suppose 958 = -4*c - 0*b - b, -4*c + b = 954. Let l = c + -65. Let w = l + 8210/27. Which is smaller: 0 or w?
0
Let o = 8 + -8. Let r = 785/77 - 72/7. Which is bigger: r or o?
o
Let m = -140 + 74. Which is greater: 0.1 or m?
0.1
Let s = -6 - -8. Suppose -c = -6 + 4, 2*d + c - 2 = 0. Which is smaller: d or s?
d
Suppose -4*z = -3*o - 26, o = 5*z - 21 - 6. Let g(n) = n**2 + 2*n + 6. Let y be g(-6). Let a be (-24)/y*o/(-4). Which is greater: 1 or a?
1
Let h(n) = -7*n**2 - 2*n - 1. Let x be h(-1). Let k be (2 + 2)*(-3)/x. Let w be (-3 - (-4)/k) + 0. Is 1/5 smaller than w?
False
Let m = -5 - -3. Let s be (m/6)/(1/(-6)). Let n = 3 - s. Is 0.2 greater than or equal to n?
False
Suppose -4*s + s - 4*q = -26, 0 = -4*s + 4*q + 44. Which is bigger: 7 or s?
s
Let u = -2 + 1.9. Let g = -1 - -0.6. Let i = 1.4 + g. Is u greater than or equal to i?
False
Let g = -4 + 6. Let f = 1 - g. Is -2/3 bigger than f?
True
Let c = 33 + -32.7. Which is greater: 0.6 or c?
0.6
Let r(g) = -g**3 - 5*g**2 + g + 5. Let q be r(-5). Let k be q + (-1)/(-1) + 0. Let p = -1/43 - -93/301. Is p greater than k?
False
Let x = 1.58 + -0.08. Let o = x + 0.5. Let s = o + -5. Is s <= 0.1?
True
Let q = 4/965 + -283/3088. Let k = -877/880 - q. Which is smaller: 0 or k?
k
Let i be 0 + (-3)/(-9)*2. Let a(x) = -x**3 + x. Suppose -5*b + 5*z + 25 = z, b + 4*z = -19. Let n be a(b). Which is bigger: i or n?
i
Let z(v) = 20 - v - 20. Let c be z(1). Which is smaller: c or 1/5?
c
Let f = 107/2 - 52. Let i(h) = h - 2. Let q be i(4). Is q greater than f?
True
Let t be (-1)/(-1) - (8 + -5). Which is smaller: t or -1?
t
Let w be 2 + 0 + -3*(-4)/(-6). Let r = 290 + -3192/11. Which is smaller: r or w?
r
Suppose -2*a + 3 = -5*a, -a - 141 = -4*q. Let y be (-248)/q + -7 + 5. Let n = 44/5 + y. Is n smaller than -1?
False
Let f be (-4)/(-6) + (-1)/(-3). Let s(z) = 3*z**3 - z**2 - z + 1. Let y be s(f). Suppose 4*x + 2*t = 12 + 2, 0 = -2*x + 2*t - 2. Is y <= x?
True
Let z = -12664/2715 + -2/905. Let p = z - -86/21. Are p and -2 equal?
False
Let j = -9183 + 688709/75. Let t = 3/25 - j. Let x(m) = m + 3. Let r be x(-4). Is r smaller than t?
True
Let l = -41.952 + -0.048. Which is smaller: -1 or l?
l
Let v(c) = c**2 + 4*c + 3. Let n be (-2)/(-1) - (2 - -2). Let l be v(n). Let d = -4/11 + 5/44. Is d at most l?
False
Suppose 2*m + 8 = -2*m. Let q(v) = -v + 4. Let u be q(4). Let y(t) = -t**2 + t - 1. Let p be y(u). Is p at most as big as m?
False
Let h be 2/4*(8 - 4). Let k = 3 + -5. Let d = k + 2.1. Which is bigger: d or h?
h
Let b be 0/((-1)/((-3)/6)). Let q = -94 - -939/10. Which is smaller: q or b?
q
Suppose -4*z - z = -c + 28, 9 = -2*c - 3*z. Suppose -4*r + 16 = 0, c*p - r = -0 + 2. Which is bigger: p or 0?
p
Let l = -5.05 - -5. Let b = 0.95 + -1. Let a = b + l. Is 7 less than a?
False
Suppose 5 = -5*s + 5*z + 30, 3*z = s - 9. Is 3 < s?
False
Suppose 0 = 4*a + 5*f, -f - 3*f = -5*a. Let g(o) = 45*o - 2. Let z be g(-4). Let k = 1277/7 + z. Is a greater than k?
False
Let q = 93.031 - 93. Do 0.1 and q have the same value?
False
Let s be 1/(-3)*(4 - 4). Is 1 > s?
True
Let i be 1 - (-2 - 17/(-6)). Suppose -3*b + 6*b - 2*s - 5 = 0, 2*s = 5*b - 7. Which is greater: b or i?
b
Let u be 258/(-82) + 13 + -10. Let o be 0 + 8/(-369)*17. Let a = o - u. Which is bigger: 0 or a?
0
Let t = -29/15 - -7/3. Let q = 0.8 + -1.1. Which is greater: q or t?
t
Let j = -1365/4 + 339. Are -2 and j nonequal?
True
Suppose 2*l = -2*g + 62, 56 = 2*g + l - 2*l. Which is greater: g or 28?
g
Let d be ((-32)/40)/((-4)/10). Suppose 0 = -d*n + 5*n - 3, 5*w - 5*n - 205 = 0. Let f be ((-4)/w)/(3/18). Is -2 less than f?
True
Let b = 14 + -8. Let s be 5/b - (-2)/(-4). Which is smaller: 0 or s?
0
Let p be -1 + (-289)/(-287) + 0. Which is smaller: p or 0?
0
Suppose -4*g + 5*g - 2 = 0. Suppose 0 = 2*q + g*d, 4*d = -2*q + 2 + 6. Are q and -4 equal?
True
Suppose 2 + 6 = 2*p. Let a(v) = v**2 + 15*v + 18. Let q be a(-14). Is p bigger than q?
False
Suppose 34 = 3*n + 2*h, -5*h - 13 = -n - 6*h. Which is bigger: n or 3?
n
Let x be 26/(-65) + (-2)/5. Which is smaller: -1 or x?
-1
Let s be -2 + -1 + (-52)/(-20). Is -1 at least as big as s?
False
Let t = 11.1 - 72.1. Is t >= 1?
False
Suppose -3 = 4*k - 3*c, -3*c = -k + c + 9. Let t be (7 - 4) + (k - 0). Are 0 and t nonequal?
False
Let k = -48 - -241/5. Suppose b - 4*b - 3 = 0. Is k smaller than b?
False
Let p(q) = q**2 + 3*q + 4. Let y be p(-3). Let v(l) = l**2 - 2*l - 5. Let g be v(y). Suppose 3 = -4*a - 0*a - h, 0 = -5*a - g*h - 2. Is a greater than -3/7?
False
Suppose -t - 10 = -5*x, t - x = -4*x + 22. Let h be (2 + (-28)/8)*-2. Suppose 4*j + h = 47. Which is bigger: j or t?
j
Let m = -0.02 - -0.72. Let t = -5 - -4.5. Let o = t + m. Is o smaller than -0.2?
False
Let b be ((-2)/(-55))/(-1 - (-32)/30). Is b less than 1?
True
Let c = 345 - 329.3. Let l = c - 16. Is -0.2 > l?
True
Suppose 2*y + 19 = -5. Let f be (-1)/(y/9)*-4. Is -4 equal to f?
False
Let w = 84/2929 - -18/101. Let o = 16/203 + w. Is o > 1?
False
Let t = -11.1 + 11. Let i = 0.19 - -0.91. Let k = t + i. Which is smaller: -2/3 or k?
-2/3
Let u be 7/(399/(-12))*(-2)/8. Is 1 >= u?
True
Suppose -8*t - 3 + 3 = 0. Which is greater: t or 1/124?
1/124
Let g(m) = 6*m - 14. Let d be g(8). Which is bigger: d or 33?
d
Let s be 3/((-3)/2) - -42. Let q = s - 119/3. Which is smaller: q or 1?
q
Let i = -4 - -3. Suppose 3*r + 0*r = -5*t + 4, 2*r + 2*t = 4. Suppose -4 = r*n - 1. Is i at most as big as n?
True
Suppose 4*l + 1 + 7 = 0. Let w = -455 + 454.9. Is w <= l?
False
Let b(c) = -c**2 - 3*c + 1. Let v = -8 - -5. Let u be b(v). Let o = -2 + u. Which is bigger: -1/3 or o?
-1/3
Let m be (3/(-9))/(1/15). Are m and -4 equal?
False
Let v(p) = -2*p**3 - 9*p**2 - 11*p - 6. Let h be v(-5). Suppose 5*c + h = w, -4*w = 2*c + w + 8. Is -15 <= c?
True
Let o = 5 + -9. Let g = 7 - 12. Is g at least as big as o?
False
Let m = 2 - 1. Let r = 965 + -89746/93. Let b = -181/465 + r. Does m = b?
False
Suppose -7 + 6 = r. Let f = 52/3 - 17. Which is bigger: f or r?
f
Let f = 491/35 - 94/7. Suppose 0 + 1 = -r - x, 0 = r - 3*x - 11. Is f at most as big as r?
True
Let q = -27 - -3. Let n be ((-2)/4)/(2/q). Let d(u) = u**3 - 7*u**2 + 7*u - 7. Let a be d(n). Which is smaller: a or -3?
-3
Let u = 1 - -2. Suppose -u*p = 2*x + 6 + 8, -4*x = p + 18. Let v be (-20)/(-15)*3/p. Which is greater: v or -2/3?
-2/3
Let m be 56/(-20)*-1 - 2. Which is bigger: 2 or m?
2
Let r = 92 + -50. Does 0.1 = r?
False
Suppose 0 = -3*q + 6*q - 36. Let s be q/24 + (-7)/22. Which is smaller: s or -1/4?
-1/4
Let t = 0.69 - 0.7. Let h = t - 0.07. Let q = -3 - -4. Is h bigger than q?
False
Let o(w) = -3*w + 5. Let b be o(2). Let j be (-3 - 96/(-33))*-4. Which is smaller: b or j?
b
Let t be (1/10)/(2/(-5)). Let d = 6 + -5. Let v = 0 - d. Is v equal to t?
False
Suppose 4 = o + n, 2*o - 17 = -6*n + n. Let y be ((-6)/(-8))/(4/(-16)). Which is smaller: o or y?
y
Let g = 7.7 + -9.66. Let f = 0.1 + -0.14. Let l = g + f. Is l at most 2?
True
Suppose x = 5*l - 27, x - 4*l + 72 = -4*x. Let k be (-6)/10*x/18. Is k at least -0.04?
True
Let r(o) = -o**3 - 8*o**2 - 7*o - 12. Let u be r(-7). Do u and -12 have the same value?
True
Let w = 2953/16541 + -2/973. Let c be (87/408)/((-2)/(-4)). Let r = w - c. Is 1 at least as big as r?
True
Let q be (-2)/12 - (-7)/24. Let s = q + -3/16. Let h = -5 - -6. Does s = h?
False
Let g = -5 + 5.4. Suppose -v - 3 = -4*v. Is g at least v?
False
Suppose -3*m = -7*m + l + 23, 17 = 2*m + 5*l. Which is smaller: m or 11/2?
11/2
Suppose 5*j - 6 = 34. Let t be ((-3)/(-4))/((-2)/j). Is t > -3?
False
Let n = -44/3 + 15. Let k(z) = -z**3 + 2*z**2 - 3*z + 1. Let r = -2 + 4. Let c be k(r). Which is greater: c or n?
n
Suppose z - 4*w + 3 = -3*w, 0 = -3*z - 2*w + 16. Suppose 22 = z*n + 3*g, -10 = -2*g - 2. Do n and 7 have different values?
True
Let g = 1.4 - 1.5. Which is greater: g or -6?
g
Let g = 832383/341 + -2441. L