 Is -143/4 less than or equal to c?
False
Let q be 34/6 + 4/(-6). Suppose 0 = q*f - 0*f. Let p = 115 - 463/4. Is f smaller than p?
False
Let h(i) = i**3 + 7*i**2 - 9*i - 2. Let p be h(-8). Suppose 0 = -2*u + p + 2. Let l = -3 - u. Are -5 and l equal?
False
Suppose 4*h - 205 = 3*f - 0*h, f = 4*h - 55. Which is smaller: f or -79?
-79
Let o be (1 - 1) + 0 + (-4)/(-18). Let r = 0.1 + -1.1. Let b = 0 - r. Is b > o?
True
Let y be ((-50)/80)/((-4)/8 - 2). Are y and 84 nonequal?
True
Suppose 3*t + 5 + 4 = 0, -t = 2*r + 12459. Let q = r - -9268. Let c = q - 21246/7. Is c equal to 4?
False
Suppose 8*q = -93*q + 505. Which is smaller: 170/31 or q?
q
Let r = 186 - 3907/21. Let x = -77 + 76. Is x greater than r?
False
Let h be (-2)/6*(-6)/(-4). Suppose 0 = -4*v + 5*m + 520, -2*m = 2 + 6. Let s = v - 126. Is h greater than or equal to s?
True
Let q = -358 - -362. Is q smaller than -21?
False
Let s(o) = o**3 + 6*o**2 + 6*o + 1. Let b be s(-2). Let k be -3*(-4)/(1 - 2). Let h = b - k. Is -0.1 >= h?
False
Suppose 4*r - 1080 = -0*r. Let n be (-2)/(-15) + (-21)/r. Which is smaller: n or 0?
0
Let j = 367 - 371. Is 61 greater than j?
True
Let t = -51 + 71. Let k be ((-132)/55)/((-6)/t). Let i(w) = w**2 - 10*w + 12. Let v be i(k). Are -6 and v non-equal?
True
Let b = -282 + 281.6. Which is greater: -2 or b?
b
Let k = -203761/5 + 40908. Is 157 > k?
True
Let d = -19526/7 - -174292/63. Let k = 23 + d. Let j = 7.9 + -8. Is k smaller than j?
False
Let w be (4/3)/(4/6). Suppose -3*c = -w*c. Let n = 80/231 + -2/7. Which is greater: n or c?
n
Let a = 97/396 + -1/44. Which is greater: 53 or a?
53
Let k(i) = -i + 3. Suppose 5*m + q - 12 = 0, 3*m + 2*q = -m + 6. Let d be k(m). Is 6/11 at least d?
True
Let y be (-1 - 21) + (14 - 14). Let r = y - -22. Suppose -5*x + 11 - 6 = r. Is -3/13 greater than or equal to x?
False
Let d be 3 - 4*2/(-6). Let y = d - 4. Are -1/6 and y unequal?
True
Let p = 74537/47 + -1586. Is -1 at most as big as p?
True
Suppose -2*j + 3 + 3 = 0. Let a be 3/j - (-2 - -3). Suppose 6*m + f = 3*m, a = 5*m - 2*f - 11. Which is smaller: m or -2/53?
-2/53
Let y(l) = l**2 - 3*l + 3. Let s be y(-4). Let t = s + -43. Is 1 smaller than t?
False
Let a(j) = -j**2 + 9*j - 5. Let z be a(8). Suppose 40 = -z*x + 10. Let y be ((-104)/40)/((-8)/x). Which is smaller: -2 or y?
y
Let l be 19 + (1 + -3)*1. Let r = -9 + l. Let y be 3*(-1)/(444/r). Which is smaller: 0 or y?
y
Suppose 3*i + 285 = -3*y, -15 = -4*y + 7*y. Is 2/7 greater than or equal to i?
True
Let d = 354 + -377. Which is smaller: -21 or d?
d
Let j = -13.7 + 13.61. Let b = -24/55 - -2/55. Is j greater than or equal to b?
True
Suppose 0 = 5*z + 7 + 13, 2*r + 2*z + 18 = 0. Let a = 3 + r. Let k be 2*a/(-10)*5. Is k at least 2?
True
Let a be 9/2 - 9/(-18). Suppose m - 15 = 4*v, 2*m + m = a*v + 17. Which is smaller: m or 5/11?
m
Let h(t) = 8*t**3 + 2*t**2 - 1. Let b(k) = -k**2 + 1. Let n(d) = 2*b(d) + h(d). Let l be n(-1). Which is bigger: l or -20/3?
-20/3
Let q(b) = 3*b**2 - b - 8. Let j be q(0). Let z be ((-2)/4)/(0 - (-4)/j). Which is bigger: 2/43 or z?
z
Suppose -7*o + 5 = -9. Let b be (-2)/(-4)*((-6)/o - -1). Is b smaller than -1/64?
True
Let k(y) = -17*y - 25*y + 44*y. Let z be k(6). Which is greater: z or 21/2?
z
Let u be (-42)/210 - (-38)/(-10). Is -37/8 less than u?
True
Let n be 1 + (-6 - -13) - 1/1. Let u = n + -10. Which is smaller: u or -3/2?
u
Let x = -365/204 - 3/68. Let d = 89/42 + x. Suppose 5*y - 3 + 18 = 0. Is y bigger than d?
False
Let o(x) = -x**3 + 10*x**2 - 24*x + 5. Let w be o(4). Is w smaller than 0.083?
False
Suppose 2*n = -4*r + 20, -4 = -r + 5*n + 23. Let c(b) = b**2 - 7*b - 9. Let w be c(r). Suppose -5*z = -3*s - 45, 7*z - 10*z + 39 = -3*s. Is s at least w?
False
Suppose -m - 263 = -129. Which is smaller: m or -398/3?
m
Let m(y) = y + 12. Let k be m(-8). Suppose 0 = -k*u + 6*u - 38. Which is greater: u or 20?
20
Suppose 0 = -4*b + 5 - 21. Let r be ((-12)/18)/(b/18). Suppose 0 = r*a - 0*a. Which is bigger: -6/5 or a?
a
Suppose 0 = -2*r - r + 4*p - 19, 5*r - 3*p + 17 = 0. Let f be r/1*(9 + -10). Is f greater than -2/141?
True
Let w = 2.813 + -1.813. Is w <= -1245/4?
False
Let k = 529 + -541. Suppose -2*p + 20 = -2*u, 5*p - 4 - 2 = u. Which is smaller: k or u?
k
Suppose -2*x - 12177 = 14*b - 19*b, -20 = -5*x. Is b less than or equal to 2437?
True
Let o = 77.57 - 89.57. Let q = 252/5 - 51. Is q < o?
False
Suppose -q - 3*q - 4*s = -12, 2*s - 6 = q. Let x = 0 + q. Is 2/9 > x?
True
Let v = -193 + 192.21. Let q = v - 11.21. Which is greater: 0.2 or q?
0.2
Suppose 2*q + 2*z + 39 - 191 = 0, 0 = -q - 5*z + 76. Let t be -2*q/24 - -3. Is -4 smaller than t?
True
Let f = 1552 - 1552. Let o(u) = -u**2 + 4*u - 4. Let h be o(3). Let g = -1 + h. Which is smaller: f or g?
g
Let s = 70 + -421/6. Let b = -1/6 + s. Let v = 113.1 + -113.2. Is v equal to b?
False
Let m = -5746.03 - -5703. Let f = -43 - m. Let u be (2/(-8))/((-3)/(-4)). Which is smaller: f or u?
u
Suppose -4*a = a - 30. Let y be 9/4*(-1032)/(-18). Let f = y - 126. Is f greater than a?
False
Let y be ((-3)/27 - 0) + 11011/(-585). Which is bigger: y or -20?
y
Let n(q) = q**3 - 4*q**2 - 5*q + 2. Suppose p + 0*p = 5. Let m be n(p). Suppose -4*s = d - 12, -m*s - 4*d + 7 = -13. Is 1 at most as big as s?
True
Let x = 47/103 + 11111/2060. Let l = x - 2293/180. Let y = l - -328/45. Does y = 0.1?
False
Let b = 568/7 + -1115/14. Do b and -4.2 have different values?
True
Suppose 2*d - 2*p = -12, 0*p + 34 = -5*d + 3*p. Let l be 1*-9 + (-1 - -1). Is d > l?
True
Let l = 41 - 38. Let t be (9/6)/(l/10). Suppose t*g - 16 = 14. Is g > 5?
True
Let c = 0.8 + 4.2. Let j = c + -2.8. Let s = j - -0.8. Are -2/5 and s unequal?
True
Let s = -23 - -78. Let p = -56 + s. Which is greater: p or -2/7?
-2/7
Let c be 13/((-14)/4 + 3). Let m = 54 + c. Is 27 bigger than m?
False
Suppose -4*d = -16, -3*l = d - 4*d. Suppose 0*z = l*z + 12. Let x = 2 + z. Is x != -1/3?
True
Let y = -0.035 + -0.945. Let z = 0.32 - y. Let h = z + -1.7. Are 1/9 and h equal?
False
Let u = -114.8 - -105. Let m = 9 + u. Let s = -0.9 - m. Which is smaller: -3 or s?
-3
Let j = 123 - 1600/13. Let t = 2469 - 2469. Which is greater: j or t?
t
Let g(x) = x**2 + 5*x - 9. Let n be g(-7). Suppose 14 = -n*i + 54. Which is greater: i or 25/3?
25/3
Let b be 37 - 1 - 6*(-6)/12. Let l = -24 + b. Which is smaller: l or 13?
13
Let q(k) = -3*k - 2. Let l = 17 - 21. Let y be q(l). Suppose y*j = 2*j. Which is smaller: 1 or j?
j
Let j = 64 - 26. Let s = 5 + j. Which is bigger: 44 or s?
44
Let n be (-2)/(-13) + (-6 - 10184/624). Is -22 != n?
True
Let l be -1 + (44/(-16) - -2). Let o = -1/94 - 181/658. Which is smaller: l or o?
l
Suppose 0 = -4*b + 3*s - 133, -4*s - 42 = 3*b + 89. Is b at least as big as -34?
False
Let d = -2/351 + -79/351. Is 0 equal to d?
False
Suppose -b - 2*a - 4 = 0, -5*a + 8 = 3*b - 3*a. Suppose 13*k - 4 = -d + 8*k, -5*d + 4*k = -20. Which is smaller: b or d?
d
Let t(q) = 7*q + 8. Let l(c) = -c. Let f(k) = -6*l(k) - t(k). Let r be f(-9). Let o = -22 - -16. Is o at least r?
False
Let l(j) = -3*j + 4. Let b = -6 - -10. Let k = -1 + b. Let d be l(k). Is d >= -7?
True
Let i = -4.93 - -8.33. Is i greater than 1?
True
Let q(w) = 18 - 4*w - 2 - 2. Let f be q(4). Which is greater: f or 1?
1
Suppose -2*b = 2*u + 13 + 17, -5*u - 125 = -5*b. Is u at most as big as -41?
False
Suppose 3*w + 45 = 18. Is w at most as big as -7?
True
Let l = -2620 + 2618. Is -0.055 at least l?
True
Let s(d) = -d - 1. Suppose -2*y + 5*y + 9 = 0. Let v be s(y). Let x = 5/12 - -1/12. Is x greater than or equal to v?
False
Let d be 25/(-91) - 6/39. Which is bigger: 0.3 or d?
0.3
Let b = -4 + 5. Suppose -o - 30 = -6*o. Is b != o?
True
Let c = 10922.91 + -10805. Let y = c + -118. Which is bigger: 2 or y?
2
Let h = 0.49 + -0.29. Which is smaller: h or 0.05?
0.05
Let x be (1/(-4))/((-165)/(-180)). Which is bigger: x or -1?
x
Suppose 5*d - 2*j - j = 5, -4*d = j - 4. Let w = 50 - 399/8. Which is smaller: w or d?
w
Let y(j) = -j + 8. Let k be y(10). Let d be k/10 + 252/35. Let h(g) = -9*g - 2. Let o be h(-1). Are d and o nonequal?
False
Suppose 0 = -2*k - 3*u - 7 - 194, -3*k - 310 = -4*u. Which is smaller: -111 or k?
-111
Let a be (54/21)/(15/140). Let o = a + -28. Let d be o - 5*3/(-3). Is -4/19 not equal to d?
True
Let a(b) = 3*b + 19. Let r be 