et s be o(11). Let z = s - 548/5. Which is smaller: m or z?
m
Suppose 0*b - 5*b - 30 = 0. Is b less than or equal to -82/11?
False
Let t be ((-52)/30)/((-107)/(-321)). Suppose 5*a - 2*a = -15. Are t and a nonequal?
True
Let z = -138 + 139. Which is bigger: -1 or z?
z
Suppose -3*n = -3*r - n + 9, 9 = 3*n. Suppose -r*y - 7 = -2. Is -1/58 less than y?
False
Let x = -124.7 - -119. Let a = -5.8 - x. Do -1/26 and a have different values?
True
Suppose 11*o - 15 = 16*o. Let d = o + 9. Are d and 6 equal?
True
Suppose 4*g - 4*c - 32 = 0, -1 = -5*c - 16. Is g smaller than 29/5?
True
Suppose -2*k + 9 = -61. Suppose 4*v - k = -2*r + 5*r, -2*v = -4*r - 30. Suppose -v*y = 44 + 76. Is -24 less than or equal to y?
True
Let k be 86/(-12) - (35 - 43). Is k > 32?
False
Let s = -9 + -9. Let l = 15 + s. Let o = l - -3. Are -7 and o non-equal?
True
Suppose 3*l = 2*a - 9 - 6, -4*l - 3*a - 37 = 0. Let i = 1/34 - -65/102. Is i bigger than l?
True
Suppose 4*v = 4*c - 28, 0 = -0*c - 2*c + 4*v + 8. Let g = -1602/5 + 320. Which is smaller: c or g?
g
Let r = -7 - -7. Let n(v) = v**3 + 7*v**2 + 5*v - 3. Let m be n(-6). Suppose -z = -m*g - 7, g + 4 = -0*z + 2*z. Is r at least z?
False
Suppose -5*x - c - 7 = 0, 0*x - 5*c - 8 = -2*x. Let w(a) = -a**2 - 7*a. Let r(i) = i**2 - 6*i + 2. Let g be r(3). Let h be w(g). Are h and x non-equal?
True
Let b be 1 - (-2 + -2)/(-4). Let d(h) = h - 4. Let i be d(4). Suppose -4*u - 16 = 2*s, i = -0*s - s - 5*u - 20. Is s < b?
False
Let f(t) = t**2 - 10*t + 2. Suppose 0 = -3*z + 7 + 23. Let c be f(z). Let u be 2*(5/c - 3). Is 2/41 >= u?
True
Let v = 4/5905 - 8937/4475990. Which is smaller: -1 or v?
-1
Let a = 298 + -261. Which is greater: 0.4 or a?
a
Let x be (-1)/(-2) + (-61)/2. Let q = -10 - x. Suppose 2*s = 6*s - q. Is s less than or equal to 5?
True
Let b(h) = -h**2 + 18*h - 18. Let u be b(17). Let i = 8 - 6. Let x = i + -2.2. Which is smaller: u or x?
u
Let n(o) = o**2 - 40*o - 34. Let v be n(41). Is v greater than -1/4?
True
Suppose -4*z = -9*z - 2*o - 1071, 4*o = 3*z + 653. Let x be 4/18 + z/(-45). Suppose 2*m + 2*m - 28 = -x*v, 14 = m + 3*v. Is 3 at most as big as m?
False
Let l be ((-4)/(-4))/(2/(-132)). Let q = l + 338/5. Let i be 8/14*(-63)/(-18). Is q at most as big as i?
True
Let x = -2.1 + 2. Let m = 0.2 + x. Let b(y) = -2*y**3 + 63*y**2 + 97*y + 61. Let v be b(33). Is v greater than or equal to m?
False
Suppose -3*q - 2*a = q + 2, -2*a = 5*q + 2. Let b(h) = h**3 + h**2 + 2*h. Let r be b(0). Is r less than q?
False
Let j = -15 - -19. Suppose -4*f + 5*f = j. Suppose -i + 2 = -f*p, -i - 4*p = -p + 19. Are -9 and i equal?
False
Let h(c) = c**3 - 10*c**2 + 31*c - 33. Let t be h(6). Which is smaller: 9.5 or t?
t
Let z = 20 + -13. Suppose z*x - 15 = 2*x. Let s be (-1)/(-7)*(1 - x). Does 2 = s?
False
Let p = 1.9 - -2.7. Let k = p - -3.4. Which is smaller: 1 or k?
1
Let g be ((-3)/(-4))/((-1)/(-4)). Suppose -21*i + 59*i = 152. Suppose -g = i*x - 7. Which is bigger: x or -2/7?
x
Let x be (5/(-20)*-2)/43. Let s be (-4)/12*-3 + -2. Which is smaller: s or x?
s
Let k = -30382/5 - -6287. Is k less than 211?
True
Let n = 293/2 + -142. Let m = 5 - n. Let h = 1 - 0. Is h smaller than m?
False
Let r = -28 - -26. Let n be ((-12)/27)/(r/3). Is n at least -4?
True
Let z = 144.4 + -144. Let o be (-27)/(-5) + (-4)/10. Which is smaller: o or z?
z
Let x be (16/(-10))/(1/(-5)). Let w be 18 - (2 + 1/1). Let m = -8 + w. Which is smaller: x or m?
m
Let v be 12/30*(-25)/4 + 4. Let f be 10/7 - 64/(-112). Which is smaller: v or f?
v
Let a be ((-176)/36 - -4) + 2/9. Let y(u) = -3*u - 7. Let v be y(-6). Let n = 3 - v. Which is bigger: a or n?
a
Let n be ((-15)/(-3))/10*0. Let m be (-7)/(-9) - (-9 - -10). Is m bigger than n?
False
Let o(d) = -d**3 - d**2 + d + 11. Let z be o(0). Suppose z = 2*b + 5. Suppose -3*i - 5*f = -15, 0 = -b*i - f - 3*f + 12. Which is smaller: i or -1/20?
-1/20
Let l(m) = m**3 - 2*m**2 - 36*m + 119. Let w be l(3). Let h(k) = 10*k + 1. Let o be h(2). Which is greater: o or w?
o
Let a = 290.9 + -274. Let y = a + -17. Is -1 at most as big as y?
True
Suppose l = -13 + 30. Let u = 44 + -26. Which is smaller: l or u?
l
Let a = -20499/83 + 247. Which is smaller: 1 or a?
a
Let c(h) = -h**3 + h**2 + h - 2. Let u = -13 + 18. Suppose -5*o + 25 = -2*o - 5*q, 2*o + q = -u. Let x be c(o). Is -2 greater than or equal to x?
True
Suppose 59 = 2*m + 2*i - 5*i, -2*m = -5*i - 69. Let u be (-6)/(-33) + (-246)/m. Let r = -11 - u. Which is smaller: r or 2/13?
r
Let c be ((-6851)/(-130))/17 + (-2)/(-2). Is c != 5?
True
Let l(j) = j**2 - 11*j + 17. Let i be l(9). Do i and -6/49 have different values?
True
Let m = 9 + -41. Let t = m + 32. Does 25 = t?
False
Let c = -293 + 433. Let a be (c/16)/(1/4). Let m be 1/4 - a/108. Which is greater: m or -3?
m
Let j be 0/((-20)/(-4) - 4). Suppose -8*m + 11*m - 6 = j. Suppose -m*b - 2*b = 4. Is b greater than or equal to -2/3?
False
Suppose -5*c - 23 - 44 = 4*l, l + c + 17 = 0. Is l greater than -19?
True
Let j be 4*(-12)/(-16) + (-290)/(-2). Suppose 14*n - 10*n - j = 0. Which is bigger: 38 or n?
38
Let c be 91/(-7) - (3 - 16). Which is smaller: 1/2728 or c?
c
Suppose 5*t - 4*d = 12, -2*d = -4*t + 3*d + 15. Which is greater: t or -2/309?
t
Suppose 0 = a - 4 + 3. Let p = 15 + -9. Let v be (p/10)/(8 + 94/(-10)). Do v and a have different values?
True
Let l = -166 + 2655/16. Let q(g) = -g**2 + 20*g + 35. Let p be q(19). Let h = p + -53. Which is bigger: h or l?
h
Suppose -28 + 4 = 3*v. Let a = -6.6 + 7. Let z = a + -1.4. Is v equal to z?
False
Let m = -1 + -89. Which is smaller: m or -88?
m
Let x be 4/(-14) - (-48)/21. Let m(k) = 3*k**3 - 3*k + 2. Let r be m(x). Is 21 greater than or equal to r?
True
Let r = 756 - 756. Do r and 1/34 have different values?
True
Suppose f - 2*f - 4*m + 10 = 0, 2*f = 2*m - 30. Let h be (-2)/(-4)*(0 + -6). Let j be 8/h*(-360)/(-96). Is j >= f?
True
Let s be ((-10)/20)/(15/(-18)). Which is bigger: s or 2?
2
Suppose 13*q = 11*q - 6. Let w be q*(9/15 + 2/5). Which is smaller: w or -20?
-20
Let o be (-30)/(-4)*(-12)/9. Let z be (6 - 104/20)/(19/o). Is -1 at least as big as z?
False
Suppose 4*u + 2*a - 196 = 0, -2*u = 5*a - 94 + 4. Is u at most -1?
False
Suppose -15 = 2*x - 5. Let c be 1 + 16/x + 3/15. Is c at most as big as -0.36?
True
Let i be 8/(-44) - 21165/(-2849). Let m = -25/37 + i. Is 8 at least m?
True
Suppose -4*b - 5*j - 173 = 246, 5*j = b + 136. Let i = b + 1003/9. Suppose 0 = -4*v - v. Is i not equal to v?
True
Suppose 7*f - 3*i = 8*f - 16, 3*i = 3*f + 12. Which is greater: f or -6/301?
f
Let r = -10 - -18. Suppose 0*i = -3*i + 5*j - 4, -4*j = -r. Let a = -3 + i. Which is bigger: a or 2/7?
2/7
Let b(h) = 2*h**3 + h**2 + 8*h + 16. Let k be b(-7). Which is smaller: k or -676?
k
Let o(x) = -25*x - 81. Let n be o(-5). Which is greater: n or 47?
47
Let w = -0.061 + -0.299. Let i = w - -0.16. Is 1.6 at least as big as i?
True
Let a(u) = u**2 + 24*u - 80. Let i be a(-27). Is -1/312 greater than i?
False
Let o be -1 + -3 + 178/3. Let w = 56 - o. Let t be 4/22*(-2)/4. Which is bigger: t or w?
w
Let o = 23.6 - 39.5. Let j = o + 15. Let i = j + 1. Which is bigger: i or -0.1?
i
Let q = 18983/15 + -1266. Let o = -3988/15 - -266. Let y = o + q. Which is greater: y or -1?
y
Let p = -0.58 - -15.58. Let a = p + -15. Is 55 < a?
False
Let d = -204 - -203. Is -58 at least as big as d?
False
Suppose -3*a - 2*z - 2 = -z, a - 3 = -4*z. Let v be 2 + -1 - (9 - (-11104)/(-1392)). Which is greater: v or a?
v
Let l(s) = 2*s**2 - 24*s - 44. Let f be l(13). Which is bigger: -23 or f?
f
Let v = 433 + -424. Is 11 < v?
False
Let d = -80 + 37. Let x = -1.377 + 1.277. Which is smaller: d or x?
d
Suppose -w = n, -2*w = 2*w - 4*n. Is w bigger than -3?
True
Let m be (-6)/2 + (-3 - 4)*1. Let r be -2 - (58/(-10) + 4). Which is greater: m or r?
r
Suppose 0 = -5*d - 54*k + 55*k + 766, -d + k = -150. Is 153 at most d?
True
Suppose 3*q - 9*q = 60. Let l(u) = -2*u - 17. Let o be l(q). Is o at least 5?
False
Suppose 62 + 76 = 3*t. Let j = 25 - t. Let b be 1/(12/j - 0). Is -1 less than b?
False
Let n(v) = 3*v - v**3 - 2 + 3*v**2 - 4*v + 6*v. Suppose -2*y - 3*l = 4, -5*y - l = 2*l - 8. Let j be n(y). Do 1 and j have different values?
True
Let m be 2/(-8) + (-9)/12. Let z be 0 - (m - (-4 + 7)). Suppose 0 = z*w - 7 - 33. Is w at most as b