t j be (-1)/(-33) - u/(-6). Which is smaller: p or j?
p
Let c(w) = w**2 + 4*w - 4. Let j(z) = z**2 + 4*z - 4. Let g(y) = -5*c(y) + 6*j(y). Let i be g(2). Suppose 0 = -3*p - p - i. Is 0 <= p?
False
Let w = 248 - 262. Is 5 greater than w?
True
Suppose -3*j + 0 = n + 2, 0 = 3*j + 3. Let m be 18/(-10)*n + (-2)/10. Do 1.9 and m have different values?
True
Let h = -1570/3 + 536. Suppose -208 = -175*s + 159*s. Let t = h - s. Is 16 bigger than t?
True
Let v(j) = -17*j - 104. Let m be v(-6). Let q be ((-4)/3)/(7/3). Which is greater: m or q?
q
Let o(k) = -k - 21. Let g be o(-15). Is g smaller than -11?
False
Let i(k) be the second derivative of -k**4/12 - 3*k**3/2 + 5*k**2 + 2*k. Let g be i(-11). Suppose 0 = 5*l + 20, 3*a + 2*l = -14 - 27. Which is smaller: a or g?
g
Suppose 0 = -6*v - 2 - 4. Which is greater: -2/633 or v?
-2/633
Let p = -82 - -94.9. Let t = -11 + p. Let m = t - 1.4. Is m at most as big as 0.1?
False
Suppose -5*j = 2*o + 189, 7*j = -o - 50 - 49. Which is greater: -89 or o?
-89
Let m be (-84)/9*6/(-192)*-18. Is m > -6?
True
Let n(q) = 3*q**3 + 3*q**2 + q + 5. Let f be n(-4). Let u = 242 + f. Which is bigger: 100 or u?
100
Let m(a) = 6*a + 1. Let r be m(1). Suppose -12 = 781*u - 784*u. Which is smaller: r or u?
u
Let t = 801 + -801. Which is greater: t or 16/51?
16/51
Suppose -7*w - 5 = 9. Which is smaller: w or -30/11?
-30/11
Let t = -18 + -23. Is -0.2 smaller than t?
False
Let h be -2258*3/12 + (-1)/(-2). Is -564 bigger than h?
False
Suppose -13 - 31 = -4*d. Let o be d + 1 + (-1)/1. Let g = o + -10. Which is bigger: g or -2/41?
g
Let l be 4/(-10) + 14/((-490)/1281). Is l greater than -37?
False
Let w = 4534/275 + -184/11. Suppose 5 = -19*j + 24. Which is smaller: j or w?
w
Let a = -0.16 + 0.04. Let o = -0.19 + 0.19. Which is smaller: o or a?
a
Let d = -14 + 13. Let g(w) = 18*w + 1. Let k be g(d). Which is smaller: -16 or k?
k
Let b = -2.34 - 561.66. Is -1/4 >= b?
True
Let d(x) = 472*x**2. Let v be d(-1). Let n = -3313/7 + v. Let c be (-9 + 9)/(2*-1). Which is smaller: c or n?
n
Suppose 269 = -3*d - 4*h, 0 = -3*d - h + 6*h - 251. Which is bigger: -85 or d?
-85
Suppose -93 = 43*j + 36. Which is bigger: j or -0.96?
-0.96
Let h = 174 - 173.92. Which is smaller: 0.5 or h?
h
Let o = -0.462 - 0.238. Which is greater: -0.2 or o?
-0.2
Let p = 19 - 15. Let f be 24/(-3) - (p - 0). Suppose -4*o - 48 = -5*x, 0*o = 5*o + 5*x + 60. Is f <= o?
True
Let n be 3/(-24) + (-30)/(-16). Is n at least as big as -19?
True
Let b = -38 + 41. Let s be 12/b - 3 - 1/1. Let p = 0.05 + 0.01. Which is smaller: s or p?
s
Let x = 754 - 673. Is x equal to -0.4?
False
Let f(m) = m**3 + m**2 + m. Let w be f(0). Suppose w = 2*d - 2*j + 22, j + 46 = -4*d + 3*j. Is d at most as big as -14?
False
Let x = -80 + 152. Let y be ((-1)/2)/(6/x). Is -4 less than y?
False
Let k = 7.9 + -7. Let g = 11586 + -11587. Is g at least k?
False
Let a = 1323 + -11951/9. Let v be (-2)/3 + 26/(-6). Is v <= a?
True
Let h = 163/395 + -1/79. Let l = 16 + -17. Which is smaller: l or h?
l
Let u = 1 - 2. Let b = 205 + -139. Let t be (-11)/b + 2/(-12). Is t >= u?
True
Let r be (53/(-159))/((-2)/(-6)). Is 1.9 at most r?
False
Let y be (-4)/24 - 25/(-6). Suppose -y*r - 3*r = -49. Is r at least as big as 6?
True
Let h = 100 + -55. Let m be (-18)/h + 348/895. Is -1 smaller than m?
True
Let n = 263 - 280.3. Let l = -16 - n. Let p = 0.9 - l. Which is greater: p or -2/3?
p
Let c be 8/18 + 2585/(-45). Which is smaller: c or -58?
-58
Suppose 3*a - 156 = 24. Let r be 45/(-2)*a/25. Let l be 6/(-18) + (-15)/r. Which is bigger: 1 or l?
1
Let f be (-3)/(-12) + (-4445)/20. Let c be 10/15 + 154/f. Is 1 != c?
True
Let d be (-1 - (-7 + 2))*-22. Which is bigger: d or 1?
1
Suppose -n = 2*l - 15 + 2, 2*l = -2*n + 16. Is n at least as big as 40/23?
True
Let h be ((-40)/3)/((-14)/(-42)). Let n be 18/h*(-2)/(-3). Is 0 at least n?
True
Let m = 3/925 - 10199/7400. Let h be 1/((-3)/((-141)/(-40))). Let f = m - h. Is -1 at least as big as f?
False
Suppose -3*s + 13 = l, -6*l + 8 = -2*l + s. Is 36/31 equal to l?
False
Let z(w) = w**3 - w**2 + w - 7. Let g be z(4). Suppose 0 = 2*n + 47 - g. Let c = -32/43 + 51/473. Is c > n?
True
Let j = -57 - -57.8. Let v = -0.76 - 0.1. Let y = v + j. Which is smaller: y or 2/7?
y
Let u(h) = -h - 1. Let a be u(5). Let l be (a + 6)*(0 - 1). Suppose 0 = 2*w - 3*r - 3, -r - 3*r - 4 = l. Is 3/16 != w?
True
Suppose 0 = 7*k - 3*k. Let z be k + (3 - 2) - 0. Let g be (z + 0)/((-52)/(-8)). Is g less than 2?
True
Let r(c) = -4*c - 3 - 5*c**2 - 4 - c**2 + 7*c**2. Let d be r(7). Are 15 and d non-equal?
True
Suppose -5*x + 6*q + 8 = 2*q, 0 = -4*x - 2*q + 22. Let o be 60/(x/4)*-1. Let h be (1/(-4))/((-105)/o). Do 0 and h have the same value?
False
Let v = 5 + -11. Let s be 100/64 - v/(-4). Let m = 0.1 - 0.1. Which is smaller: s or m?
m
Let o be (21/12)/(36/32). Do -2 and o have the same value?
False
Let w = 12 + -13.3. Let d = -1.5 + w. Let a = d + -0.2. Is 3 at most a?
False
Suppose 0*a = 6*a - 432. Suppose 4*x = -4*d - 0*d + a, 0 = x + 3. Let l be d/18 - (-1)/(-6). Which is smaller: 3/16 or l?
3/16
Suppose -5*a + 2*m + 122 = 0, -a - 13*m + 29 = -18*m. Let x be (6/5)/(2/10). Let i be 200/a - 2/x. Does i = 6?
False
Let i(j) = -7*j**3 - 10*j**2 - 7*j + 1. Let v be i(-4). Is v less than 314?
False
Let l = -9 - -7. Let t be 1/(3/12) - -21. Let g be 20/t + 38/(-60). Which is bigger: g or l?
g
Let w = 9 - 15. Let f = 3 + w. Let z = -608 + 607. Are z and f equal?
False
Let r be -7 - (6/39 + (-1378)/169). Which is bigger: -504 or r?
r
Let y = -2086 + 2087. Suppose -32 = -3*b - 8. Which is smaller: b or y?
y
Let b = 540 + -535. Is 1 equal to b?
False
Let b(o) = 721*o**2 - 2*o + 3. Let n be b(2). Let t be -3 - n/36 - 2. Let y = 85 + t. Which is bigger: -1 or y?
y
Let i be 15/6*((-66)/(-24))/(-11). Suppose -2*b + 2 = 6. Is i at least b?
True
Suppose -9*o + 14*o - 290 = 0. Let r be o/12 + (-2)/(-12). Suppose -4*g - 1 = -w - 0, -2*w + r*g + 5 = 0. Is w >= 17/3?
False
Suppose -3761*j = -3760*j. Which is smaller: -1/971 or j?
-1/971
Suppose 130 = 187*m - 154*m - 2. Let s(o) = -o**3 + o**2 + o + 5. Let c be s(0). Suppose i + 3*k + 2 = 0, -2*i - 3 = -0*i + c*k. Which is smaller: i or m?
i
Let i = 66544 - 2927665/44. Let j = i - 25/4. Let x be 2*(3/(-21))/(4/(-14)). Which is smaller: x or j?
j
Let r(z) = 6*z**2 - 17*z + 37. Let f be r(8). Which is bigger: 287 or f?
287
Let c(b) = -b - 2. Let w be c(-11). Let o = -4 - w. Suppose -2*d - 75 = 5*v, 2*v - 7*v + 5*d = 40. Is o at least as big as v?
True
Let i be 1*(30/6)/10*-2. Does 10/21 = i?
False
Let i be (-6)/136 + 8/(-32). Are 1 and i equal?
False
Let q = -19 - -27. Suppose 7*v + q = 5*v - 5*l, -4*v + 4*l = -12. Is v equal to -3/7?
False
Let c = -38 - -1103/29. Let q be (0 + 2)*(-17)/102*-3. Which is smaller: c or q?
c
Let p = -341634/73 - -4680. Which is smaller: -1 or p?
-1
Suppose 41*w + 47*w = 89*w. Does 42/73 = w?
False
Let y(m) = m**2 + 12*m - 26. Let z be y(-14). Let p(h) = h**3 + 6*h**2 - 7*h + 2. Let j be p(-7). Suppose -5*k - 2 = -o, 1 = j*o - 4*k - 3. Is o not equal to z?
False
Suppose 2 = -4*g + 2*k, 5*g + k + 6 = 21. Suppose 0 = 6*a + a + 294. Let j be (-8)/14 - 108/a. Is j < g?
False
Let f(z) = 2*z - 188. Let h be f(0). Let m = -743/4 - h. Is 1 at most m?
True
Let n(d) = -2*d**3 - 16*d**2 + 9*d + 4. Let j be n(-10). Let v be ((-12)/7)/(2/367). Let p = v + j. Is -2 less than p?
True
Let k = 91 - 88. Suppose -i = 3*a - 28, -7*a = -k*i - 10*a + 78. Is 25 bigger than i?
False
Suppose 36 = 6*p - 3*p. Let c be (-12 + p)/(-2 + 0). Is 5/17 at most c?
False
Let x = -26 - -17. Is -3 less than or equal to x?
False
Suppose -132 + 420 = 3*j. Let w be j/(-15)*(-25)/10. Suppose i + w = -2*t, -3*i = 4*t - 8*t + 38. Which is smaller: -15 or i?
-15
Let p(l) = -l**2 - 4*l - 6. Let j be p(-10). Let k be j/32 + -2 - -4. Which is greater: -1 or k?
k
Let a(i) = i - 6. Let m be a(0). Let r(l) be the first derivative of l**3/3 + 2*l**2 - 14*l + 204. Let q be r(m). Which is smaller: q or -8?
-8
Let o(s) = s**2 + 8*s + 5. Let j be o(-8). Suppose -3*n + 11 = -4. Suppose -n*t - 110 = 5*p, 22 = -j*p + 2*t - 60. Is -19 greater than p?
False
Let q(s) = -s**3 + 7*s**2 - s - 8. Let p be q(5). Suppose 3*a - 6*a + 131 = 5*d, 2*a - 86 = -3*d. Is p != a?
False
Let z be 1/(4/64*4). Suppose 5*y + 20 