maller: -9 or q?
-9
Let f be 4/(-12)*(-2)/(-14)*-594. Is 28 < f?
True
Let p = 59 - 57. Let s(n) be the first derivative of -n**4/4 + 2*n**3/3 - n**2/2 + n - 1. Let o be s(p). Is o at least as big as -3/2?
True
Suppose 59*o = -1312 - 399. Are o and -55/2 unequal?
True
Let n = 13957312/811 - 17210. Which is greater: n or -1?
n
Let o(j) = -22*j + 116. Let x be o(-7). Which is smaller: x or 271?
x
Let p = -0.9 + 2.9. Let q = 2 + 3. Suppose -3 = -q*o + 27. Which is greater: o or p?
o
Suppose 2*j - 6 = 2. Let a = 3/4420 - 7117/66300. Let s = 1007/300 + a. Is j < s?
False
Let k = -1665 - -1667. Which is smaller: k or 16/7?
k
Let k be ((-609)/435)/(12/(-10)). Let b be ((-2)/(-3))/(30/(-27)). Is k at least as big as b?
True
Let v(x) = 28*x. Let k be v(6). Suppose -3*y - k = y. Let t be 8/(-20) - y/5. Which is smaller: t or 6?
6
Let r = -1709.173 - -1709. Which is bigger: r or -1/12?
-1/12
Suppose 0 = 5*w + 89 - 74. Is -7/2 less than or equal to w?
True
Let p be 7 - 1 - (-8)/40*-80. Which is smaller: -60/7 or p?
p
Let u = 49 + -32. Suppose 0 = -u*d - 0*d + 4*d. Which is bigger: 83 or d?
83
Suppose 4*n - 2*v + 15 = -3, -5*n - 3*v = 6. Is 2 <= n?
False
Let q be 3/2 + 18/36. Suppose -x = -5*m, -4*x - 7 = -q*x - 3*m. Is -9 >= x?
False
Suppose -5*i + 4*u = -0*i + 61, 0 = -2*i + 4*u - 34. Let p be 30/i*(-6)/4. Suppose -2*m - 3*c = c - 10, -c = 5*m - 25. Is m equal to p?
True
Let q = 51 - 54.1. Let d = q - -5.1. Let r = -56/15 + 22/5. Which is smaller: d or r?
r
Let i = 118.9 + -108. Let f = 12 + -1. Let s = i - f. Which is bigger: s or -0.2?
s
Let c = 197 - 99. Suppose 2*w - 6 = 0, 4*w = 5*p + 9 + c. Which is smaller: -18 or p?
p
Let b be 20/(1200/246) - (1 + (4 - 0)). Let n(a) = a**3 - 2*a**2 - 4*a + 2. Let c be n(3). Which is smaller: c or b?
c
Let r = -99 - -121. Suppose 0 = -5*h - 10, 0*h - 42 = -2*s - h. Is s bigger than r?
False
Let i = 255 - 254.95. Which is smaller: -73 or i?
-73
Suppose 5 = -2*w - 3*u, 35 = 4*w - 2*u - u. Suppose -8 + 23 = w*y. Suppose 0 = 3*v, y*m = -2*m + 5*v - 5. Which is greater: m or -3/8?
-3/8
Let q be (-3)/(-6)*2 + 4. Let k(p) = 14*p. Let f be k(q). Let v be ((-7)/(f/(-4)))/2. Are 0 and v unequal?
True
Let u be 21/23 + 72/828. Is u at most as big as -10?
False
Suppose 4*a - 60 = -2*a. Let b be (2 + 0)*75/a. Which is smaller: b or 12?
12
Let p(k) = 2*k**2 - k**3 - 8*k**2 + 0 - k - 5 + 0*k**3. Let m be p(-6). Suppose 3 = -o - m. Which is smaller: o or 1?
o
Suppose 3 = 3*v + n, -v - 9 = -0*v - 3*n. Let s be (10/(-75) + (-163)/(-1260))*2. Which is smaller: v or s?
s
Let u be 3 + 460/15 + (-2)/(-6). Let i = u - 29. Is i less than -0.3?
False
Let d(l) = l**2 - 7*l + 6. Let t be d(8). Is 15 bigger than t?
True
Let v be (-4)/249*48/256. Which is bigger: v or 1?
1
Suppose -4*h + 56 = f, -3*f - 15 = -h - 1. Let o be (-309)/21 + 1 - 4/h. Which is greater: o or 1/5?
1/5
Let s(j) = -j**3 - 2*j**2 + 2*j + 3. Let b be s(-3). Suppose -3*r - b = -r. Which is bigger: r or 2?
2
Let t be (0 - (-45)/(-9))*64/5. Which is bigger: t or -62?
-62
Suppose 5*f - 5*x = -1580, -3*x - 61 + 1639 = -5*f. Is -316 >= f?
False
Let m be 98/(-777)*11/3. Let v = m - -2/111. Let o = 1 + -1. Which is greater: o or v?
o
Let o = 16 - 19.3. Let s = -0.3 - o. Is s at most -4?
False
Let u be -1*(-3 - (32 + -3)). Let p be 30 + -5 - (-6 + -7 + 7). Which is bigger: u or p?
u
Suppose -647 = h - 650, 3*h - 18 = -3*j. Let s(d) = 2 - d - 4 + 3. Let v be s(-4). Which is bigger: j or v?
v
Suppose -4*g - z = 4*z + 108, 2*g - 3*z = -76. Let u = -33 - g. Is -12/13 equal to u?
False
Let d be 1/5 - (357/(-85))/(-21). Is 5/27 smaller than d?
False
Let t be ((-288)/(-5952))/(15/52). Which is bigger: t or -1?
t
Let l = 1.5 + -0.5. Which is greater: l or -1/108?
l
Suppose -3*t - t = -3*z - 290, -3*t = -6. Which is bigger: z or -93?
-93
Suppose -6*u - 18 = -4*k - 4*u, 0 = 4*u + 20. Suppose -k*z + 11 = 1. Which is smaller: z or 7?
z
Let y = -353/14 - -51/2. Let q = 4 + -7. Let g = q - -2. Which is bigger: g or y?
y
Suppose 44*k - 45*k + 10 = 0. Which is smaller: 47/5 or k?
47/5
Let y be 33320/1274 - (-3)/((-39)/2). Let p(l) = l**3 + 7*l**2 + 6*l + 1. Let a be p(-4). Which is greater: y or a?
y
Let a = 13/660 - 3997/269940. Suppose -5*t - 10 = -10. Which is smaller: a or t?
t
Suppose -i - 2*c = -46, -2*i + c + c + 74 = 0. Let k = -57 + i. Is k at least -15?
False
Let o = -1 - 2. Let d = -160 + 143. Let a = -24 - d. Which is greater: a or o?
o
Let x = 0 + 1. Let r = 159 - 99. Let l be (r/115)/6 - 0. Which is smaller: l or x?
l
Let d = -108 - -52. Let a = d - -52.7. Do a and 2 have different values?
True
Let p = 2950 - 1565. Is 1386 not equal to p?
True
Suppose -17 + 47 = 6*s. Suppose -84 = 3*k + 3*b, 5*k - s*b - 74 = -174. Which is bigger: 2/7 or k?
2/7
Let v be 5075/462 - 5 - 6. Let q = -4 + 5. Which is smaller: q or v?
v
Let m = 0.06 - 5.06. Let k = m + 3.7. Which is smaller: k or -2/7?
k
Let j(l) = -2*l - 10. Let q be j(-7). Suppose -q*n - 2*i - 15 = i, 0 = 2*n - 3*i + 21. Is n >= 2?
False
Let x = -2.5 - 7.5. Let z = 9.5 - 0.5. Let y = z + x. Is -0.1 <= y?
False
Let z = -5327/2385 - -3/265. Let m = 2.3 + -2.2. Which is smaller: m or z?
z
Let w = 59 + -44. Suppose 95 - w = 4*q. Which is greater: 18 or q?
q
Let v = 78 + -85. Let s(l) = l**3 + 7*l**2 - 4*l + 11. Let y be s(v). Is 39 smaller than y?
False
Let d = -13.6 + 13.562. Let y = d + 0.338. Let i = 2/77 - 85/308. Is y > i?
True
Let z = 9 + -7. Let h = 358 - 379. Which is smaller: z or h?
h
Let a(l) = l**3 - 5*l**2 - 4*l - 5. Let c be a(6). Let u = 2/4167 - -212503/29169. Do c and u have the same value?
False
Let u = 17261/3040 + -108/19. Let x = 26 - 26. Do x and u have different values?
True
Let y be (-6)/(-7) + 234/81. Let g = 128/133 - -74/19. Let f = y - g. Which is smaller: 0 or f?
f
Let j = 219 + -198. Which is smaller: 10 or j?
10
Let z be (2 - (-24)/(-9)) + 1 + -7. Are -7 and z equal?
False
Let u(h) = -4*h - 4. Let y be u(-4). Let t(f) = -f**2 - 3*f + 21. Let p be t(-6). Suppose 0 = 2*o + p*d - 4, 4*d = -4*o - 0*d + y. Which is greater: o or 15/4?
o
Let y = -2306 - -2237. Which is smaller: y or -68?
y
Let s(x) = -x + 6. Let j be s(-1). Suppose -4*b + 4*p + 56 = 0, p = -4*p - 25. Which is bigger: b or j?
b
Let l(v) be the first derivative of -v**2/2 + 8*v + 11. Suppose 0 = 4*m + 5*q - 6 - 7, -4*m = -3*q - 37. Let b be l(m). Which is smaller: b or -1/7?
-1/7
Let n = 3088/695 - 6/139. Let b = n - 196/45. Let m = -49/90 + b. Which is smaller: m or 3/4?
m
Let f be ((-16)/(-6) - -1) + 100/(-150). Is -2 <= f?
True
Suppose o - 30 = -4*o. Let s(i) = -i**3 + 5*i**2 + 5*i + 5. Let h be s(o). Let q = -4525/13 + 348. Which is smaller: h or q?
h
Let h be ((-2)/21)/((-72)/39 - -2). Let f be ((-2)/7*53)/(-24). Let s = f - h. Which is greater: -0.1 or s?
s
Suppose -c - 3 = -4*c. Suppose c = b - 2. Suppose 20 = 4*d - u + 4, 4*u + 25 = b*d. Which is smaller: d or 2?
2
Let b = 1190 - 1184. Is 56/11 < b?
True
Let h = -137 - -142. Suppose h - 18 = -13*s. Is -1/62 < s?
True
Suppose -5*n + 6*n - 61 = 0. Which is smaller: 60 or n?
60
Let i = 1602 + -1587. Is i >= 6/17?
True
Let i = -546 + 607. Is i bigger than -12?
True
Suppose 30 = -6*r + 42. Suppose 13*o = 11*o - r. Is o greater than or equal to 6/41?
False
Suppose 40 = 3*h - 7*h. Let z(w) = w - 3. Let d be z(-6). Which is bigger: h or d?
d
Let n = 1514 - 1517. Is -76/25 bigger than n?
False
Let o be (-2908)/(-35) - 6/21. Let b(v) = -v**3 - 11*v**2 + 10*v + 26. Let r be b(-11). Let q = o + r. Which is smaller: 1/2 or q?
q
Let o = 23 + 17. Let w = o + -52.1. Let y = w + 12. Which is smaller: y or -9?
-9
Let y(r) = 4*r - 24. Let n be y(7). Let w = 7 - n. Suppose -10 = a - w. Are -3 and a equal?
False
Let k(b) = b + 16. Let j(g) = 4*g - 9. Let m be j(3). Suppose 2*a + 27 = -3*x, -a = -m*x + 3 - 12. Let z be k(a). Is 9 != z?
True
Let x = 17 - 56. Let l = x + 42. Do -8 and l have different values?
True
Let d be (-10)/8 - (-141)/94. Which is bigger: 28 or d?
28
Let f = -887 + 894. Is f at most as big as 7?
True
Let l = 187 - -88. Which is smaller: l or 276?
l
Let q be (-1 + 8/(-2))*6/1185. Suppose -61*u - 2 = -63*u. Which is smaller: q or u?
q
Let l(m) = -m + 5. Let o be l(5). Let c(w) = -2*w + 34. Suppose 9 = u - 8. Let d be c(u). Is o less than or equal to d?
True
Let q = -992 + 1018. Let s be 2/10 + 