3. Let m be i(-4). Let p be 6/(-9) + m/(-3). Let g = p - 4. Is g at least -1?
True
Let n(j) be the second derivative of -j**3/6 - 2*j**2 - j. Let d be n(-1). Let b be ((-6)/(-2))/(d/3). Which is bigger: b or -1/3?
-1/3
Let g be 1702/1380 - (-9)/(-6). Suppose -1 = -2*y - 5. Let m = 3 + y. Which is bigger: m or g?
m
Suppose -3*n = 393 - 3. Which is greater: 1 or n?
1
Suppose 0 = j + 5*w - 14 - 2, -w + 1 = 0. Let m(g) = -3 + 9*g + 8*g - 22*g - g**2 + 16*g. Let d be m(j). Which is bigger: -4 or d?
d
Suppose 0 = -b - 2*h - 85, b = 2*h - 23 - 66. Which is smaller: -88 or b?
-88
Let m(x) = -x**3 + 11*x**2 - 5*x - 23. Let j be m(10). Suppose -c + 4 = 2*z + 13, 5*z = -4*c - j. Which is smaller: c or -9/5?
c
Suppose 0 = -50*h + 52*h. Is h greater than -2/23?
True
Let z = 84 + -87. Let y = 0.8 + -0.8. Which is greater: y or z?
y
Let t be 7/(-3) + (-2)/(-6). Let y = 22 - 20. Suppose 2*k = y*n + 6, 3*n - 3*k + 9 = -4*k. Which is greater: t or n?
t
Let p(n) = 14*n + 28. Let y be p(-2). Is y at most as big as 4/181?
True
Let u = 1537/65 - 310/13. Is u at least as big as -463?
True
Let q = 235.49 + -235. Which is smaller: q or 2/7?
2/7
Suppose -3*d - 16 = 5*r, -3*d + 35 = -5*r + 1. Suppose -5*q + 3*g + 36 = 0, 7*q = 3*q + 3*g + 30. Is d at least q?
False
Let q = -4 + 18.5. Let l = q - 15. Suppose 3*o - 7*o + 2*b = 0, -4*o + 24 = 4*b. Is o smaller than l?
False
Let v = -3 - -6. Suppose 61 = 5*r + v*i, -4*i + 68 = 5*r + 10. Let a = r + -5. Which is smaller: -1 or a?
-1
Let h(v) = 10*v**2 - 19*v - 128. Let l be h(-5). Which is bigger: 215 or l?
l
Let o(a) = -14*a**2 - 7*a - 10. Let k be o(-4). Let x = k - -1247/6. Is 1 > x?
False
Suppose -13*q + 8*q = 0. Suppose 0 = 5*f - q*f. Let b be (f + -1)/((-14)/42). Which is smaller: 0 or b?
0
Suppose 0 = 2*o - 4, 5*w + 2*o = 20 + 14. Suppose m - w*m + 60 = 0. Suppose -6*r - m = -3*r. Which is smaller: -3 or r?
r
Suppose 0 = -2*t - t - 42. Suppose -2*y = -3*y - k - 9, -3*y = -k + 35. Let o be (0 - (3 - 5))*-2 + y. Are o and t nonequal?
True
Let i be (1 + -1 + -4)/(-1). Suppose -y = i*y. Let v be 6/(-36) - 7/12. Which is greater: v or y?
y
Let z = 16.3 - -1.7. Let a = 21 - z. Is a equal to 0?
False
Let s = 4.72 + -219.72. Do -0.1 and s have the same value?
False
Suppose 4*w + 0*w - 4 = -l, -4*w + 12 = 3*l. Let k = w + 4. Let q be -3 + (2 - -2) - -3. Is q bigger than k?
False
Let q(z) = z + 13. Let f be q(-9). Suppose -b + 5*v - 3 = 4, 3*b - 34 = f*v. Which is bigger: b or 16?
b
Let y be (-2 - -2) + 4 - 2. Let f(j) = -2*j**2 - 9*j - 4. Let d be f(-7). Let w = d + 42. Is w bigger than y?
True
Let p be (-78)/130 - 54/(-15). Is 31/8 not equal to p?
True
Let r = -1462 - -1426.94. Let z = 35 + r. Is z less than or equal to 2/7?
True
Let m(r) = -2*r - 18. Let w be m(-9). Let i be (1 - 15) + (3 + w - 3). Is i at least as big as -14?
True
Let s be 1/(4/28) - (-5 - -2). Let j be (s/12)/((-9)/6). Which is smaller: j or -1?
-1
Let q = -20.96 + -0.04. Let n = 45 + q. Let h = 16 - n. Is 0 < h?
False
Suppose a - 27 = 2*x, -2*a + 5*x = 3*a - 115. Which is greater: 16 or a?
a
Suppose -46*n - 57 = -11. Which is smaller: -32/91 or n?
n
Let m(t) = 3*t**3 - 11*t**2 - 12*t + 25. Let w be m(5). Is 59 <= w?
True
Let b be 260/6 - 20/(-12). Which is smaller: 137/3 or b?
b
Let b = -43 + 8. Let z be (2 + -1)*b/(-5). Let v be (z/(-3))/(2/(-12)). Which is smaller: v or 13?
13
Suppose 5*j = -i + 1, -i = -j + 2*i + 13. Let w(p) = p**2 - 4*p - 3. Let q be w(5). Let d = 0 - q. Which is smaller: d or j?
d
Suppose 2*o = -v + 5*o - 8, -5*o = -v - 14. Let g be v + (17 - -4) + -4. Suppose 30 = 5*t + p, -2*t - t - p + g = 0. Which is smaller: t or 3?
3
Let t(q) = -q + 20. Suppose 0 = 4*g - 4*n - 40, 12 = 3*g + 3*n - 6. Let o be t(g). Which is smaller: 13 or o?
o
Let u = 11.7 - 10.56. Let r = -87 + 86.86. Let a = r + u. Which is smaller: -0.1 or a?
-0.1
Let b(z) = -2*z - 4 - z**2 + 0*z**2 + 7*z**2 - 5*z**2 + 6*z. Let a be (-1 - 0)/(2/6). Let k be b(a). Which is greater: k or -9?
k
Suppose -g + 0*g + 3*d - 13 = 0, 0 = 4*g - 4*d + 12. Suppose -5*q + 3*v + 74 = 0, g*q + 3*v + 4 - 21 = 0. Which is smaller: q or 18?
q
Let p be ((-6)/9)/((-4)/66). Let x be (p/(-33))/((-1)/3). Which is smaller: 3/2 or x?
x
Let b = 47/390 + 3/65. Suppose -1 = 478*g - 479*g. Is b > g?
False
Let s = 1.2 + -0.92. Let u = 1.28 - s. Is -5 bigger than u?
False
Suppose -5*s + 2*q = 75, -s - 3*q - 15 = -0*q. Let t = -32 + 32. Suppose 5*w + 3*u + 72 = t, 0 = -2*w + 6*w + 4*u + 56. Is w greater than s?
False
Let u be (-39)/26*(-32)/6. Suppose 4*f = u*f. Which is greater: 5 or f?
5
Let c be (-9)/14*4*1. Let k be (-16 + 20)*(7 - (-30)/(-4)). Which is smaller: k or c?
c
Let f = -55 - -25.8. Let m = -826 - -797. Let q = f - m. Is 1 greater than q?
True
Let v = 2.2 + -2. Let l = -4.7 + 5. Let f = -0.34 + l. Which is bigger: v or f?
v
Let c(k) = k - 48 - k**2 + 21 + 22. Let r be c(5). Is r < -0.2?
True
Let w(a) = a**3 + 5*a**2 + 2*a - 5. Let l be w(-5). Let h = 16 - 30. Is h greater than or equal to l?
True
Let p be (-4)/(-12) + -5 + 9. Is p smaller than 5?
True
Let s = -2/309 + 656/5871. Suppose -2*r + 2 = 3*h - 9, 0 = 4*h - 4*r + 12. Suppose y = -h - 0. Is s not equal to y?
True
Let s = 3896 + -3895. Let k be 6/(-15) - (-23)/95. Which is bigger: s or k?
s
Let c = 360 + -412. Do c and 7/6 have the same value?
False
Let j = 101/124 - 2/31. Does j = 0?
False
Let y = -5443336 + 48679753478/8943. Let k = -3/271 - y. Which is smaller: 0 or k?
0
Let z = 2/385 + 1909/3080. Suppose -3*j - 3*r + 2 = -5*r, -j - r = 1. Is z at least j?
True
Let s be 147/2 + (6 - 55/10). Let i = -75 + s. Is -28 greater than or equal to i?
False
Let j(w) = -102*w**3 + 2*w**2 - 5*w + 3. Let c be j(1). Let k = c - -92. Let v be (-15)/2 - (-3)/6. Is k > v?
False
Let f(h) = h**3 + 10*h**2 - 13*h - 17. Let r be f(-11). Let v(o) = -o**2 + o + 20. Let k be v(r). Is 1/61 <= k?
False
Let g(v) = 3*v - 28. Let u be g(6). Let z be (5 - 0)*(-2)/u. Which is smaller: -77 or z?
-77
Let g be (15/(-30))/(1/2). Let j = g + 12. Is j less than or equal to 10?
False
Let i be (-66)/(30/10) + -8. Which is greater: -151/5 or i?
i
Suppose -8*r - 122 = 54. Let v be (-2 - (-15)/6)*(-24)/r. Is v greater than 1?
False
Let h = -5405/63 + 578/9. Let q = -22 - h. Which is bigger: q or -6?
q
Let b(t) = -14*t - 79. Let o(z) = 9*z + 53. Let i(q) = -5*b(q) - 7*o(q). Let f be i(-3). Which is smaller: 17/6 or f?
17/6
Suppose 30 = -5*y - 65. Is y != -20?
True
Let f be (810/(-25))/(-9) + -4. Which is smaller: 24 or f?
f
Let u(h) = h**3 + 2*h**2 - 2*h + 4. Suppose 13*i = -34 - 5. Let b be u(i). Which is bigger: 1/157 or b?
b
Let z be (-480)/(-2432) + 2/(-8). Let j(m) = m**3 + 3*m**2 + m + 2. Let d be j(-3). Is d less than z?
True
Let c(g) = g**2 + 6*g - 17. Let h be c(-9). Let a be h*(-2 - -4)/2. Which is bigger: 9 or a?
a
Let u = -47 - -44. Let v = 3 + u. Is v less than or equal to 7/5?
True
Let d = 6 + -3. Let r be d/15*1*-1266. Let m = 252 + r. Which is smaller: 0 or m?
m
Let u(o) = -o**3 + 6*o**2 + o - 5. Let l be u(4). Let x be l/20 - 30/40. Let b = -25 + 26. Does x = b?
False
Let g = -241/4 - -61. Let q be -6 + (0/(-6) - -117). Let x = q + -111. Are g and x unequal?
True
Let n be 3289/39 + 36/(-27). Which is smaller: n or 4?
4
Suppose -7*g + 48 = 5*g. Let c(n) = n + 2. Let t be c(-5). Let r = 2 - t. Is g greater than r?
False
Let v be (1/2*1)/(4/(-800)). Let c = v + 191/2. Which is smaller: c or -6?
-6
Let i = -157.0144 - -0.0144. Is i less than 1?
True
Suppose -4*s = -4*a + 1136, -3*a + 876 = -0*a + 3*s. Which is smaller: 289 or a?
a
Let m = -817/9 + -13/18. Is -93 bigger than m?
False
Suppose o = 3*o - 6, 9 = -2*q - o. Let p be (-4)/q + 20/(-21). Let s = 0.719 + -0.729. Which is smaller: p or s?
p
Suppose 2*j + y = 14, j + 3*j - 42 = 5*y. Let f = 4 + 5. Let k = j - f. Is k equal to 0?
False
Let t = -10882179/37 - -294139. Let z = -26 + t. Let x = 101/185 + z. Is x at least 2?
False
Let a be (-3)/(-2 - (-123)/57). Let t = -355746/18445 - -3/2635. Let j = a - t. Is j less than 14?
True
Let c(o) = -4*o + 8. Let m(k) = -k + 2. Let p(u) = -c(u) + 3*m(u). Let j(b) = -b**2 + 2*b - 3. Let s be j(3). Let q be p(s). Which is greater: q or 0?
0
Let y = -7 - -13. Let g = -110 + 92. Let c be y/(-9)*g/(-12). Which is bigger: 1/6 or c?
1/6
Let h be (1*4)/((-40)/(-30)). Suppo