2*p = 2 + 18. Suppose -s - p = 5*q + 4, -q + s - 4 = 0. Is q at most c?
True
Let s be -3 + -2*(-5 - -6). Let d be 1/s + 7*9/15. Which is bigger: d or 5?
5
Let u = -133 + 136. Is 48/13 at most u?
False
Let c = -2124.9 - -2125. Is -464 at least c?
False
Let i = 6 - 4. Suppose -i*v - 4*r + 84 = 0, -178 = -2*v - 2*v + 2*r. Are 44 and v nonequal?
False
Let i be (4/10 - (-64)/40) + 4. Let s(m) = 2*m - 11. Let d be s(i). Which is smaller: d or -1/70?
-1/70
Suppose 4*q + 203 = -349. Which is smaller: -139 or q?
-139
Let j = 1236 + -1237.7. Is j > 3?
False
Let x(i) = i**3 - 7*i**2 + 8*i - 4. Let d be x(6). Let a = d - 2. Suppose 4*t - 24 = -2*h, -3*h - 4 - 2 = 0. Which is bigger: a or t?
t
Suppose -55 = 4*w + 25. Let n(k) = -23*k + 508. Let q be n(23). Do w and q have different values?
True
Let i = -9 - -5. Let j be (2*(-38)/i)/(-1). Let n = -24 + 5. Is j at least as big as n?
True
Suppose 0 = -2*b + 5*w - 105, -5*b - w + 4*w = 310. Which is bigger: -67 or b?
b
Let l = 1 - -6. Suppose 20 = 2*w - l*w, -h + 22 = -5*w. Suppose -h*z - 33 + 5 = 0. Which is smaller: z or -15?
-15
Let p = -83 - -75.11. Let d = p - 0.11. Let h = d - -13. Is 1/2 > h?
False
Let m = 0 - 0. Let q = 61139/30 + -2038. Is m at most as big as q?
False
Let y be 0/6 + 42/(-7) + -22. Which is greater: y or -29?
y
Suppose -2*f - 939 = -999. Is 32 != f?
True
Let h = 5.5 + 3.5. Let g = h + -7. Are 2/3 and g nonequal?
True
Let i = -1.9 + 2. Let f = 286.2 - 249. Let a = f - 17.2. Is a less than or equal to i?
False
Let s(r) = 8*r**3 + 14*r**2 + 4*r - 21. Let j(p) = -p**3 + p**2 - p. Let b(c) = 6*j(c) + s(c). Let i be b(-10). Which is smaller: 2/79 or i?
i
Let y(j) = -6*j + 5. Let u be y(4). Let n = -45 - u. Suppose -932*p - 200 = -924*p. Is p >= n?
True
Let v(k) = k**3 + k**2 - 2*k - 1. Let m be v(0). Let q be (-4)/(-18) + (-41)/63. Are q and m equal?
False
Let y(z) be the first derivative of 2*z**2 + 6 + 3*z - 1/3*z**3. Let b be y(5). Is 0.1 greater than b?
True
Let o = 2042 - 2042. Let x = -35927/3 + 10275011/858. Let u = x - -1/11. Is u at most as big as o?
True
Let o = 21.23 - -1.77. Which is smaller: o or 0.2?
0.2
Let t(n) = -5*n - 1. Let s be t(-1). Suppose 2 + 0 = 2*m. Let p be (4 - m)/(12/16). Is p >= s?
True
Let y = 95 - 96.85. Let q = 0.04 - 0.19. Let u = y + q. Is u less than 0.3?
True
Suppose 22 = 3*y + 4*a + 3, -2*a = -y - 7. Which is smaller: -4/583 or y?
-4/583
Let h(d) = d**3 + 42*d**2 + 124*d + 128. Let u be h(-39). Which is smaller: u or -146?
-146
Let i(x) = x**2 + 12*x + 8. Let a be i(-11). Let r be (-207)/(a - -6) - (2 - -1). Is r greater than -0.1?
False
Let b(y) = 2*y - 5. Let a be b(3). Suppose 3*z + 4 = -2. Let t = -1 - z. Is a bigger than t?
False
Let j = 24 - 24. Suppose j = -2*r + 10 - 0. Let b = r - 0. Is b smaller than 5?
False
Let k = 746 + -3728/5. Which is smaller: k or -562?
-562
Suppose 130 = -4*k - 2*h, -3*k - 3*h - 87 = 2*h. Is k at most as big as -33?
True
Suppose 0*k = -2*k - 10. Let y be (0 - (-1 - -3))*k/10. Which is greater: y or -3/91?
y
Let u = 0.0005 - 28.1005. Which is greater: 1/2 or u?
1/2
Suppose c - 5*q + 358 = 4*c, c = -2*q + 120. Is 116 <= c?
True
Let y = -6.7 + 7. Let h = y - 0.6. Let i be 75/6 + (-10)/5 + -11. Is i greater than h?
False
Let r(u) = -u + 23. Let p be r(11). Let h be (-3 + p/3)*-43. Which is smaller: h or 0.1?
h
Let w = -23 + 15. Let g be 1/3 - w/3. Suppose 3*f + 3 = -g. Do -3/5 and f have the same value?
False
Let c = -302 - -353. Which is smaller: c or 50?
50
Let r(l) = -11*l - 3. Suppose -q - 5*n = 23, 4*q - 4*n = 2 + 2. Let c be r(q). Is 31 smaller than c?
False
Let i be (0 + -2)*13 - 3. Let o(r) = -7*r + 25. Let l be o(8). Is l <= i?
True
Let k = 521/48204 + 1/468. Is k at least as big as 1?
False
Suppose -2*j - 3*c = 130, -7*j + 5*c + 340 = -12*j. Let m = -66 + -7. Which is greater: j or m?
m
Suppose -5*a + 0*a + 5 = 0. Let x be 5814/(-7505) - 8/(-10). Which is smaller: x or a?
x
Suppose 69 = 5*t - 2*t. Suppose -4*c + t = 55. Suppose 3*g = -z - 7, -z - z = -3*g + 14. Which is bigger: z or c?
z
Suppose -677*r + 672*r = 205. Is r at most -42?
False
Suppose 4*g - 31 = 5*u, g - u + 5 = -4*u. Let f(q) = q**2 - 5*q - g*q - 1 + 7. Let w be f(8). Which is greater: w or 2?
2
Let o = -8 + 29. Let x = o - 23. Which is greater: -2/9 or x?
-2/9
Let z = 11485 + -103214/9. Is 16 at least as big as z?
False
Suppose -4*a + 8 = -3*p, 3*a - 7 = 2*p - 0*a. Suppose p = -2*u - 2*u. Is u less than -8/9?
True
Let m = 6.95 - 6.3. Let j = m + -0.35. Let h be 6/(-14)*4/6. Which is bigger: h or j?
j
Let g be 185/(-180) - 6/27. Let m be (12/(-9))/(6/9). Let v = 1 + m. Is g < v?
True
Let u = -0.05 + 0.48. Let g = u - 0.43. Is -1.2 equal to g?
False
Let q = 195.7 + -196. Is -5.2 at least as big as q?
False
Let s = -31.5 + 38.5. Is s at least -1.08?
True
Suppose 0 = 3*q - 5*z - 385, -3*q + z = 3*z - 371. Is 125 at most as big as q?
True
Let n = 6.78 + 1.22. Let a = -8 + n. Which is bigger: -1/7 or a?
a
Let p be 42/(-147) - (-38)/84. Let y(l) = -l**2 - 5*l - 4. Let q be y(-3). Suppose 8 = -q*i + 4*i. Are i and p unequal?
True
Let d = -17 + 28. Let q(c) = c**2 - 12*c + 12. Let k be q(d). Suppose -3*o - 3*p - 3 = 6, 4*o = -2*p - 4. Is k not equal to o?
False
Let f = -41 + 69. Let r = -1421.9 - -1394. Let s = r + f. Which is bigger: s or 5/2?
5/2
Let h(x) = -x**3 + 6*x**2 + x - 7. Let r be 6 - (5 - 2) - -3. Let f be h(r). Which is greater: -1/13 or f?
-1/13
Let i = 7 - -29. Let d be (-1)/((-6)/(i/182)). Is 0 equal to d?
False
Let i = -57822/5 - -11423. Let w = -141 - i. Let y be -1 - 4*(-3)/6. Is w at most y?
True
Let n = -0.22 + -1.44. Let w = 0.16 + n. Let o = 1.5 + w. Which is greater: 4 or o?
4
Let b = 0.4 + 5.4. Let m = -5.8 + b. Is 57 bigger than m?
True
Suppose 0 = -2*v - 2*p + 12, -v + 2*p + 2 + 4 = 0. Suppose 8 - v = -b. Is b greater than or equal to -22/9?
True
Let s(g) = 24*g**2 + 82*g - 81. Let c be s(1). Suppose 3*z = -4*d + 98, 1 + 5 = 3*z. Which is greater: d or c?
c
Let x = -223 + 199. Is 0 at most x?
False
Let u(n) = n + 49. Let h be u(-48). Which is smaller: h or -2/931?
-2/931
Let b = -430 - -278. Let y = 140 + b. Is -8 smaller than y?
False
Let v = 12/5 - 11/5. Suppose 32*k = 164*k. Which is bigger: k or v?
v
Let i = 29 + -57/2. Let a = 7.5 + -8. Let c = a + -1.5. Is c less than i?
True
Suppose 1034*b + 2348 = 1030*b. Is b bigger than -587?
False
Let b(m) = -m**3 + 79*m**2 - 158*m + 310. Let d be b(77). Let k(r) = r**3 + 3*r**2 + 2*r - 1. Let p be k(-2). Which is bigger: p or d?
d
Let v(j) be the second derivative of j**3/3 - 11*j**2 + 7*j. Let b be v(11). Is 3/20 less than b?
False
Let i = -46572370/3339 - -13948. Is i greater than or equal to 1?
False
Let d = -3 - -7. Let k(q) be the first derivative of q**3/3 - 3*q**2/2 - 4*q - 2. Let i be k(d). Is 4/11 < i?
False
Let u = 364/13035 + 2/237. Suppose -4*w = q - 17, 0*q - 3*w - 1 = -2*q. Suppose 9*l + q = 14. Is l <= u?
False
Let s = -1009 - -977. Do s and -26 have the same value?
False
Let f = 7.8 + 9. Let u = 55.2 + f. Does 0.1 = u?
False
Let o(q) = 2*q + 10. Let k = -28 - -23. Let d be o(k). Which is smaller: d or -29?
-29
Let o(c) = -2*c**2 + 17*c + 49. Let w be o(11). Which is greater: -122/19 or w?
w
Let w be (-2)/1608*1032/2709. Is -1 bigger than w?
False
Let y(h) = 3*h**2 + 212*h + 11. Let x be y(-71). Which is smaller: x or 88?
x
Let m be (-4)/10 - (3 + (-1659)/(-15)). Let c be 15/(-20) + m/(-184). Let b = -2 - -3. Which is smaller: b or c?
c
Let q be 2/(-10) - 85/50*-6. Let f be 168/165 + -1 - 2/q. Are -0.1 and f nonequal?
True
Let u(y) = -y**3 - 4*y**2 + 8*y - 1. Let r be u(-6). Let p = r - 20. Which is greater: p or 1?
p
Let x be (5/((-30)/4))/((-8)/(-12)). Which is greater: x or 4/165?
4/165
Suppose -3*a + 0*a + 18 = 0. Let f be 2 + a/(1 + -4). Suppose f*u - 6*u + 60 = 0. Which is greater: 12 or u?
12
Let v(w) = 4*w**2 - 2*w + 1. Let n be v(1). Suppose -2*k - k = -3*o - n, 0 = 2*k - 4. Is -5/11 not equal to o?
True
Let w(s) = 7*s**2 - 12*s - 3. Let c be w(2). Which is smaller: 4/175 or c?
4/175
Let d = 11 - 0. Let a = -1523 - -1523. Are a and d equal?
False
Let k(y) = y - 3*y**2 + 10 + 0*y**2 - y**3 - 8*y**2. Let b be k(-11). Is b smaller than -8/7?
False
Let n = -134229/55 + 12209/5. Suppose 0 = 3*s - 6. Is s != n?
True
Let f = -8.2 - -7. Let o = -250 - -250.06. Whic