ller: 0 or s?
s
Let d(q) = -q**2 + 8*q - 1. Let h be d(7). Let j be (-4)/h*15/(-10). Is j less than -16?
False
Let b be 6 - (1 + 0 + -1). Suppose 3*p + 907 = -818. Let w be (-3)/(-4) + p/(-92). Which is smaller: b or w?
b
Suppose -5*f - 12 = -22. Suppose -4*i - 9 + 0 = -5*t, t = i + f. Which is smaller: 1/60 or t?
1/60
Let h(l) be the second derivative of l + 0*l**2 - 1/20*l**5 + 1/12*l**4 + 0*l**3 + 0. Let p be h(1). Is p greater than or equal to 4?
False
Let n = 10.135 + -0.065. Let k = 10 - n. Let q = 47.9 + -48. Does q = k?
False
Let r = -214 + 187. Is -27 > r?
False
Let w be -3 - -2 - 3*-1. Let m = 37 - w. Let h be (-14)/m + (-8)/(-15). Is -1 at most h?
True
Let n = 0.226 + 0.074. Which is smaller: -0.01 or n?
-0.01
Let x = -209.3 - -208.3. Let k = -106 - -106.77. Which is smaller: x or k?
x
Let m be (-2 - (-92)/7) + (-2)/14. Is m < 1?
False
Let z be 152176/80*(1 - 0). Let v = -1895 + z. Is -0.1 equal to v?
False
Let s(p) = 4*p. Let m be s(3). Which is greater: m or 14?
14
Suppose 2*r = 2 - 0. Let p be (-3)/(-6)*(-30)/(-85). Is r at least p?
True
Let c = 2/37 + -376/111. Is -0.3 greater than c?
True
Let b = 315/2 - 158. Which is greater: b or 2/3?
2/3
Let s(n) = 12*n**2. Let r be s(-1). Suppose 3*c = -2*l + 29, 5*c - 4*l - 121 + 58 = 0. Is r not equal to c?
True
Let f = 11/444 - -10787/6660. Which is smaller: 2 or f?
f
Suppose -n = 4*s + 12, -7*s - 15 = 5*n - 2*s. Suppose -6*j + j = f - 25, 5*j - 4*f - 50 = n. Which is bigger: 5 or j?
j
Suppose 3*m = 0, -4*x + 0*m - 8 = m. Is 134 less than x?
False
Let c = 2832 + -962. Is c bigger than 1869?
True
Let l = 235 + -234. Which is bigger: l or -13/36?
l
Let o(s) = -s**3 - 27*s**2 + 90*s - 1. Let u be o(-30). Which is bigger: 2/19 or u?
2/19
Let q(d) = 2*d + 3. Let n be q(7). Suppose t = n - 9. Let f = 15 - 5. Which is smaller: f or t?
t
Let i be 125/(-50) - (-14)/(-4). Let t be 10 + i + 1 + -3. Let g be 10/(-20) + (-13)/t. Which is greater: g or -6?
-6
Let a = 30 + 35. Is 65 equal to a?
True
Let d(m) = -m. Let u(s) = 5*s - 10. Let b(o) = 4*d(o) + u(o). Let n be b(9). Let l = 85 - 83. Which is smaller: n or l?
n
Suppose -4*q + 2*g = -q, -q + 1 = -g. Let i = -11.52 + -1.48. Is i < q?
True
Let t = 51 - 53.96. Let x = -4 + 4.04. Let s = x - t. Which is smaller: s or -2/5?
-2/5
Suppose -5 = 2*x - 27. Suppose -20*o + 101 = -33 - 46. Which is bigger: o or x?
x
Let t be 1/(-28) - (-4)/14. Let o(k) = -14*k + 138. Let u be o(10). Is u less than t?
True
Suppose 3*f - 8 = -v, 33 = 4*v + 5*f + 22. Which is bigger: v or 5/33?
5/33
Let p = -146/25 + 5704/975. Is 0 less than or equal to p?
True
Let q(c) = 18*c + 42. Let t be q(-4). Is -26 <= t?
False
Let p be (-1)/(3/6) - -1. Let c be ((-12)/21 - (-24)/(-7))/(-10). Which is smaller: c or p?
p
Let u be 2/3 - 16/(-3). Let z be 90/(-25)*2/u. Let f be (4 + -5)*(-1 + 1). Which is bigger: z or f?
f
Suppose -8 = 2*b - 14. Let n(w) = 5*w**2 - w + 0*w**b + 7*w**2 + 5 - w**3. Let p be n(12). Are p and -7 nonequal?
False
Suppose 0 = -10*u - 281 - 159. Let n = 48 + u. Which is smaller: n or 17/5?
17/5
Let p = 45.085 + -0.085. Let q = 44.77 - p. Let a = q + 0.12. Which is smaller: 2/5 or a?
a
Let j = 0.3941 + 0.0059. Which is smaller: -4.1 or j?
-4.1
Let v(a) = a**3 + 5*a**2 - 6*a - 1. Suppose 0 = -r - 6 - 0. Let l be v(r). Let d = 323/1265 + 2/115. Which is smaller: d or l?
l
Let o be 4/(-32) + (-6)/(-48). Let x be 2/(-10)*o + -1. Is -2/43 less than x?
False
Suppose g + 0*g = 54. Let h be (-4)/(-9) + 12/g. Do 2 and h have the same value?
False
Let v(g) = 2*g**2 + g - 3. Let h be v(5). Let j be (-47)/h + 3/4. Let i be (-4)/(-3) + 40/(-120). Is i at least j?
True
Suppose n - 4*g = -9*g + 17, 5*n + 2*g = 200. Which is bigger: n or 44?
44
Let a = -4.11 - 1.49. Let y = a - -8.6. Let n = -4 - -6. Is n equal to y?
False
Let q(u) = 32*u**2 - 5*u + 2. Let w be q(2). Suppose -5*f = -180 - w. Is 59 greater than f?
False
Let b = -40 + 64. Let w = b - 4. Let p = 20 - w. Is 0.5 bigger than p?
True
Let k(t) be the first derivative of -1/2*t**2 - 6 + 8*t. Let b be k(10). Which is bigger: 0 or b?
0
Let p = 0.2 - -0.8. Let z = 25.4 - 24.36. Let j = -1.46 - z. Which is bigger: j or p?
p
Let s = -3.37 + 3.57. Is s >= 74?
False
Let b(l) be the second derivative of l**3/6 + 3*l**2 + l. Let q be b(7). Suppose 4*z - 3*z = -1. Are z and q non-equal?
True
Let b = 0 - -3. Suppose 0*g + 2*x = g, -b*x - 1 = -g. Let j be (-9)/21 - g/21. Is 0 not equal to j?
True
Let m(p) = -p**3 - 5*p**2 - 4*p. Let a be m(-4). Let q be 2/4*(-176)/2420. Is q greater than or equal to a?
False
Let f be 21/(-5)*(-310)/217. Suppose 2*x + x = 54. Suppose 13 + x = 3*l + 5*i, 3*l + 4*i - 29 = 0. Which is bigger: l or f?
l
Let q = -173 + -17. Which is smaller: -193 or q?
-193
Let b(s) = s**2 + 2. Let w be b(4). Suppose 2*n = 3*n + 2*c - 15, 2*n = -c + w. Suppose m + t - n = 4*m, -m + t - 1 = 0. Which is smaller: m or 2?
m
Let x be 18/(-72) + 74/8 + -1. Is x >= 27/4?
True
Suppose 5*t + o - 30 = 0, -12 = -4*t - o + 13. Which is bigger: -1 or t?
t
Suppose -30 = 5*w - 25. Is w greater than -2/51?
False
Let x = 1884/4685 + -2/937. Which is greater: x or -0.019?
x
Let w = -10429/14 - -745. Which is smaller: 1 or w?
w
Suppose 21*o + 6 = 26*o - c, -3*o = -4*c + 10. Which is greater: o or -2?
o
Suppose -4*n = -n + 60. Let x = -101/5 - n. Let j = 447 - 448. Which is smaller: x or j?
j
Let k = -0.3 - 2.7. Let x = k - -3. Let o = -1043 + 7289/7. Is o at most x?
True
Let y be (-1)/4 - 2/(-8). Let w be -2*(-4)/(-20) + (-373)/5. Let t be w/(-210) + 2 + -2. Which is bigger: y or t?
t
Let g(n) = -4*n. Let a(b) = -b**2 - 9*b - 2. Let y be a(-9). Let l be g(y). Let m = 12 - l. Is m > 3?
True
Let v = 27 + -26. Which is smaller: 28 or v?
v
Let z = -0.035 - 0.425. Let t = z + 1.46. Which is smaller: t or 8?
t
Let s(z) = 3*z**3 + 5*z**2 + 10. Let h(d) = 2*d**3 + 4*d**2 + d + 9. Let w(c) = -4*h(c) + 3*s(c). Let k be w(4). Which is bigger: 25 or k?
k
Suppose 8 = 2*m + a, -98 = 4*m + 4*a - 122. Is 2 at most m?
True
Let r be (-5)/(-26) - (-1)/(-2). Let h = -11 + 38. Let u = 26 - h. Is r greater than u?
True
Let j be 195/(-10)*4/6. Which is smaller: -11 or j?
j
Suppose 6*i - 2*i + 240 = 0. Let u be ((i/(-117))/(-5))/(-6). Which is smaller: u or -1?
-1
Let q(f) = 3*f + 2. Let t = -9 + 5. Let w = t + 3. Let n be q(w). Is 2/21 equal to n?
False
Let m = -209 - -147. Let h = 47 + m. Is 1 at least as big as h?
True
Suppose 0 = -2*k + 2 - 14. Let t = 849 + -4276/5. Which is bigger: t or k?
k
Let i(g) = 5*g - 6. Let t(p) = 4*p - 6. Let x(b) = -5*i(b) + 6*t(b). Let c be x(-12). Let k = c + -9. Do -2 and k have different values?
True
Suppose h = -14 - 16. Let t be 48/h + 2 - 163/(-5). Are t and 34 equal?
False
Let w(o) = 96*o - 2. Let u be w(1). Let z be (u/6)/(3/(-9)). Is -46 at least as big as z?
True
Let t = 38/5 - 22/3. Let k be 1/1*-1*0. Which is greater: t or k?
t
Let w be (-140)/(-9) + 2 - (-2 + 0). Let c = -13922/711 + w. Which is bigger: -1 or c?
c
Let m(y) = 4*y**3 - 3*y**2 + 4*y - 4. Let u be m(3). Let w = -74 + u. Let d(x) = -x**3 - 3*x**2 - x - 4. Let c be d(-4). Does w = c?
False
Let l = -24.966 - 0.034. Let n = l - -21. Suppose -2*m + 6 = 0, 2*q - 4*m + 12 = -2. Which is smaller: n or q?
n
Let u = 5 + -5. Let k(w) = w**3 + w**2 - 1. Let j be k(u). Is 2/23 < j?
False
Let v be ((-1)/(-5))/(25/125). Let h = -3 - -2. Which is greater: v or h?
v
Let b = 19.7 + -7.6. Let q = 2.3 - b. Let x = 10 + q. Are -1/6 and x equal?
False
Let q(t) = t**2 + 6*t - 1. Let j be q(-4). Let a(c) = -135*c**2 + 6*c + 2. Let l be a(-1). Let b = l + 129. Do b and j have different values?
True
Let u = -22231/10266 - 2/1711. Which is smaller: u or 2?
u
Let v = 23.59 - 7.95. Let j = v + -0.54. Let p = -16 + j. Is p at most as big as -1?
False
Let v(j) = j**2 + j + 1. Let s be v(2). Let u = s - 13. Let a(n) = 2*n + 9. Let c be a(u). Which is greater: c or -2?
-2
Let h be 3/7 - 11/(-7). Suppose 3*o - h + 14 = 0. Which is smaller: o or 3?
o
Let h = 565.88 - 592. Let t = -26 - h. Which is greater: 3 or t?
3
Suppose -3*x + 105 = 2*x. Suppose -k - x = k - 5*f, 0 = 2*k + 2*f. Let m = -90 + 86. Which is smaller: m or k?
m
Let i(y) = 5*y - 26. Let x be i(6). Let g = -1 + x. Is g less than 3?
False
Suppose 0 = -0*o + o - 42. Suppose 8*y = y + o. Which is smaller: 4 or y?
4
Let y = 101