/((-66)/a). Is b at least 0?
False
Let f = -36 + 56. Let q = f - 9. Let j = 10.7 - q. Which is bigger: j or -2/9?
-2/9
Let q(l) = -2*l + 4*l + 3*l + 19 + 10. Let g be q(-10). Is -21 greater than g?
False
Let p = -1237 - -1188. Which is bigger: p or -50?
p
Let n = -1/2951 + -194761/14755. Is -14 < n?
True
Suppose -3*k + 4*z + 4 = 0, 4*k - 2*z = 1 + 1. Which is bigger: k or -1.4?
k
Let n = 71 - 47. Suppose 37*s = 34*s + n. Which is bigger: 0 or s?
s
Let x be (-15)/6*(-2 + 506/275). Which is bigger: x or 12/65?
x
Suppose 0*u - 2*u = 10. Let x = u - -11. Let v(o) = -2*o - 2. Let j be v(-4). Is x greater than j?
False
Let c = 9.939 + -0.239. Let b = -10.4 + c. Which is greater: b or 0?
0
Suppose 0 = n - 0 + 2. Let x be (-40)/5*n/2. Which is bigger: x or 9?
9
Let f be (394/(-80) - -5)/(18/15). Is f != -4?
True
Let j = 414 + -16145/39. Let i(k) = -k**3 - 9*k**2 + 10*k. Let w be i(-10). Suppose w = -8*t + 11*t + 3. Which is bigger: j or t?
j
Suppose -45 = 3*z + 2*z. Let p = z - -8. Let n = -1/81 - -227/5265. Which is greater: p or n?
n
Let o = -172 - -171.096. Let v = o + -0.096. Let g = 10 - 7. Is v not equal to g?
True
Let k be ((-5 - -2) + -2)/(-1). Suppose 2*m + 11 = 3*j, -6*j = -4*j - k*m - 11. Suppose v + j*v = -4. Is -1 not equal to v?
False
Let v = -175 - -174. Suppose 0*t = -5*t. Which is smaller: v or t?
v
Let m = 528/5 - 106. Let l = -2210 - -2245. Which is greater: m or l?
l
Suppose -2*p + 288 = 68. Which is smaller: p or 111?
p
Let n be (-6)/(-21) + 12/7. Suppose 0 = -w - t - 1, n = 3*w + 2*t + 4. Let d be 4/(-16) - 126/(-440). Which is bigger: d or w?
d
Let u be (2 - 33/21)/(-3). Which is smaller: u or -0.26?
-0.26
Let q = 216.8552 - -0.1448. Is -2 greater than or equal to q?
False
Let t(c) = -c**2 - 30*c + 65. Let v be t(-32). Is v bigger than 2/351?
True
Suppose 4*i = -4*t - 8, -2 = -3*i + 2*t - 3*t. Suppose -2*o - 114 = 4*b, -8 - 4 = -4*o. Let r = b - -31. Is i >= r?
True
Let z = 16 + -14.04. Let f = z - -0.04. Let w be 12/14 + -5 + 4. Is f at most w?
False
Let a = 33.18 - -1.72. Let f = 0.065 - -34.935. Let y = a - f. Are -1 and y unequal?
True
Let o = -1641 + 11457/7. Which is greater: o or -5?
o
Suppose 0 = -3*q - 2*q + 25, -u + 4*q - 21 = 0. Let l = -25 + 63. Let t be 1 + 80/l + -3. Which is smaller: t or u?
u
Suppose 5*p - 3*h = -82, -2*p + 3*h - 11 - 20 = 0. Let q = p - -15. Is q != -2?
False
Let f be 28/49 - ((-444)/350 - -2). Which is smaller: 1 or f?
f
Let j(v) = -v**3 - 9*v**2 + 12. Suppose -k + 0 + 2 = 0. Suppose 0 = -4*b - 4, -38 = 4*g - k*b - 4. Let r be j(g). Is r smaller than 11?
False
Suppose 0 = g - 8 - 4. Let c = -10 + g. Suppose -4*p + c*p = -22. Which is bigger: 10 or p?
p
Let s = 528 - 517. Is -5 greater than s?
False
Let r be -6*(-3)/(-9)*2. Let g = r + 4. Let b be (-17)/14 - (77 - 78). Which is greater: g or b?
g
Let w = -3 + 2. Let t(f) = f**2 - 2*f - 4. Let s be t(-3). Let g be ((1/2)/(6 - s))/1. Is g less than or equal to w?
False
Let z = 13.84 - -0.66. Which is bigger: z or 2/3?
z
Suppose -4*o + 2*o - 6 = v, 12 = -2*v - 3*o. Let p be 1 + (0 + 1 - 6). Is v < p?
True
Let o = -136/25 - -141/25. Which is smaller: 118 or o?
o
Let m be (-2 + (-990)/(-27))*6. Which is greater: m or 207?
m
Let u = 0.14 + 0.56. Let q = u - -0.2. Let f = q + -2.9. Are -3 and f equal?
False
Let i be (-34 - -12)*(-12)/66. Is 2/7 smaller than i?
True
Let j = -375 - -399. Are j and 0.4 equal?
False
Let k = 110.25 + -1.25. Is k at least as big as 0?
True
Suppose -13 = -d - 3*u, -2*u + 8 = -4*d - 10. Let t be (-12)/(-24) + d/20. Is t > 0?
True
Suppose 0*m = i - 5*m + 21, 0 = -3*m + 15. Suppose 0 = 2*g + i*a + 34, 3*g + 7*a + 60 = 4*a. Is -24 less than g?
True
Let x = -6.923 - -119.353. Let g = x - 112. Which is bigger: 0 or g?
g
Suppose 4*w + 75 = 7*w. Suppose w + 30 = 5*a. Is 13 <= a?
False
Let c = 180 - 128. Let y = 33 - c. Which is smaller: -17 or y?
y
Suppose 0*u = -3*u + 2*f + 94, 3*f - 12 = 0. Let q = 45 - u. Is -1/4 <= q?
True
Let u = -660 - -3302/5. Is 8/3 less than u?
False
Let a = 2/9767 + 1631081/39068. Is a less than or equal to -1/3?
False
Let b be ((-196)/(-36) - 5)/((-2)/(-9)). Suppose -768 = 4*i + b*i. Is -127 not equal to i?
True
Let g = 1258 - 293117/233. Let u = g - -3041/932. Let h = u + -3. Which is smaller: 6 or h?
h
Let s be (1 - 0)*(2 - 7). Let c(j) = j + 4. Let l be c(s). Let o be ((-19)/(57/6))/(10/(-3)). Which is bigger: o or l?
o
Let m = 86 - 100.7. Let t = 15 + m. Is -0.04 >= t?
False
Let w(v) = 2*v**2 - 18*v - 21. Let b be w(10). Let x(j) = -j**2 - 7*j - 9. Let d be x(-6). Let t = d - -2. Is t less than b?
False
Let u be (4 + 22/(-5))*5. Let z(c) = -c - 8 + 3 - 2*c. Let s be z(u). Is s <= 3?
True
Let s = -19507/17168 - 1/592. Is -2 greater than s?
False
Let g be (1/2)/(2/(-8)). Let h be g*1/1 - -3. Let d be (-2 - (-8)/3) + (-8)/12. Is d <= h?
True
Let f = -366 - -366. Do f and -2 have the same value?
False
Let q = -28 - -27.83. Let j = q - -0.17. Let f = -0.04 + -0.36. Do f and j have different values?
True
Suppose l - 6 = 4*l. Let i(w) = 5*w - 3. Let t(g) = -11*g + 6. Let c(f) = -13*i(f) - 6*t(f). Let b be c(-4). Is b at most l?
False
Suppose y + 3*n = -n - 1, 4*y + n = -4. Are 9/341 and y unequal?
True
Let o be 26 - 1/((-2)/(-2)). Suppose k - 3*k = 4*v - 20, -4*k + v - 5 = 0. Suppose k = -3*p + 4*p - 25. Is o >= p?
True
Let u(y) = y**2 - 7*y + 6. Let n be u(5). Let h = 221 - 224. Which is smaller: h or n?
n
Let h be ((-5)/25)/(-3 - (-32)/10). Which is smaller: h or -2/447?
h
Let b = -0.2 + 1.2. Let s be 9/(-6)*(-1 - 118/(-6)). Let r = s - -33. Do b and r have the same value?
False
Let i be 2/7 + (-2)/7. Let z be (0 - -23 - (-1 + 4))*1. Suppose 4*m + 4 = -p - p, 5*p - z = i. Is -4 at least m?
False
Let q = 230.791 - 231. Let i = 0.009 + q. Which is bigger: -1 or i?
i
Suppose -17 = -r - 1. Let t be (0 - (-12)/r) + -1. Is -3/23 > t?
True
Let p = -123 + 88. Which is smaller: -30 or p?
p
Let v be -1 + -1 + (-3 - -6). Suppose -3*b - 79 = -v. Let c be -3 + -3 + (-160)/b. Is c less than or equal to 1?
True
Let q(m) = m**2 - 5*m + 3. Let x be q(2). Let h = 30 - x. Is h greater than 32?
True
Suppose 4*h - 8 = 3*z, 5*z = 5*h - 7 - 3. Suppose -u + h*b = -2*b - 15, -b - 44 = -2*u. Let y = 38 - u. Which is smaller: 14 or y?
14
Let v = 18 - 37. Let u = -14 - v. Suppose -5*q - u*g = -15, 4*q = -2*g + 3 + 3. Which is greater: q or 3/13?
3/13
Let s(f) = f**3 - 5*f**2 + 6*f. Suppose 3*w - 3 = 9. Let p be s(w). Let v(k) = k**3 - 9*k**2 + 9*k - 10. Let m be v(p). Is -6/11 greater than m?
True
Let o be (-2022)/202 - -9 - 1*-1. Does 1 = o?
False
Let n = -121.75 - -121. Which is smaller: 2/5 or n?
n
Let f = -31 - -55. Let b = -26.6 + f. Let v = 2.7 + b. Which is smaller: 0.4 or v?
v
Let c = -5961.89 - -5962. Let g = 8 - 6. Is g greater than c?
True
Let j(z) = -z**2 + 5*z - 1. Let d be j(4). Suppose d*u - 3 = 2*u. Which is smaller: 2 or u?
2
Let l(c) = -c**3 + 5*c**2 + 5*c + 7. Suppose 2*g = 7*g - 20. Let u be -2 - g/6*-12. Let k be l(u). Which is greater: k or 3/8?
k
Let i = 8 - 7.7. Let n be ((-9)/(-6))/((-1)/(-14)). Suppose 19*t = n*t - 4. Is i <= t?
True
Let j(s) = -s**3 + 6*s**2 + 12*s - 2. Let t be j(8). Let i = 2 - t. Is i > 37?
False
Suppose -5 = 4*f + 3. Suppose -2*b + 18 = 9*k - 13*k, k + 12 = 2*b. Let s = k - f. Do s and -2/43 have the same value?
False
Suppose -a + 5*a + 5*f = -2139, -3*a = -4*f + 1581. Is a at most as big as -530?
True
Suppose 5*k + 13 = -3*f, 3*k = -f - 7 - 0. Let u be ((-3)/(-2))/1 - (f - -3). Is u at least 2?
False
Let j be (-2)/(-4)*2/5. Let l = 10805/1222 - 231/26. Which is bigger: l or j?
j
Suppose -6*t + 1 = -29. Let i(p) = 7*p - 23. Let c(n) = -3*n + 11. Let m(s) = t*c(s) + 2*i(s). Let w be m(7). Which is smaller: w or 0.2?
0.2
Let r = -26.234 + -2.706. Let k = r - -29. Which is greater: k or -3?
k
Suppose -2*j + 4 = -4*c, 1 + 0 = c. Let l(d) = 6*d**2 + 6 + 0*d**2 - 2*d - d**3 - 4*d**2 + 2*d**2. Let y be l(j). Which is bigger: y or -6/11?
-6/11
Suppose -3 = -3*b - 3. Let q be b/(-2 - -1) + (-3)/9. Let p be 2/4 + 1/2. Which is greater: p or q?
p
Let u be -3*8/(-3) + 4/(-2). Let n(l) = -l**2 - 5*l + 8. Let p be n(-6). Is p <= u?
True
Suppose 305 = 15*l + 275. Let f be (2/5)/(8/40). Is l at most as big as f?
True
Suppose -3*i + 2 - 5 = 0, i = 5*n - 1671. Do 334 and n have the same value?
True
L