 <= 0?
True
Let h(v) = -v**3 - 14*v**2 + 20*v + 76. Let p be h(-15). Which is greater: p or -32/11?
p
Let y = -12 - -14. Let d be y/3 - 174/18. Are 1 and d non-equal?
True
Let z = -1077 + 1077. Let y = 80 - 54. Is z bigger than y?
False
Let u = -0.06 + 7.06. Let g = u - 7. Let f = g - 0.1. Which is smaller: f or 9?
f
Let f = 47/19 - 331/133. Does f = 0?
False
Let y = -49 - 19. Let z = -68 - y. Which is smaller: z or -4?
-4
Suppose -3*f + 5*f = 2. Let q = 0 + f. Let z = 5/419 - -374/3771. Is z at least as big as q?
False
Let s = 4.934 + 0.066. Does 20/17 = s?
False
Let p(q) = q**3 + q**2 - 7*q - 1. Let l be p(-3). Suppose -5*o + 5 = 30, -3*g + 4*o + 44 = 0. Let m be g/3*6/10. Which is smaller: m or l?
m
Suppose 2*y + 6*h = h - 2, 4*h = 3*y + 26. Let q(c) = -c**2 + c - 7. Let d be q(0). Which is smaller: y or d?
d
Let s(c) = 20*c + 22. Let k be s(-1). Which is bigger: 16/25 or k?
k
Let t(u) = -u**2 + 2*u - 22. Let z be t(7). Is -55 not equal to z?
True
Suppose -2*y = -14*y + 48. Suppose -y*q + 195 = q. Is 38 < q?
True
Suppose 3*c - 4*w = -0*c - 219, 3*c + w = -234. Let q be ((-66)/c)/(2/14). Is q <= 4?
False
Suppose -4*t + 2*t + 4 = 0, u - 2*t = 17. Suppose 130*k + 448 = 122*k. Let j be (99/12)/(u/k). Do j and -22 have the same value?
True
Let r be 2*-1 + (21 - 38). Let v be 172/(-10) + (-10)/(-50). Is r > v?
False
Let i be (-1 - -9) + -3 + -22. Is i at least -6?
False
Suppose 5*j + 5*t = -28 + 8, 3*j + 2*t + 8 = 0. Suppose j = -2*v + 2*n + 12, -v + 2*n + 4 = 2. Is 7 smaller than v?
True
Let n = -0.478 - 2582.522. Is 1 smaller than n?
False
Let d = -7/15 - -2/15. Let g = -7 - -11. Suppose r - g*r = 3. Are d and r equal?
False
Let h = 795 + -794. Is -1/321 greater than or equal to h?
False
Let f = 1388 - 104102/75. Let x = f - -32/75. Let i = 0.6 - 0.62. Are i and x nonequal?
True
Suppose 0 = b + 2*l - 9, 0*l + 3 = 2*b - l. Suppose 30 = 5*i + 4*x, -3*i - b*x = 2*x - 31. Suppose 1 - 22 = -i*a - 5*k, k = a + 7. Which is smaller: -1 or a?
a
Let k = 6.86 - 6.56. Which is bigger: k or -36?
k
Let q(y) = -y**2 + 11*y + 23. Let l be q(-5). Is -57 at least as big as l?
True
Let j(d) = d**3 - 16*d**2 - 34*d - 35. Let m be j(18). Which is bigger: 5/116 or m?
m
Let v be ((-21)/(-27) - 1)*3. Let h = v + 4/3. Which is smaller: 0.7 or h?
h
Let i(x) = -3*x - 1065 + 4*x + 1073. Let p be i(-4). Is 0.3 bigger than p?
False
Let s = -174 + -218. Let f be 4/(-14) - 1*116/s. Which is smaller: 0 or f?
0
Suppose -8 = 3*b + 19. Let w = 23 - 9. Suppose -6*z - w = -4*z. Which is smaller: z or b?
b
Suppose 65*u + 131 = -454. Let o(m) = m**3 - 5*m**2 - 3*m + 7. Let h(a) = 6*a**3 - a**2 - a + 1. Let r be h(1). Let w be o(r). Which is smaller: w or u?
u
Let b = -13 + 9.9. Let a = 3 + b. Let h = -540/7 + 77. Is a <= h?
False
Let v = -17 - -13. Let u be v/(-6) + (-2)/3. Suppose -1 = -t - u. Does t = 3/19?
False
Let v = -30124/91 - -331. Let g(u) = -u + 2. Let a be g(1). Which is greater: v or a?
a
Let o(a) = 23*a + 59. Let t be o(-3). Which is smaller: -7 or t?
t
Let v be (36/(-30))/((-2)/(-115)). Which is greater: v or -70?
v
Let v = 48.4 - 15. Let t = v + -10.4. Which is greater: t or -0.1?
t
Suppose 1 = -4*a + 5. Let t(w) be the third derivative of -w**5/60 - w**4/8 + w**3/6 - 7*w**2. Let b be t(-2). Which is greater: a or b?
b
Suppose 0 = -30*u - 35*u + 30355. Is 467 smaller than u?
False
Let w be -3 + (-8 - -2) - -75. Do w and 68 have the same value?
False
Let o(q) = q**2 - 11*q + 11. Let l(j) = -j**2 + 11*j - 11. Let u(s) = 6*l(s) + 5*o(s). Let b be u(9). Let w = -3 + b. Which is smaller: w or 1?
1
Let c = 7/6 - 5/4. Let z = 1/3 + c. Are z and -1/3 nonequal?
True
Let o be ((-4)/8)/(4/720*3). Suppose -58 = l + l. Is l >= o?
True
Let t be 31/3 + -4 - (-2)/(-6). Let b be 0/((-4)/t*-3). Is b < -3/5?
False
Let m = -3.131 - -0.031. Let l = 1.8 + m. Let f = l + 1.24. Is f greater than -2?
True
Let m = -75 - -35. Let k be (m/30)/(22/(-45)). Which is smaller: k or 2?
2
Let u be -1 + (-7)/((-3150)/116315816). Let b = u - 258478. Let w = -12/25 + b. Which is smaller: -1 or w?
-1
Let a = -788 + 788.5. Is -120 != a?
True
Let x = -90.7 + -74.3. Do x and -0.1 have different values?
True
Let d = 57 + -39. Let r = -26 + d. Let w be 1/(-4) - 27/(-12). Is w bigger than r?
True
Let t = 62 - 46. Suppose 2*m = -2*i - 2*i + 14, 3*i = 5*m - 22. Let k be 2 + t + m + -4. Which is greater: 20 or k?
20
Let v = -22430 + 134579/6. Suppose x + 5*l - 2 = 0, -x + 0*l = l - 2. Suppose -x*f = 4 - 2. Is f > v?
False
Suppose 2*i - i - 3*b + 3 = 0, 3*b - 6 = 0. Suppose -x - 4*x + 30 = 0. Let j be 16/(-10)*(-10)/x. Which is smaller: i or j?
j
Let h be (-1 - -2)/((-82764)/(-6365) + -13). Which is greater: 336 or h?
336
Let n(o) = 2*o + 7. Let z be n(-5). Let a be ((z - -8)/(-1))/1. Let r be (-3)/a + (-4)/(-10). Which is bigger: -1/6 or r?
r
Let r = 36 - 0. Suppose -2*p - p + m = -r, -5*p - 3*m + 60 = 0. Let s be (1 - -1) + -13 + p. Do 0 and s have the same value?
False
Let r be (40/(-25))/(3590/25). Which is smaller: 0 or r?
r
Let k be (-5*(-3)/30)/(6/(-216)). Which is greater: -117/7 or k?
-117/7
Let z be (-158)/(-6) + (30/(-9))/10. Is 29 < z?
False
Suppose -5*a - 6 = -3*a. Let n = a + 0. Let m = n - 4. Is -6 equal to m?
False
Suppose g + 16 = 1. Let o be (-3)/g - (-122)/(-10). Let v be ((-27)/o)/(1/4). Which is smaller: v or 7?
7
Let q(o) = 22*o**2 + 6*o - 6. Let j be q(4). Let u be (-6)/10 + j/200. Is 0 < u?
True
Let l = -92 + 105. Which is smaller: 24 or l?
l
Let k(s) = 14*s - 165. Let n be k(12). Which is smaller: n or 5?
n
Let l(w) = w**3 - 5*w**2 + 3*w - 1. Let z(x) = x**3 - x**2 + 2*x. Let v(c) = -l(c) + 3*z(c). Let g be 27/(-15) - 1/5. Let r be v(g). Is -13 greater than r?
False
Let z be 7/7*5*-1. Suppose -3*c - 2*c + 30 = 0. Let b = c + -13. Which is smaller: b or z?
b
Let b = 160 - 235. Let t = -75.4 - b. Which is smaller: 18 or t?
t
Let j = 35 - 34.6. Let r = 0.3 - j. Let x = -40 + 199/5. Which is greater: r or x?
r
Let d = -17.4 + -385.6. Is d smaller than -1/2?
True
Let g = 6.3 + 0.7. Which is smaller: -0.5 or g?
-0.5
Let y = -1577/4 + 397. Do -1 and y have the same value?
False
Let w = 0.05 + 2.45. Let p = 2.7 - w. Which is smaller: 4 or p?
p
Let h(g) = g**2 - 18*g - 84. Let d be h(24). Which is greater: d or 3?
d
Let g(q) = 10*q - 24. Let l be g(2). Let x = 9 + -8. Do x and l have different values?
True
Suppose -4*d - 4 = -3*n, -5*d - 2*n = -5*n + 2. Let p be d/4*(0 + 4). Let f = 8681/3 + -2892. Is f at least p?
False
Let o = -42.507 + -1.493. Are o and -2 equal?
False
Let z = -233 - -195. Is z at least as big as -4?
False
Let q = 2 + -2.1. Let a = 261/2 - 130. Which is greater: q or a?
a
Let l be 18/45 - (-7170)/(-50). Which is bigger: -142 or l?
-142
Suppose -4 = v, -2*v - 608 - 30 = 3*s. Let n be (-1)/7 + (-58)/s. Is 1 < n?
False
Let p = -5 - -14. Let i be 10/(-7) - p/(-6). Which is greater: 0 or i?
i
Let c(z) = -z - 15. Let t = -71 - -68. Let y be c(t). Which is smaller: -21/2 or y?
y
Let o = -3.052 - -3. Let f = -4.052 - o. Which is greater: f or 0?
0
Let n = -25/392 + -3/49. Let m(i) = -i**2 - i + 3. Let t be m(0). Suppose -2*s = -t*s. Is s at most as big as n?
False
Let b(v) = -v**3 - 4*v**2 + 5*v + 3. Let d be b(-5). Suppose -1 = 2*y + d. Do -0.2 and y have different values?
True
Let z be 8 - (-1)/(-2 + 1). Suppose 0 = 9*h - 8*h - z. Which is smaller: 25/3 or h?
h
Suppose -15 = -c + h, 2*c + 4*h - 2 - 4 = 0. Is 13 at most c?
False
Let r = -15 + 7. Let l = -14/111 + 17/37. Which is smaller: r or l?
r
Let d be -1*7/((-7)/102). Let s(m) = -2*m**3 - 24*m**2 + 2*m + 29. Let f be s(-12). Suppose f*x - 3 = d. Is 21 < x?
False
Suppose 5*c + 16 = 11. Let r be 2/(-6) + 20/15. Let v be 2*(r + (-17)/10). Which is greater: c or v?
c
Let p be (3/21)/((-1)/33). Let z be -2 - ((-2 - 0) + 13/39). Which is greater: z or p?
z
Let z = -155 - -149. Let o be ((-150)/(-250))/(z/(-4) + 0). Is 1 < o?
False
Let p = -264 - -324. Are 1 and p unequal?
True
Suppose 2*c - 9*o + 6*o = -15, -2*o = 4*c - 10. Is c at least as big as 5/37?
False
Let z = 40 - 22. Let g = z + -14. Suppose -t = g*t. Which is smaller: -3/20 or t?
-3/20
Let d = -27776/275 - -3016/25. Let l = d + -20. Which is greater: l or -1?
l
Let b be 3*((-8)/(-6))/(-2). Let x(s) = -211*s - 2*s**2 - 3 + 203*s + 1 + 3*s**2. Let u be x(8). Is u at most b?
T