 is greater: g or -1?
g
Let b = 33 - 33.3. Let h = 3.4 - 3.8. Are h and b unequal?
True
Let s = -1732 - -12127/7. Do 143 and s have the same value?
False
Let j = 4.54 + -2. Which is bigger: 3 or j?
3
Let l = 1545 + -1545.19. Which is smaller: l or 0.021?
l
Let z = -15.66 + -0.34. Let t = z - -6. Let m = t + 11. Is -8 smaller than m?
True
Let v = 15 + -11. Let x(b) = -b**3 + 7*b**2 - 4*b - 5. Let c be x(6). Suppose -6 = -c*r + 5*r. Which is greater: r or v?
v
Let l = 1 - -1. Suppose -10 = -l*i - 4. Suppose 14*t = 20*t - 18. Is t <= i?
True
Let d = -18653/3764175 + -1/4857. Is d equal to 1?
False
Suppose 0 = 5*o + 3*m + 33, -5*m + 17 + 3 = 0. Let t = o - -14. Suppose 3*y - 17 = -3*a + 7*y, -a + y = -t. Is 5/3 less than a?
True
Let t = 10 + -11. Let l be (-2)/(20/2)*(-25)/50. Which is smaller: l or t?
t
Let z = -389 + 247. Which is bigger: z or -144?
z
Suppose 2*x = -20*x - 176. Suppose 0 = -78*w + 75*w - 15. Is w bigger than x?
True
Suppose 4*h = -7 - 1. Let u be 6/10 + 4 + (-344)/40. Which is smaller: h or u?
u
Let f(c) = -c**2 - 2*c + 3. Let y be f(-3). Suppose -q + 3*j + 5 = y, 2*q + j - 15 = -5. Let t be ((-1)/q)/(36/(-150)). Which is greater: t or 1?
1
Let c(o) = -5*o - 2. Let b be c(-1). Suppose 2 = -2*k, 4*q + 1 + 0 = b*k. Let z = q - -1. Are -6/5 and z nonequal?
True
Let q = -2 - -3. Let i = 19 + -7. Let l be 1 + 1 - 7/i*3. Which is smaller: q or l?
l
Let o = -22 + 33.2. Let q = o - 0.2. Let v = q - 19. Is v bigger than -1/4?
False
Let h = 8.43 - 10.43. Which is greater: -57.5 or h?
h
Suppose -5*r + 3276 = 3721. Which is smaller: -91 or r?
-91
Suppose 13*o + 112 = 6*o. Let g be o + 20 - (-1 + -11). Is g less than or equal to 16?
True
Let b(t) = t**3 - 5*t**2 - 67*t + 13. Let d be b(11). Let w = 0.3 + 0.1. Let u = -0.5 + w. Is d != u?
True
Let l = 2 - 11/5. Let a = 1013.3 + -1014.6. Which is bigger: a or l?
l
Let q(r) = -r - 10. Let s be q(-12). Suppose 4*k = s*v - 32, -2*v - 3*k + 59 = 2*k. Let d be v/(-24) - (-10)/40. Which is smaller: d or -2?
-2
Let i be -9 - (-10810)/(-50) - (-4 - -10). Is -230 greater than or equal to i?
True
Let r be 9/(-9) + 1 + -3. Suppose -2 = -3*m + i - 0, -3*i + 8 = -2*m. Let t = r - m. Which is smaller: t or -11/3?
t
Let s = 7 + -11. Let t = 1627/4 + -410. Does s = t?
False
Let y be (-1437)/252*2 - -4. Let l = 55/14 - y. Is l bigger than 12?
False
Suppose 0 = 4*r - t - 5, 3*r - t - 3 = -0. Suppose -r = -6*f + 8*f. Which is bigger: f or 1/5?
1/5
Let s(p) = p**3 + 8*p**2 - 4*p + 19. Let n be s(-8). Let k = -52 + n. Is 3/11 less than or equal to k?
False
Let i be (-18)/(-63) + 467/7. Let c be (170 - 0)*((-40)/25 - -2). Is c less than or equal to i?
False
Let d = -17 + 22. Suppose 4*v = -5*g - 12, 4*g + d*v + 2 = -4. Is -0.6 at least g?
True
Let i(c) = 7 - 4 - 12*c + 7*c. Let t be i(2). Is t at least as big as 1?
False
Let q = 186 + -182. Let u = -3 - -7. Let j be q*(4 - 0)/u. Is j at least as big as 2?
True
Suppose -5*j + 4*y + 31 = 0, -3*j + 8*j - 5*y = 35. Suppose 8 = 3*c + 2*p, 4*p - 16 = -j*c - 0*p. Is c smaller than -2/31?
False
Let p(u) = 3*u - u - 5*u - 44*u**2 - 1 + 4*u. Let h be p(1). Which is greater: -43 or h?
-43
Let g(i) = -7*i**3 - 48*i**2 + 6*i - 7. Let b be g(-7). Is b > 2/115?
False
Let u(t) = 2*t**3 - t**2 - t - 1. Suppose -6*g - 3 = -3*g. Let a be u(g). Let o(m) = -2*m**3 + 4*m**2 - 3*m + 1. Let s be o(2). Which is smaller: s or a?
s
Suppose z - 5*z = 56. Let d = 12 + z. Which is greater: d or -3?
d
Let j be 63/12*8/(-3). Let k = -7 - 9. Are j and k unequal?
True
Let j(w) = -w**3 - 13*w**2 + 14*w. Let t be j(-14). Let z be 57 + (t - (0 - -3)). Let l = -1135/21 + z. Is l smaller than 1?
True
Let z be 1324 + 36/162 + 210/27. Which is bigger: 1334 or z?
1334
Let v be 73/(-8) + 10/80. Are -13 and v unequal?
True
Suppose 4*g - 2*g = 3*k + 10, 0 = 4*g + 2*k - 4. Suppose i - 2*i = -g*q - 10, -i + 20 = -4*q. Does i = -3/20?
False
Let u = -587.76 + 574. Let g = u + 13.8. Is 3/2 at most as big as g?
False
Let y = -0.204 - 0.296. Let d = 0.82 - 0.12. Let l = -0.8 + d. Which is smaller: y or l?
y
Let y(n) = -n**2 - 4*n - 5. Let r be y(0). Suppose 3*x + 0*x = -21. Let w = 5 + x. Is w equal to r?
False
Suppose 3*z - 5 = 7. Suppose 18 = z*u + 6. Suppose -2*k + u*k + 2 = 0. Which is smaller: k or -14/9?
k
Suppose -16*c = -0*c - 704. Suppose g - c = a + 3*a, 5*a - g + 55 = 0. Which is greater: -10 or a?
-10
Let x(f) be the second derivative of -f**5/20 - f**4/4 + f**3/6 + f**2/2 + 24*f + 2. Let j be x(-1). Is -8 bigger than j?
False
Let a = 27 - 191/7. Which is greater: a or -6?
a
Let l = -2831/8 + 356. Which is smaller: 1 or l?
1
Suppose -g + 84 = 6*g. Let d = g + -11. Does d = 2/3?
False
Let x = -43 + 41. Let p be 1*(0 + 14*x/32). Is p < 2/7?
True
Let u = 7106/65 - 188169/1430. Let c = u + 107/5. Let j = c - -4/11. Which is smaller: -2 or j?
-2
Let b be 6/15 - (-22)/(-55). Which is smaller: b or 2/3013?
b
Let c = -4 + 3.96. Let t be (1/14)/((-16)/56*-1). Which is bigger: t or c?
t
Let z be (-4 - -1)/(-6)*(-30)/27. Suppose -8*g + 9*g + 1 = 0. Is z less than g?
False
Suppose 0 = 4*q + x + 20, -15 = -42*q + 45*q - x. Suppose 0 = k + 2, 3*g + 3*k + 16 = -35. Let h = g - -11. Is h < q?
False
Suppose 14 = 5*n - 6. Suppose -3 = 5*c - u, -5*c + 0*c = -n*u + 12. Are c and -8 nonequal?
True
Suppose -3*u + 0 = -9. Let g(d) = -d**3 + 5*d**2 - 3*d. Let j be g(u). Suppose 3*a = a + 16. Is j smaller than a?
False
Let k = -2 + 1.9. Suppose 10 = -a + 4*o - 2, -4*a - 31 = o. Let v be (-2)/a*1 + 918/(-1496). Is k bigger than v?
True
Suppose -11*u - 618 = 119. Which is bigger: -63 or u?
-63
Let g be 1265753/4206279 - (-8)/(-28). Let r = g + -15/1441. Is 0 greater than or equal to r?
False
Let o be 0 + -1 + 0 + -3. Let w = -77 + 79. Let k be w/(8/(24/9)). Is o bigger than k?
False
Let g = -75 - -76. Which is smaller: g or 5/6?
5/6
Suppose -5*c - 13 = -4*i, -4*c + 138*i = 139*i + 2. Let h be (-6)/(-8)*(-18)/(-1593). Which is greater: h or c?
h
Let c = -0.478 - -143.478. Which is smaller: c or 0?
0
Let t be (28/6*9)/(-1). Let b = -50 - t. Suppose -4*v - 26 = -2*v + 3*c, 5*c - 30 = 4*v. Which is smaller: v or b?
v
Let n be ((-87992)/(-25925))/(-8) - 2/(-25). Is 1 smaller than n?
False
Let a(y) = -102*y + 13. Let r be a(-1). Which is bigger: 116 or r?
116
Let x(p) = 9*p - 65. Let i be x(7). Is i < 2/17?
True
Suppose 7 = x - 4*z, -21*z + 13 = -5*x - 25*z. Is x < -20/23?
True
Let q(i) = -15*i - 31. Let g be q(-4). Is 9 greater than or equal to g?
False
Let b(t) = t**2 + 27*t - 29. Let v be b(-28). Let c be (4 - 2)/(v/5). Is c >= -8?
False
Let o = 176/5 - 7/10. Are 35 and o nonequal?
True
Suppose -2*p + 5*m = 2*m + 1, 5*p - 3*m = 2. Are 9/92 and p nonequal?
True
Let u be (-12)/((-11)/(-3 + -19)). Let o = 34 - 58. Is o > u?
False
Let v = -77 + 105. Is 25 equal to v?
False
Let r = -6.3 + 1.1. Let p = 2.2 + r. Let j = -7 + p. Is 0.1 at least as big as j?
True
Let u = 1 - 0.9. Let j(o) = 2*o**2 - 3*o. Let h be j(2). Suppose 33 = -3*t - 4*x - 32, -4*t - h*x - 70 = 0. Is u less than t?
False
Suppose 0 = 3*p + 2*b - 5 - 7, 4*b + 6 = -p. Suppose -3*c = -c + p. Which is smaller: -4 or c?
-4
Let l = 215 + -206. Is -7 less than l?
True
Let s = 0.17 + -0.17. Is s not equal to 12/17?
True
Suppose -3*c = 6, -3*z - 3*c + 2*c = 8. Suppose 195*h - 202*h - 42 = 0. Are h and z unequal?
True
Let f(u) be the first derivative of 33*u**2 + u + 1. Let v be f(1). Let l = -265/4 + v. Which is greater: 1 or l?
1
Let c = 1450 - 1501. Is c greater than or equal to -47?
False
Suppose -6 + 2 = -4*u. Suppose 4*s - 17 = -u. Suppose -p = s*p. Which is smaller: p or -5/9?
-5/9
Let t = 0.3 + -0.4. Let s = -0.0658 - 11.9342. Is s at least t?
False
Let f be ((-3)/(-3))/((-2)/(-6)). Suppose -f*k - 18 = -39. Which is smaller: 8 or k?
k
Suppose 5*o - b = -5, -2*o + 0 - 2 = -4*b. Is 1/89 > o?
True
Let r = 43 + -28. Is 13 less than r?
True
Let i = -56 - 86. Is 0.7 equal to i?
False
Let c be 446/(-25)*(8 + 42/(-4)). Which is greater: 45 or c?
45
Let c = -4/9 - -41/72. Let v be 5/3 + (-4)/6. Which is smaller: v or c?
c
Let v = -341 - -339. Let g = 764681/1640082 + -2/13899. Let q = -2/59 - g. Which is bigger: q or v?
q
Suppose 2*d = -15 + 21. Suppose i + 0*i = -2*s - 18, -d*s = 9. Is i equal to -13?
False
Let z(q) = 2*q**2 - 18*q - 1. Let w be z(9). Which is smaller: w or 1/