15*((-12)/(-20) + -1). Let k be ((-4)/78)/(q/18). Which is greater: -1 or k?
k
Let a be 2/(-4) - (-9)/6. Let k be ((-5*4)/(-2))/a. Suppose -5*j = -6*s + 3*s + 10, 5*j = -s - k. Do -1 and j have the same value?
False
Let r = 2 + 0. Let u be (r - 1 - 0)/(-1). Suppose -130*j = -131*j + 1. Is u bigger than j?
False
Let n = 164 - 163.8. Suppose 0 = -b - 0*b. Is b <= n?
True
Let d be ((-4)/(-22))/(1 - -1). Is -1 at least d?
False
Let j be (-16 - (-5)/(-5)) + -4. Which is bigger: j or -20?
-20
Let f = 3084 + -92497/30. Let u = f - 1/6. Is 0 equal to u?
False
Let y be 4/(12/9 + -2). Let d = y - -8. Let k be 15/9 - 2/3. Which is bigger: d or k?
d
Let t = 0 - 2. Let s = -1.1 - -0.1. Let q = t - s. Do 0 and q have different values?
True
Let m = -138 + 688/5. Let x be -1 - 2 - (-8 - -5). Which is greater: x or m?
x
Let j(h) = -h**2 + 4*h + 7. Let w be j(5). Suppose w*f = 4*f - 4. Suppose -f*x + 5 = -0*x + 3*z, x = -4*z + 5. Which is smaller: x or -1?
-1
Suppose 2*b = -3*b + 65. Let g(v) be the second derivative of -v**3/6 + 8*v**2 + 7*v. Let p be g(b). Which is smaller: p or 4?
p
Let n = -1 + 1. Let y = 6 - n. Suppose x + 4*a = 17, 5 = 5*x - 2*a + y*a. Does x = -3?
True
Suppose 5*w - 5 = m, 2 = -2*m - 8. Let v be (0 - (-2)/(-4))*w. Which is bigger: -2/3 or v?
v
Suppose 4*u = -25 - 11. Let v be (-624)/60 + 4/10. Which is greater: u or v?
u
Let s = 1988878/9 - 9922162/45. Let x = s - 494. Is 1 greater than or equal to x?
True
Let c = -34 - -42. Are c and 3/5 equal?
False
Let q = 105/2 - 54. Let k(s) = -s**2 + 12*s - 21. Let x be k(2). Are x and q non-equal?
True
Let z = -0.3 + 0. Suppose -f + 1 = -c - 2, -5*f = 5*c - 15. Is z > c?
False
Suppose -2 + 0 = c. Which is smaller: c or 2/11?
c
Let k(q) = -q**3 - 3*q**2 + 4*q + 2. Let v be k(-4). Is v bigger than 15/7?
False
Let b = 1.3 - 1.1. Let t = 0.03 + -0.03. Which is bigger: b or t?
b
Let l(t) = t**3 + 7*t**2 + 7*t + 8. Let b be l(-6). Let f be (-5)/b*1/5. Are f and -0.4 unequal?
True
Let v = -564/17 - -89642/2703. Let c = 304/1113 - v. Is -2/5 at least c?
False
Let f = 0 + 0. Let m = 117/4 - 31. Let l = -9/4 - m. Is f > l?
True
Let l(u) = -u**2 + 7*u - 4. Let v be l(7). Are v and -4 non-equal?
False
Let j(m) = m**2 - 8*m + 11. Let u be j(6). Is -21 < u?
True
Suppose 3*t + 2 = -5*h - 5, 3*t + 5 = -4*h. Which is greater: -3/104 or t?
t
Let d(g) = -1 - 1 + 3 - g. Let i be d(4). Let v = -21 + 20. Is v at most i?
False
Suppose 5*v - 4*s - 439 - 179 = 0, 0 = -4*v + 2*s + 492. Let c = v - 483/4. Are 0 and c unequal?
True
Suppose 3*h + 7*c - 69 = 4*c, 0 = -3*h - c + 59. Is h equal to 17?
False
Let r = -65 + 66. Which is smaller: r or 1/107?
1/107
Suppose -5*g = -3*d - 9*g - 11, -3*g = -3*d + 3. Which is bigger: -3/73 or d?
-3/73
Let r = 6.3 - 6. Which is smaller: r or -0.3?
-0.3
Let c = -3 + 43. Suppose c = h + 14. Let v = -132/5 + h. Is 1 equal to v?
False
Let i = -88 + 171/2. Let t = i - -1. Is t > -1?
False
Let q(l) = l**2 - 3*l + 3. Let x be q(3). Let n = -18 - -19. Which is bigger: x or n?
x
Let p = -179/4 - -44. Which is bigger: -2 or p?
p
Suppose s - 120 = 6*s. Let h = s - -73/3. Let x(l) = -l**2 - 4*l - 2. Let a be x(-3). Is a > h?
True
Suppose -4*n + 14 = -6*n. Which is smaller: n or 1?
n
Suppose 20 = 5*h + 35. Is -4 at least h?
False
Suppose -p + 4 = -2*i - 3, 0 = -p + 5. Is i not equal to -6/25?
True
Let w(y) = y - 13. Let b be w(-5). Which is bigger: b or -2?
-2
Let l be ((4/(-88))/1)/(-5*1). Is 0 bigger than l?
False
Let m = 0.02 - 3.22. Let f = m + -0.8. Let h = f - -5. Which is smaller: h or -0.1?
-0.1
Let z be -9 + 7 - (-1)/((-21)/(-36)). Which is smaller: z or -5/2?
-5/2
Suppose 4*u + 4*a + 25 = -27, -5*u - 4*a = 63. Which is greater: -12 or u?
u
Let j = 28 - 33. Which is greater: -0.1 or j?
-0.1
Suppose -6 + 3 = -3*k. Let q = 2638/11 + -240. Is k at least as big as q?
True
Suppose 0 = -3*k - 10 + 28. Let l = k - 8. Which is greater: l or -4/5?
-4/5
Let u(s) = 2*s + 13. Suppose 5*r + 2*v = r - 36, 0 = -4*r + v - 36. Let d be u(r). Is -4 greater than or equal to d?
True
Let m = -22 + 10. Let g be 2/28*(4 + m). Suppose -1 = -5*j - 2*a, -2*j + 0*j = -a + 5. Which is smaller: j or g?
j
Let s = -8 + 5. Suppose 6 = 2*i + i. Suppose i*j + 9 = -j. Is j greater than or equal to s?
True
Let y = 114064/46475 - -1/4225. Let i = 167/77 - y. Which is bigger: 1 or i?
1
Let b = 4 - 4. Let r = -10.2 + 4.2. Which is smaller: b or r?
r
Suppose 4*p - 1 = -37. Let k be 8/6 + (-10 - p). Is k at least as big as 5?
False
Let y = -2 + 0. Let i(p) = -6*p - 56. Let r be i(-9). Are r and y equal?
True
Let b be (-1)/(-2)*(-12)/(-2). Suppose 6*v - 6 = b*v. Suppose -k - v*k = 6. Which is bigger: k or -1?
-1
Suppose 2*u - 9 = -m, 11 = 2*u - 0*m - m. Suppose 2*l + 12 = -2*r, -r + 20 = -u*r. Suppose 0 + 1 = -b. Is l equal to b?
True
Let j be 4 + -31 + (1 - 3). Which is smaller: j or -0.1?
j
Suppose -b = 4*s - 230, 0 = -5*s + 4*b - 129 + 406. Suppose 5*u + 5*q - s = -22, 4*u = 4*q - 4. Is u less than or equal to 4?
True
Suppose 2 = h + 3. Let b be 6/(-20)*(4/6)/2. Which is greater: b or h?
b
Let y = -5 - -18. Suppose 5 = -18*g + y*g. Which is bigger: -4 or g?
g
Suppose 68 = 7*y - 58. Is 20 greater than or equal to y?
True
Let n = 2477/15 + -165. Which is bigger: n or -2/5?
n
Let x = -2 - -5. Suppose 5*j + x = -12. Which is greater: -7/3 or j?
-7/3
Let t(w) = -w**3 + 4*w**2 + 6*w - 3. Let g be t(5). Let p = 12 + -5. Suppose 3*u + p = 16. Are g and u equal?
False
Suppose 0 = 4*d + 5*z + 105, 2*d + 3*z - 122 = 7*d. Is d smaller than -25?
False
Let v be 3*(2 + 8/(-6)). Suppose 0 = -2*y - v + 8. Let n(z) = z + 10. Let h be n(-8). Which is smaller: y or h?
h
Let u be 3/3 - 2*2. Let w be -2*u/((-9)/(-3)). Which is greater: w or -1?
w
Let n(g) = 7*g**2 - 5*g + 7. Let o(k) = -6*k**2 + 5*k - 6. Let w(h) = -5*n(h) - 6*o(h). Let d be w(4). Is d less than -7?
False
Let d = -3/82 + 191/738. Let x = -1.98 + -0.02. Is x > d?
False
Let g(h) = h + 5. Let j be g(-5). Let a be ((-36)/(-48))/((-21)/(-32)). Is j greater than or equal to a?
False
Suppose 0 = o - 0*o + i + 1, 5*o - 5 = 5*i. Let d = 1 + -2. Is d > o?
False
Let j = 1.52 + -1.6. Let a = 0.02 - j. Which is greater: -0.2 or a?
a
Let t = 29 - 28.83. Let l = t - 0.07. Let m = -0.1 + l. Is m bigger than -3?
True
Let n = 20 - 20. Suppose -l + 6 = w + 1, 4*l + w - 14 = n. Which is smaller: -1/2 or l?
-1/2
Suppose 0 = -3*v - 1 - 5. Let u = -12 + 17. Are v and u equal?
False
Suppose 1 = -2*q - 15. Let d = q + 3. Is d smaller than -5?
False
Let a = -2.071 + -0.029. Let p = a - -2. Is p > 0.05?
False
Suppose -5*b - 4 = -4*b. Let c(a) = a**2 + 2*a - 2. Let y be c(b). Which is bigger: y or -1/2?
y
Let r be (-4)/(6 + 2)*26. Is -13 bigger than r?
False
Let l be -72*(-3)/((-18)/(-10)). Let v be (-4)/(-26) - l/(-65). Which is smaller: 3/8 or v?
3/8
Let z(c) = c**3 - 4*c**2 - 7*c + 12. Let g be z(5). Is -6 less than g?
True
Suppose -4 = -6*u + 2*u. Let n be ((-3)/(-1))/(1/u). Let s be (2/(-5))/((-2)/n). Which is greater: s or 0?
s
Let o = 94.9 - 95. Which is smaller: o or -16/5?
-16/5
Let b be 19/7 + 10/35. Suppose z - b = 1. Suppose g - 3*c = -g + 7, z*g - 11 = 5*c. Is -2 not equal to g?
True
Let n(y) = y**3 + 3*y**2 - y + 1. Let d be n(-3). Suppose 2*r + 3 = -5, r = 2*v - d. Let k = -26/15 - -12/5. Which is smaller: v or k?
v
Let s = 7/12 - 5/6. Is 1 bigger than s?
True
Let x be (-4)/20 - 158/60. Let l = 38/15 + x. Which is smaller: l or -1?
-1
Let a(r) = 5*r + 1. Let l be a(-3). Is -14 >= l?
True
Let j = 21.995 + 0.005. Does j = 2?
False
Let l be (-3)/(-2)*(-60)/18. Let x(h) = -3*h - 1. Let k be x(1). Is l greater than or equal to k?
False
Suppose -5*u + 10*u + 23 = -4*j, -4*j = 2*u + 14. Let q(t) = t**3 - 3*t - 2. Let d be q(-2). Let h be d/2*3/2. Which is smaller: h or j?
h
Let v = -11 - -10. Which is smaller: 12 or v?
v
Let u = -12 - -8. Let f = u - -4.3. Let r = -0.4 + f. Is -0.2 >= r?
False
Let m = -16.93 - -17. Let l = -0.07 + m. Do l and 0.1 have the same value?
False
Let m be ((-2)/(-6))/((-4)/(-12)). Which is smaller: m or 3/5?
3/5
Suppose 4*t = 2*a - 36, -3*a + t + 39 = -2*t. Suppose 3*p + 54 = 9*p. Let y = a - p. Which is smaller: 4 or y?
y
Let v be (-6)/8*2*-2. Suppose -2*n + 22 = -5*m, -3*m - 8 = -4*n + 8. Which is smaller: n or v?
n
Let i = -105 - -104.9. Let c = -137/657 - 1/73. Is i gre