2*p - 7 = -3*w + 5, 0 = 5*p - 3*w - 30. Let q(k) = k**2 + 15. Let o be q(0). Suppose -p*d + o = -d. Is 3 greater than or equal to d?
True
Suppose 9 = -4*t - 11. Let s(b) = 25*b**2 + 2*b + 29*b**2 + 2 + b**3 - 51*b**2. Let q be s(-3). Does q = t?
False
Let m be (-9 - (-1764)/105) + (-16)/2. Is -350 less than or equal to m?
True
Let m = 1 + 4. Suppose -m*p + 0*p = 0. Let h = -1.6 - -0.6. Is h at least as big as p?
False
Let i = 13 + -10. Let m = -3 - i. Let o be 3 - (8/m)/(-2). Is o at most 3?
True
Let t = 0.76 + -2.76. Which is greater: -5.5 or t?
t
Let t be (3596/(-145))/((-1)/5). Suppose -2*a + 45 + 203 = 0. Is a not equal to t?
False
Let h = 1.823 + -1.9. Let o = h + 2.077. Which is smaller: o or -0.6?
-0.6
Suppose -p - 2 = 0, 2*d - 47 = -3*d + p. Let q = d - 5. Suppose -4*v = -q*i - 5 + 21, v + 16 = -3*i. Is v at most as big as -1?
True
Let i = 141 + -541. Is i > -399?
False
Let z(a) = a - 45. Let f be z(-12). Is f at most as big as -56?
True
Let c be (-1092)/77 - 2/(-11). Which is smaller: c or -11?
c
Let x = -32 - -31. Let t be (x - 2/1) + -13. Let i(s) = s - 10. Let y be i(-7). Which is smaller: y or t?
y
Suppose -35 - 93 = -4*v. Let n = -33 + v. Is -1 less than n?
False
Let f = 311 + -311.6. Is f not equal to -0.17?
True
Let s = 489.79 + -493. Let g = -0.21 - s. Let v be 1 - -5 - (0 - -1). Are v and g unequal?
True
Let r be ((-12)/9)/(24/(-18)). Let q = -15 + 12. Are q and r unequal?
True
Suppose 0*z - 126 = 2*z + 2*n, 2*n + 252 = -4*z. Let j = z - -68. Is 10 <= j?
False
Let l be (-1)/(((-1)/(-5))/(8/(-10))). Suppose 3*d = 7*d + l. Is -2/45 smaller than d?
False
Suppose 12 = -3*r - 18. Is 5 < r?
False
Suppose -4*b = -b. Suppose b = 4*a - 5 - 3. Let j = -310 + 309. Is a at most as big as j?
False
Let s(r) = -r + 8. Let j be s(17). Let z = j - -10. Is 2/41 smaller than z?
True
Let i = 10.3 + -9. Let r = -2.3 + i. Is r bigger than -0.16?
False
Let b = 281 + -1977/7. Let t = 16/21 + b. Is t at most 20?
True
Let u = -157 + 171.4. Let j = u + 12.6. Is 0.2 smaller than j?
True
Let r = 28 - 58. Let z = -23 - r. Let x(u) = -u**2 + 7*u + 2. Let k be x(7). Is z greater than k?
True
Let x = 66 + -61. Suppose 0 = -0*m - 2*m. Suppose t + x = m, 0 = 3*i - i - 2*t - 20. Is 2 equal to i?
False
Let u = 2.96 + -3. Let q = -6149 - -6149.3. Are q and u non-equal?
True
Let o be 30/(-5)*(-6)/4. Let f(i) = i**3 - 6*i**2 - 5*i - 3. Let q be f(7). Which is smaller: o or q?
o
Let i be (-1 + -1)*(-6)/(-120). Let d(s) be the second derivative of -s**4/12 - 3*s**3/2 + 11*s**2/2 - 7*s. Let h be d(-10). Is i > h?
False
Let x(v) = -v**2 + 36*v + 160. Let r be x(-4). Which is smaller: r or -6/91?
-6/91
Let a = 123 - 75. Suppose 25*x - 28*x + a = 0. Which is smaller: x or 17?
x
Suppose 5*q - 4*u = -3*u - 5, 2*q - 15 = -3*u. Suppose q*g - 4*g = 0. Is g less than -2/35?
False
Suppose 0 = -5*r - 2*c + 63, -5*r - 14*c + 10*c + 71 = 0. Which is bigger: r or 114/11?
r
Let p(z) = -3*z**3 + 12*z**2 - 5*z - 3. Let a be p(4). Do 2 and a have the same value?
False
Let d(y) = -52 + 5*y + 0*y - 9*y. Let n be d(-11). Do -11 and n have different values?
True
Let t = 7 + 4. Let a be t/14 - (-4)/(-8). Which is smaller: -0.03 or a?
-0.03
Suppose -g = 3*k + g + 1, 0 = -k - 4*g - 17. Let i = 93/2 + -133/3. Are k and i equal?
False
Suppose -4*m - 1 = -17. Suppose -m*l + 3 = -l. Let d be 68/80 - 2/8. Which is smaller: d or l?
d
Suppose 4*g - 99 = -11. Suppose -g*c = -25*c. Let i be (-7)/9 + 2/2. Which is bigger: c or i?
i
Suppose -4*z + 2*i + 1 = -15, z - 5 = i. Suppose 2*x + 5 = -z*x + 5*q, -2*q = -5*x - 5. Which is smaller: x or 2/133?
x
Let s be (-4)/(-768)*8*-4. Which is smaller: s or -61?
-61
Let y(b) = -2*b**2 + 7*b + 2. Let t be y(4). Which is smaller: -38/43 or t?
t
Let n(r) = 123*r + 1. Let m be n(-1). Let h be -2*(-4 + m/(-24)). Is -1 > h?
True
Suppose -24*p = -19*p - 90. Let f = p - 17. Which is smaller: f or -1/71?
-1/71
Let b(p) = -p**3 + 10*p**2 - 10*p + 2. Let j be b(9). Let g(t) = 3*t + 21. Let a be g(j). Which is smaller: 3/25 or a?
a
Let x(d) be the first derivative of d**2/2 + 9*d - 3. Suppose -3*q - 29 + 2 = 0. Let k be x(q). Which is bigger: k or 2?
2
Let k = -7997 + 104015/13. Is k < 2?
False
Suppose 47 = -2*j - 5*k - 298, j = 4*k - 153. Let u be (-64)/48 + (-226)/j. Let r be ((-3)/(-3))/(-1*1). Which is bigger: u or r?
u
Let m = 74 + 8. Let s = 325/4 - m. Let u = -1 - s. Which is smaller: -4 or u?
-4
Let m = -23 - -86. Let s = 64 - m. Does 0 = s?
False
Suppose -3*b = b - 4. Let j(i) = 11*i**2 - 211*i + 39. Let s be j(19). Do b and s have the same value?
True
Suppose 19 - 4 = 3*d, -4*f = 5*d + 59. Let p be (-14)/f*(-15 + 0). Let t = 8 + p. Which is smaller: t or -3?
-3
Let a = -801 + 831. Which is smaller: a or 29?
29
Let t = 1.54 - 1.5. Let q be 3*2 - 756/112. Which is bigger: q or t?
t
Let b be 21/(-6) - (-5)/(-10). Let y be (-2)/1 - (-12)/(-12). Which is greater: y or b?
y
Suppose 0 = -2*x + 2*z + 18, -x - 3 = 4*z + 3. Let f be (-2)/(3/x + 0). Let j be -1*((-1 - f) + -3). Is 2/3 less than j?
False
Let l = 2.14 - 0.14. Let d = -1 - -8. Let o = d + -7.1. Which is greater: l or o?
l
Suppose -28*n + 7285 = -59*n. Which is smaller: -234 or n?
n
Let j = 62 + -18. Is 43 smaller than j?
True
Let m be (3 + 41 + 2)/2. Suppose -4*z - 8 = 0, -u + 6*u - 4*z = m. Suppose 5*t - 2*k - 55 = 0, 2*t + u*k - 21 = 20. Is t smaller than 13?
False
Let t = 42.3 - 39.3. Which is smaller: t or -4/15?
-4/15
Suppose -2*m - 3*s = 11 - 4, 0 = -2*m + 5*s - 31. Let a(c) = c**3 + 7*c**2 - 9*c - 2. Let w be a(m). Let q = -1 + w. Is q at most as big as 6?
True
Let x be 324/72*92/2. Which is smaller: x or 206?
206
Let l(t) = t**3 - 5*t**2 - 6*t - 12. Let v be l(6). Let x = v - -17. Suppose 8 + x = w. Is 13 greater than or equal to w?
True
Let j(x) = x**3 + 25*x**2 - 15*x + 52. Let v be j(-26). Is v less than or equal to -233?
True
Let t be 5/(40/(-276))*-6. Let i = 3104/15 - t. Let n(l) = -l**2 + 5*l - 5. Let j be n(4). Which is smaller: j or i?
j
Suppose -5*h = 2*t - 18, 7*t = 4*t - h + 1. Is -2/135 smaller than t?
False
Suppose 96 = 9*h + 1005. Is h at most -100?
True
Let z(f) = 8*f**2 - 2*f - 1. Let t be z(2). Suppose 2*c - t = c. Let m be (9/12)/(c/8). Which is bigger: m or 0?
m
Let k be (-4*2/(-76))/(-4). Is k smaller than 0.2?
True
Suppose 5 = 13*w + 18. Let j be 0 - 1 - (-22)/18. Is j at most w?
False
Suppose -13*l + 48*l = -25*l - 1560. Suppose 0 = 4*m - 2*m - 106. Suppose 3*f - 2*h = -79, 3*h - m = 3*f + 25. Do f and l have the same value?
False
Let r = -41.97 + 42. Let g = r + -0.13. Let k = 1.5 + 0.5. Do g and k have the same value?
False
Suppose -4*g - 102 = g + 4*d, g + 21 = -d. Suppose 3*w = -4*c - 31, -46 = 4*c - 0*w - 2*w. Let q be g*1/c - 3. Which is smaller: -2 or q?
-2
Let w be ((-665)/(-91))/5 - -1. Is w greater than 1?
True
Let g = -83 + 87. Which is smaller: -8/7 or g?
-8/7
Let m = -249 - -249. Are -22/29 and m unequal?
True
Suppose -116 = -3*p - 20. Let o = 31 - p. Suppose 0 = 2*c - 8, -h + 0*h - 4*c + 15 = 0. Is o at most as big as h?
True
Let z be 6*-2*(-1)/(-6). Let m be (z/3)/(13/(-6)). Which is smaller: m or 1?
m
Let s(q) be the first derivative of -q**5/20 - 2*q**4/3 + q**2/2 + 10*q + 8. Let l(k) be the first derivative of s(k). Let y be l(-8). Are y and 0 non-equal?
True
Suppose 4 = -x - 1, 3*s + 4*x = -113. Let f = s + 27. Suppose 0 = j - 2*p - 6, -5*j = 2*p + 9 + 21. Do f and j have different values?
False
Let c(a) = -67*a**3 - 1. Let j be c(-1). Let p(u) = 4*u**2 - 9*u + 2. Let o be p(-3). Which is smaller: j or o?
o
Suppose -12*a + 14 = 2*a. Are 13/9 and a non-equal?
True
Let b = -47.974 - -0.574. Let t = -64 - b. Let i = 16 + t. Which is smaller: i or -1/4?
i
Let q = -19 - -16.9. Let x = q + 0.1. Let o(s) = -3*s**2 + 6*s - 3. Let h be o(2). Is h <= x?
True
Let k(l) = 2*l**2 - 5*l - 6. Let a = -31 + 29. Let t be k(a). Which is smaller: t or 14?
t
Suppose 60*r - 27 = 33. Which is bigger: r or 3/314?
r
Let h = -0.208 + -0.042. Let z = h + 16.25. Is z at least 1?
True
Let x = -8 + 6. Let c be ((2 + x)/4)/(-2). Let u be 0 + (-12)/(-9) + c. Which is bigger: u or 1?
u
Let z = -1505/3 + 6167/12. Let i(b) = b**3 + 7*b**2 - 3*b - 8. Let a be i(-7). Is z bigger than a?
False
Let n(d) be the second derivative of d**3/3 - d**2/2 + d. Let f be n(6). Suppose f*j = 15*j. Is j > 5