 equal to a?
False
Let b = -62 - -54. Which is smaller: 0 or b?
b
Let u = 57118 + -2056091/36. Let z = -17/4 + u. Which is bigger: z or -1?
z
Let i be (-11)/((-66)/12) - 0. Let a be 10/(-4)*16/(-70). Is a > i?
False
Suppose -2*c + 13 + 1 = -2*y, -c - 5 = 2*y. Suppose -8 = -5*d + 12, 0 = -2*k - c*d + 18. Let p be 2/k*(4 + 2). Are 3 and p non-equal?
True
Let q be ((-36)/(-8))/(2/4). Suppose g - 3 = 3*v, 4*g - q = g. Suppose -4*j + 0*j = v. Do j and 2/31 have different values?
True
Let r be 16/12 - (-3)/(-3 + 0). Is r at least as big as -0.11?
True
Suppose -4*h + 5*h = 0. Let s = -25/12 - -7/3. Let q = s - h. Which is smaller: q or -6?
-6
Suppose 2*k + 2*k = 0. Let y(i) = i + 1. Let w be y(k). Which is smaller: w or -1/3?
-1/3
Let t be ((-6)/5 - -1)*(3 - 1). Do -7 and t have different values?
True
Let w = 16.59 - -0.41. Let f = -30 + w. Does 1 = f?
False
Suppose -h = 2*d - 4, -3*h + 3*d - 4 = 2. Let i = h - 4. Let k = -0.1 - -0.2. Which is smaller: k or i?
i
Let t be 9/12 - (-61)/4. Is 16 >= t?
True
Suppose -5*k + 88 = -3*n, 0*n - 4*n + 13 = k. Which is smaller: 16 or k?
16
Let r = 8 + -7.5. Let p = 6.5 - r. Which is smaller: p or 2/3?
2/3
Let q be (-2 - -2)/(-3 - -2). Which is smaller: -4/17 or q?
-4/17
Let p be (-2)/8 + (4 - 76/16). Let l be 7/8 + (0 - 1). Are l and p unequal?
True
Let o(m) = -m - 5. Let j be o(-6). Let i = 1 - j. Do i and -2/15 have the same value?
False
Suppose 0 = -5*v - 4*c - 11, 3*v - 3*c + 8 = -4*c. Let r be 6/v + (-1396)/(-10). Let n = r + -138. Which is bigger: 0 or n?
0
Let w be (-23*(-2 + 0))/2. Let c(o) = -o**3 + 7*o**2 + 2*o - 7. Let d be c(7). Let u be (w/d)/(-1) + 3. Is u != 0.3?
True
Let l(f) = -3*f - 1. Let p be l(1). Let k = p - -2. Which is smaller: k or -1?
k
Let x = -3 + 2. Let l be 2 + x - (-3)/(-4). Let w = 1/20 - l. Which is smaller: w or -1?
-1
Let m = -1417/14 + 191/2. Is -5 at most as big as m?
False
Let h = -76 + 75.971. Is h at most as big as 1?
True
Suppose 3*x - 12 = 2*l, 0 = -5*x - 0*x + 2*l + 16. Suppose x*q - 2 = q. Let f be 4/q*2/(-4). Are -1/14 and f equal?
False
Let p be (-32)/(-8)*(1 - 0). Which is smaller: 1 or p?
1
Let r = 0.12 + -0.02. Are r and 1/4 unequal?
True
Let v = -25 - -46. Let k be (-18)/v*(-2)/4. Which is smaller: k or 0?
0
Let c(w) = -w**2 + 3*w + 10. Let n be c(5). Which is greater: n or -1/29?
n
Let t be ((-6)/(-4))/(((-108)/8)/9). Which is greater: t or -2/15?
-2/15
Let s = -10 + 22. Suppose -5*f - s = -f, -3*f = 4*w - 11. Suppose 3 = -2*q + w*q. Is q > -0.1?
True
Let j be (2 + 4)*(-3)/(-6). Which is bigger: -1 or j?
j
Let c be (-11)/15 + (-6)/(-15). Let g = -0.139 - -3.139. Is g not equal to c?
True
Suppose 4*c - 2*b + 4*b = 76, 4*c = b + 64. Suppose 0 = -5*j - 2*y - c, -3*j + y + 3*y - 31 = 0. Which is greater: 0.2 or j?
0.2
Let h = 0.02 - -0.04. Let z = -2.29 + -0.65. Let t = h - z. Which is greater: t or 0?
t
Let u = 3 - 5. Let s(a) = -4*a**2 + a - 1. Suppose 3*q = -2 + 5. Let b be s(q). Which is greater: b or u?
u
Let b be (-9)/105*2/3. Is -1 at least b?
False
Suppose 0 = -t + 2, -4*w = -5*w + 2*t - 6. Let f = -4.6 + 5. Let o = f - 0.4. Is w > o?
False
Let l(s) = s**2 - s. Let g be l(-2). Let d(p) = -p + 1. Let u be d(-5). Do u and g have different values?
False
Let v be (-4)/14 - (-30)/7. Suppose -g - 10 = v*g. Which is smaller: g or -10/3?
-10/3
Let v(o) = -o + 1. Let d be v(-1). Suppose -3*j + 25 = d*t, -t = -4*j + 6 + 9. Suppose 0 = j*a + 10, p + 2 = -4*p + 4*a. Which is bigger: -3 or p?
p
Suppose -4*f - 2*k = -5*k + 41, 4*f + 38 = 2*k. Is f at most as big as -7?
True
Let u = -13 - -28. Let n be ((-2)/10)/(168/u). Let d = -103/504 + n. Which is bigger: -1 or d?
d
Suppose -4*w = 4*f + 4, -f + 1 = 3*f + 3*w. Let t be (-15)/18 - 1/6. Let z be t/(-4) + (-3)/6. Which is greater: f or z?
f
Let f be (-1 + -2)/(12/(-8)). Which is bigger: f or 1/2?
f
Suppose -1 = -4*q + 3. Is -2/5 >= q?
False
Suppose -7*q + 92 = -3*q. Is 121/5 >= q?
True
Let v be (-32)/(-20)*770/(-117). Let f = v - -108/13. Let z = f + 8/9. Which is greater: z or 0?
0
Let j(s) = 5*s. Let p be j(1). Suppose p + 7 = -q. Let t be -1*(1 - q/(-9)). Is t at least 1?
False
Let x = -0.27 - 0.03. Does x = -2/11?
False
Let v = 1591/10 - 147. Let l = 23/2 - v. Let x be 1 - (3/1 + -2). Is l at least x?
False
Let j(i) = -6*i**3 + 2*i**2 + 5*i + 8. Let v be j(-2). Is v < 53?
False
Let h = 4.5 + -4. Let j = h - 0.7. Is 1 at most as big as j?
False
Suppose -2*w = 3*w - 15. Suppose 4*b + 5*g = w*b - 8, -4*b + 5*g = -18. Suppose 5 - b = -r. Is -2 smaller than r?
False
Let o be 224/(-21) - 2/6. Is -12 not equal to o?
True
Let b = -13.17 - -13. Let v = b + -0.03. Let y = 0.3 + v. Which is bigger: 7 or y?
7
Suppose 4*h + 5*w = -h + 5, 0 = -4*w. Suppose 0 = g - 0 - h. Which is smaller: g or 3/2?
g
Let t = -1234/7 + 176. Let n(b) be the third derivative of -b**6/120 - b**5/10 - b**4/24 - b**3 - 6*b**2. Let v be n(-6). Is t smaller than v?
True
Let l = -3628 - -5245. Let r = -58223/36 + l. Let b = r - -5/9. Which is greater: 0 or b?
b
Let x = -31/54 + 2/27. Which is greater: 0 or x?
0
Let p(x) = -x**3 + 17*x**2 + 20*x - 36. Let r be p(18). Which is smaller: r or -10/13?
-10/13
Let m = 1 + -4. Let u be 0/(3 + m - 3). Which is bigger: 3/7 or u?
3/7
Let g(j) = -j**2 - 5*j - 5. Let d be g(-4). Let x = -1 - d. Suppose -4*k = 8, 7 = -2*v + v - 2*k. Is x not equal to v?
True
Let s = 9.17 - 0.17. Let p = -13 + s. Which is smaller: -2 or p?
p
Let m = 7 - -20. Is -1 smaller than m?
True
Let m = -9 - -3. Let q(i) be the third derivative of -i**6/60 + i**5/30 + i**4/12 - i**3/3 - 5*i**2. Let z be q(2). Is z smaller than m?
False
Let l = 2191/9 + -243. Which is smaller: l or -1?
-1
Let p be (-1)/(-2 + 63/33). Suppose 0 = -5*n - p - 34. Let l = n + 8. Which is smaller: 2/5 or l?
l
Let u be ((-69942)/(-12))/((-63)/6). Let r = -555 - u. Is 1 at least r?
True
Let x be 10/(-35) - 8/(-28). Let z be ((-2)/(-28))/((-1)/(-4)). Is z <= x?
False
Let f be (0 - (0 + -4)) + -4. Let c = -75 - -527/7. Does f = c?
False
Let b = -0.245 - -0.045. Are 0.1 and b unequal?
True
Let t = 69.1 + -69. Is 1/5 less than or equal to t?
False
Let q be 5/(-35) + (-60)/21. Is q at least as big as 16?
False
Suppose 78 = 3*q - 0*q. Is 25 >= q?
False
Let o be ((-2)/6)/(5/(-105)). Is o greater than 21?
False
Let c be (-9)/18 + (-34)/4. Is -7 not equal to c?
True
Let b = 369 - 214. Let j = 1859/12 - b. Let p = j - 1/4. Which is greater: p or -2/5?
p
Suppose 3*r = -7 - 2, -r = d + 1. Suppose 3*s + n = 11, d*n = -2*n - 16. Suppose s = 2*x - 11. Is x at least as big as 8?
True
Let s(b) be the third derivative of b**4/24 - b**3/3 + b**2. Let d be 4/6 + 8/6. Let r be s(d). Are 1 and r non-equal?
True
Let x(y) = y**3 - 7*y**2 - 7*y - 3. Let v be x(8). Suppose 4*m + 12 = 3*n, m + v*n = -3*m + 20. Which is bigger: m or -2/11?
m
Suppose 0*q - 5 = 3*q + 2*w, 4*w - 1 = 5*q. Let l be 3/2*(-12)/117. Which is bigger: q or l?
l
Let g = -4 - -3. Let i = -287 - -287. Which is smaller: g or i?
g
Let g = -1.5 + 1.34. Let u = -2.84 + g. Suppose 0 = 5*s + 2*m - 1, m + 4 - 2 = 0. Is u equal to s?
False
Let l = 8.01 - 0.01. Let p = l + -7.9. Is 0.15 less than p?
False
Let b = -20 - -38. Let r = 19 - b. Is r not equal to -11?
True
Suppose -2*w = 5*i + 68, -3*w + 2*w = -1. Let j = -49 - -34. Are i and j non-equal?
True
Let n(r) = -r**3 + 3*r**2 + 3*r + 4. Let v be (0 + (3 - 5))/(-1). Suppose l + v*l = 12. Let i be n(l). Is 4/7 < i?
False
Let c be (-2)/7 - (-88)/357. Suppose -3*f - 3 = -5*b, b + 2*b + 2*f + 2 = 0. Are b and c nonequal?
True
Let w = 485/7 - 69. Which is smaller: w or 9?
w
Let n(c) = -c**3 - 6*c**2 + c + 6. Let i be n(-6). Let z(t) = 24*t. Let x be z(-1). Let k = x - -49/2. Which is smaller: i or k?
i
Let t be ((-2)/10)/((6/(-310))/3). Which is bigger: t or 33?
33
Let p(k) = k**2 + 14*k + 5. Let b be p(-10). Is b > -33?
False
Let y be (-3 + 39/33)/2. Is y less than -2?
False
Let f be (-10)/15 + (-20)/6. Let i be 9/f + (4 - 2). Let k = 0.8 + 0.2. Is i bigger than k?
False
Let v be (7/(-2))/1 - -2. Is -1 <= v?
False
Let j(i) = i**3 + 11*i**2 + 9*i - 11. Let x be j(-10). Which is smaller: -2/51 or x?
x
Let r = -4 + -5. Let d be r/15 - (-6)/15. Do d and 0.2 have the same value?
False
Let b be 1/3 + 33/9. Suppose 28 = b*d - 5*r, -3 - 1 = -4*d - r. Suppose -d*t + 1 = -5. Are 4 and t non-equal?