Let n be ((-2)/9)/(j/3). Is n equal to -2?
False
Let x = -1 - -15. Let d = x + -21. Let l be (d/3 - -2)*3. Which is greater: l or 2/7?
2/7
Let p = -1.1 + 1. Let j = -171 - -161. Which is greater: p or j?
p
Let v = -44 - -33. Is v <= -14?
False
Let a = 1 - 0.5. Let u(t) = t**2 + t. Suppose -4*y + 3*y = -s - 5, s - 4*y + 20 = 0. Let p be u(s). Is a at most as big as p?
False
Suppose d = -d. Suppose d = -5*o - 2*p + p, 0 = -5*o - 5*p. Do o and 0 have the same value?
True
Let d be (-4)/(-2) + 1/(-1). Let f = -13/5 - -133/55. Which is greater: d or f?
d
Let b be 0*(1/(-2) - 0). Suppose 0 = -4*y + 6*y + 8. Let h be 3/21*(-2 - y). Which is greater: h or b?
h
Let i(h) = 3*h + 7. Let c be i(3). Which is greater: 0.1 or c?
c
Let f be (-14)/(-8) + 1/4. Suppose -f*k - 6 = k. Which is greater: k or -6/5?
-6/5
Let t = 10 - 16. Let y(j) = -2*j - 9. Let n be y(t). Suppose -2*p - 2*b = 0, 2*p = -3*p - 2*b + n. Which is greater: p or 1/2?
p
Let d be (0 - -2)*(-1)/(-2). Let x = 4 - d. Suppose 5*v = x*v + 6. Does 2 = v?
False
Let o(d) = d + 6. Let h be o(-3). Let p(a) = -2*a - 2*a**2 + 3 - a**h + 1 + 5*a**2. Let n be p(3). Do n and -2 have different values?
False
Let v = -0.4 + 0.2. Let q = 0 + 6. Suppose -3*m + q = -4*o, -m = -2*m - 4*o + 2. Which is greater: m or v?
m
Let i = 0 - 0. Let z(w) = w**2 - w - 2. Let x be z(0). Let d be -3 - -4 - (-3)/x. Are d and i nonequal?
True
Suppose 4*y + 7 = -3*y. Let s = -1.7 - -0.2. Let x = -0.5 + s. Is y smaller than x?
False
Let o = -2 + 1.8. Let t be 24/(-5)*50/(-15). Let u be (-3 - t/(-6))*1. Which is greater: u or o?
o
Let s(i) = -i**3 + 7*i**2 - 5*i - 5. Let p be s(6). Is p smaller than 14/9?
True
Let a = -26 - -29. Which is greater: 11/3 or a?
11/3
Suppose 4*w - 14 = -2. Let x be (-4)/(-22) + (-116)/(-88). Which is bigger: w or x?
w
Suppose 0 = -3*m - 5*l + 20, 4*m - 6*l - 18 = -4*l. Suppose m*y - 158 = -4*t, -t + 92 = y + 2*y. Suppose 5*r = -5*o - 4 - 6, 5*o - y = 5*r. Is 2 at least o?
True
Suppose -2*l + 0 = -6. Suppose l = -2*y - y. Let g = 30 - 89/3. Which is smaller: g or y?
y
Suppose -z + 14 = -5*y, -3*y = -7*y + z - 12. Let x be ((-2)/24)/((-1)/y). Which is smaller: -3 or x?
-3
Let g = 23 + -25. Let v be 50/(-88) - (-2)/(-11). Which is bigger: g or v?
v
Let d = -5185/779 + 126/19. Which is greater: d or 0?
0
Let l = -29/2 + 15. Let o = 0.7 - 0.4. Which is smaller: l or o?
o
Let q be 4/10 + 6972/45. Let v = q + -154. Is v equal to 2?
False
Suppose i = 4 - 2. Let r be (-2)/i*1*0. Suppose -z + r*z = -1. Which is bigger: 1/7 or z?
z
Let u = -2 + 8. Is u equal to 34/7?
False
Let x = -48 + 68. Suppose 0 = 4*m + x, 4*m = -3*g + 8*g. Suppose 7*u + 10 = 5*u. Is u less than or equal to g?
True
Suppose -4*h + 8 = -0*h. Let v(j) = -j**2 - 4*j + 3. Let t be v(-4). Is t less than or equal to h?
False
Let x(z) = -z**3 + 6*z**2 + 6*z + 5. Let k be x(7). Let o = -1/23 + -112/69. Which is smaller: k or o?
k
Let r be ((-1)/(-5))/(68/(-125)). Let s = r + 2/17. Which is smaller: -3 or s?
-3
Let v = -6 - -5. Let f = 44 - 59. Is v at least as big as f?
True
Suppose 2*b - 3 = -5*s - 21, -14 = -2*b + 3*s. Let p = -29/2 - -362/25. Let h = 123/100 - p. Which is greater: b or h?
h
Suppose d - 2*d = -0*d. Is 0 less than or equal to d?
True
Let p(z) = z**3 - 11*z**2 + 9*z + 12. Let h be p(10). Suppose 0 = 2*x + h*q - 22, 4*x - 47 = -q - 15. Let g = -5 - -11. Are x and g equal?
False
Let v(k) = 3*k**2 + 2*k + 1. Let c be ((-1)/(-2))/(3/(-12)). Let t be v(c). Which is greater: 10 or t?
10
Let u = -4/9 + 1/9. Suppose -4*b - 11 + 3 = -4*o, -5*b - 10 = 2*o. Let a be 0*(o + (-3)/6). Which is smaller: u or a?
u
Suppose -3 + 12 = 3*d. Suppose 4*u + 2 = d*u. Let g be (u + 2)*1/2. Which is smaller: g or 0.2?
g
Let p(d) = d**2 - d. Let w be p(-2). Is 35/6 less than w?
True
Let d = -0.2 + 0.11. Let b = 0.91 - d. Are b and 1 equal?
True
Let m = 78 - 78. Does -7/10 = m?
False
Let h(d) = -6*d**2 - d + 2*d + 5 - d**3 + 0*d**3. Let m be h(-6). Let s = m + 0. Is 0 at least s?
True
Let y = 0 + 7. Let r = 4 - y. Which is smaller: 0.1 or r?
r
Let u = 15.22 - 0.22. Let z = u - 15.2. Which is bigger: 5/4 or z?
5/4
Let p = 39 - 45. Suppose -y - 4 = 0, -2*y = -k - 3 + 15. Suppose k*b + 7 + 9 = 0. Is p >= b?
False
Suppose -2*f + 0*f - d - 15 = 0, 5 = -5*f + 4*d. Let a be 6/30 - 1/f. Is a at most as big as -2?
False
Suppose q = 5*q + 48. Which is greater: q or -11?
-11
Let x be (-51)/(-17) + -4 + 1. Which is smaller: 8 or x?
x
Let y(s) = -s + 4. Let x be y(6). Suppose 0 = -3*g + 5*w + 13, 0 = g + 6*w - 2*w + 24. Which is smaller: x or g?
g
Suppose -z - 4*z = -v + 3, -3 = 3*z - v. Which is greater: z or 1/55?
1/55
Suppose 0*o = -o + 2*s + 19, 5*s - 19 = -o. Is 19 greater than o?
False
Suppose -6 = -2*q - 4*i - 2, 0 = -2*i. Suppose -3*r - 3 - 4 = -5*a, q*a = -5*r - 22. Let m = 26 - 27. Is a equal to m?
True
Suppose o + 3*t - 1 = -8, -t = -5*o + 13. Let f be (-1 + 5/o)*-2. Do f and -7/3 have different values?
True
Let m = 2 - 1. Let h be -2*((-10)/(-4))/m. Let n be (-3)/h + 0/(-1). Is n > 2?
False
Let w = 0.041 - -0.059. Is w at least as big as 3/17?
False
Let u(n) = -n + 9. Let m be u(9). Which is bigger: m or -0.02?
m
Suppose 5*i + 0*i + 4*s = -347, -4*i = s + 282. Let x = -427/6 - i. Which is greater: 0 or x?
0
Suppose -2*g - 1 - 5 = -3*c, 4*c - 8 = -4*g. Suppose 0 = c*s + 5*d - 5, -3*s = -5*d + 5. Let v = -23/80 + -5/16. Which is smaller: s or v?
v
Suppose -40 = -6*h + 10*h. Let u be 4/h + 96/(-2835). Let r = u + 4/27. Is r less than or equal to -2/21?
True
Let d = -27309/19 + 1437. Are d and 0 nonequal?
True
Suppose -4*m + 2 = -18. Suppose 2*y - 4 = 3*y, -m*i - 12 = 3*y. Is 0 less than i?
False
Let p be -3*1*3/9. Let h be (-174)/28 + 2 + 4. Is p smaller than h?
True
Suppose -2*l = 3*u + 1, -u - l = 4*l + 22. Let j(z) = -2*z**2 - 6*z - 3 + z - u*z**2 - 2*z**3 + 3*z**3. Let p be j(6). Do 2 and p have different values?
True
Let t(r) = 3*r - 2. Let q be t(2). Suppose m = -q*m. Let a = 14 - 21. Which is smaller: a or m?
a
Suppose 4*l + 5 = -7. Let z = l - -6. Let m be (-1)/((-2)/5) - 2/4. Are m and z non-equal?
True
Let m(r) = -r**3 + 4*r**2 + 5*r + 5. Let n be m(5). Which is smaller: n or -0.1?
-0.1
Let i be (-19)/10 - -1 - 14/(-35). Which is smaller: i or 0?
i
Let v(x) = -4*x - 4. Let y be v(7). Let h = -23 - y. Suppose 3 = -5*p + 3*o + h, -2*p - 5*o - 10 = 0. Is 0 less than p?
False
Let d = -1/29 - -63/145. Are -23 and d unequal?
True
Let r be ((-1)/(-2))/((-3)/18). Let v = 1 - 1.2. Let d = v - -0.1. Are r and d nonequal?
True
Suppose 0 = 2*u + 5*o + 13, 2*u + 7 + 14 = 3*o. Let s be (-2)/u + (-910)/(-117). Which is smaller: s or 2/7?
2/7
Let c(q) = 7*q - 35. Let t be c(5). Which is smaller: -6/25 or t?
-6/25
Let l(t) = t**3 - 8*t**2 + t + 1. Let k be l(8). Is 4 bigger than k?
False
Suppose 4*f + f = 15. Suppose -2*b = -f*b + 1. Which is smaller: 1/5 or b?
1/5
Suppose 3*m - 5*u = -10, 0 = 2*m - m + 2*u - 15. Suppose 0*c + m*c = -20. Let n = -10 + 7. Which is smaller: c or n?
c
Suppose -4*k - 12 = -2*k. Let u be (0 + 0)*k/(-12). Let o be u/(2*2/(-4)). Is -1 != o?
True
Let r be (-3)/((-18)/2) + -9. Which is bigger: -10 or r?
r
Suppose 2*i = 3*v - 14, 12 = 9*i - 12*i. Which is smaller: -2 or v?
-2
Let u(n) = n**3 - 12*n**2 - 12*n - 3. Let p be u(13). Let l = p + -6. Suppose -3*b + 8 = b. Is b at least l?
False
Let r be (-37)/(-6) + (0 - 4). Is r at least as big as 3?
False
Let d = 4 + -1. Is d greater than -2/5?
True
Let d = 37 + -34. Which is greater: d or 5?
5
Let a be 0 + 5 + 1 + -1. Suppose 5*z - 1 = 4*q - 13, q - 3 = -a*z. Which is greater: 3/2 or q?
q
Suppose 2*q + 7 = 3*q. Suppose q*j - 3*j = 0. Is j < 0?
False
Suppose -3*b - 2*l + 0 = -2, -4*b + 3*l = -31. Let g be b + -5 + 134/126. Let z = g - -5/63. Which is greater: -1 or z?
z
Let d(w) = -w**3 - 11*w**2 - 13*w - 11. Let m be d(-10). Which is greater: m or 18?
m
Let l = 9 + -12. Let f be (l/2)/(-7 + 1). Suppose -3*q + 2*q = -4*i + 16, 5*q + 4*i = 16. Which is bigger: q or f?
f
Let n be (1/8)/(4/8). Let x = -9 - -9.1. Which is greater: x or n?
n
Let a = 0 + 0.4. Let s = a + -0.1. Is s <= -1/3?
False
Let r be (6 - 7)*(-4 + 0)/20. Let c = -9 + 1. Let q be c/(-6)*6/(-4). Is r smaller than q?
False
Let q(v) = v**3 - 5*v**2 + 3*v - 2. Let g be q(4). Let n(k) = k + 5. Let z be n(g). Let h = 1344/11 - 122. Which i