be s/(-6) + 6/9. Let f = 11 - a. Is 5 > f?
True
Let j = -8 - -8. Suppose -4*p + p = j. Which is greater: p or -2?
p
Let a = -1.9 + 2. Let b = -6 - -5.86. Let w = -0.06 + b. Is w <= a?
True
Let j = -3 - -1. Let i(r) = -r**2 - r + 1. Let m be i(j). Let k be ((-1 + -7)/2)/9. Is k < m?
False
Let g = -1.1 - 4.9. Let z = g - -1. Let a = 5 + z. Is 3 smaller than a?
False
Let g be ((-2)/16)/(15/(-6)). Which is greater: g or -1?
g
Suppose -4 = 4*p - 0*p. Let m be 6/9*-1 - p. Let b = 7/15 - m. Which is bigger: b or -1?
b
Let a = -20 + 22. Let w = 9 + a. Which is greater: 1/3 or w?
w
Let v = 0 - 0. Suppose -4*i - 5*b = -27, v + 15 = 4*i + b. Suppose 5*m = -i*c, m = 4*m + 2*c. Which is smaller: 1/5 or m?
m
Let q = -18/23 - -815/1012. Let r = q - 47/132. Is r at most as big as -0.08?
True
Let r = 39 - 39.09. Is r equal to 2?
False
Let g = -65727 - -31746185/483. Let y = 1/21 - g. Are y and 1 equal?
False
Let y = -210 - -208.89. Let v = 0.11 + y. Which is greater: v or 0.09?
0.09
Suppose -2 = -2*t + 2. Suppose -3*c + u = -1, -3*c - 7 = t*u - 23. Let q(k) = k**3 - 5*k**2 + k - 2. Let p be q(5). Which is smaller: p or c?
c
Let c = -10 + 11. Let z be (-1 + c)/(4 + -2). Let t be 1 + -2 + (-1 - -1). Which is bigger: t or z?
z
Let z = 7.97 - -0.03. Let s = z + -10. Which is smaller: 3/4 or s?
s
Let r(l) = -l**2 - 4*l. Let i be r(-4). Suppose i = w + w. Which is greater: -1 or w?
w
Let y = 7 + -15. Which is smaller: y or 1?
y
Let r = -10 + 14. Let i(d) = 4*d + d**3 - 5*d**2 + 4*d - 5 - 3*d. Let q be i(r). Is -1/8 less than or equal to q?
False
Let f = 108851/343096 + 2/42887. Let c = f + -5/26. Let z = -23 - -22. Is c < z?
False
Let f = -6.9 + 0.9. Let m = -5 - f. Which is smaller: m or 2?
m
Suppose -3*q = -2*m + 10 + 7, q + 4*m - 13 = 0. Suppose 4 - 20 = -s. Suppose -v - 3 = 2*v, -4*v - s = 3*u. Is q > u?
True
Suppose -5*s + 15 + 55 = 5*k, -5*k = -5*s + 50. Suppose -14*n = -s*n. Does 0 = n?
True
Let m = -3 + 3.07. Let c = m + 0.03. Which is smaller: c or 2/11?
c
Let f = -34.9 - -35. Which is greater: -0.03 or f?
f
Let o = -0.03 + 0.33. Let a = -4.5 + 4. Let v = a + o. Which is smaller: -2 or v?
-2
Let x be (2/5)/(17/(-1190)). Are -29 and x nonequal?
True
Let j = 15.7 + -12.7. Which is bigger: -4 or j?
j
Let f = -6/77 + 4/11. Let s = -15 - -16. Is f at most as big as s?
True
Let c = -0.2 + 0.1. Let b = c + 8.1. Let o = 8.2 - b. Are o and -0.3 equal?
False
Let i(v) = 69*v + 4. Let f be i(-4). Let z be ((-60)/f)/(2/2184). Let d = z + -241. Is d smaller than 1?
True
Let x(c) = -c - 12. Let v be x(-11). Let f be -2*(-2)/4*v. Is -1/16 less than f?
False
Let w = 323/7 - 46. Let q = -0.08 + 0.19. Let k = q - 0.11. Is k at least w?
False
Let b = 991 - 131804/133. Which is bigger: 0 or b?
0
Let t(p) = -p**2 + p - 3. Let m be t(0). Which is smaller: -4 or m?
-4
Let m(c) = c**3 + 5*c**2 + 4*c + 2. Let j(v) = v**2 - 7*v - 4. Let l be j(7). Let z be m(l). Let b = z + -4. Which is smaller: b or -1?
b
Let q = 67/3 + -22. Do q and 0 have different values?
True
Let j = -11 - -16. Let q be j - 3 - (0 - -4). Which is greater: 0.9 or q?
0.9
Let u(x) = x**2 + 6*x - 6. Suppose -3*d = -d + 14. Let y be u(d). Let p = -3 - -4. Is p at most y?
True
Let q be 6/45 + (-48)/225. Is q < 1?
True
Let q(v) = 5*v + 5. Let j(w) = -w - 1. Let r(k) = 6*j(k) + q(k). Let x be r(-1). Is -2/37 at least as big as x?
False
Let p = -793 - -5561/7. Suppose 0 = -0*q + q. Are p and q nonequal?
True
Let a = 30 + -3. Suppose -4*m + 25 = -a. Do m and 12 have different values?
True
Let i(x) = x**3 - 5*x**2 - 7*x + 8. Let v be i(6). Let k = 10 + -7. Let n = k - 2. Is n smaller than v?
True
Let c = 5/2 - 2. Let u = 0.3 - -0.7. Which is bigger: u or c?
u
Let a = 37 - 38. Which is greater: a or 12/13?
12/13
Suppose -7*u = -28 - 210. Which is bigger: 33 or u?
u
Let s be 1/(-3 - -1)*2. Let z be 9/(-15) + (-4 - -5). Is s > z?
False
Let j = -1 + 2. Let d = -0.146 + 0.076. Which is smaller: d or j?
d
Let o be (-4)/10 - 62/(-30). Let x = -39 - -41. Are o and x equal?
False
Suppose -2*d = 4*c + 14, 2*c + 2*c - 7 = 5*d. Let y = 2 + 2. Let w(k) = k**3 - 4*k**2 - 4. Let a be w(y). Which is greater: a or d?
d
Let d = 9 - 11. Let g = d + 2. Which is smaller: g or 3?
g
Let g = 6.3 - 1.3. Which is greater: -1 or g?
g
Suppose -r + 5*t = -6, -2*t + 47 = 4*r + t. Suppose 16*o = r*o - 5. Is o equal to 1/9?
False
Let w be ((-2)/(-5))/(2/30). Is w at least as big as 8?
False
Let n(s) = s**2 - 5*s + 4. Let x be n(3). Which is smaller: x or -2/5?
x
Let h = -41/36 + 5/4. Which is smaller: -1 or h?
-1
Let g be -22 + (-1 - (-4)/(-2)). Which is smaller: g or -24?
g
Let f = -21 - -22. Which is bigger: f or 15?
15
Let h = -1 + 2. Let u = 5/3 - 7/6. Is u != h?
True
Let m be 52/(-16) + (-2)/(-8). Does m = -5?
False
Let q = -1.31 - -1.23. Is 1/4 at most as big as q?
False
Let l = 9 - 0. Is l < 11?
True
Let t be (-18)/(-4)*(-8)/3. Let q = 13 + t. Is q less than 6/7?
False
Let t be 0*(-2)/8*2. Suppose -3*k = -4*k + 3. Which is smaller: k or t?
t
Let j(a) = a**3 + 4*a**2 + a - 1. Let i be j(-3). Let d be (-1)/(-1)*(3 - i). Let s be d/6 + 3/9. Is 0 < s?
False
Let u = 1.3 - -0.7. Let h = 1 - u. Is h bigger than -3/8?
False
Let w(f) = f**2 - 16*f - 23. Let s be w(17). Which is greater: s or -4?
-4
Let j = -1 - 6. Is -7 >= j?
True
Let d(i) = -i**2 - 10*i - 4. Let w be d(-9). Suppose 39 - 14 = 2*z - w*l, -5*z + 80 = 5*l. Is z at least as big as 14?
True
Let m = 36 + -38. Are 1.4 and m unequal?
True
Let k(m) = -m**2 - 4*m + 13. Let q be k(-6). Which is greater: -10/7 or q?
q
Let a = 11 - 20. Is 0.1 < a?
False
Let k = 246/377 + -10/29. Which is smaller: k or 1?
k
Let d be 2 - 2 - (-4)/10. Let s = 213 - 214. Is d smaller than s?
False
Let w be ((-5)/2 + 3)/((-9)/(-18)). Which is bigger: 1/172 or w?
w
Suppose 0 = -5*b + z - 1 - 18, 0 = -4*b - 3*z. Suppose s = 3*n + 16, -2*n - 8 + 4 = s. Let r = s + b. Is r greater than 2?
False
Let f be (3/(3/4))/2. Let g be ((-3)/f)/(3/(-6)). Suppose -2*j = -2*w - 2, -w - 3 = -3*j - g*w. Which is greater: j or 0?
j
Suppose 3*v - 4*g = -v - 8, g - 2 = 4*v. Let i be (-119)/(-39) + v + -3. Is i greater than 0?
True
Let g be (0/(-2))/(1/(-1)). Suppose -3*q = -4*q + 2*x + 13, 3*q + 2*x + 1 = 0. Let j = q + -2. Is j equal to g?
False
Let w(b) = -29*b + 1. Let h be w(5). Let y be ((-2)/4)/(8/h). Is 17/2 smaller than y?
True
Let l = -0.22 - -0.19. Which is bigger: -1 or l?
l
Let f be -8*2/(-16)*-92. Is f at most 1?
True
Let d = 146589 - 10554203/72. Let z = d - 21/8. Which is smaller: z or -1?
-1
Let n = -1 - -7. Let s be n/(-2)*1 + 0. Is s at most as big as -2?
True
Let r(x) = 2*x**2 + 25*x - 10. Let d(t) = -3*t**2 - 38*t + 15. Let v(a) = 5*d(a) + 8*r(a). Let n be v(-11). Which is smaller: n or 7?
n
Let x = 40 - 19. Is 0 equal to x?
False
Let j = 0.3 + -0.3. Let q = -1 + 1.4. Which is bigger: j or q?
q
Let k = 74 - 73. Which is greater: k or -18?
k
Let l = -51 - -31. Which is bigger: l or -21?
l
Let s(c) = 2*c - 7. Let i be s(7). Let j be 27/(-21) - (-2)/i. Let h = j - 0. Which is smaller: h or 1/8?
h
Suppose 0 = 2*f + 4*b - 22, -b - 32 = -4*f + 3*b. Let g be (-19)/24 - (-6)/f. Is g less than or equal to 1?
True
Let t be ((-10)/9 + 1)*2. Let p = -315.1 + 303. Let k = p - -12. Is k less than or equal to t?
False
Let i = -1 - -2. Let l = 131.85 + -135. Let r = -0.15 - l. Is i at most r?
True
Let n be (18/(-63))/((-1)/14). Suppose -n*f + 3*v - 19 = 0, 2*f + 4*v - 10 = 8. Which is bigger: -1/21 or f?
-1/21
Let k = -49 - -53. Is k at most 12?
True
Suppose -3*o - 2*h + 2 + 6 = 0, 4*h = -20. Let u be (-8)/(-126) - o/21. Are -1/3 and u equal?
False
Suppose 0 = -5*p + 3*u + 35, 3*p - 51 = 5*u - 14. Suppose m + 16 - 1 = p*f, 4*f = 2*m + 10. Suppose f = r + 5*q, 5*r = -3*q + 1 + 2. Which is greater: r or -1?
r
Let b(g) = -g**2 - 7*g - 8. Let r be b(-5). Is r smaller than 17/8?
True
Let n = -1.9 - -2. Let j be (-23)/77 + 6/21. Let r = j - -81/308. Which is bigger: r or n?
r
Let q be 3 - ((-69)/(-21))/1. Is -1 at least q?
False
Let w = -21 + 34. Which is greater: 12 or w?
w
Let k be ((-16)/3)/((-24)/(-36)). Is -4 at most as big as k?
False
Let z be 2/(-6) + (-2)/(-6). Suppose z = 2*n - 4 - 0. Suppose 0 = n*c - c + 5. Are c and -5 equal?
True
Suppose 16 + 12 = -2*w. Let y be 4/w - (-27)/21. Let l = 3 - 3. Is y > l?
True
Suppose 0 = 2*r + 4, -