et r = -4 + 12. Which is smaller: r or 5?
5
Suppose 6*u = 2*u - 4*d, d + 12 = 5*u. Is u != 2/7?
True
Let z(r) be the first derivative of -r**3/3 - 7*r**2/2 + r + 2. Suppose -5*q = 2 + 33. Let u be z(q). Which is smaller: u or -2/15?
-2/15
Let g(w) = w + 28. Let i be g(-16). Is i < -2?
False
Suppose -q - j + 5*j = -28, 4*q = 4*j + 52. Suppose -t + 3 = 2*g, -2*t + g + 1 = -5. Suppose 2*s = -q, 0 = -2*m - t*m - 4*s - 36. Which is bigger: m or -1/2?
-1/2
Let a = -1/3658 - -107913/7316. Let n = -15 + a. Which is bigger: n or -0.1?
-0.1
Let u = -2 - -2.4. Let p = -0.3 + u. Is p not equal to 0.01?
True
Let d(q) = -q**3 - 9*q**2 - 10*q - 6. Let p be d(-7). Do p and -35 have the same value?
False
Let x be (3*(-80)/(-84))/(6/21). Is x at least as big as 6?
True
Let g be ((-4)/(-6))/((-2)/(-24)). Suppose -13 = f + 5*r - 0*r, -2*f - g = r. Let l be (-7)/(-4)*(-3 + 1). Is l != f?
True
Let y = 0 - -7. Which is greater: -1 or y?
y
Let o = 20 - 21. Does o = 0?
False
Suppose -7*w + 100 = -2*w. Which is smaller: 41/2 or w?
w
Let i = -30/11 + 144/77. Which is greater: i or -1?
i
Suppose 5*i - 17 = 4*w + 10, 5*i - 45 = -5*w. Let b(r) = r**2 - 2*r + 3. Let t be b(3). Is i at least t?
True
Suppose 0 = -2*u + 1 - 5. Let a be (-18)/(3/u + 0). Suppose -3*n - 4*f + 3 = 15, 3*n + a = f. Is -3 less than or equal to n?
False
Let z = 17 - 17.43. Let l = -0.07 + z. Is 0.1 equal to l?
False
Let f = -78 - -41. Is -38 greater than or equal to f?
False
Let q(d) = 2*d**2 + 5*d - 3. Let v be q(-3). Is 1 >= v?
True
Suppose 3 = 2*f - 13. Suppose 2*c - 2*l = -f, -c = 4*l + l - 26. Let v be 18/15*1/2. Which is greater: v or c?
c
Let y be ((20/(-12))/5)/(1/(-15)). Suppose j + 0 = 2. Is y bigger than j?
True
Suppose 2*k = -2*k + 5*r + 12, 0 = -2*k - 4*r + 32. Suppose -3*s = -k*s. Let y = s - -2. Are 3 and y nonequal?
True
Let c = 17 + -5. Let y = 13 - c. Is 2 > y?
True
Suppose 5*p = 3*p + y + 8, p - 4*y - 11 = 0. Let w be ((-2)/(-2) - 2)*0. Suppose w = 3*z + 2*z - 15. Is p equal to z?
True
Let x = -3 - -3. Suppose -4*m = 2*z - 4, 0 = -5*z - x*m + 5*m + 10. Suppose 0 = 4*q + u - 12, -10 = 5*q - 3*u - 2*u. Is z at most as big as q?
True
Let u = 28 - 46. Let x = 18.1 + u. Do x and 0 have different values?
True
Let l = -8/23 - -10/161. Which is smaller: -1 or l?
-1
Let w = 0 + 2. Let d = -239 - -479/2. Is d > w?
False
Let v = -100 + 36. Let c be (v/4)/(2 + 1). Which is bigger: -5 or c?
-5
Let q = -6 + 9. Suppose 5*t = 2*i + 5, t - 4*t - 18 = q*i. Let n be (-1)/2 + 1/(-2). Is n at most t?
True
Suppose -4*z + 5*b = 45, 0*b + 3*b = -3*z. Let m = 2 + -5. Which is bigger: z or m?
m
Let g(x) = x - 3. Let n be g(1). Which is greater: -12/5 or n?
n
Let c(k) = -k**2 + 6. Let d be c(0). Let t be 2 - 236/286*d. Let n = t + 36/13. Which is smaller: n or -1?
-1
Suppose -10*m = 8 + 2. Is 0.2 >= m?
True
Suppose 10*g = 5*g + 35. Is g smaller than 9?
True
Let n be 0/(-2) + (-4)/18. Suppose 0 = -4*u - 4*q - 64, q - 1 + 0 = 0. Let f = u + 18. Is n >= f?
False
Let q = 2.01 - 0.01. Let n = -0.9 + 0.6. Let t = n - 0.7. Is t < q?
True
Let b = -2 + 5. Suppose j = b*t - 116, -3*t + 4*j + 136 = -j. Let z = -179/5 + t. Which is smaller: z or 0?
0
Let g be (-2)/3*-1*(-2 - 1). Suppose 2*h - 2 = -0*h + 3*i, 2*i + 13 = -h. Which is smaller: g or h?
h
Suppose 20 = j - 5*h, -h + 3 = 7. Which is bigger: j or -2/105?
j
Let x = -0.2 + 1.2. Let a = 0.19 - 0.39. Which is smaller: x or a?
a
Let q = -1 + 1.1. Let b = 0.3 - 0.2. Is b less than q?
False
Let a = 0.1 - 0.2. Let q = 4.7 + -4.8. Is q <= a?
True
Let a = 5 - 3. Let w be (a - 2/2) + -2. Let v be (-2)/12 - w/(-3). Which is greater: v or 0?
0
Let m = 15 - 17.1. Let n = 2 + m. Let a = 0 + 0.1. Which is smaller: n or a?
n
Suppose 0 = 5*w + 5*s - 10, -w + 4*w = 2*s + 1. Is 1/29 not equal to w?
True
Let t = -24.989 + 25. Which is smaller: t or -0.1?
-0.1
Let d be (-4)/(-8)*16*1. Suppose 3*m - 25 - d = 0. Is m not equal to 11?
False
Suppose u + 7 = -3*p, u - p = p - 7. Let t(i) = -i**2 - 8*i - 2. Let d be t(u). Suppose d*r - 32 + 12 = -c, 4*r - 16 = -2*c. Is 4 less than r?
False
Suppose -q + 2 = -4*p, 2*q - 5*p + 2 = 3*q. Let f be (1*(2 - q))/(-1). Let a = f + -2. Is a equal to -1?
False
Let a = -11/14 - 37/42. Let c = -1.55 - -0.15. Let f = 0.4 + c. Is f >= a?
True
Let l = 17 - 13. Let b be (14/(-8))/(-7)*l. Let h(v) = -v**3 - 5*v**2 + v + 4. Let p be h(-5). Which is greater: b or p?
b
Let h be (1 - 0) + (-6 - -5). Suppose h*f - 3*f = 2*v - 80, v - 40 = -4*f. Suppose -5*z - b = -6*b + 5, 5*z + 2*b = -v. Is z < -6?
False
Let i be (0 - -2)/(1/(-6)). Let z be 2/i*(-18)/(-12). Is 1 less than z?
False
Suppose 3 - 19 = -2*c. Let y be -5*-4*(-2)/c. Which is smaller: y or -6?
-6
Suppose 0 = 5*d - 10, 0 = -4*j + 3*d - 4*d + 18. Let w = -7 - -11. Is w equal to j?
True
Let g be (-138)/(-33) + (-4)/22. Suppose -g*f = 4*z - 8, z = 2 - 1. Suppose -m + 2 + f = 0. Is m > 1?
True
Let i(g) = 4*g**2 - g - 2. Let a be i(2). Which is smaller: 13 or a?
a
Let r be 1/(0 + 0 + 1). Let i be 3 - r - (-314)/(-84). Let h = i - -15/14. Which is smaller: -3/7 or h?
h
Suppose -3*v = v - 4. Let w be (-12)/20 + 17/(-5). Let y be 1/2 - (-6)/w. Is y not equal to v?
True
Let z = -51.21 - -50. Let w = -0.11 - z. Let i = w + -1. Is i bigger than 0?
True
Let o = 0 - 2. Let c = -4 - o. Let l be -3*(c - (1 - 2)). Is 2 at least as big as l?
False
Suppose -3*n - 4 = 5*x + 11, 5*n + 3*x + 9 = 0. Suppose n = 3*j - 5 + 2. Is 1 bigger than j?
False
Suppose -5 = 4*y - 5*h, 4*y - 3*y + 3*h + 14 = 0. Is y equal to -6?
False
Let p be (-4 - -6) + -4 + 1. Let u = -8 + p. Are u and 0 nonequal?
True
Suppose -5*b + d = -0*b, 0 = 2*b - 5*d. Which is smaller: 5/6 or b?
b
Suppose 10*j = 13*j - 27. Let y = 11 - j. Is y bigger than 2?
False
Suppose 4*o - 58 = 6. Suppose -8*n + 4*n = o. Let g(z) = z + 3. Let l be g(n). Are 2 and l nonequal?
True
Let y = -3 - -1. Let a be -2 - (-28)/(-8) - -4. Which is greater: y or a?
a
Let b = 2/105 + -234/35. Which is smaller: b or -7?
-7
Suppose 0 = d + 2*d + 3. Are 0 and d unequal?
True
Let h be 1590/(-105) - 2/(-14). Which is smaller: -13 or h?
h
Let a = 2/107 - 353/1712. Which is smaller: 1 or a?
a
Let h = -1103/55 + 280/11. Which is bigger: 5 or h?
h
Let r be (184/10)/(111/5). Let x = r - 6/37. Let q = 1 + 0. Is q >= x?
True
Let q be (6 - 0)*55/10. Let b = q - 67/2. Which is smaller: 0 or b?
b
Let i = 0.06 - -0.16. Let m = -0.12 + i. Is -5 not equal to m?
True
Let w(z) = -3*z - 30. Let p be w(-10). Are p and 1/161 non-equal?
True
Suppose -5*m - 2*s - 73 = 0, -5*m + 3*s - 30 = 23. Let k be 1 + (-86)/(-8) + 1. Let y = k + m. Is y greater than or equal to -1?
True
Let z = 54/131 - 25388/62225. Is 0 != z?
True
Let m = 2 + 1. Is 0.1 less than or equal to m?
True
Let f = -43.92 + 44. Is f at least as big as 4?
False
Let v = 14 + -11. Is v at most 4?
True
Let h be 10*(-4)/(16/6). Let c(l) = l**3 - 17*l**2 - l + 3. Let d be c(17). Is h smaller than d?
True
Let q be 4 - (-5 + (-309)/(-34)). Which is smaller: q or -1?
-1
Let t(i) = -i**3 - i**2 + i + 1. Let c be t(1). Are 4/5 and c equal?
False
Suppose -u + 26 = -5*h, -2*u + 4*h + 22 = -0*u. Which is greater: u or 1/6?
u
Let g be (-8)/(-10)*(-5)/1. Let p be (-1)/g - 1/1. Let c be (-2)/2 + 3/(-3). Which is smaller: c or p?
c
Let q(k) = -4*k - 5. Let l be q(-3). Which is smaller: 31/4 or l?
l
Let j = 0.13 + -0.23. Suppose 10 = -n - 8. Let u be (-4)/n - (-35)/(-36). Is j <= u?
False
Let g = -383/6 - -64. Let v = -2 + 3. Is v not equal to g?
True
Let f(b) = -3*b - 5. Let l be f(-4). Let g be (-4 - -1) + 2 - -9. Which is greater: l or g?
g
Suppose -7 = i + 7. Let n = i + 31. Suppose -v - 4 = -2*k, 5*k = -v - 0*v + n. Is 0 at least v?
False
Let m(w) = w**3 + 11*w**2 - 11*w + 12. Let l(b) = b - 6. Let q be l(-5). Let c be m(q). Let f = c - 1730/13. Which is greater: -1 or f?
f
Let m(z) = -z + 6. Let o be m(7). Let k be -3 + 58/12 + -2. Which is smaller: k or o?
o
Let d = -51 - -51. Which is bigger: d or 46?
46
Let d be 28/12 + 1/(-3). Suppose -2 = d*x + 2. Which is smaller: -3/4 or x?
x
Let q(y) = y**2 - 4*y - 2. Let v be q(4). Let n be (7/v)/((-1)/(-2)). Let s be 1/(4/140*-5). Is n != s?
False
Let q(v) = -v**3 - 9*v**2 + 2*v + 17. Let f be q(-9). Is -2/113 at least as big as f?
True
Let v = 2.9 - 3. Let y be 1 - -1*12/(-16). Which is bigger: v or y?
y
Let o =