94. Let g = 11 + -15. Which is bigger: g or u?
u
Let t = -3.09 - -2.9. Let h = 3 - 3.25. Let g = h - t. Which is smaller: -0.2 or g?
-0.2
Suppose 0*y - c = -4*y + 75, 0 = 2*c - 10. Is y at most 16?
False
Let r = 8013 + -91843/11. Let g = -336 - r. Which is greater: 0.1 or g?
g
Let m = -0.623 + 1.623. Suppose -2*a = 4*s - 2, 3*s - 7*s = 5*a - 5. Is a smaller than m?
False
Suppose -2*d - 4*n = -8, n - 1 - 1 = 0. Suppose -5*f - 28 = -d*f + 2*z, z = -2*f - 12. Which is bigger: f or -6?
f
Let c be 61/(-9) - (33 - 40). Which is smaller: c or 248?
c
Let y = 3/62 + 185/1302. Let v = -27 - -28. Which is greater: y or v?
v
Let y be 186/(-20) + (-2 - -11). Which is smaller: 1 or y?
y
Suppose -6*i - 94 = -4. Let v = -2 + 13. Let m = i + v. Is m greater than or equal to -3?
False
Suppose r = 2*v - 2 + 4, 0 = -5*v - 4*r + 21. Let d be 3/(15/8)*-1*v. Which is smaller: d or -2?
-2
Suppose -3*w + 5*p - 12 - 12 = 0, 4*p = 3*w + 21. Is -28/13 greater than w?
True
Suppose 4*w = 4*p - 910 - 826, 0 = 5*w - p + 2170. Is -434 less than or equal to w?
True
Suppose 5*h + 97 = 4*i, -2*i + 2*h = -h - 49. Is i equal to 22?
False
Suppose 3*g + 26 = -19. Suppose -u - 23 + 8 = 0. Let t = u - g. Which is bigger: t or 3/7?
3/7
Suppose 0 = 2*l - 2*v - 9 + 1, 2*v + 6 = l. Suppose 0 = -2*z, -3*f + l*z - 6 = 7*z. Which is smaller: f or -7/3?
-7/3
Let l(o) = -o**2 - 5*o - 3. Let h be l(-2). Suppose -3*t + 3*v - 69 = 0, 0 = h*t + 3*v + 5 + 46. Is t greater than -20?
False
Suppose m - 3*r + 5 = 0, -m - r + 6 - 3 = 0. Suppose 21 = -i + m. Is i >= -22?
True
Let m = 3143 - 3136. Which is bigger: 10 or m?
10
Suppose -5*i = -4*i - 2. Suppose 5*b = -p - 13, i*b + 5 = -p + b. Let h be (-24)/14 + (-6)/21. Is p at least as big as h?
False
Let f = -10864 - -7659118/705. Which is greater: f or 1?
1
Let g(v) = 2*v + 59. Let m be g(-29). Let p = m - 11/9. Suppose 4*j - 3 = 1. Which is smaller: p or j?
p
Let i = 81 + -100. Let m = 44 - 64. Which is smaller: m or i?
m
Let j = 490.9 - 491. Which is greater: -0.6 or j?
j
Let m = 57950/37 + -1566. Are 0 and m nonequal?
True
Suppose -m - 3*p + 3 = -3, 0 = -5*m - 3*p - 18. Let t be m/2*(-9)/(-9) - -71. Which is smaller: 70 or t?
t
Let w = 32 + -22. Let u = w - 9.9. Is u > 4?
False
Let q(v) = -18*v - 6. Let t be q(2). Let n = t - -41. Which is bigger: n or -2/27?
-2/27
Let l(p) = 98*p - 4. Let v be l(2). Let d be ((-1)/2)/((-8)/v). Suppose 7*j = 3*j + d. Which is smaller: j or 1?
1
Let r(w) = -w**2 - 18*w - 16. Let l be r(-14). Suppose l = -3*v + 7*v. Which is greater: 8 or v?
v
Let h = 1570 - 1569.6. Which is greater: 0.65 or h?
0.65
Let x = -9 - -13. Let t be 135/(-21) + x + 3. Which is bigger: 1 or t?
1
Suppose 9*r + 5187 + 87 = 0. Is r > -588?
True
Let m = -6.6 - 50.4. Let i = 13 + m. Does i = -2?
False
Let z = -3.3 + 3.1. Let r = z - 0.2. Is r <= -1?
False
Let o = -46543/1518 - 3/506. Do -32 and o have different values?
True
Suppose -5*q = 20, -q = 2*c + 31 + 3. Let t be (-21)/2*(-10)/c. Let r(z) = -2*z**2 + 61*z + 23. Let o be r(31). Is t not equal to o?
True
Let p be -1 - 3852/(-140) - (-6)/21. Let r be (18/(-4))/(3/(-18)). Let y = p - r. Which is greater: y or -1/2?
y
Let f = 736/91 + 59375/546. Is 118 smaller than f?
False
Suppose 5*q + x - 30 - 64 = 0, q = 3*x + 6. Suppose 5*s - 3*a = -2*a + q, -s + 5*a + 18 = 0. Are s and 1 non-equal?
True
Suppose 55*y - 45 = 10*y. Let g(k) = k**2 - 4*k - 5. Let r be g(5). Is r > y?
False
Let c be ((-11)/(-1))/((-26)/1092). Is c less than -463?
False
Suppose -7*t + 3*t - 23 = -p, 0 = 3*t + 4*p + 22. Let b(c) = -c**2 - 6*c - 11. Let n be b(t). Is -21/2 smaller than n?
False
Suppose 4 = j - 1. Suppose 2*s - 5 = -j*t, -4*t - 6 = 3*s - t. Let v = 4 + s. Is 2/5 equal to v?
False
Let y be 3/1 + -1 - 0. Suppose 0*g - 3*g + 3 = -y*w, -w = -5*g + 12. Which is smaller: g or 10/3?
g
Let u(g) = g**3 + 13*g**2 - g - 6. Let v be u(-13). Let n be 2/v + (-268)/56. Which is smaller: n or -2?
n
Let p be (6/(-25))/((-24)/930). Let x = p - 9. Are x and -1 equal?
False
Let l = 9 + -7. Let n be (0/((-25)/5))/l. Which is bigger: -2/13 or n?
n
Suppose 44 = -6*x - 70. Which is greater: x or 12?
12
Let g = 37 - 42. Suppose -x + 3 = -2*x. Are x and g unequal?
True
Let m = -927 - 344. Let p = 24155/19 + m. Is p greater than 1?
False
Let a(o) = -o - 19. Let l(d) = d + 9. Let b(j) = 4*a(j) + 7*l(j). Let w be b(4). Which is smaller: -6/11 or w?
w
Let p be (-115)/(-230) + (-6)/4. Which is smaller: -12 or p?
-12
Suppose -a + 28 = -q, q = 5*a - 3*q - 138. Let h be (9/(-4))/(2/24). Let l = h + a. Is l smaller than -1/21?
True
Let i(b) = -b**3 + 5*b**2 + b - 4. Let n be i(-2). Let o be (-4)/n + (-9)/(1782/52). Let t = -4 - -3. Which is greater: o or t?
o
Let p be (-8)/22 + (-2856)/(-2772). Are p and 0.29 unequal?
True
Let o = 4 - 3.4. Let z = o + -31.6. Let s = z + 30.8. Which is bigger: 7/5 or s?
7/5
Suppose -7*p = 728 - 644. Is p at least as big as -26?
True
Suppose 4*l + 10 = 2*m, 2*l + 0*l = 2*m - 8. Let j be ((-6)/204)/((-1)/6). Do j and l have different values?
True
Let h = -4/49 - -1054/11711. Is 0 < h?
True
Let w be 40*(-3)/(-111) + (1 - 2). Is w <= 0?
False
Let i = -895 - -922. Is 109/4 greater than or equal to i?
True
Let b = -7903630 + 178622037953/22600. Let n = b - -4/565. Which is smaller: -1 or n?
-1
Suppose 0 = 21*p - 1057 - 644. Which is smaller: p or 82?
p
Let r(l) be the second derivative of -l**3/3 - 11*l**2 - 2*l. Suppose 0*f + 4*v - 40 = 4*f, 4*f + 2*v + 46 = 0. Let n be r(f). Which is greater: n or -1/8?
n
Let t(k) = 3*k - 16. Let i be t(7). Suppose i*f + v + 3*v + 18 = 0, -v = 2*f + 6. Let p be 23/(-20) - 2/(-5). Is f > p?
False
Let l = -283 - -483. Which is smaller: 397/2 or l?
397/2
Let q = -539 + 538.94. Is q at least as big as 5/12?
False
Suppose -3*j = -3 - 6. Let k be ((-65)/15)/(j/9). Let q = k + 20. Is q not equal to -0.1?
True
Let t = -279 - -435. Suppose 0 = 8*d + 4*d + t. Is -13 at most as big as d?
True
Let s(x) be the second derivative of -x**3/6 + 13*x. Let k be s(-2). Suppose -8 = k*p - 0*p. Is -8 > p?
False
Let b(a) = -5*a**2 - 68*a + 26. Let u be b(-14). Is 472 at most u?
False
Let u = -14 - -10.1. Let a = -4 - u. Let r = -0.17 + 12.17. Is a equal to r?
False
Let u = 0.088 - -0.582. Let b = u - -0.33. Is b >= -8?
True
Suppose -o + 5*q = -21, 4 + 2 = o - 2*q. Let b(h) = h**3 - 4*h**2 - h - 1. Let l be b(4). Which is bigger: o or l?
o
Let o be (-66)/6 - (-67 + 7). Does 49 = o?
True
Let x = -5.76 + -0.24. Is 0.2 at most x?
False
Let b be (131/(-6))/(121/(-22))*-72. Let n = 489 - 775. Let z = b - n. Is 0 >= z?
False
Let v = 5607 + -813012/145. Is v at least as big as 0?
True
Suppose -20 - 12 = -2*k. Let n = k + -11. Let i be -1 + 0 - -1*(4 - 4). Are n and i nonequal?
True
Let j(i) = i**3 - i**2 + 2*i - 2. Let n be j(2). Suppose 0*m + m = -z - 4, -3*m - z - n = 0. Let o = -43/57 - 3/38. Is o at most as big as m?
False
Let n(s) = -1938*s - 3. Let r be n(4). Let p be r/(-2500) - (-1 - -4). Let b = p - -6/125. Is b less than or equal to -1?
False
Let n = -77/8 + 33/8. Let k = -151/26 - n. Let v(j) = j - 5. Let c be v(6). Which is bigger: k or c?
c
Let r = 2694 + -2576. Do 118 and r have different values?
False
Let c = 104.9 - 35.9. Which is smaller: c or 5?
5
Let w = -139 + 138.28. Let d = 1.72 + w. Is -1 >= d?
False
Let m = 0.26 - 7.69. Let a = m - -7.1. Let r = a + -0.07. Is r less than or equal to 0?
True
Let t be (-2)/(-13*(-5)/(-29390)). Let d = 906 - t. Which is smaller: d or 2?
d
Let k be (4/6)/((-2)/3). Suppose 4*s - 5*h = 2 - 6, -h + 20 = 4*s. Suppose -p - 2 = -f, 3 = -s*f + f. Is k bigger than p?
True
Suppose -2*i + 19 = 5*x, -2*x - 2*i = -5*i. Suppose -4*m + 10 = -x*h, m + 3*m = -3*h + 22. Suppose h*f = f. Is f at least 1?
False
Let b = -20 + 19.888. Let q = b - -4.112. Which is greater: q or -7?
q
Let d = 0.0195 + 0.1805. Is d less than 16/13?
True
Let x be 27/(-21) - (-4)/(-28)*-2. Is x at least 1/8?
False
Let d(v) = -v**3 + 2*v**2 + 2*v - 1. Suppose 2*h + 3 = 9. Suppose h*f + 3 + 3 = 0. Let l be d(f). Which is bigger: 12 or l?
12
Let w(o) = 2*o - 1. Let r be w(4). Let z be 2/r - 52/(-14). Suppose -4*x = -3*g - x + 6, 2*x + 1 = -g. Is z less than g?
False
Suppose 0 = -u - 5, -4*q + 5*q + 17 = -2*u. Let v be (-1 - q) + (-33)/11. Do 4 and v have the same value?
False
Let w(v) = -2*v - 4. Let t be 