 equal?
False
Suppose -4*d + 5*x = 4*x - 51, 54 = 5*d + 2*x. Suppose 4 = 4*l + d. Let j = -5 + 2. Which is smaller: l or j?
j
Let a be (-2)/2 - 4/(-2). Let h = 1 + a. Let q = 0 + 1. Which is greater: h or q?
h
Let j be (-9)/24 + 843/2376. Is j != 1?
True
Let x be (-2)/11 + 292/154 + -2. Are x and -0.051 nonequal?
True
Let j(t) = 7*t**3 + 4*t**2 - 2*t. Let m(x) = -3*x**3 - 2*x**2 + x. Let b(s) = 4*j(s) + 9*m(s). Let o be b(1). Is -4/7 smaller than o?
True
Let z = 19 - 18.1. Let l = 0.1 - 0. Let h = l + z. Is h equal to 1/4?
False
Suppose y + 4*h = 12, 0 = 3*y + 3*h - 17 - 19. Let a be y/(-27)*(-6)/4. Is 3/10 bigger than a?
False
Let t(v) = v**2 - 13*v + 3. Let g be t(13). Let n be (-28)/(-6) - 6/9. Suppose 4*b - n = -5*y, 6*y - 3 = 3*y - g*b. Which is smaller: -1 or y?
-1
Suppose -3*k = -2*k. Let x be (1 + -2)/(k - -2). Which is smaller: x or 0?
x
Let m be -1*(-1)/2*2. Let u be ((-5)/2)/(m/(-2)). Suppose u*o - 3*o = 6. Is o at least as big as 2?
True
Let n = 16.2 + -3.2. Are 1 and n unequal?
True
Let f(h) = -4*h**2 - 5 + 3 - 3*h**3 + 4*h + 4*h**3 - 2. Let o be f(3). Let y be 0 + 7/(-8) + 1. Is y < o?
False
Let b be -3 - 0/3 - -3. Let c be (2 + b + -1)*5. Which is bigger: c or 3?
c
Suppose b + b = -5*s + 212, 0 = 2*s + 4*b - 88. Let g = s - 419/10. Do -1 and g have the same value?
False
Suppose 4*w + 52 - 8 = 0. Is w greater than or equal to -12?
True
Suppose -73 = -5*b - 13. Suppose -4*o = -8 - b. Which is smaller: o or 4?
4
Let g = 129 + -68. Let w be ((-2)/(-10))/(3/921). Let q = g - w. Which is smaller: -1 or q?
-1
Suppose -4*j + 0*j + 34 = 5*h, h - 4*j - 2 = 0. Is 8 != h?
True
Let x = 2 - 2. Let c(l) = l**2 - 8*l + 2. Let q be c(8). Let d be -1*(q + -3 - x). Is -1/3 >= d?
False
Let u(m) = -m - 4 + 0 - 3*m + 1 - 3*m**2. Let v be u(-2). Let c be 2/(-9) - v/18. Is -1 at least c?
False
Let p be 4*-1*3/(-2). Which is smaller: 4 or p?
4
Suppose -6*a + 2*a - 8 = 0. Let h be 5/a*(-4)/26. Let g = -2/39 + h. Is g less than -1?
False
Let l be 2/(-3*4/30). Let k(a) = -a**3 + 10*a**2 - 8*a - 12. Let b be k(9). Let x = b - -3. Is x >= l?
True
Let n be (4/(-6))/(-2 + 0). Suppose 7*d - 10*d - 3 = 0. Which is smaller: n or d?
d
Let i = -8383/24190 + 3/590. Let b = 263/410 + i. Which is smaller: b or -1?
-1
Suppose -y = 3*l + 58, -5*l + 1 - 6 = 0. Do y and -52 have the same value?
False
Let c be (-4 + (-21)/(-6))/(-1). Let t = 0 - 0. Which is smaller: t or c?
t
Let v = -25 - -151/6. Suppose 0 = 3*k, 5 = 5*u - 2*k - 0. Which is greater: v or u?
u
Let z = 3 + -3.1. Let u = 5.6 - 1.6. Is z < u?
True
Suppose -37 = -b - 4*v - 6, 2*b - 57 = -3*v. Let i = b - 19. Which is greater: 7 or i?
i
Suppose -9 = -3*s - 3*l + 6*l, l = 4. Is 9 != s?
True
Let l = 0.4 - -0.6. Let b be 3/2 - (-36)/(-8). Which is bigger: l or b?
l
Suppose -2*g = -10, -2*b - g + 0 + 19 = 0. Let q = b + -4. Suppose q*p - 5*p = 6. Which is smaller: -1 or p?
p
Let d = -0.01 - -0.06. Let b = d + 0.15. Suppose 0 = 3*t - 5*q - 15, -2*q + 3*q = -4*t - 3. Which is greater: b or t?
b
Let y = -18.3 + 0.3. Let g = y + 22. Which is bigger: g or -2?
g
Suppose o = -3*o. Let r = -2/105 - 176/1785. Is o greater than or equal to r?
True
Let f be 11/10 - 2/(-5). Suppose 4*c + 0*c - 1 = 3*y, 3*c = 3*y. Is f greater than c?
True
Suppose 3*v = u - 15, 2*v - 4 = -u - 3*u. Suppose 0 = 4*r + u - 11. Which is smaller: 3 or r?
r
Let w(d) = -d**2 + 5*d + 2. Let k be w(5). Suppose -x + 6 = k*x. Suppose -10 = -x*i - 3*i. Is 2 at most i?
True
Let f = -1.05 - -1. Let x = f + -0.05. Let w = 0.2 - -0.3. Are x and w equal?
False
Suppose 5*b + 0 = 10. Let u = 413/5 + -80. Does u = b?
False
Let a be ((-36)/30)/((-7)/(-5)). Which is smaller: a or -2?
-2
Suppose -7*p = -2*p + 45. Let a(r) = -3*r + 3. Let h(u) = 13*u - 11. Let o(s) = p*a(s) - 2*h(s). Let w be o(6). Which is smaller: w or 2/3?
2/3
Let b = 8 + -16. Let q be (-1 - 0)*(-2)/b. Suppose r = -2*f - 9, 3*r - 6*r = f + 7. Which is bigger: r or q?
q
Let g be 6/(-130) - (-4)/(-26). Is -1 at most g?
True
Let d = -10.9 + 10. Which is smaller: d or -3?
-3
Let r be (-2)/8 - (-1)/4. Is r smaller than 2/31?
True
Let w be 1/(1 - (-30)/(-9)). Suppose -4*x + 0 = 3*y - 7, 4*y - 6 = -2*x. Which is bigger: w or x?
x
Let p be -46*(-3)/(-30) - 4/10. Let a = -6 + 4. Let b be (-12)/(-15) - a/p. Which is bigger: 1/3 or b?
b
Suppose 0 = 3*m - 9*m - 18. Which is greater: m or -13/3?
m
Suppose 4*g - 35 = -47. Is -17/5 < g?
True
Let a = -33 + 5. Let v be (-1)/4*a/1099. Let k = v - 478/1099. Which is greater: 1 or k?
1
Let n(a) = 5*a**2 - 8*a - 5. Let o(v) = -v + 1. Let p(q) = n(q) - 5*o(q). Let j(c) = 3*c**2 - c - 5. Let w(l) = -7*j(l) + 4*p(l). Let y be w(-4). Is -2 > y?
False
Let c = -995/11 + 91. Let f(a) = -a**2 - 2*a - 2. Let h be f(-3). Let p = 5 + h. Which is smaller: p or c?
p
Let h = 1.5 + -7.5. Let n = h - -5.8. Which is smaller: n or 0?
n
Let a = -718/9 - -80. Let n be (4 - (-105)/(-20))*(-4)/(-10). Is n greater than a?
False
Let l(w) = 11 - w - 22 + 7. Let c be l(-4). Is c > -1/19?
True
Suppose z = -0*z - 4. Suppose 2*n + 3*j = -3, 14 = 2*n - 4*j - 4. Let v be 1 + n - (-8)/z. Is 1 < v?
True
Let h(c) = -c**3 - 5*c**2 - 3*c + 4. Let v be h(-4). Suppose -4*o + 231 = -5*p + 67, v = p + 4*o + 52. Let s be (-6)/p + (-1)/2. Which is smaller: s or -2?
-2
Let c = 2 + 0. Which is smaller: c or 5/2?
c
Let o(t) = t. Let j be o(7). Let r be -1*(-2 - (-2 + j)). Suppose 5*s = -r + 2. Which is bigger: 2/15 or s?
2/15
Suppose 0 = -5*f - 2*j - 40, 4*f - 2*j = j - 32. Is f at most as big as -90/13?
True
Let r = -11 - -15. Let s be (r - 0) + -2 - 2. Suppose -3*j - 4*f - 3 - 5 = s, 3*j + 2*f = -4. Is j equal to -1?
False
Suppose 0 = -2*a - 4. Suppose 0*x = -5*x. Is a less than x?
True
Let a(c) = c**3 + 4*c**2 - 5*c + 6. Let g be a(-5). Let m = 5 + g. Let w be (-3)/(-9) - m/6. Is -3 != w?
True
Let w be (-75)/(-25)*12/27*3. Suppose g - 5 = r + 3*r, g + 4 = -5*r. Let n = 2 - r. Is n smaller than w?
True
Let h = 65.96 - 66. Which is greater: -0.3 or h?
h
Suppose 5*l + 0 + 32 = 2*k, -4*l + k = 28. Let i = -6 - l. Is 2 less than or equal to i?
True
Let z(b) = -b - 3. Let o be z(-8). Let p be 2 + (2/(-2) - -7). Suppose o*k = k + p. Which is bigger: k or 0?
k
Let g = 13 - 10. Let r be g/12 + (-51)/108. Which is smaller: 1 or r?
r
Suppose -7*s + 6 = 34. Which is smaller: s or -0.05?
s
Let y = -0.003 - -2.003. Is y less than -2/5?
False
Let p = 39 - 58. Let m = p - -20. Which is smaller: 1/7 or m?
1/7
Let a(r) = r**3 + 8*r**2 + 7*r - 7. Let b be a(-7). Let n = b + 13. Let j = 4 - n. Which is bigger: -3 or j?
j
Let g(f) = -2*f - 7. Let k be g(-6). Suppose 2*n - 5 = 3. Suppose k = n*i - 3. Which is bigger: 3/5 or i?
i
Let g = -69 + 70.1. Is g at least 1/3?
True
Let m be 0/(-4) + 124/(-5). Let n = m + 25. Is 0 != n?
True
Let m(d) be the first derivative of -13*d**3/3 - d**2 + 3*d + 1. Let g be m(2). Let x = 313/6 + g. Is x bigger than 1?
False
Let q(r) be the second derivative of -r**4/12 - r**3/6 + 2*r. Let j be q(-1). Let d be (-2)/2 + 4/7. Is d > j?
False
Suppose -3*d = d - 20. Suppose d*u - 8 = 4*u. Let f be u/(-6)*(-5)/(-20). Is f less than or equal to 1?
True
Suppose -6*n - z = -8*n - 141, 281 = -4*n + z. Which is smaller: n or -69?
n
Let l(r) = r**3 + 7*r**2 + r + 5. Let w be l(-7). Let f = -3 - w. Suppose -7*o + 9*o = 0. Which is smaller: o or f?
f
Let t = 142841/6 - 23720. Let n = -87 + t. Is -1 bigger than n?
False
Suppose -4*f = -f, -5*f = q + 1. Is -3/7 >= q?
True
Suppose -2*f - 5*u = 3*f, -4*f + 2 = 2*u. Is f not equal to 4?
True
Let c = 4 + -7. Suppose -2*s + 4 = 3*k, -2*k + 7*k = -5*s + 15. Suppose -3*f + 0*f - 3 = 3*v, 35 = -5*v + s*f. Which is bigger: v or c?
c
Let q = 33 - 9. Suppose 5*j + 28 = 2*i, i + 4*j + q = 3*i. Suppose u + 2*d - 12 = 0, -i*d = -3*u - 0 - 4. Are u and 4 nonequal?
False
Let w be 12/56 + (-1)/4. Is 0 at most as big as w?
False
Let i(o) = -2*o - 3. Let n be i(-1). Is n less than 3/31?
True
Let x be 38/(-48) - 5/(30/2). Which is smaller: x or -1?
x
Suppose 3*f + 3*d - 45 = 0, -3*f - 2*d = -26 - 20. Let t be -15*(1 - f/10). Which is bigger: t or -1?
t
Let f = 12 + -14. Let j be f*((-21)/24)/7. Which is greater: j or -5?
j
Let k(i) = -i**2 - 3*i + 6. Let b be k(-5). Let v = -66 + 63. Which is greater: b or v?
v
Let s(u) = -u**2 - 6*u + 2. Let t be s(-7). Suppose o = d, 0 = o - 2*d - 