= -p - 5. Let t be x(-3). Let q be (10/t)/(-5)*0. Let c be (1/14)/(1/4). Are q and c equal?
False
Let q be -2 - 4 - 65728/(-10952). Is -1 smaller than q?
True
Suppose 3*x = -66*m + 68*m - 16, -x = 2*m - 8. Let i = 7 + -3. Let w = i - 7. Which is smaller: w or x?
w
Suppose -z + 2 = -2. Suppose b = v + 7, -5*b + b + z = -v. Let g be v/6*(-6)/60. Which is smaller: g or -1?
-1
Let c(i) = -4*i + 5. Let t be c(7). Let x = t - -35. Suppose r + 3 = -0*r - 2*h, -r = 5*h - x. Is 0.2 bigger than r?
True
Let t(n) = n - 10. Suppose o + 50 = -4*o. Let a be t(o). Let q(x) = 5*x + 4. Let s be q(-5). Is s <= a?
True
Suppose -v - 3*b - 12 = 0, 4*v - 2*b = -0*b - 20. Let q(o) = -o**3 + 3*o**2 + 2*o + 1 + 4*o - 8*o**2. Let m be q(v). Is m greater than or equal to 3/14?
True
Let h(q) = -2*q - 32. Let k be h(-16). Let v be (-48)/9*27/12. Is v at most k?
True
Let u = 3616 - 3615. Let p be (2466/(-40))/(3/(-12)). Let v = -245 + p. Which is smaller: u or v?
u
Suppose 4*h = 3*v - v + 156, 3*h = 5*v + 369. Is -72 > v?
False
Suppose f - 6930 = -2*s - 2438, 0 = -s - 3*f + 2241. Let q be -3*7/(s/(-2)). Is q equal to 1?
False
Let i = -24 - -124/5. Let s be 6/(-4) + (-8)/(-16). Let u be (4 - (4 + s)) + -1. Which is bigger: i or u?
i
Let b = -20 - -10. Let m = 21 + b. Is m bigger than 0?
True
Let z = 136 - 219. Let b = -86 - z. Is -2 greater than or equal to b?
True
Let g = -0.26 - 1.77. Let b = 0.291 - 0.261. Let y = g + b. Which is smaller: 5 or y?
y
Let z(f) be the third derivative of f**5/60 - 17*f**4/24 - 16*f**3/3 + 27*f**2. Let t be z(14). Which is bigger: t or -73?
-73
Let b(u) = -2*u + 97. Let r be b(12). Which is smaller: r or 74?
r
Let w be (-18990)/4750 - 4/(-1). Which is smaller: 0 or w?
0
Let y = -82 + 87.1. Let p = y - 5.12. Do -2/23 and p have the same value?
False
Let a = 19.7 - -9.3. Are 0.1 and a equal?
False
Let s = -0.302 - -0.402. Which is bigger: 0.012 or s?
s
Let z be 2/(-6) + 8/6. Let a(x) = -x**3 + 2*x**2 - x. Let d be a(z). Is -3/17 <= d?
True
Let q = 13.1 + 5. Let f = -18.17 - -0.17. Let y = q + f. Is y <= -4?
False
Let d be ((-6)/(-15))/(150/375). Which is greater: d or 2.057?
2.057
Suppose 100 = 2*g + 628. Let v be (-5)/20 + (-50)/g. Suppose -5*r = -3*f - 2, 3*f - 1 = -5*r + 7. Is v at most as big as r?
True
Suppose i - 22 = 3*s, -4*i + s - 3*s = -32. Let u be ((-2)/(-6))/(i/(-30)). Are u and -2/43 unequal?
True
Let d(x) = 14*x - 6. Let k be d(5). Suppose -3*a - 6 = -4*a + 5*w, -3*w + k = 2*a. Let r = a - 238/9. Which is greater: 1 or r?
1
Let y be (((-640)/24)/8)/4. Is 0 at most as big as y?
False
Suppose -14 = 6*q + 22. Suppose 2*l = 5*v - 4, -4*l + 2*v - 8 = -v. Which is smaller: q or l?
q
Suppose -j + 3*j = -5*v - 48, 0 = -3*v + j - 31. Is v less than -19?
False
Let l = -26 - -35. Let m(s) = 2*s**3 - 20*s**2 + 18*s + 2. Let h be m(l). Which is bigger: h or 9/5?
h
Let n(u) = u**3 - 9*u**2 - 1. Let t = 33 - 19. Suppose 0 = -5*c - 4*a + 3*a + 40, 0 = c - a - t. Let v be n(c). Which is smaller: v or -2?
-2
Let p = -37 + 43. Suppose 5*k = p*k + 17. Is k greater than or equal to -17?
True
Suppose -5*z - 3*z = -40. Suppose 5*n + 3*a = -z, -5*n - 6 = -5*a - 1. Suppose 4*c = 2 - 6. Is c at least n?
True
Let j(y) = -2*y - 4. Let h(t) = -t - 2. Let b(d) = 11*h(d) - 6*j(d). Let n be b(-4). Which is bigger: -15 or n?
n
Suppose -4*x + 589 + 299 = 0. Let v = x + 69. Let k be -1 - -5 - 1170/v. Is -1 not equal to k?
True
Let j = 38 - 24. Let l = j - 13.97. Let p = -334/7 + 48. Which is greater: p or l?
p
Suppose -20 = -4*p - 3*a, p + 0*a - 3*a = 5. Suppose 0 = -x + 3*q + 2 - p, -4*q = -4*x - 4. Suppose x*g - 2 = g. Which is smaller: -4 or g?
-4
Let o(m) = -m + 7. Suppose t = 7*t - 96. Suppose -j + t = j. Let q be o(j). Are 0 and q unequal?
True
Suppose 0 = -4*v - 40 + 8. Suppose 12*i + 39 = 15*i. Suppose -i = -3*m + y - 45, 0 = 5*m - y + 50. Which is bigger: v or m?
v
Let x = 411 + -411. Is x != 3/77?
True
Suppose 0*w = -3*w + 5*v + 250, w - 4*v = 74. Suppose t - 6*t - w = 0. Which is smaller: -17 or t?
t
Suppose -3*r - c - 28 = 7, -3*r - 27 = -3*c. Let y = r - -17. Suppose -3*o + 23 = -4*f - y, -4*o - 3*f = 3. Is o equal to 3?
True
Let o(w) = -w**3 - 3*w**2 - w - 2. Let d be o(-3). Suppose 45*z = 27*z + 54. Suppose d = -s + z. Which is smaller: s or 2/7?
2/7
Let j be -4 + 3 - (-1)/((-2)/26). Let p be (-2)/j + 0 + (-1204)/(-147). Which is bigger: p or 8?
p
Suppose -5*j + 116 + 94 = 0. Is 42 greater than or equal to j?
True
Suppose -4*p = -3*p - 8. Suppose 4*j + p = 4*g, 5*g = -5*j - 7 - 3. Is g smaller than -2/55?
False
Let c(i) = 10*i + 5. Let x be c(4). Suppose 28*l = 23*l - 335. Let t be 10/x - l/(-180). Which is greater: -1 or t?
t
Let v = -0.86 + -0.14. Let n = 193 + -99. Let l = n - 845/9. Which is greater: v or l?
l
Let s be 3/12*-2*-14. Suppose 0 = 5*o - s - 8. Suppose -y - b = -3*y + 4, o*y - 2*b - 7 = 0. Which is greater: 0 or y?
y
Let o(q) be the first derivative of 2*q**2 - 23*q - 10. Let h be o(6). Is -1/20 != h?
True
Let a be 0/((-3 - -5)/(-2)). Let f = 133 + -71. Suppose a = -w + c - 18, -4*w - f = -5*c + 3*c. Is w < -13?
False
Let l = 400/3 + -74. Which is greater: 58 or l?
l
Let o(t) = t**3 - 29*t**2 + 57*t - 80. Let n be o(27). Which is greater: n or -2/3109?
n
Let n be (3 + 1)/(2/(-2)). Suppose 5*t - j = 3*j - 33, 5*t + 3*j = -19. Is t greater than or equal to n?
False
Let v(f) = 5*f**2 - 1. Let d be v(1). Suppose 0 = y + 2*c - 47, -d*c + 55 = -0*y + y. Is y < 39?
False
Let f(j) = -j**3 - 2*j**2 - j - 7. Let l be f(-3). Suppose 0 = -4*p - 23 - 13. Let u be (l/p)/((-10)/12). Which is greater: u or 10?
10
Let z(q) = 15*q**2 + 9*q - 7. Let m(h) = 8*h**2 + 4*h - 3. Let k(l) = 5*m(l) - 2*z(l). Let t be k(-2). Which is greater: t or 36?
36
Let h = -1.08 - -0.38. Let c = 0.3 - h. Is c <= 0.02?
False
Let a be (-11)/11 - (66 + (-1 - -3)). Suppose 345 = -2*n - 3*n. Is a != n?
False
Let q(a) = 2*a**2 - 1. Let n = -28 - -28. Let h be q(n). Is -1 != h?
False
Let m(q) = q**2 + 7*q - 33. Let d be m(6). Does 45 = d?
True
Let x = -7.15 + -0.85. Is x < -4?
True
Let d be (-359)/105 - -1 - -2. Let l = d + 2/105. Let b be -1*4/(-60)*-5*-3. Which is smaller: l or b?
l
Suppose -m = 29*c - 31*c - 5, 5*c - 4*m + 14 = 0. Which is bigger: -64 or c?
c
Suppose -5*u + 42 + 108 = 0. Let l be (36/280)/(u/(-25)). Which is greater: 0 or l?
0
Let k be (-1)/6 - (-60)/(-120). Let p = 4 - 4. Which is smaller: p or k?
k
Let b be 6/8 - 2/(-8). Let k be (1 - 62/(-8)) + 18 + (-21 - 6). Which is smaller: b or k?
k
Let j(k) = 13*k - 44. Let f be j(5). Which is smaller: 19 or f?
19
Let t = 2783 + -33431/12. Is -3 greater than or equal to t?
False
Let t = -131/92 - -27/23. Is t greater than -2.7?
True
Let r(k) = k - 5. Let d be r(5). Let l = -43 - -31. Let q be l/(-8)*(-2)/4. Which is smaller: d or q?
q
Let i = -1915 + 1913. Which is greater: i or 369?
369
Let f(p) = p**2 - 3*p - 8. Let t(l) = -10*l - 43. Let h be t(-4). Let q be f(h). Which is smaller: q or 11?
q
Let n(b) = -4*b - 89. Let j be n(-20). Is j bigger than -57/7?
False
Let b(o) = -5*o - 2 + 0*o + 6. Let m be b(-4). Suppose -2*c = 4*r + 10, 5*c - 6 = -3*r - m. Is r >= -3/8?
False
Suppose k = -7*k + 136. Suppose 0*q - 4*b - 19 = -3*q, q - 4*b = k. Which is smaller: q or 2/41?
2/41
Suppose 2*z - 3*m + 2*m = -1, -2*z = m - 1. Let f = -738 + 9599/13. Which is smaller: f or z?
z
Let f be ((-147)/6 + 1)/((-3)/(-16)). Let k = f - -113. Is -11 at most k?
False
Suppose -5*p - 4 = -3*l + 26, -4*l = 3*p + 47. Let t be (-2)/(-4 - -3)*p. Do t and -19 have the same value?
False
Suppose 5*k - 7 = 13, 4*t + 4*k - 232 = 0. Let j = t - 53. Let i be 6*2/21*2. Is j != i?
True
Let u = 28/85 - -6/85. Is 0.524 <= u?
False
Let c = -24.5 - -24. Let k = c + 0.48. Which is smaller: k or 4?
k
Let x be 2 - 2/(-30)*-28. Which is smaller: 5 or x?
x
Let n = 261 + -260.9. Does -1/7 = n?
False
Let u(l) = 2*l**2 + 4*l - 4. Let c(b) = -3*b**2 - 7*b + 7. Let i(q) = -3*c(q) - 5*u(q). Let r be i(0). Is -2/37 greater than or equal to r?
True
Let j = -2171/5 - -430. Let n(x) = x**2 - 24*x + 59. Let f be n(21). Is f at most j?
False
Let a be (34569/(-88))/3 + 2/(-11). Let x = a - -131. Which is smaller: -2 or x?
-2
Suppose -4*q - 18 = -0*v - 2*v, 0 = -2*q - 8. Let g = 1.9 - 2. Let x = g - -1.1. Is v less than or equal to x?
True
Suppose -5*u + 3*n = -19, 7*u =