Does -8/57 = m?
False
Suppose 0 = 4*f + 5*v - 2506, -2*f + 571 = -2*v - 691. Which is greater: f or 628?
f
Let v(p) = 15*p + 160. Let m be v(-11). Is -0.17 at most as big as m?
False
Let g = -2 - -12. Suppose -8*c = -3*c + g. Suppose -8 = 7*p - 3*p. Does c = p?
True
Suppose -5*j = 3*o + 14, 0 = -2*o + 2*j + 2*j - 2. Let s(u) = -2*u**3 + 5*u**2 - 14*u + 20. Let x be s(2). Which is greater: x or o?
o
Suppose -5*f + 9 = -11. Let n(l) = 10*l - l**2 + 10 - f - 3*l. Let s be n(7). Which is smaller: s or 5?
5
Let a(t) = -t - 7. Let z be a(-9). Suppose z = 5*q - 48. Let v(c) = c + 5. Let j be v(4). Which is smaller: q or j?
j
Let d be (184/(-6))/(84/6). Let v = 13/7 + d. Suppose y = -9*y + 10. Is v <= y?
True
Let u = -0.32 + -80.68. Let v = u + 79. Which is greater: v or -0.01?
-0.01
Let v = 0.103 - -6.197. Let l = v + 3.7. Let m = 1 + -0.9. Which is greater: m or l?
l
Suppose n - 6 = -12. Let h be (-30)/45 + (-82)/n. Is 14 at most as big as h?
False
Suppose 30*v = -173 - 1057. Is -41 at least v?
True
Let m(r) = 13*r**2 - r - 3. Let q be m(-2). Suppose -3*l = 93 + q. Is l greater than -48?
False
Suppose -10*v + 357 = 11*v. Is v != 9?
True
Let g(c) = -c**3 - 47*c**2 + 48*c - 12. Let v be g(-48). Is -23/2 at most v?
False
Let i = 193 + -587/3. Is -4 bigger than i?
False
Let p = -1/6 - -5/3. Suppose -5*h - 20 = 0, 0 = -0*r - 4*r + 5*h + 64. Let n be 24/r + (-12)/66. Is p < n?
True
Let q = 245 + -183. Is -12 < q?
True
Suppose 5*r + 232 = 247. Which is smaller: 60/19 or r?
r
Let q(c) = c**3 - 21*c**2 + 33*c + 34. Let z be q(18). Is z <= -345?
False
Suppose -3*z + 2*v = -0*z - 11, -z - 2*v + 9 = 0. Suppose -3*b - 2*i + 0 = 36, 0 = -z*i. Let t be 2*b/(-52)*1. Which is greater: t or -1?
t
Suppose -4*n - 5*p = 224, 2*n = 5*p - 126 - 16. Which is smaller: -63 or n?
-63
Let a = -0.6 - -0.6. Let b = -3503/34 + 103. Let u = b - -37/102. Which is smaller: a or u?
a
Let u be (-11 + 1911/26)*-2. Is -125 equal to u?
True
Let d(c) be the second derivative of c**4/12 - c**3/6 - c**2 - 5*c. Let b be d(0). Suppose -2*k + 0*k + 2*a - 8 = 0, 4*a = -k + 11. Which is greater: k or b?
k
Suppose 0 = 91*u - 93*u - 248. Which is smaller: -123 or u?
u
Let l = -136.7 - -137. Is l less than or equal to 39?
True
Let z = -8/13 + 418/637. Let q = -0.0583 + -0.0417. Do z and q have different values?
True
Suppose 5*g + 567 = 562. Do g and 112 have different values?
True
Let h = 156.2 - 158. Which is greater: h or 3?
3
Suppose s - 22 = -5*o - 5, 4*o - 1 = -5*s. Suppose 5*t = t - o. Let j be t/(-6) + 2/(-60). Is j smaller than 1?
True
Let d = -65 - -22. Let q = d - -43. Which is smaller: q or -91?
-91
Suppose 657 = 8*u - 583. Is 155 less than u?
False
Let o(v) = v**3 - 8*v**2 - 9*v. Let b be o(8). Let j be b/(-546) - 6/21. Is j at most as big as -1?
False
Let q be 2*(-1 + 2)*2. Suppose 5*d + 1 = 4*i - 3, -5*i + 4*d + 5 = 0. Is i at least q?
False
Let y be 2/(-4) - (-3 - (-50)/20). Which is bigger: y or 2/4165?
2/4165
Let l(g) = g**2 + 4*g - 1. Let u be l(-4). Let d = -663240/7 - -95037. Let p = -289 + d. Which is smaller: u or p?
u
Suppose 2*l + 3 = c + 6, -3*l + 4*c + 17 = 0. Let o be (18 - 4)/(2 - 0). Suppose -4*k = 2*f + 2*f - 12, 5*k = -f + o. Which is smaller: l or k?
l
Let w be 0/((-2)/((-2)/(-1))). Let i be (5/(-6))/((-35)/210). Is w less than i?
True
Suppose 19 - 306 = -m. Is 290 at least as big as m?
True
Let b be (-2 + (-16)/(-20))/((-6)/20). Suppose -2*x - 4 = 0, -b*k + 3 = -7*k + 3*x. Suppose 4*d + 15 - 7 = 0. Do d and k have the same value?
False
Suppose t - 3*o = 4*t - 168, -2*t = -4*o - 82. Suppose 0 = -55*b + t*b - 12. Which is smaller: -0.11 or b?
b
Let p = 187992/19 + -915766/133. Let l = -3002 + p. Are 7 and l nonequal?
True
Let h(t) = t**2 + t - 2. Let x be h(-3). Suppose -4*g - 4 = -4*j - 3*g, 5*j = 2*g + 2. Suppose -10 = -4*p + j*p. Which is greater: p or x?
p
Let z be ((-72)/27)/(2/6). Let f be 1/((-4)/z*-6 + 4). Which is smaller: f or 10/11?
10/11
Let g(b) = 2*b**2 + b + 8. Let r be g(0). Suppose 5*m = -r - 2. Let t be (-57)/(-39) + 2/m. Which is smaller: -1 or t?
-1
Let r = 130/59 - 3473/1121. Let w = r + -86/95. Let v = -63 - -62. Which is greater: w or v?
v
Suppose -22 = -5*j + 48. Let c be (j - 15) + 6/2. Suppose 8 = 6*g - c*g. Which is smaller: 3/5 or g?
3/5
Let t be 14/(-6)*(-8)/700. Let j = -579 + 579. Is j < t?
True
Let w(h) = h**3 + 4*h**2 - 4*h + 24. Let d be w(-7). Is d bigger than -6?
False
Suppose 3*z - 3*y = 936, -23*z + 3*y - 1576 = -28*z. Are z and 315 unequal?
True
Let c(r) = -42*r + 406. Let x be c(13). Which is smaller: -141 or x?
-141
Let x = 161.9 + -169. Let p = 8 + x. Let g(h) = 2*h**2 - 18*h + 18. Let d be g(8). Which is smaller: p or d?
p
Suppose 9*i - 70 = 2*i. Let g = i + -11. Are 3/23 and g unequal?
True
Suppose -2*f + 3 - 9 = 0. Let p be f - (352/(-84) - -1). Does 0 = p?
False
Let g = -36.9 - -37. Let t be (-1)/(-8) - 405/2664. Is t not equal to g?
True
Let y = -91 + 63. Let u be (21/(-63))/((-4)/(-347 - 1)). Is y greater than or equal to u?
True
Let d(t) = t + 0*t + 45 - 65 - 6*t. Let y be d(-4). Let w = 4563/7 - 653. Which is greater: y or w?
y
Suppose 0 = 4*j - 47 - 21. Let s be (6/(-4))/(3*6/(-24)). Suppose 2*v = s*a - 8, 4*a + v = -3*v - 8. Is j < a?
False
Let c = 1 + -4. Let r = 1 + -9. Which is smaller: r or c?
r
Suppose 5*a - 36 = 8*a. Suppose 8 = 3*x + 56. Let t = x - -4. Are t and a equal?
True
Let c = 5357/39 + -9602/39. Let i be (-547)/(-5) + 36/(-90). Let q = i + c. Which is smaller: -1 or q?
-1
Let f be (-3)/(-14)*-2 - 3766/(-8330). Which is smaller: 1/4 or f?
f
Let o = 40 - 35. Let v = o + -13. Let i(g) = -4*g - 28. Let w be i(v). Is 5 less than w?
False
Suppose -37 = 2*a + 11. Let u = 447 - 472. Is u less than or equal to a?
True
Suppose 0 = -16*r + 21*r + 5. Which is greater: r or -6/143?
-6/143
Let y = 80 - -279. Is y at most as big as 359?
True
Suppose 0 = -l - v, l + 5*v - 2 + 14 = 0. Let o = 4 - 7. Let r be -13 - (l + o + -2). Is -11 smaller than r?
False
Let n(q) be the third derivative of -q**5/60 + q**4/3 - 5*q**3/2 - 22*q**2. Let w be n(5). Let r = 0.23 - -0.07. Does w = r?
False
Let v be 187/9 + 2/9. Suppose 5*g = 4*r - 15 - 2, 0 = 3*g + 3*r + v. Let f = -7 + 3. Do f and g have different values?
True
Let n be (-1)/(1/(-1)) - 1. Suppose 6*f = -n*f + 6. Is f >= 2/101?
True
Suppose 9 = -3*c - 3. Let g be ((-88)/(-40))/(c/(-5)). Let u(n) = -n**3 - 10*n**2 - 8*n + 12. Let l be u(-9). Is l > g?
True
Let p(z) = 6*z. Let o be p(1). Suppose 5*i + m = -2*m - 566, 4*i + 440 = 4*m. Let s = i + 118. Do s and o have different values?
False
Let m(i) = -i + 14. Let f be m(14). Suppose -5*r + 3*r + 32 = f. Does r = 16?
True
Let m = 9/4 + -135/4. Which is greater: m or -32?
m
Let x = -1124/11 - -102. Let i = -124.1 + 118. Let o = i - -7.1. Is o bigger than x?
True
Let n = -5 - 2. Let h = 5.9 + n. Let d = h + 1. Do d and -3 have the same value?
False
Let x(p) = 21*p**2 - 4*p - 8. Let l be -4 - (-3 - 3 - -4). Let i be x(l). Is 85 at most as big as i?
False
Let s be 26/4 + -5 + -1. Is 236 != s?
True
Let o = 0.32 + -0.02. Let l = 20.8 + -21.2. Is l < o?
True
Let h(z) = -38*z**3 - 4*z + 13. Let a be h(2). Are -299 and a non-equal?
False
Suppose 0 = -q - y - 6, -8 = 2*q - 2*y - 0. Let h be (-36)/9 - (-68)/18. Which is bigger: q or h?
h
Let s be (-1 - -2) + -1 - 5. Let c(i) = -11*i + 18. Let d be c(2). Which is smaller: d or s?
s
Suppose 11*u + 418 - 385 = 0. Let g be (-2)/3 + (-2)/(-3). Is g greater than u?
True
Let q be 339/(-791) + (-88)/7 + 0. Is -62/5 at most as big as q?
False
Let v = -0.0313 + 0.3313. Are -1 and v non-equal?
True
Suppose -15*x - 208 = 11*x. Let l(g) = g + 1. Let a be l(1). Which is greater: x or a?
a
Let h = 37 - 37. Suppose h = -2*x - 17 + 13. Which is smaller: x or -13/6?
-13/6
Let t be 3/3 - (-7)/(-4). Suppose -1 = 7*l + 13. Are t and l equal?
False
Let g(d) = d**2 + 2*d - 3. Let q be g(-3). Suppose -210 = c + 4*c. Let m be (4/c*(-297)/(-11))/2. Which is smaller: m or q?
m
Let n = -2662 - -122457/46. Which is bigger: 1 or n?
1
Let a be (-1)/(-3) + (-1694)/42 + -1. Is -39 > a?
True
Let j = -7031 + 7022. Let l(d) = d + 8. Let x be l(-6). Suppose -3*r - 40 = x*r. Which is smaller: j or r?
j
Let w be 0 + 4/((-24)/9). Is w smaller than 1/5?
True
Let u = -971 - -986. Let n be 54/4 - (-2)/(-4). Suppose -3*s = 3*