 18 - 8 = 10*q. Which is smaller: -6/43 or q?
-6/43
Let j(y) = -y**3 - 9*y**2 - 9*y - 5. Let s be j(-8). Suppose s*l = 3*b - 3 - 9, 4*l = 2*b - 6. Suppose -b*i + 4*i = 0. Which is smaller: i or -2/29?
-2/29
Let x = 105/2 + -233/10. Is x less than or equal to 28?
False
Let g be 88/(-15 - -13) + (-2 - 2). Which is smaller: g or -50?
-50
Suppose 0 = f + 11 - 16. Suppose 3*t = -4*p + 32, -3*t = t + p - 21. Suppose -3*b = o - 0*o + f, -t*o - 9 = b. Are -1/14 and b nonequal?
True
Let z(j) = -j**2 + 26*j - 21. Let q be z(17). Suppose q - 18 = 3*r. Is 39 < r?
False
Let w(k) = -k**3 + 15*k**2 + 17*k - 13. Let q be w(16). Suppose 2*j - q*x + 9 = -j, 0 = 5*j + 3*x - 17. Is -2/7 bigger than j?
False
Let c(l) = 37*l + 185. Let t be c(-5). Does -1/108 = t?
False
Let d(i) = i**2 - 3*i. Let r be d(5). Let j = 24 + -21. Suppose -5*m = -4*x - 30, -j*m + x = -0*m - 25. Is m smaller than r?
False
Suppose 0 = 3*c - 4*j - 13, 3*c + 5*j + 2 = -21. Suppose -3*i = 2*i. Is i greater than or equal to c?
True
Let n = -14.5 - -2.5. Let m = n - -29. Let t = 16.5 - m. Which is greater: t or 0.2?
0.2
Suppose p + 2 = 4*o - 2, 0 = -2*o + 4. Let f be -4 + 1 + 13/p. Which is greater: f or 1.3?
1.3
Suppose 0*q = -q + 19. Let k be (-840 - -838)/((8/42)/(-2)). Which is smaller: k or q?
q
Let x = -382 - -444. Is x > 0.4?
True
Let t(c) = 4*c**2 - 2*c + 4. Let o be t(5). Let k(y) = y**2 + 72*y + 1247. Let h be k(-48). Is o greater than h?
False
Let p be (-8)/44 + 57*(-1)/(-11). Suppose -s + p + 18 = 0. Is s > -2?
True
Let l = 0.17 - 2.57. Let u = l - -0.6. Let x = u - -2. Is x equal to 0?
False
Let l = 244833/1705 + -718/5. Is 0 greater than or equal to l?
True
Suppose -206 = 5*o + 3*h, -6*h - 175 = 4*o - 7*h. Is o at least as big as -40?
False
Let b(z) = 3*z**3 - 11*z**2 - 3*z - 5. Let q be b(5). Which is greater: q or 78?
q
Let x = 872 - 57553/66. Let u = -6 + 5. Is u greater than or equal to x?
False
Let i be ((-72)/(-14))/((-6)/42). Is -33 > i?
True
Let o be (777/(-70) + 11)*-10. Let u be 42/4*(-2)/(-11). Is o at most u?
True
Let k be (9/(-6))/(2/4). Let o = -2 + k. Let s = -21/4 - o. Is s less than or equal to 0?
True
Suppose -z = -4*v - 2525, 5*z + 256 - 873 = v. Which is greater: -633 or v?
v
Let o = 83/180 - 1/60. Let n = -20.98 - -20.98. Which is greater: o or n?
o
Suppose 5*m - 47 = 2*k, 6*m - 5*m - k = 7. Suppose 10*y - 28 = m*y. Is -26 > y?
True
Let u = 1 - 0.98. Let o(b) = -2*b**2 - 32*b - 30. Let z be o(-15). Let d be z*3/(-12)*-1. Which is greater: u or d?
u
Suppose -2*u = -3*p, 0 = -5*p + 6*p - 5*u. Is -3/101 > p?
False
Suppose -6 = -4*n + v + 1, -5*n - 4*v + 35 = 0. Suppose 0 = -n*o - 0*o. Which is smaller: 1/11 or o?
o
Let o be 17/(-17)*3/3. Which is bigger: o or 4/15?
4/15
Let o = 8 - 2. Let f be 2/o + 9/54. Which is smaller: 0.22 or f?
0.22
Let a = -914762/33 + 27665. Let z = 55 + a. Suppose 8 - 6 = -2*u. Is z less than or equal to u?
False
Let n = 156 - 156.06. Which is greater: n or -0.05?
-0.05
Let f = 39.2 - 40.2. Is f != -280?
True
Let k = -427 - -408.3. Let q = k - -19. Suppose 0*b = -b - 1. Is q at most b?
False
Let n be 6/10*(879/(-3) + -12). Which is smaller: -181 or n?
n
Let m = -51 - -83. Let i = m + -27. Which is smaller: i or -1?
-1
Suppose 0 = 2*l - 93 + 15. Let p be ((-4)/6)/((-325)/l). Let j = p + -33/100. Is j equal to 0?
False
Let g = 275/8 + -37. Is g > -4?
True
Let t = -297 - -220. Let w = -16 + 16. Which is greater: w or t?
w
Let s be 0 + (-3)/((-6)/8). Let c = -1 - s. Let w = 5 + c. Which is greater: -6/5 or w?
w
Let b = 67409/87690 + -6/2923. Which is smaller: b or 1?
b
Let v = -16 - -8. Suppose 2*u = -5*d + 30, -2*d + 0*d = -5*u + 17. Let w be 2 + -1 - (d - -3). Which is bigger: w or v?
w
Let u = -257/399 + -3/133. Let h = -3/16 + -9/16. Which is smaller: u or h?
h
Let a be 3/63*(-203)/58. Which is greater: a or -0.05?
-0.05
Let f be (-18)/(-2) + 4/(-1). Let o(p) = -p**2 + 6*p - 1. Let t be o(f). Which is greater: 2 or t?
t
Let b be (0 - -1)/(13/(-169)). Let m(n) = -2*n**2 - 29*n - 35. Let g be m(b). Are g and 5 unequal?
True
Let u be 38/5 - (-45)/(-75). Suppose -5*f = 3*s - 59, -24 = -5*f - 4*s + 38. Is u at least f?
False
Let a = -2002 - -332333/166. Which is bigger: 0 or a?
a
Let a(k) = -k**2 + k - 2. Let o be a(2). Let j be ((-10)/o)/((-2)/(-16)). Suppose -5*z + z + j = 0. Which is bigger: 2 or z?
z
Suppose -448*a = -431*a - 357. Which is greater: a or 53?
53
Let g(x) = 2*x**2 + 22*x - 13. Let p be g(-11). Let c = -11 - p. Which is smaller: 1 or c?
1
Let q be ((-35)/(-4) + -9)*1396. Is -348 > q?
True
Let m be 3/(12/(-10))*8/130. Let w = -8.99 - 0.01. Let f = w - -9.5. Which is smaller: f or m?
m
Let a = -15 - -16. Let c = 56 - 223/4. Let y = c - 7/12. Which is smaller: y or a?
y
Let k be 7 - (1 + 1)*120/40. Which is smaller: k or -7/62?
-7/62
Let d = 315 + -312. Let o be -2 - -2 - (-713)/6. Let n = -117 + o. Is d equal to n?
False
Let b(v) = -v**3 + 7*v**2 + 12*v - 37. Let s be b(8). Let m be 315/(-28)*2/5. Which is greater: m or s?
m
Let z = -489 + 515. Which is smaller: z or 29?
z
Let b = -21200/47 + 451. Let v = b - 135/94. Suppose 0*j = -4*r - 3*j - 23, 3*r + j + 11 = 0. Which is smaller: r or v?
r
Let q(l) = -10*l + 4. Let w be q(0). Is 58/23 greater than or equal to w?
False
Let k = 926 - 927. Does k = 2/99?
False
Let s = -1/86 + -509/602. Let x = s + -10/21. Which is smaller: x or 1?
x
Let y = 235.7 + -232.7. Is y bigger than 62?
False
Let v = 50.3 - 1.7. Let a = v + -48. Which is bigger: 2/5 or a?
a
Let o(v) = v**2 + 6*v + 19. Let q(c) = -2*c**2 - 5*c - 18. Let g(r) = 3*o(r) + 2*q(r). Let k be g(10). Which is smaller: 3/32 or k?
3/32
Let n = 2750/79913 + -24/509. Let i = -328/1099 - n. Is -10 less than or equal to i?
True
Let n = 1484 - 1671. Which is bigger: n or -185?
-185
Let r = 407/40 + -87/8. Do r and 2/5 have different values?
True
Let z(c) = -c - 2. Let w be z(9). Let y(b) = b**2 + 13*b + 26. Let p be y(w). Let u = p - -2. Is u <= 6?
True
Let g = 5 + -10. Suppose -4*p + 109 = 5*t, -2*p + 4*t = -6 - 16. Let x be 8/42*p/14. Which is smaller: g or x?
g
Let h = 73/11 - 916/143. Which is greater: h or -12?
h
Let o = 936 - 3763/4. Suppose 0 = y - 3*m, 0*y - y + m = 4. Which is smaller: y or o?
y
Suppose 6*l - 272 = -62. Is 37 less than l?
False
Let y = -2063 + 2064. Suppose q - 1 = 2. Let s = q + -2. Does s = y?
True
Let g(l) = -l**2 + 5*l - 6. Let j be g(5). Let i(w) = w + 6. Let z be i(j). Let y(f) = f - 4. Let s be y(z). Is s less than -3?
True
Let o be 0/(-1) + (0 - -1). Suppose -3*m + 7 = o. Let d = -3548/7 - -508. Is m equal to d?
False
Suppose -u = 4*u. Suppose u = 4*k - 7 - 9, -2*d = 4*k - 24. Suppose -2*v + 0*v = 2*x + d, 5*x + 2*v = -1. Which is smaller: x or 0.1?
0.1
Let l(q) = q - 2. Let z be l(4). Let h be (-2 - 1)/((-6)/(-4)). Let s be h + -1 - 93/(-33). Which is greater: z or s?
z
Let a = -0.032 + 20.032. Let d = -0.14 + 20.14. Let i = a - d. Which is bigger: i or 8?
8
Let m = -9 + 21. Suppose 4*p = m + 8. Are 4 and p equal?
False
Let u = 3323/70383 + -1/809. Which is bigger: 0 or u?
u
Let s be 7938/(-35) - 8/(-10). Is -225 != s?
True
Let o = 0.22 - 0.11. Let i = 14.13 + -14. Let p = o - i. Is -1/3 < p?
True
Let n be (0 + (-4)/(-8))/(3/24). Let l(a) = a + 3. Let t be l(0). Suppose -n*j + t = -j. Is -7/5 less than j?
True
Suppose 138 = 3*t - 3*f, 4*t + 2*f = t + 118. Which is smaller: t or 40?
40
Suppose -30*f = -33*f - r - 4, -5*f = r + 6. Which is greater: f or 20/43?
20/43
Let u = 394 + -421.2. Which is smaller: u or -0.1?
u
Let s be (1 + (3 - 6))/(22/(-1375)). Are s and 126 non-equal?
True
Let a be 3 - (-144)/54*6/(-4). Suppose 54 = -4*q - 3*m, 5*m + 12 + 10 = -q. Let k be (-1 - a)*6/q. Is k equal to -3/4?
False
Let x be (-64)/(-16)*942/(-120). Which is bigger: x or -32?
x
Let h = 174 + -173.594. Let g = h + 16.494. Let z = 17 - g. Which is smaller: z or 0.05?
0.05
Let h(k) = -10*k**2 - 27*k + 398. Let n be h(13). Is -1642 at least n?
True
Let i = -1106 + 1090.69. Let u = i + 15. Let c = -0.69 + u. Which is smaller: c or 20?
c
Suppose -3*w - 19 = -19. Let d = -4051632215/679 + 5967059. Let l = 10/97 - d. Are w and l equal?
False
Let k(q) = q**3 - 4*q**2 - 4*q - 5. Let p be k(5). Suppose 2*c = -f - 10, 31 = -4*c + 11. Suppose f = -p*o + o. Is 6/11 <= o?
False
Let m = 75 - 17. Let o = 58.07 - m. Is o >= 1/2