es -1 = p?
False
Let h be 2/(-2) + -3 - (-2)/2. Let u(c) = c**2 - 3*c - 6. Let w be u(6). Suppose w = -3*q - q. Is h bigger than q?
False
Suppose 3*j + o = -0*j + 30, -4*o = 4*j - 40. Let y be (5 + -2)/((-1)/(-3)). Suppose x = 2*x - y. Is j at least x?
True
Let l = -3053 - -3052. Which is smaller: l or -104/49?
-104/49
Let n = -12 - -11.9. Let l = n + 0. Let o = 0 - l. Which is smaller: o or 2/3?
o
Suppose 32 = 2*s - 4. Let u = 78 - 61. Are s and u equal?
False
Let k = 68/3 + -23. Let d(i) be the second derivative of -i**3/6 + 5*i**2/2 - 6*i. Let u be d(4). Which is smaller: u or k?
k
Suppose i = -4*i. Suppose -4*u + i = p - 13, 3*p = -4*u + 23. Suppose p*f - 18 = 8*f. Which is bigger: f or -4?
-4
Let l(o) = o - 1. Let i(v) = 2*v + 5. Let f(y) = i(y) - 3*l(y). Let t be f(0). Let x = -19 + 19. Is x less than or equal to t?
True
Let l = -40 - -1402/35. Let d = -111 + 114. Suppose w - 5 = 3*r + 5, -d = r. Do w and l have the same value?
False
Let d(w) = w**3 - 15*w**2 + 16*w - 31. Let c be d(14). Is c greater than or equal to -2?
False
Let l = 345 + -346. Is 3/88 at least l?
True
Suppose -27 = -3*y - 0*y - 3*f, -3*f + 15 = 0. Suppose 3*r - 41 + 5 = 0. Suppose 4 = y*l + r. Which is smaller: l or -4?
-4
Let n be -3 + 2 + 0 + 3 + -3. Are n and -21/10 nonequal?
True
Let n be 10/(-6)*(-221)/85. Which is smaller: -7 or n?
-7
Let h = 89 - 89.012. Which is greater: h or -0.1?
h
Let o = -36 - -45. Let s be 1 - -10 - (o - 6). Let z be (-3)/12 - (-2)/s. Is z greater than 2/5?
False
Let m = 648 - 631. Is m at most 13?
False
Let p(s) = -6*s - 25. Let l be p(-13). Do 51 and l have different values?
True
Let p = -3358 - -57046/17. Which is smaller: p or -2?
p
Suppose 8*y + 8 = -0. Let t be 2 - (1 - 5/y). Let z = -245/2 - -119. Which is smaller: z or t?
t
Suppose 24 = 4*w - 4*y, 5*w - 20 = -2*y - 3*y. Let g be (-2*w/(-120))/((-12)/(-9)). Which is greater: g or 1?
1
Let o = 156 - 154. Which is smaller: o or 3?
o
Suppose -14 = -4*v + v - n, 2*v - 14 = -3*n. Suppose 7*c + 18 = v*c. Let l be ((-3)/9)/((-1)/(-21)). Which is greater: l or c?
c
Suppose m - 47*m = 414. Suppose -7 + 4 = 3*c. Which is smaller: m or c?
m
Let a(c) = c**2. Let f be a(2). Suppose -5*h - 3 = -f*h, 3*h = -4*i - 69. Is -15 smaller than i?
False
Let y be (5 + (0 - 4))*(-1 + 4). Let q be 0 + -2 + (-14)/(-2). Suppose o = q*z + 5*o, y*o = -5*z - 5. Is -4 smaller than z?
False
Let h be 4 - (3 - 3)/4. Let z(c) = c**2 - 5*c + 6. Let w be z(h). Suppose -m = w*m. Is m greater than 2?
False
Suppose 10*g = -2*g + 36. Let s(z) = 3*z - 12. Let l be s(g). Let p = -8 - -12. Which is bigger: l or p?
p
Let o be ((-4)/(-72))/((-1)/(-2)). Is 1 < o?
False
Let n(o) be the second derivative of o**4/12 + 13*o**3/6 + o**2/2 + 7*o. Let p be n(-13). Which is smaller: p or -1/61?
-1/61
Let y(c) = 22*c**2 - 112*c + 9. Let m be y(5). Is m less than or equal to -1/69?
True
Let n(q) = q**3 - 16*q**2 - 18*q + 52. Let u be n(17). Is 36 at most u?
False
Let h = -1917 + 1923.986. Let j = h - -0.014. Which is smaller: 0.01 or j?
0.01
Let a = 26 + -7. Let d = a - 18.8. Is 0 greater than d?
False
Let r(k) = 2*k**2 - k + 2. Let m be r(-2). Let n(v) = -v**3 + 11*v**2 + 13*v - 12. Let b be n(m). Let s = 11 - b. Is s at least as big as 11?
True
Let z = 2351.094 + -2349. Let j = 0.094 - z. Which is smaller: j or -10?
-10
Suppose -10*x = -8 - 62. Let l(v) = 2*v**2 + 4. Let r(q) = 2*q**2 - q + 4. Let o(j) = -4*l(j) + 5*r(j). Let p be o(3). Is p greater than x?
False
Let d = -9 + 16. Let k be (-6 - -7) + d*-1. Let l be (-2)/k - 1/(-2). Which is greater: 0 or l?
l
Let q = -145 - -161. Which is smaller: q or 15?
15
Let z = -309817/312 - -993. Which is smaller: 1 or z?
z
Let p = 0.001 - -26.899. Let z = p - 27. Is z != -74?
True
Let x = 1573 - 7899/5. Is -6 greater than or equal to x?
True
Let g = 8.39 - 7.39. Which is bigger: g or 44?
44
Let q(a) = -4*a - 2. Let x be q(-6). Let l(b) = 10*b**2 - 62*b - 33. Let m be l(7). Is x greater than or equal to m?
False
Let f = -28253/102 + 277. Let p = -26/51 + f. Are 0.18 and p non-equal?
True
Let s(h) = -13*h + 31. Let w be s(3). Let t(x) = -x**2 + 3*x - 5. Let o be t(4). Which is greater: w or o?
w
Suppose -98*b + 18 = -99*b - z, -z + 24 = -b. Which is bigger: b or -179/8?
b
Let x = -69 - -21. Let q = x - -48. Which is greater: q or -49?
q
Let w = -2004 + 2004. Let z be (3/(-15))/((-4)/10). Does z = w?
False
Let s = -1 + 2. Let l be 2/(450/(-190) + 3/1). Let m = l - 131/30. Which is bigger: m or s?
s
Suppose 5*d - 5*r = 0, 2*d = r + 2*r. Suppose -i + 48 + 26 = -l, 15 = -3*i. Let q be (-239)/l - (4 + -1). Which is smaller: d or q?
d
Let g = 35564/43 - 827. Let h = 15 + -14. Which is smaller: h or g?
g
Let g = -4.962 - -5. Let d = g + -9.038. Which is smaller: d or 0.3?
d
Let n = -54299/149601 + 4/3183. Which is bigger: 0 or n?
0
Let q be 4 - (4 - -1 - 0). Let l be q + 4 - 6 - -4. Suppose m - l = -7. Which is greater: m or -5?
-5
Suppose -10*q + 3094 = -2*p - 11*q, -3*q = 2*p + 3090. Is -2/5 bigger than p?
True
Let f = 393 + -409.96. Let p = f - -17. Let c = 3.5 - 0.5. Is p < c?
True
Let p = 6 - -28. Suppose -2*a + 2*q = -p, q = 4*a - 0*q - 80. Is 21 at most as big as a?
True
Let h(a) = 10*a**2. Let d be h(1). Let i be (-2)/3 + d/6. Which is bigger: i or 2/65?
i
Let i = -122.57 - -135.7. Let n = i - 13. Let x be (2 - (-2 + 6)) + 1. Which is bigger: x or n?
n
Let a = 13 + -14. Let g = 3968499/17 + -233585. Let n = g - -144. Which is smaller: a or n?
a
Suppose 80 = 43*c - 51*c. Is -43/5 >= c?
True
Let d(w) = -3*w + 21. Let q be d(5). Suppose 5*x - q*x + 2 = 0. Is 2 bigger than x?
False
Let h = -7 - -66. Let i = h - 59. Let k be (3 + -4)*(2 + -5). Is k > i?
True
Let a be -1*9 + 8568/903. Do 0 and a have the same value?
False
Suppose 2*z = 3*z. Let q be (-2 + (-32)/(-12))/(27 - 43). Is z not equal to q?
True
Let f = 0.07 - 3.07. Let g = -28.8 - -28.679. Let a = -0.121 - g. Which is greater: a or f?
a
Let z = -20 - -9. Let u = z - -18. Is -0.1 less than u?
True
Suppose -3*i + 2*i - 313 = 0. Let f be (-10)/(-2) + i/63. Which is bigger: f or 0?
f
Suppose 48*q - 47*q + 13 = 0. Let r = 11 + q. Which is smaller: r or -6/7?
r
Suppose 3*b = -h + 12, -4*b - 5*h = -6 - 21. Suppose b*v + 6 = 6*v. Which is greater: v or 2/3?
v
Suppose -56 = 5*q - 6. Let n be 6/q + (-105)/75. Which is bigger: n or 12?
12
Let n be 11/66 - ((-125)/822)/(-1). Which is smaller: 1 or n?
n
Let s(z) = -z + 7. Suppose -11 = 14*r - 13*r. Let x(g) = -g**2 - 13*g - 14. Let b be x(r). Let t be s(b). Is 2/5 greater than or equal to t?
True
Let b be (-1)/4 - 28/(-48)*1. Is b greater than -1.6?
True
Let q be (-51)/119 - (-12)/(-21). Is -17 at least as big as q?
False
Suppose 34*m = 35*m + 1. Let q = 7625/41 + -186. Is m at least as big as q?
False
Let g be 9/45*5 - -8. Let l = 437 - 1283/3. Which is smaller: g or l?
g
Suppose 4*r - 105 = -q + 22, -3*q = 5*r - 157. Let c = r + -32. Is -3/14 smaller than c?
True
Let s = -15 - -71. Let a be (-1 - -2 - (-61)/(-4))*(802 + -806). Which is greater: a or s?
a
Let v = -620 + 1016. Let z be (-1 + 889/v)*-1. Let a = 1/198 - z. Is 2 at most as big as a?
False
Suppose 3*w - 21*u = -16*u - 34, 0 = -3*w - 5*u + 16. Is w > 3.7?
False
Let k(l) = -2*l - 2. Let w(a) = -10*a - 11. Let q(y) = -22*k(y) + 4*w(y). Let s be q(1). Suppose 0 = s*j + 24 + 16. Is j > -10?
False
Suppose 2*x - 39 = -3*n, -9*x + 4*n + 128 = -5*x. Are x and 27 equal?
True
Let g = 848 - 4238/5. Let z = -3.68 + 2.8. Let l = z - -1. Which is greater: l or g?
g
Suppose 4*o + 3*s - 152 = 0, s - 13 = -o + 26. Are 33 and o unequal?
True
Suppose 333 = 53*f + 174. Is f equal to 99?
False
Let r be (-1740)/(-29145)*((-27)/4)/3. Which is smaller: r or -1?
-1
Let f be 143 - ((-4)/12)/((-4)/12). Is f smaller than 140?
False
Let q = 857 + -807.12. Let w = 50 - q. Which is bigger: 2/5 or w?
2/5
Suppose -4*p - p - 175 = 0. Let t = -20 + p. Let k = -1707/31 - t. Which is smaller: k or 0?
k
Suppose 5*u + 595 = -3*l, -3*u + 2*l + 595 = -8*u. Are u and -119 equal?
True
Let r be (2*(-16)/20)/((-1)/30). Let f = -47 + r. Is -2/49 < f?
True
Suppose 0 = 3*q - 12*o + 9*o + 771, 3*o = -15. Is q at most as big as -521/2?
True
Let n(m) = m**3 + 4*m**2 - 4*m - 2. Let q be n(-4). Suppose 7*p + 7*p = q. Are -2/119 and p nonequal?
True
Let j = 15 + -15. Suppose j = -2*r + 6 + 4