2/(-8) + 4/16. Is a less than i?
False
Let k = 12 + -11. Let a = -0.14 - 6.86. Is a > k?
False
Let h = 2/153 - 112/765. Is -0.108 <= h?
False
Let p be (106/88)/((-20202)/64). Let o = 6/481 + p. Is 1 less than o?
False
Let j be (1/(-5))/(3/5). Let c = 1.3 + -0.3. Let u = -1 + c. Is u greater than j?
True
Let r(n) = 25*n - 118. Let g be r(3). Which is greater: -32 or g?
-32
Let l = 2.59 + -6.99. Which is smaller: -2 or l?
l
Let r(s) = 69*s + 2. Let c be r(3). Let x be 605/c + (-4)/(-38). Is x at least as big as 11/5?
True
Let u(q) be the third derivative of q**5/30 - q**4/12 + q**3 + 2*q**2. Let w be u(3). Let g = 9 - w. Which is bigger: -10 or g?
g
Let t = -678.04 + 678. Which is smaller: t or -10/17?
-10/17
Let h(x) = 26*x + 45. Let a be h(-2). Are 0 and a equal?
False
Let x(c) = -6*c - 22. Let p be x(-4). Let r(a) = -a**3 - 4*a**2 + 4*a + 1. Let g be r(p). Are -16 and g non-equal?
True
Let j(t) = -3*t - 17. Let r(k) = 2*k + 16. Let w(p) = -4*j(p) - 5*r(p). Let c be w(8). Let x(a) = -a - 1. Let s be x(c). Is -5 at most as big as s?
True
Let s = 28 + -82. Let y = s - -43. Which is bigger: 1/2 or y?
1/2
Let f be (2 - 0) + 3717/(-15). Let a = f + 245. Suppose -4*b = -7*b - 3. Which is smaller: a or b?
b
Let m = -8969/3 - -3029. Suppose -5*c + 205 = 5*d, 2*d + 0*d = -5*c + 205. Let w = c - m. Which is greater: 3 or w?
3
Let r = -0.7 + 2.3. Let x = 2.6 - r. Which is greater: x or 4?
4
Let k be (3/(-5))/((-2)/2). Let u = -0.141 - 165.859. Let r = -165 - u. Which is smaller: r or k?
k
Let u = 3263 + -3262. Let s = 0.16 + -13.16. Which is smaller: s or u?
s
Suppose -3*q = -q + 2*q. Let i be -2*(-2)/(-4 - q). Which is smaller: i or -5/3?
-5/3
Let a = -45 + 11. Let t = a + 33.99. Let x = -0.1 + 0. Is t smaller than x?
False
Suppose 23 = -w + 2*i - 4*i, 0 = 5*i - 10. Let g(t) = -t**3 + 4*t**2 - 2*t + 8. Let p be g(5). Are p and w nonequal?
False
Let h = 1 - -8. Suppose 5*t + 15 = -2*n, -3*t = n + 2*n + h. Let c(v) = v + 4. Let l be c(t). Which is smaller: 3 or l?
l
Let o be 61/(-427) - (-54)/182. Is o >= -2/15?
True
Let j(b) be the second derivative of b**4/12 - 3*b**3/2 + 6*b**2 + 8*b. Let c be j(8). Let o be 0 + c/((-12)/(-3)). Is 1/4 >= o?
False
Let i be 0/5 + -21 - 1. Let v be i/4*8/20. Which is greater: v or -1?
-1
Suppose 103*w = 95*w - 1536. Which is greater: w or 1/4?
1/4
Let z be 2 - 1/((-3)/2). Let r = -2069.2 - -2069. Which is greater: z or r?
z
Let c = 44/65 - 2/195. Which is smaller: c or 832?
c
Suppose 14 = -j + 3*o, -4*o = 4*j - 0*o - 24. Let i be (j + 0)/(1 - 2). Let u(t) = -t**3 + 5*t**2 + 6*t - 1. Let w be u(6). Is w smaller than i?
False
Let t = -12 - -13. Let j = 0.1 - 0.14. Which is smaller: t or j?
j
Let x(z) = -30*z + 61. Let o be x(2). Is -132/19 equal to o?
False
Let b(u) = u**2 - 3*u + 6. Let a be b(3). Suppose 4*n - 2*i + 34 = 0, i - 10 = n - 0. Let q = n + a. Is q at most as big as -8/5?
False
Let q(p) = p + 3. Let k be q(-3). Let f = -24150 + 316634/13. Let z = f - 206. Is k less than z?
True
Suppose -3*t - 349 = -355. Let c be (2/(-6))/((-5)/45). Suppose -3*m + 0*m + 12 = -4*p, -c*p - 9 = 0. Which is greater: m or t?
t
Let n be (-145)/(-3) + (3 - (-35)/(-15)). Suppose n*w = 52*w + 3. Let l(t) = t**3 - 2*t**2 - 5*t + 4. Let r be l(3). Are r and w nonequal?
True
Let j(s) = 6*s + 1. Let k = -2 - -3. Let y be j(k). Let d(o) = -o**2 + 12*o - 14. Let f be d(10). Which is smaller: y or f?
f
Suppose -4*x + 8 = 0, 2394 = -9*p + 4*p + 2*x. Let g be p*((-19)/6 + 3). Let a = g + -81. Which is bigger: a or -1?
-1
Let f = -6133/646 - 2/323. Let v = 9 + f. Let x be 2/6 + 1/(-3). Is x less than v?
False
Let v(p) = -p**3 + 15*p**2 - 13*p - 11. Let l be v(14). Let b be -3*((-10)/l + 0 + 3). Let x = -3/472 - -3803/4248. Is x != b?
True
Let j be 18/(-7)*((-85)/10 - -5). Is 15 > j?
True
Suppose -20 = 5*f, 5*f = -6*r + r + 130. Is 30 smaller than r?
False
Let x = 3.1 + -4.1. Let a = -8 - x. Let w be 8/70 + (-4)/(-14). Is a less than w?
True
Let q be (-14 + 15)/((-1)/(-8)). Let z = q - -4. Suppose 3*v = -5*t + 15, 0 = -0*v - 2*v - 4*t + z. Is v greater than -1/8?
True
Suppose -12 + 12 = 41*a. Which is smaller: -1/71 or a?
-1/71
Let o = 117/8 + -675/56. Let w = -65/28 + o. Let x = -9.8 - -0.8. Is w at most as big as x?
False
Let h(a) = -a**3 - 9*a**2 + 10. Let v be h(-9). Suppose v = -2*j - 2*d - 0*d, -3*j = 2*d + 13. Does j = 3?
False
Let m = 17 - 9. Let n be (-423)/1116 - (-2)/m. Which is smaller: 1 or n?
n
Let n = 531/4 - 132. Do 2/19 and n have the same value?
False
Let v(y) = -y**2 + 17*y - 52. Let d be v(13). Which is smaller: 3/437 or d?
d
Let p = -454/5 + 5658/35. Which is smaller: 71 or p?
p
Let a = 1839 + -1967.9. Let p = a - -129. Let t = 0.06 + 0.06. Which is smaller: p or t?
p
Suppose -886 = -31*t + 168. Which is smaller: t or 236/7?
236/7
Suppose -6 = -5*t - 4*r, t + 2*r - 4*r - 4 = 0. Let c be (33 - 3) + 4/t. Let m = c - 36. Is m less than or equal to -7?
False
Let s be (-3)/5 - (-28)/5. Let v = s - 3. Let w be (2/3)/((-10)/(-15)). Is v at most as big as w?
False
Let l be 6/(-5)*((-80)/(-12) + 0). Let y be 12/(-5) - 4/(-10). Let i = y - l. Is i greater than 4?
True
Let h be 1/(1/(-1)) + 0. Let t(y) = -2*y**2 + 1. Let d be t(h). Let i be 235/(-470) + (-3)/34*(-11)/3. Which is smaller: d or i?
d
Suppose 24*d + 70 = -11*d. Is d less than or equal to -5?
False
Let p = 5908 - 5907. Let g = 6/1877 + 690682/16893. Let h = g - 41. Which is bigger: h or p?
p
Let k(j) = j**2 - 9*j + 11. Let r be k(8). Suppose r*q = 2*q. Suppose -z + 5 + 7 = q. Which is smaller: z or 13?
z
Suppose -2*k = -7*k + 30. Let d be k/3*(-1)/(-27). Which is smaller: d or 0?
0
Let h be 2/151*(-10)/(-10). Which is smaller: 1 or h?
h
Let h = 3 + -4. Suppose -a + 1415 = -5*t + 346, 0 = 4*t - 2*a + 860. Let k = t + 1919/9. Is h at least as big as k?
False
Suppose 9*p - 8*p = -199. Which is bigger: -197 or p?
-197
Let g be 327/(-78) - 4*8/(-8). Which is smaller: g or 1?
g
Let j be ((-11)/22)/((-5)/560*2). Are j and 28 non-equal?
False
Let k be 448/(-588)*3/(-6)*-3. Let j be 1 + 5/(10/(-6)). Does j = k?
False
Suppose 0 = -4*p - 7 - 1. Let f = 0.47 + -0.8. Is p != f?
True
Let j(c) = -2*c**3 + 2*c**2 + 7*c + 4. Let n be j(-1). Suppose -2*s = -3*s + 20. Suppose 3*z - z + 3 = -a, 4*a = -s. Is n at most z?
True
Let d(t) = 0*t**3 + 725*t - 723*t + 3 - t**3 - 7*t**2. Let q be d(-7). Let n(k) = -k**2 + 3*k + 5. Let r be n(6). Is r > q?
False
Let s(v) = -4*v - 4. Let a be s(-2). Let o be ((-2)/a)/(6/36). Is o at most as big as -6?
False
Let g(k) = -k**3 - 8*k**2 - 4*k + 14. Let i be g(-5). Let f = i + 41. Is -3/32 bigger than f?
False
Let r = 252 + -292. Which is smaller: -1 or r?
r
Let r(i) = i**2 + 7*i - 2. Let g be r(-8). Let t be (-8)/g*84/(-8). Suppose -17*u = -t*u + 39. Is u <= -14?
False
Let p = 9 - 10.5. Let r = -5.5 + 7. Let x = p + r. Is -0.1 > x?
False
Let q(l) = -l**3 - l**2 + 3*l - 2. Suppose -14 = 3*n - 2. Let s be q(n). Is 33 at least s?
False
Let f = 2/557 + 2222/1671. Which is bigger: -1 or f?
f
Let r(w) = 4*w**3 + 3*w**2 + 3*w + 2. Let m be r(-2). Let y be (-224)/m*(-6)/(-4). Suppose -2*d = q - 9, -d + 3*d + 2*q - y = 0. Is 1 at most as big as d?
True
Let c(m) = -4*m**2 - 12*m + 18. Let x(p) = -5*p**2 - 12*p + 19. Let o(d) = -6*c(d) + 5*x(d). Let j be o(11). Is j less than -9/7?
True
Let c be (368/(-60))/(-7 + (-935)/(-135)). Which is bigger: 82 or c?
c
Suppose -260 = -3*t + 5*u, 0 = -2*t + 4*t + u - 195. Is t greater than 95?
False
Let t = -0.555 - -8.555. Do t and 0.08 have the same value?
False
Let w = -549 - -548. Are w and 3/137 nonequal?
True
Let f = 21.9 - 21.9. Do 88 and f have the same value?
False
Suppose -b + 0*b + z = -10, 0 = -5*b + 3*z + 40. Let d = -457/5 + 95. Which is smaller: d or b?
d
Suppose 4*b - 3*g = 3 + 2, 0 = 5*b + 5*g - 15. Which is smaller: b or -2/197?
-2/197
Let y be -1 - -2 - 1 - -55. Is 59 >= y?
True
Suppose 3*s - 5*o = -28 - 27, -5*s - 55 = -o. Is s greater than 13?
False
Let j = -7 + 12. Suppose 0 = -j*y - 3*y + 32. Is y < 5/2?
False
Suppose 0 = l + 1 - 0. Is 3/314 greater than l?
True
Let t(r) = -r**2 - 19*r - 28. Let j be t(-17). Which is greater: -3/20 or j?
j
Let j = 119 + -41. Is j bigger than 79?
False
Let d = 151 - 144. Which is greater: -2/3 or d?
d
Suppose -32 = -10*i + 2*i. Suppose i*v - r = 0, 2*v = 3*v - 2*r - 7. Is -1