9509/1330 - -58468/19. Let z = h - 95/2. Let x = z - -101/70. Which is greater: x or 2?
2
Let p(f) = -f**2 - 4*f - 3. Let m be p(-2). Let t be (-40)/(-18) + (-4)/18. Which is smaller: t or m?
m
Let b(n) = -n**3 - n**2 + n + 1. Suppose 0 = -2*l + 7 - 3. Let x be (-3 + 3)*1/l. Let u be b(x). Is u >= 1?
True
Suppose 4*a = 4*n - 12, -5*n - 4*a + 6*a + 15 = 0. Suppose -2*s + s - 6 = -n*g, 2*g - 4 = -5*s. Let y be ((-6)/4 + 1)*2. Is y < g?
True
Let d = -73 + 84. Is d less than or equal to 7?
False
Let k = -2.5 - 0. Let v = k - -12.5. Let a = 16 - v. Which is smaller: a or -0.1?
-0.1
Let h = 6 - 8. Let z be (5/15)/(h/6). Which is bigger: z or 0?
0
Let b be (12/28)/((-3)/(-8)). Let q(h) = -h**3 - 3*h**2 + 11*h + 7. Let y be q(-5). Which is bigger: y or b?
y
Let q(x) = -4*x**3 + x**2 + 3 + 3*x**3 - 5*x**2 + x. Let g be q(-4). Suppose y = -2*l - 12, 0*l = -5*y + 2*l. Is g greater than y?
True
Let g be 57/(-6)*12/14. Which is greater: g or -7?
-7
Suppose -7*x + 9*x = 4. Suppose 5*p + 29 = 4*m, -19 = -2*m - 4*p + 5*p. Suppose 0 = v - 0*f - 3*f - m, -5*f = -x*v + 18. Is -1/4 at most v?
False
Let t be (-976)/56 - 4/7. Is -17 >= t?
True
Let m = -4 - -2. Let g be 3/(-6)*(0 - m). Which is smaller: g or -1/3?
g
Suppose 8*m + 5 = 3*m. Is m < 0?
True
Suppose -5*g = -3*j - 11, 0*g - 28 = -4*j - 4*g. Let i(d) = d**3 - 4*d**2 - 5*d + 5. Let h be i(5). Is h bigger than j?
True
Let o = 0.4 - 2.4. Let m be 2/8 - (-316)/16. Let s be 1*2 + m/(-15). Which is bigger: s or o?
s
Let v be (-1 + -1)*(-9)/6. Which is bigger: v or 8?
8
Let h(m) be the second derivative of -m**5/20 - m**4/2 + m**2/2 - m. Let v be h(-6). Let a be 25/(-78) - (-4)/24. Which is smaller: a or v?
a
Let x(j) = -j**3 + 8*j**2 - 2*j - 10. Let u be x(7). Let n be (-40)/u - (-4)/(-10). Which is smaller: n or 0?
n
Let l = -5 - -2. Let k(a) = -a**2 - 2*a + 2. Let f be k(l). Let x = -2 - -9/4. Is f < x?
True
Let o be ((-1)/2)/(-1)*-2. Let q be 1 - (-37)/33*-1. Let s = -46/165 + q. Is o > s?
False
Let w(o) = o**2 - o - 6. Let c be w(0). Let z = c - -12. Let m be ((-9)/(-21))/(z/4). Is 0.2 != m?
True
Suppose 0 = -5*r - 10 - 0. Is r equal to -1?
False
Let z(p) = 2*p**2 + 2*p - 2. Let d be z(-2). Suppose d*o + 2*o - 5*t = 28, 3*o + 2*t = -2. Let f = 0.2 + -0.3. Which is greater: f or o?
o
Suppose -3*c + 5 - 2 = -4*d, 4*c = d + 4. Which is smaller: d or -4?
-4
Suppose 0 = -2*i + 5*g + 187, 3*i + 2*i - 502 = g. Which is bigger: i or 102?
102
Let i = -3 - -6. Let h = i - 1. Let d = -2.2 + h. Are d and -3 nonequal?
True
Let h = -10 + 8.9. Is -7 greater than h?
False
Suppose 3*b = 3*g - 0*g - 6, -4*g - b = 17. Which is smaller: g or -1?
g
Let u = -2.032 + 0.032. Is u at most -2?
True
Let u = -54 + 56. Which is smaller: u or 18/11?
18/11
Let j = -56772 - -398584/7. Let g = j + -169. Suppose 8 = -4*u + 4*i, -11 = 5*u + 5*i - 31. Which is smaller: g or u?
g
Let k = 0 - -2. Let t = 1 + -1. Suppose -2*l = -t*l - 2. Which is bigger: k or l?
k
Let w(d) = 11*d**2 - 2*d + 1. Let c be w(1). Let g = -6 + c. Is 3 < g?
True
Let u = 138/11 - 326/33. Which is smaller: u or 3?
u
Let i(h) = 11*h - 48. Let l be i(14). Which is bigger: 105 or l?
l
Let u be -1 - 1 - -2*1. Suppose -r + 3*y - 9 - 1 = u, 0 = -2*r + 4*y - 12. Suppose h - r = -h. Is h less than or equal to -1/4?
False
Let t = 6 - 14. Let d = t + 11. Is d <= 1?
False
Suppose 0 = 2*y - 3*y - 5. Is y > -1?
False
Suppose -2*k = 5*i - 74, 3*i - 7*i - 2*k + 60 = 0. Let o be (4 + i/(-4))*2. Is -6 greater than o?
False
Let a(m) = -6*m. Let f(r) = 7*r. Let l(h) = 6*a(h) + 5*f(h). Let w be l(-2). Let u(p) = p**2 - p - 4. Let y be u(3). Is w > y?
False
Let t be (-4)/6 - 22/(-6). Suppose 5*y - 30 = -2*p, 4*y + 3*p = p + 26. Is t at least y?
False
Suppose -2*p = 5*h - 19, -44 = -4*h + 3*p - 15. Suppose 0*z = h*z. Suppose 0 = -z*q - q - 1. Which is bigger: -2 or q?
q
Let q = 1 + -1. Suppose 4*x - 9 = -17. Which is greater: q or x?
q
Suppose 5*k + 14 = 4. Let r be (-3)/(-2) - 5/k. Is 3 < r?
True
Let k(o) be the second derivative of -1/6*o**3 - o - 3/2*o**2 + 1/3*o**4 - 1/20*o**5 + 0. Let y be k(3). Is 2 at most as big as y?
True
Let x(i) = i**2 - 3*i - 12. Let q be x(6). Let c be ((-14)/21)/(1/q). Let z = 0 - 0.1. Is c smaller than z?
True
Let s(d) = d - 12. Let x be s(8). Let u = -5 - x. Let v = -1 - u. Which is greater: 1 or v?
1
Let c = -14 - -38. Is c > 24?
False
Let y(u) = -u**3 - 4*u**2 + 8*u + 7. Let j be y(-5). Let h be (-68)/j - 2/4. Which is greater: 7 or h?
h
Suppose 5*a - 3*a - k + 1 = 0, -3*a = -3*k + 3. Let t be 0 - -4 - a/2. Suppose -t*v = 5*b + 15, 2*b - 2*v = -6 + 18. Do 3/5 and b have the same value?
False
Suppose 4*t - 36 = 4*b, 5*b = 4*t - t - 37. Is 4 less than t?
False
Let j = -3 + 3.04. Let u = 0.34 - j. Let v = u - -0.7. Which is bigger: v or -1?
v
Let y = -10 + 7. Let z = -44 - -42. Is y smaller than z?
True
Let p = 3.8 + -1.8. Which is bigger: 8 or p?
8
Suppose i + 0*z + 3*z = 11, 4*i - 3*z = 59. Suppose 0 = 2*d - 5*d + 45. Is i > d?
False
Let j be 4/(-60)*-51 - 2. Which is smaller: 0 or j?
0
Suppose -37*c = -38*c. Is 3 > c?
True
Let w = 3 - -6. Let s = -13 + w. Let i = 0.5 - 0.4. Which is smaller: s or i?
s
Suppose 0 = -4*u - 4*q - 4, -5*u + 5*q - 16 = 29. Let a(n) = n - 10. Let w be a(6). Which is smaller: u or w?
u
Suppose -2*z + 12 = 4. Is 4 != z?
False
Let p be (7 - 1)*9/27. Let g be -4 + p - (0 + -2). Which is smaller: g or 0.7?
g
Let l(z) = -z**2 + 3*z + 1. Let t be l(3). Let b be 6/(-20) + t/(-5). Which is smaller: b or 0?
b
Suppose 43 = -2*i - 41. Let x = i + 125/3. Let a(y) = y**3 + 6*y**2 + 1. Let l be a(-6). Is x less than l?
True
Let f(q) = 5*q - 9. Let p be f(6). Let i be (-3)/(-3 - p/(-6)). Which is bigger: i or -5?
-5
Let w = -1023/2 + 521. Which is smaller: 9 or w?
9
Suppose -4*r - 10*r = 0. Which is greater: 12/17 or r?
12/17
Let u be (3/15)/((-2)/(-15)). Let l = u + -7/6. Is -0.1 less than or equal to l?
True
Let f = -138 - -95. Let i = -30 - f. Is i < 14?
True
Let h = -4126/3 - -1387. Let w = h + -12. Which is smaller: w or -1?
-1
Let l = 13.61 - 12.5. Let q = 0.11 - l. Is 2 >= q?
True
Let j be 5/(-3)*1/3. Are j and 0 unequal?
True
Let h be 3/2*2/17. Which is smaller: 0 or h?
0
Let n(z) = -z**3 - 5*z**2 + 4. Let i be n(-5). Suppose -4*k = h, 3*k - 10 - 3 = -i*h. Which is smaller: -2 or k?
-2
Suppose h + 2*l = 2, 0*h - 4*h = -4*l + 4. Let a = 88/141 - -2/47. Is h at least as big as a?
False
Let b(u) = -u - 6. Let s be b(-5). Let x = -2 - s. Let c = 5/29 + -113/319. Which is smaller: x or c?
x
Let d = -8.5 - -9. Let h = d - 0.5. Is h at most as big as -2/7?
False
Let w = 176.6 + -177. Let f be (-4)/(-6) - 2/(-6). Which is smaller: f or w?
w
Suppose 15 = 4*v + 3. Let p(f) = -f**2 - 11*f - 1 + 2*f - v - 2. Let b be p(-8). Do b and 0 have different values?
True
Suppose v = 2*v - 2*q + 3, 5*q = 15. Suppose 0 = v*b - 5*x - 20, -b = -4*b - 4*x - 16. Which is bigger: -6 or b?
b
Suppose k = -2*k - 12. Let s be (-6)/(-21) - 187/(-7). Suppose -3*m - h = 6, -h + s = -5*m + 3*h. Do k and m have the same value?
False
Let n be (6/(-18))/((-2)/24). Let k be 2/6 + (-1)/n. Let y be 9/(-7) + 2/7. Which is greater: k or y?
k
Let z = -1 + 1.2. Suppose -b - 67 = -13. Let n be ((-57)/b + -1)*-4. Are z and n equal?
False
Let w = 58 - 91. Is w at least -33?
True
Let u = -8 - -13. Suppose 0 = -3*g - 2*g - 3*t + 10, u*g = -t + 10. Suppose -6*n - 5 = -11*n. Which is smaller: n or g?
n
Let m = -0.7 + -2.3. Let c = 0.09 + -1.09. Which is smaller: c or m?
m
Let h(n) = n**2 + 6*n - 9. Let m be h(-7). Is -8/3 at most m?
True
Let o = 13 + -8. Suppose c + 3 - o = 0. Which is smaller: c or 5/4?
5/4
Let k(d) = d - 12. Let q be k(12). Which is smaller: -3/10 or q?
-3/10
Suppose -12*r - 7 = -5*r. Which is greater: r or 1/67?
1/67
Let v be ((-10)/3)/(10/15). Let h = -2 + -5. Let b be (-2 - -1) + h/v. Which is greater: 0 or b?
b
Let o(l) = l**3 + 8*l**2 - 10*l - 2. Let a be o(-9). Let y = 1019/3 + -333. Which is greater: a or y?
a
Let w be 251/170 + (25/10 - 4). Is w at least 1?
False
Let y = 133 + -166. Which is greater: y or 1?
1
Let o be 4/26 - (-22)/26. Let p be (-1)/(-3) + (-38)/78. Which is smaller: o or p?
p
Let a = -14.3 - -8.2. Let u = -7.2 + 1.2. Let j = a - u. Are -0.4 and j equal?
False
Let w = 9.77 - -0.23. Let g = w - 15. Is -1 > g?
True
Let d = -3 - -4. Let m be 62/14