/8 or a?
a
Let b be 1/4 + (-97)/(-4). Let v = 257/10 - b. Are 1 and v equal?
False
Let i be 3 - 30/9 - (-2)/2. Which is bigger: i or -2?
i
Let h = 6/197 - 533/11032. Which is bigger: 1 or h?
1
Let h = 171 + -1021/6. Let g(v) = v**3 + 8*v**2 - 10*v - 7. Let t be g(-9). Is h less than or equal to t?
True
Suppose -5*q = z - 81, -4*q + 2*z = q - 93. Let c = q + -23. Is c at most -7?
False
Let d = -8.9 - -10. Let c = 1.1 - d. Is -10 < c?
True
Let w be (1572/(-261))/2 - -3. Which is smaller: w or 1?
w
Suppose s = 7 - 8. Is s less than -3/10?
True
Let s be (8 - 9)/(2/8). Is -5 less than or equal to s?
True
Let b = 524/3003 - -2/273. Let w be (-4)/(-14) - (-2)/(-7). Which is smaller: w or b?
w
Suppose 0 = -2*f + 3*f - 6. Let w be (12/(-12))/(22/f). Let z(u) = u**2 + 4*u - 4. Let h be z(-5). Which is greater: w or h?
h
Suppose 0 = -2*k - 1 - 7. Let q = k + 4. Let a be 6/(-4)*2/(-3). Which is smaller: a or q?
q
Suppose -34 = 5*x - d + 30, 0 = -2*x - 5*d - 31. Is -96/7 at most x?
True
Let v = -1853 + 2630. Let q be 1020/v - 2/2. Let b = -1/37 + q. Which is bigger: -2/9 or b?
b
Suppose -4*t + 16 = 0, -2*z + 2*t - 5 - 9 = 0. Let g = -8 - -4. Which is smaller: g or z?
g
Let b(n) = 4*n + 26. Let j be b(-14). Is j >= -30?
True
Let d be -1 - (2/2 + 1). Let h = -2.6 + 1.6. Which is smaller: d or h?
d
Suppose 2*p - 8 = -2*m - 0*p, -8 = -m - 2*p. Which is smaller: m or 5?
m
Let d = -2 - 0. Let s(r) = -2*r**2 + 5*r + 1. Let x(m) = m**2 - 4*m - 1. Let u(o) = 2*s(o) + 3*x(o). Let b be u(d). Is b not equal to -1?
False
Let i = 41/69 - 6/23. Are i and -1 nonequal?
True
Let x be 75/45*(-4)/10. Let n = -0.2 - -0.3. Is x > n?
False
Let r = -0.2 - -0.2. Let q = 0.1 - 0.2. Which is greater: r or q?
r
Let u = -228 - -1809/8. Is u < -2?
False
Let x = 340 - 4757/14. Which is bigger: 0 or x?
x
Let p = 5.54 + -5.8. Which is bigger: 2 or p?
2
Let x = 3 - 7. Let n = x + 4. Are n and 0 non-equal?
False
Let s = 0.0424 - 3.1124. Let n = s - -0.07. Let u = 2.8 + n. Which is bigger: u or -3?
u
Let x(o) = 2*o - 17. Let d be x(8). Suppose 5*c + y - 141 = 0, -2*c = 3*c + 2*y - 142. Let z = 111/4 - c. Which is smaller: z or d?
d
Let s = -12 + 13. Let o = -2 + s. Which is greater: 2/13 or o?
2/13
Let c be (-158)/6 + 0/(-2). Let l = -27 - c. Is 0 greater than l?
True
Suppose -a + 2*a = 5. Let k = -4 + a. Which is smaller: k or -4?
-4
Let p = -3 + 2. Let b = p + 0.9. Let y = -2 + 1.9. Is b >= y?
True
Let q = 8.8 + 0.2. Let g = -10 + q. Do -0.4 and g have different values?
True
Let g be 370/525 + (-8)/10. Suppose 5 = i + 3. Let f be 0/i - (-1)/(-1). Is g > f?
True
Suppose 35 = -5*v + 4*q - 71, 0 = -v - 2*q - 24. Suppose -7 - 1 = 2*z, 5*z = 4*a - 120. Let u be v/35 - (-5)/a. Is 0 at least as big as u?
True
Suppose -2*w + 2 = -2. Suppose 0 = -3*l + 5*o + 39, -w*o = 2*l + 3*o - 1. Suppose 0 = -5*y - 4*j - j - 45, -3*y = -4*j - l. Is -4 at least y?
True
Let q(s) = s**3 + 8*s**2 - 9*s + 1. Let u be q(-9). Which is greater: -3/10 or u?
u
Let o(z) = -z + 2. Let r be o(5). Let l be (1/r)/(9/18). Is -1 equal to l?
False
Let q = -2/28659 + -8855621/143295. Let v = q - -62. Is v at least 0?
True
Let l = 24 + -49/2. Let p = 1 - 2. Are p and l nonequal?
True
Let x(p) = p**2 - p - 3. Let o be x(0). Let v = -1 - o. Is 2 at least as big as v?
True
Suppose 3*r = 15, 0*o + 3*r = -3*o + 15. Let p be (-6)/3 + 34/16. Is o equal to p?
False
Let f = 13 + -10. Let c = f - 0. Which is bigger: 0.2 or c?
c
Suppose -4*z - 20 = z. Let d be (1/z)/(22/8). Let f = 9 - 9. Which is bigger: d or f?
f
Let i be 9/21*(2 - (-16)/(-6)). Do -7 and i have the same value?
False
Suppose -5*c = 4*w - 16, w - 17 = 6*w - 3*c. Suppose 4*v + 10 - 2 = 0. Is w greater than v?
True
Let r be 5/(-15) + (-10)/(-12). Which is bigger: r or 1?
1
Let n be (0 - (-2)/(-35))*1. Let k be ((-6)/(-9))/((-4)/6). Does k = n?
False
Let j be 6*((-5)/(-3))/5. Suppose -k = j*k. Is k <= 2/15?
True
Let m = -317 + 315. Let l be -1 + (4*1)/(-2). Is m < l?
False
Suppose 0 = 3*k + 2*k + 5*q + 5, 3 = k - 3*q. Suppose g - 6 = -k. Is 6 < g?
False
Let z = 173 + -84. Which is smaller: z or 90?
z
Let a = -5 - -4. Let l = 218/11 + -202/11. Let b = l + -18/11. Which is bigger: a or b?
b
Let n = 78137060/549 - 142326. Let i = n - -4/61. Let k(f) = f**2 - 6*f. Let c be k(6). Are c and i unequal?
True
Let g = -69 + 120. Suppose 3 = 3*v + g. Which is smaller: -15 or v?
v
Let r(k) = -k - 6. Let i be 4/6*90/(-10). Let o be r(i). Which is smaller: o or 2/17?
o
Let p(v) = -v - 5. Let s be p(-5). Suppose -2*w = -5*w - 9. Which is bigger: s or w?
s
Suppose -15 = -d - 2*d. Suppose -d*n - 4*g - 7 = -20, -3*n - 1 = -2*g. Are n and 1 nonequal?
False
Suppose 4*x - 15 + 3 = q, x = 2. Let y be 2/q - (-11)/14. Suppose 3*l = 2*s, -2*s - 2*s = 0. Which is smaller: l or y?
l
Let y be (-12)/(-6) + (-4 - 1). Suppose -20 = 5*c, 3*c = 2*w + 2*w. Is w <= y?
True
Let z = -215/12 - -53/3. Is z bigger than -1/22?
False
Let u = 2.03 - 0.03. Let z = -2.1 + u. Suppose -23 = -4*x - 5*q, 4*x = -4*q + q + 17. Which is greater: x or z?
x
Let s = 2 - -8. Let c = -11 + s. Let h be (-38)/90 + (-1)/(-5). Is c smaller than h?
True
Suppose -3*s + 6 = -6*s. Which is bigger: -3/2 or s?
-3/2
Let w be 1/(10*(-1)/(-4)). Let h = -5.97 + 6. Let n = 0.03 - h. Which is smaller: n or w?
n
Let i = 3.7 + -4. Let y = -0.4 - i. Let r = 0.51 + -0.41. Which is greater: r or y?
r
Let n(i) = i + 4. Suppose c = 2*j - 13, 0*j + 2*j = -2*c + 4. Let l be n(c). Let p be (-152)/594 - (-6)/33. Which is smaller: p or l?
p
Let f be (12/2)/((-1 + -1)/(-1)). Which is smaller: f or 4?
f
Let o be 4 + (2 - 2 - 0). Let x be (-3)/(-3 - -9)*-10. Which is smaller: o or x?
o
Let i = 64/145 + -6/145. Let o = 129/14 - 19/2. Does i = o?
False
Let l = -0.16 - -0.56. Let w = l + -0.5. Are 1 and w non-equal?
True
Let k be ((-3)/(-15))/((-3)/(-15)). Is -3 > k?
False
Suppose 5*y + 22 = -0*y - 3*j, 0 = y - 5*j - 18. Let q be ((-12)/(-60))/(y/5). Is 0.4 < q?
False
Suppose -3*o = -0 + 3. Let a(g) = 2*g - 3. Let c be a(2). Which is greater: o or c?
c
Let o = -3144/11 - -286. Let j = 3 + -2. Do j and o have the same value?
False
Let y be (-1 - (-3)/2)*-1. Does -2 = y?
False
Let b = 12.9 - 13. Is 8 greater than b?
True
Suppose 7 = -5*w + 42. Are w and 2 non-equal?
True
Let k be (-97)/(-8) + (-2)/16. Which is smaller: k or 13?
k
Let u = -24.04 + 0.04. Let s = u + 24.1. Is 21 at most as big as s?
False
Let p be (-21)/(-9) - 1/3. Suppose 4*i = p + 6. Let c = 9 - 6. Is c at least as big as i?
True
Let r be (-824)/180 - (1 - (-14)/(-18)). Which is greater: r or -4?
-4
Suppose 0 = 5*y + i + 10, 5*y + 17 = -5*i - 13. Suppose 2*n = -3*n + 70. Let t be 1 - (-3)/((-18)/n). Which is bigger: y or t?
y
Let i be ((-6)/(-4))/(54/(-42)). Which is greater: -2 or i?
i
Let o(v) = v**2 - 6*v + 10. Let k be o(3). Suppose 9 = 3*f, 0 = d + 5*f - 10*f + 14. Is d less than k?
False
Let o = -118 + 594/5. Which is bigger: o or 1?
1
Suppose 4*g - 10 = -2*x, 4*x + g = 6*x - 5. Suppose 0 = -3*u + x + 6. Let q be u - 2 - 8/6. Does q = 2/7?
False
Let y = -24 + 34. Let f = 5 - -4. Which is greater: y or f?
y
Let h be (-4 + 6)/(10/(-4)). Do h and -1 have the same value?
False
Suppose -b - 2*z = -z - 5, -19 = -5*b - 3*z. Let w = 11 - 10. Which is bigger: w or b?
b
Let l(b) be the second derivative of -b**5/20 - b**4/4 + 11*b**3/6 + 5*b**2/2 + b. Let v be l(-5). Do -1/4 and v have the same value?
False
Let p be 4 - (-75)/36*-2. Which is smaller: p or 3?
p
Suppose 8 = -2*h - 40. Let s be 12/16*h/(-63). Let m = -1 - -1. Which is smaller: s or m?
m
Suppose -2*w - w = 39. Suppose 4*u - 2*c + 30 = -0, 0 = -u - c - 9. Let z = u - w. Do z and 4 have the same value?
False
Suppose 3*b - z - 20 = 0, 4*z + 4 = 3*b - z. Let k be (-5)/(-10) - (-286)/b. Let g = k + -36. Which is smaller: 4/9 or g?
g
Let p be 2/5 - 24/(-390). Which is greater: p or -1?
p
Let m be (-2)/6 + 150/18. Let h = m - 12. Which is smaller: -5 or h?
-5
Suppose 0 = -q - 2 - 0. Suppose 2*c + 7 = 3. Is c at least as big as q?
True
Let j = 31 - 31. Which is greater: -2 or j?
j
Let b be (-707)/6 + 18/12. Let q = -115 - b. Are 1 and q non-equal?
True
Suppose -h + 3*r - 4 = 0, 10 = 2*h - 0*h + 3*r. Let b = -16 + 16. Is b equal to h?
False
Suppose -2*u + 3*u - 3 = n, -4*n = -3*u + 6. Let o(i) = 2*i + 1. Let c be o(3). Is c bigger than u?
True
Let 