= 5 - h. Let r be -2 - 11/(-5)*c. Which is greater: r or 0.1?
r
Let h = 2 - 2.1. Let g = 1.9 - h. Which is smaller: 2/3 or g?
2/3
Let x be (-4)/(-12) - 122/(-30). Let d = x - 39/10. Are d and 0 non-equal?
True
Let o(d) = 2*d - 9. Let s be o(6). Suppose 0 = -3*q - 4*n + 25, s*q + 0*n - 1 = 2*n. Suppose 4*i - 5 = 7. Is q greater than i?
False
Let j(d) = 3*d - 5. Let r be j(8). Suppose -4*s = 5*y + 21, 3*y + y = -s - r. Is s > 2/3?
True
Let h(q) = q**3 + 5*q**2 + 5*q + 4. Suppose -2*d - 6 = 0, -3*o - 3*d - 6 = 15. Let p be h(o). Is -2 < p?
True
Let c(l) = -l**3 + 5*l**2 - 4*l + 6. Let i be c(4). Let p be (-4)/(-2)*(-9)/i. Which is greater: -4 or p?
p
Suppose -419 = -16*d - 83. Which is greater: d or 23?
23
Let q = -6 - -5. Let b be -1*(q + -2) + 4. Let j = b + -8. Which is smaller: j or 2/11?
j
Let a be (1 + 2*-1)*-23. Suppose -4*q - 3*i = -7, 4*q + q - a = i. Suppose -2*k - d = 4*d + 21, -k + 27 = -5*d. Which is smaller: k or q?
k
Let t be 12/222 - (0 + 0). Which is bigger: 0 or t?
t
Let g be (-1 + 0)/(-5 - -6). Which is greater: g or 1/16?
1/16
Suppose 3 - 12 = -c. Suppose -3*h + 0 = -c. Which is smaller: 2 or h?
2
Let p = 0.3 - 1.3. Let j = -182 - -47. Let r = j + 677/5. Which is bigger: p or r?
r
Let l = 10 - 2. Is 8 at most as big as l?
True
Let t = 0.07 + 0.23. Let g = t + -0.2. Suppose 0 = -10*o + 5*o + 15. Which is bigger: o or g?
o
Let p = -21 + 148/7. Which is bigger: p or 1/2?
1/2
Suppose 4*i = 3*h + 81, -h + 0*i = -i + 26. Which is greater: -22 or h?
-22
Let k = 3.4 - 2.3. Let h = 5.9 - 2. Let a = h + k. Is 1 greater than a?
False
Let z(i) = i**3 + 5*i**2 - 3*i + 8. Let r be z(-6). Is -9 greater than or equal to r?
True
Let c be 37/13 + (-16)/(-104). Suppose 2*x - q - 3*q - 2 = 0, c*q + 3 = 2*x. Is -2/9 at least x?
False
Let o(n) = -n**2 - 4*n + 15. Let m be o(-7). Let v(k) = k**2 - 2*k + 1. Let j be v(3). Let q = j + m. Is q at most -3?
False
Let t(c) = -c**2 + c + 2. Let q be t(2). Is -2/211 at least q?
False
Let g(l) = -l**2 - 9*l - 8. Let s(p) = 5*p + 7. Let c be s(-3). Let o be g(c). Is -3 equal to o?
False
Let g = 4 - 2.9. Let y = g - -2.9. Is y not equal to -1?
True
Suppose 2*m = 5 + 5. Let f be (m - 5)*1/(-1). Suppose -q + 5*c + 18 = f, -4*q + 3*c = -31 + 10. Is q equal to 3?
True
Suppose 0 = -4*g + 3*g + 7. Suppose 9 = -g*c + 4*c. Which is smaller: c or -2?
c
Suppose -39 = -4*o - 43. Let x be (-1)/(107/(-53) - -2). Let f = -369/7 + x. Which is smaller: f or o?
o
Let k(i) = i + 12. Let y be 2/(-6) + 58/(-6). Let v be k(y). Suppose v*f = 3*f + h + 5, 2*h + 10 = -4*f. Is f not equal to -1?
True
Suppose -4*i - i - 2*o = -46, 2*o + 2 = i. Suppose j = 5*j + i. Let x = 4 - 6. Is j >= x?
True
Let x = 5 + -4. Let g = 1 + x. Suppose 0*y = -y - g. Which is greater: -1 or y?
-1
Suppose 0 = -n - 3*n + w + 3, -2*n + 3 = -w. Let m = 1/46 + 11/23. Is n bigger than m?
False
Let j(r) = r**3 + 5*r**2 - 7*r - 5. Let y be j(-6). Let o(z) = -z**2 - 9*z + 9. Let v be o(-10). Which is smaller: y or v?
v
Let y be (-10)/5 - (-48)/22. Let i = 3 + 0. Suppose -a + i*a + 2 = 0. Are y and a equal?
False
Suppose -3*u = -0*u + 1176. Let c = u + 743/2. Let s = 21 + c. Which is smaller: 1/3 or s?
1/3
Let b(g) = g**3 + 10*g**2 - 12*g - 10. Let p be b(-11). Let j = -2 - 1. Let h = 7 + j. Is h bigger than p?
True
Let b = -0.18 + -0.12. Let j = 2 + -1. Let t be 1 + j - 72/42. Is b greater than t?
False
Let a(q) = -q**2 + 3*q + 6. Let v be a(5). Is v < -1?
True
Let l = 8.21 - 8. Let t = l - 0.01. Let d be (-6)/(-27) + 8/45. Is t at most d?
True
Let v = 1094/7 + -156. Let b(a) = a. Let i be b(4). Is i less than v?
False
Let j = -6 + 7. Let l be -1 + j + 3 + -2. Suppose -21 = -3*d + 3*w, 4*d + 0*d + 4*w = -4. Are l and d nonequal?
True
Let k = 2.92 + -0.32. Let z = -4 + 1. Let u = k + z. Is 1 smaller than u?
False
Let f be (1 + 1)/((-1)/2). Let r = 11 - 8. Let d = r - 8. Which is smaller: d or f?
d
Let r be ((-1)/17)/((-2)/(-4)). Suppose 40 = 53*i - 13. Which is greater: r or i?
i
Let y(u) = -u + 22. Let h be y(9). Let k = 12 - h. Is -1/4 at least as big as k?
True
Let v be (1 + 0)/(-8 + 2). Is -0.27 less than v?
True
Suppose c + 2 + 4 = 0. Let a be 1/(-1 - 8/c). Is 4 != a?
True
Let w = 9 - 5. Suppose -w*i - 3 + 11 = 0. Suppose -i*q = 3*q. Which is smaller: 1/8 or q?
q
Suppose 3*s = -17*s + 20. Let j = 24/11 + -613/286. Which is bigger: j or s?
s
Let o be 1 - 1/8*10. Suppose -2*d - 25 = -7*d. Suppose -3*h = -2*g + d, 3*h + 4*g = -0*h + 19. Which is greater: h or o?
h
Let g = 36 - 42. Which is greater: g or -7?
g
Let a = -11 - -13. Are -0.6 and a nonequal?
True
Let f = 21 + -15. Let d = f + -3. Which is greater: d or 5/2?
d
Let h = -1 + 2. Suppose 2 + h = 3*x. Let i be (-4 + x)*2/15. Which is smaller: 1 or i?
i
Let x = -30 + -219. Let y be (6 - 0)*x/24. Let u = y - -62. Which is smaller: u or 0?
u
Let a be 3/(-9) + (-5)/3. Let m be (-11)/(-14) - 1 - (-6)/(-21). Which is bigger: a or m?
m
Let r(g) = g + 0*g - 8*g**2 + 2*g. Let a be r(3). Let o = 123/2 + a. Do -3 and o have different values?
True
Let u be (-2)/(-10) + (-19)/(-5). Suppose u*i + 28 = 5*w, -3*w - 2*i = 2*w - 16. Let j be (8/42)/(w/(-12)). Which is bigger: j or -1?
j
Suppose 12*y + 3 = 11*y. Let h be (7 + -3 + y)/(-1). Suppose -2*i + 20 = -7*i. Which is greater: i or h?
h
Let l = -3536/19 - -186. Which is bigger: -1 or l?
l
Let i be 2*4 - 0/(-5). Are 11 and i nonequal?
True
Let w(h) = h**3 - 12*h**2 - 15*h - 9. Let r be w(13). Let c be 203/r + (-2)/10. Which is smaller: c or -7?
-7
Let w be (-4)/395*20/8. Let x = -69/395 + w. Is -1 less than or equal to x?
True
Let q be 0 - -2*(-6)/12. Which is smaller: q or 1/9?
q
Suppose 0 = 5*p - 3*p. Suppose 0 = 2*l - 6 - p. Is 3 < l?
False
Let p be ((-48)/28)/(2/(-21)). Suppose i - 5*o - p = 0, -3*o = 3*i - 0*i. Let w(y) = y - 5. Let h be w(7). Is i less than or equal to h?
False
Let i = -92023/75 - -1227. Let x(c) = -2*c**2 - 8*c - 1. Let g be x(-4). Do i and g have the same value?
False
Let r = 10 + -6. Let c = 3 - r. Which is greater: -2 or c?
c
Suppose 2 - 6 = -2*m. Suppose -2*z = -3*z + 5. Suppose n + 1 = -0*n + i, 0 = z*n - 4*i + 3. Is m at least as big as n?
True
Suppose 0 = -0*m - 5*m - 10. Is -2 at least as big as m?
True
Let r be (-938)/(-770) + 3/5. Are 1 and r unequal?
True
Let f be (-3)/(-4) - (-4)/(-16). Is f <= 1?
True
Let v be (35/(-15))/(1/(-62)). Let q = v + -146. Which is greater: q or -0.1?
-0.1
Let w be 513/(-45) + (-4)/(-10). Are -41/4 and w equal?
False
Let v(t) = t**3 + t**2 - 4*t - 3. Let l be v(-2). Let y be l + -2 + -1 + 1. Let j(m) = 4*m**2 - 1. Let g be j(y). Which is smaller: 2 or g?
2
Let s(o) = o**2 + 4*o. Let g be s(-6). Suppose 2*x = 10, -2*z + 3*x = -z + g. Suppose 21 = 9*m - 6. Is m smaller than z?
False
Let n = -1.01 - -0.01. Let i = 0 - -0.12. Which is greater: n or i?
i
Let j = -13 - 1. Which is smaller: j or -15?
-15
Let i(d) be the second derivative of d**5/20 - 7*d**4/12 + 5*d**3/6 + 3*d**2 + d. Let v be i(6). Let k be 1 + -3 + 64/30. Which is smaller: k or v?
v
Suppose -3*m = -3*q + 12, q + 22 = -q - 4*m. Let h be 1/2 + -2 + 1. Which is smaller: h or q?
q
Suppose 0 = -5*s + 5*p - 25, 0 = 4*p + p - 15. Let h(r) = r**2 - 2. Let v be h(s). Let z = -2 + 6. Which is smaller: z or v?
v
Let u = 134 - 109. Is u less than or equal to 1/5?
False
Suppose 5*m - 2 + 18 = -3*k, -28 = 3*k + 2*m. Is -11 at least k?
True
Let w be (-9)/30 - 2/(-4). Let n = 2 + -2. Which is greater: w or n?
w
Suppose 3 = -u - 0*u, 442 = 5*t + u. Suppose 4*x - p + t = -4*p, 0 = 4*x - p + 77. Let i = 39/2 + x. Are 0 and i non-equal?
True
Let d = -17 + 67/4. Is 1/7 >= d?
True
Suppose -3 = -3*y + 6. Let p be (y/3)/(3/(-2)). Which is smaller: -2 or p?
-2
Suppose 0 = -0*j + 3*j - 3. Suppose 17*i = 25*i - 152. Let b be j/(i - -2)*6. Which is bigger: b or -0.3?
b
Let u = 0 + 0.04. Let g = 3.049 + -0.009. Let z = g - u. Is z greater than 1/3?
True
Let n(c) = -c + 10. Let h be n(7). Let r be (-14)/10 - 6/(-15). Is h at most r?
False
Let x be 4/(-10) - 1263/(-20). Let w = -62 + 125. Let f = x - w. Which is bigger: -1 or f?
f
Let q be 0 + (-5)/(-15)*6 + -27. Is q greater than or equal to -26?
True
Let w be 51/(-30) - 3/(-2). Let h = 45 - 46. Which is bigger: h or w?
w
Let i be 1*4 - (4 - 2). Suppose -x + 3*x = l - 9, -2*x = i*l - 6. Which is bigger: 0 or x?
0
Let x be 