al to -3?
True
Let w be ((-2 - -3) + -1)/2. Let l be (-6)/(-18) - 8/21. Is w greater than l?
True
Let o = 82.26 + -85. Let g = o - -2.6. Which is smaller: g or 0?
g
Let i = 2 + -9. Let n = 6 + i. Which is greater: n or 2/23?
2/23
Suppose -3*f + 20 = 3*b - 2*f, b - 4 = f. Let n be 4/b - (-16)/(-18). Suppose c = -2*c + 3. Which is greater: n or c?
c
Let o = -1043/208 + 66/13. Which is smaller: o or 1?
o
Let g be 6/(-30) + 94/70. Which is smaller: g or 2?
g
Suppose -5*c + 5*v = -6*c + 4, 2*v = 2*c + 4. Is c equal to -0.026?
False
Let h be 4/10*18/12. Is h bigger than 2?
False
Let t(x) = x**3 + 8*x**2 - 2*x - 10. Let h be t(-8). Let z be h/(-18) - (-38)/6. Is z at least as big as 3?
True
Let f = -142 + 709/5. Is f at least as big as 0?
False
Let c = -64 - -63.989. Is c greater than -1?
True
Let n = 4 - 3. Let k be 12/189 + 14/(-49). Does n = k?
False
Suppose 5*q - 8 = -3*y, 2*q + 12 = -7*y + 2*y. Which is bigger: q or 5?
5
Let r(d) = d. Let o be 1/2*(2 - 2). Let z be r(o). Which is smaller: z or -3/7?
-3/7
Let q be (-6)/(15/4 + -3). Which is smaller: q or 0?
q
Let b = -236 - -939/4. Let w = 7/12 + b. Which is smaller: 0 or w?
w
Let u be ((-12)/(-2))/(2/(4 - 6)). Is u <= -6?
True
Let u be (-16)/(-12)*(-12)/(-56). Which is bigger: u or 14?
14
Let c be ((-16)/(-30))/(2/5). Let z(y) = y**3 + 3*y**2 + 3*y + 3. Let o be z(-2). Which is bigger: c or o?
c
Let h be 4/((-40)/23 + 2). Let d = h - 15. Does 1 = d?
False
Let t = 12 - 11. Which is smaller: -2/7 or t?
-2/7
Suppose 0 = 2*g + s - 291, s + 149 + 582 = 5*g. Suppose -3*w - 442 = g. Let x = 2158/11 + w. Which is smaller: x or 1?
x
Let n be (4/(-8))/((-2)/8). Suppose 2*x - n = 4*p, -5*p + 0*x + 5*x = 5. Is -3/7 at most p?
True
Let m(t) = -t**2 + 6*t + 4. Let d be m(8). Let v = d + 25/2. Which is smaller: 1 or v?
v
Suppose -173 = 5*g - c, 10 + 15 = -g + 5*c. Let d = -37 - g. Suppose 5*m + 0*z - 4*z = -21, -3*z = -2*m - 14. Do d and m have the same value?
False
Let p = -11/26 - -12/13. Suppose -37 + 5 = -4*v. Let i = v + -6. Which is greater: i or p?
i
Let g = 12 - 8. Let b be -2*g/20*-5. Which is smaller: 0.1 or b?
0.1
Let l(n) = n**2 - 7*n. Let q be l(8). Let t be (-16)/q*1/2. Is t at least -2/13?
False
Let p = 1.4 + -2.6. Let k = -0.2 - p. Let z(n) = -n**2 + 4*n - 4. Let c be z(3). Is c equal to k?
False
Suppose -4*b = -0 - 16. Which is smaller: 6 or b?
b
Let l(g) = -2*g + 39. Let p be l(13). Which is bigger: 14 or p?
14
Let b be 39/9 - 2/6. Suppose 0 = b*w - 0*w. Is w at least -1?
True
Let g = -8 + 10. Suppose -g*m + 4 = -0. Which is greater: m or -2?
m
Suppose 15 = 4*s - 5, 27 = 2*h + 5*s. Let r = -293 + 7327/25. Does h = r?
False
Suppose 0 = 3*x - 2 - 1. Let t be (-1)/(-1)*6/6. Do t and x have the same value?
True
Suppose -y + 2*u - 6 = 0, -3*y - 3*u + u + 22 = 0. Suppose -x + 19 = 3*z, 0*z - z + y*x = -15. Which is smaller: 6 or z?
6
Suppose -3*c + 3*i = -24, -2 = -4*c - 0*i - 2*i. Suppose -5*z + 25 = -0*z + 5*b, -3*z + b = -3. Which is bigger: z or c?
c
Let s be (10/330)/(4/6). Is -1 less than s?
True
Let j(v) = v**3 - 4*v**2 - 5*v - 2. Let a be j(5). Let d = 4 - 4.1. Is a at most as big as d?
True
Let j(i) = -i**3 - 4*i**2 + 5*i + 3. Let l be j(-5). Suppose u + 0*u + l = 0. Let m(o) = 2*o + 2. Let r be m(-2). Which is greater: u or r?
r
Let m = 0.2 + -0.7. Let t = 0.4 - 1.5. Let f = 1.2 + t. Is f greater than or equal to m?
True
Let r(j) = 0*j - 2*j + 3*j + 2. Let v be r(-4). Let z be (v/3*-3)/(-2). Which is smaller: 2/9 or z?
z
Let o = -0.62 + 0.02. Which is greater: -2 or o?
o
Suppose -o - 24 = -5*o + 3*y, -3*y = -o + 15. Which is smaller: o or 2?
2
Let g(x) = -x**3 + 21*x**2 + 25*x - 67. Let h be g(22). Do h and -5/14 have different values?
True
Suppose 0 = y - 2*u + 3*u - 2, 4*y - 8 = 5*u. Let i be 1 + (0 - (-4)/y). Let d be 3/12 + (-55)/(-20). Is i smaller than d?
False
Let g = 0.61 + 1.39. Which is bigger: 28 or g?
28
Let u be (-9)/3 + 4 - -1. Let t be (0 - (-2 - -3)) + u. Let r be 2 + ((-2)/(-2))/t. Is 3 at most as big as r?
True
Let q be 2/4*(-10)/(-5). Are 2 and q non-equal?
True
Suppose 0 = -14*g + 12*g + 4. Which is smaller: g or 4?
g
Let p(q) = -2*q**2 - 2*q + q**2 + 0*q + q. Let w be p(-1). Is w <= 2/9?
True
Let d = -5/4 - -9/8. Let p = 325.9 - 326. Is p less than or equal to d?
False
Suppose -4 = -8*l + 12*l. Which is greater: l or -7?
l
Let t(b) = -b**2 - 8*b + 7. Let i be t(-8). Suppose i + 2 = -3*l. Is l greater than -1?
False
Let a(o) = o**3 - 3*o**2 + 4*o - 2. Let w be a(2). Let m be w - (0 + 1041/15). Let x = -67 - m. Which is bigger: -0.2 or x?
x
Let o = 10.3 + -10. Is 5 at least o?
True
Let o = 845/36 - 93/4. Which is greater: 0 or o?
o
Suppose 6 = p + i + 2, -4*i = p - 10. Which is smaller: p or 11?
p
Suppose 5*x - 15 = 3*b, b + 1 = -x + 4. Is b < 2/33?
True
Let z be (-18)/4*2/(-3). Let v = -2 + z. Let w be -1 + 1 + (-3)/v. Is -2 less than w?
False
Let g = 33.6 - 32. Is g < 2?
True
Suppose -5*y - 38 = 12. Let w = y + 9. Let n be -1 + 2/(4/(-2)). Which is smaller: n or w?
n
Let t = -15 - -15.1. Let a = 0.11 - 5.11. Let v = -4.6 - a. Which is smaller: t or v?
t
Suppose 0 = 2*t + 3*t - 10. Suppose -t*a = 2*l - l + 5, 4*a - 5*l = 25. Suppose 4*d + 2*g + 10 = -3*g, -5*g - 10 = -2*d. Is a greater than or equal to d?
True
Let j = 3.5 + -2.5. Is -5 bigger than j?
False
Let g(b) = 6*b - b**2 + 0*b + 0*b. Let u be g(6). Let q = 1 + u. Which is greater: q or -2/5?
q
Let v be (-1 - (-29)/7)*(-266)/(-570). Are v and 2 non-equal?
True
Let b = -0.0083 + -8.0317. Let u = -8 - b. Do u and 0.1 have different values?
True
Suppose 0 = -3*n + v - 0*v + 13, -5 = -5*n + 5*v. Suppose 0 = -5*s + p + 21, p + 20 = n*p. Is s greater than 3?
True
Let z be 697/(-3) - (-4)/(-6). Let g = z - -2561/11. Suppose -1 = d - 0. Does g = d?
False
Suppose 3*a + 4*i - 32 = 0, 2*a + 0*i - 4*i + 12 = 0. Suppose m = -3 + a. Let x be 3 + m + -2 + -2. Does -1/2 = x?
False
Let u = -1 - -1.1. Let c = u - 0.2. Is -3/2 greater than or equal to c?
False
Suppose 2*b - 84 = -80. Let r(f) = -5*f + 1 - 2 + 2. Let q be r(1). Which is greater: b or q?
b
Let k = -2 - -1. Suppose h + 4*l = 0, -l = -0*l. Suppose 0 = -h*y + y. Is k equal to y?
False
Suppose -11*z - 69 = 151. Is z >= 1?
False
Let v be 2/9 + (-4)/18. Which is smaller: v or 4/9?
v
Suppose 2*n - 4*v + 1 = -7, 3*n + 6 = 4*v. Suppose -c + 15 = 4*c. Let q be -1 + c/(-6)*-6. Is q at least as big as n?
True
Let b be 14/10 - 4/10. Suppose -w - 14 = 19. Let a be 3 - (-60)/w - 1. Is b equal to a?
False
Let k(x) = x**3 - x**2. Let g be k(1). Suppose 0 = -3*d + a + 13, g = d - 3*d + 3*a + 11. Which is greater: d or 0?
d
Let v(r) = -2*r - r + 2*r - 2. Let i be v(-6). Let o be (6/4)/(8/16). Is i bigger than o?
True
Let k be 2 - (-3 - (4 - 3)). Suppose 18 = 4*p + k. Which is smaller: 2 or p?
2
Let q = 0.01 - -0.01. Let d = q + -0.02. Is d at least 0?
True
Suppose 6*m - 81 = -3*m. Are m and 60/7 unequal?
True
Let t be (-4)/18 + 145/45. Which is smaller: t or 1?
1
Let w = -10.9 - -11. Is w equal to -7?
False
Let u be -1*(-4)/((-40)/23). Let k = -9/5 - u. Is k bigger than 2?
False
Suppose -9 - 11 = -2*j. Let v = j - 12. Which is smaller: v or -1?
v
Let u = 4 + -2. Let h = 3 - u. Which is smaller: h or -2/3?
-2/3
Let q = -179/14 - -25/2. Suppose -5*y + 10*y = 0. Is y at most as big as q?
False
Let t be -1*(1/(-6) - 4/(-12)). Are t and 1/4 non-equal?
True
Let h = -16 - -30. Suppose t = 2*t - h. Let d be (-4)/t - (-35)/(-49). Is -1/10 equal to d?
False
Let s = 29 + -57/2. Let v(i) = i**2 + 11*i - 12. Let r be v(-12). Is r smaller than s?
True
Let o = 1.04 - 0.04. Let s = 2 - o. Let d = -24 + 24.3. Which is bigger: d or s?
s
Suppose -3 = 3*n - 27. Let a be ((-12)/n)/(2/(-4)). Is a <= 2?
False
Let l(f) = f + 4. Let c be l(0). Suppose 2*p - 6*p - 36 = 0. Let s = -6 - p. Which is smaller: s or c?
s
Let d = 27/2 + -14. Are 0.1 and d equal?
False
Suppose 5*v + 3*k - 9 = 0, k = -4*v + 3*k - 6. Suppose 0 = -5*n + 4*n + 1. Is n at most v?
False
Let u(v) = -5*v - 32. Let z(r) = 2*r + 11. Let q(o) = 3*u(o) + 8*z(o). Let x be q(8). Which is greater: -3/10 or x?
x
Let t(g) = -g**3 + 4*g**2 + 4*g + 4. Suppose -5 - 7 = 3*v. Let x = 1 - v. Let h be t(x). Is h at least as big as 2/5?
False
Let q = 0.5 + 0.5. Is q at least as big as 9?
False
Let g(r) = -r**2 - r + 7. Let s be g(-3). Let z(c) = c**3 + 0 