er than or equal to b?
False
Let o(q) = -q**2 + 4*q - 9. Let i(y) = -3*y**2 + 13*y - 26. Let u(f) = -3*i(f) + 8*o(f). Let b be u(6). Let v = -24/49 - -646/1519. Is b at least as big as v?
True
Let c = 168 - 168.08. Let h = -4.92 + 4. Let f = c + h. Are f and -2/3 equal?
False
Let t(q) = -q**3 - 4*q**2 - 3*q. Let u = 12 + -4. Let w = 6 - u. Let z be t(w). Is 1 > z?
True
Let d be 5/2*24/250. Suppose 2*y = -v + 5, -8*v + 3*y = -5*v + 12. Is v at most d?
True
Let w be 1/3*9/93. Which is smaller: 0.09 or w?
w
Let q = -1574 - -1574. Are -2/317 and q unequal?
True
Let o(c) = -730*c + 8. Let f be o(5). Let y = -94713/26 - f. Let m = 33/26 + y. Which is bigger: -1 or m?
m
Let d(p) = 2*p**2 + 10. Let w = 0 + -3. Let t be d(w). Let f be (2/t)/(4/(-8)). Is -1 < f?
True
Let r(h) = -h**3 - 6*h**2 - 6*h - 5. Let o be r(-5). Let x be (-12)/3 + 1650/415. Is x >= o?
False
Let t = -22 - -21.31. Which is bigger: t or 6?
6
Let i be (-21)/(-14)*20/6. Suppose -31 = -4*t + 3*p, -3*t + 2 = -0*p + 2*p. Suppose 3*b - i = -4*q, -2*q = -4*b - 4 - t. Does 1/18 = b?
False
Let t(l) = -12*l. Let f be t(-1). Suppose -16*c - 232 = -f*c. Which is smaller: -57 or c?
c
Let p = 0.038 + -34.038. Let d = p + 34.2. Is d equal to 24?
False
Suppose -4*p = 4*f - 9*p - 21, 4 = f - p. Let l be 2/(-4)*f*20. Let q be 3/15 - 32/l. Which is greater: q or -4?
q
Let u be 6*(-2)/(-3) - 2. Suppose -u*z + 4 = v, z - 27 = 5*v + 8. Suppose -6*w + 10*w + 28 = 0. Is w at least v?
False
Let y be 1826/(-6) + 92/(-138). Which is smaller: -304 or y?
y
Let f = -4763 + 4688.89. Let x = f + 1.11. Which is smaller: x or -1/3?
x
Let b(i) = -i**2 - 12*i - 32. Let w be b(-8). Is w at least as big as 1/300?
False
Let c(u) = -578*u**2 - 6*u - 6. Let i be c(-1). Do 2 and i have the same value?
False
Let h = -11 - -14. Suppose 0 = 5*y - 2*l + 88, -5*y = -h*l + 55 + 37. Let m be (-6)/42 - y/14. Which is bigger: 12/11 or m?
12/11
Let j be 3/(2085/2810) + -4. Let q = j + 1372/417. Which is bigger: 0 or q?
q
Let g = -6.5 - -7.4. Let l = g + -1.7. Do 0.03 and l have the same value?
False
Let l = 228 + -257. Which is smaller: l or -31?
-31
Let j = -0.82 + 0.82. Let n = 11.93 + -12. Let r = -0.23 + n. Which is greater: j or r?
j
Let x be (-27)/18*-3*(-6)/(-9). Let v be 2*x/14 - 255/350. Let g be 3 - 2*(3 - 2). Which is bigger: v or g?
g
Let y = 0.9 + -1. Let z be (114/(-63) + 2)*24/(-8). Is y >= z?
True
Suppose 9*f = 3*f - 102. Let j = 20 + f. Let g be (3 - 4) + 4 - j. Does g = -5/8?
False
Let a = 15 - 8. Let z(i) = 2*i - 7. Let u(n) = -3*n + 7. Let r(t) = -3*u(t) - 4*z(t). Let s be r(0). Are a and s nonequal?
False
Suppose -8*g = 5 - 29. Suppose 5*l + 3 = 2*x, -7*x - g*l - 7 = -3*x. Which is smaller: -6/13 or x?
x
Suppose -c = -3*w - 111, 5*w - 4*w = 1. Is c greater than 115?
False
Let r = -165.11 - -1.11. Which is smaller: r or 0?
r
Let s be (-1)/45*(-264)/(-18). Let d be ((-4)/(-6))/(-11 + 2). Let k = d + s. Is 6 less than or equal to k?
False
Let x be ((-2)/(-8)*74)/(6/12). Suppose -32 = -x*k + 33*k. Which is smaller: k or 6?
6
Suppose 0 = -16*f + 58*f + 10206. Which is smaller: -244 or f?
-244
Suppose 5*l + 2*o - 18 = 0, -5*l + 3*o + 23 = -0*l. Suppose 3*v - l = -4*q, -q = v + 4*v + 16. Suppose -d = 1 - q. Is d at most as big as 3?
True
Suppose 5*t + u = 53, -5 = -3*t - 5*u + 18. Suppose 0 = 4*y + 5*w + t, -4*y - 31 = w. Let v = -11 - y. Which is greater: -7/4 or v?
-7/4
Suppose -1035*s - 8694 = -1021*s. Which is smaller: -620 or s?
s
Suppose -2 = -2*d + 3*d. Let z be (-3 + 2)*d/(-14). Are z and -1.3 non-equal?
True
Let y be 6/(((20/(-8))/5)/(-1)). Suppose -y*h = -13*h + 3. Suppose 3*v + 1 = 7. Which is greater: h or v?
h
Let x be 46/(-2)*(0 + -1). Suppose n - 2*n - x = 5*d, -3*n + 5*d = -31. Suppose 0 = n*p + 11 - 9. Which is smaller: p or 1.1?
p
Let h = -257 + 366. Let t = 108 - h. Is t at most as big as 5.4?
True
Let p be 208/6 - (-2)/(-3). Let n = p - 31. Which is greater: 7/2 or n?
7/2
Let q = 13 - -3. Let r be 35/(-5) - -4 - (-18)/2. Let b = r - q. Is -10 at least b?
True
Let b(m) = m**2 + m - 1. Let g(h) = 7*h - 1. Let j(z) = b(z) - g(z). Let o be j(6). Suppose o = d - 2*d + 1. Which is smaller: 1/3 or d?
1/3
Suppose -8*i - 3 + 11 = 0. Let t = 40/3 + -13. Is i at least as big as t?
True
Suppose 0 = -956*h + 955*h + 1. Which is bigger: 36/7 or h?
36/7
Let r be (-7)/(28/(-160)) - 0. Let u be ((-4)/60)/((-12)/r). Is 1 >= u?
True
Let c = 0 - -10. Let v = -3 - -9. Let p = v - c. Which is smaller: p or -3?
p
Let x = -0.1 + 12.1. Let o = 13.4 - x. Which is bigger: 0 or o?
o
Let m = -319 - -342. Which is greater: 26 or m?
26
Let b(g) = -3*g + 12. Let n(r) = -2*r + 6. Let h(t) = 3*b(t) - 5*n(t). Let m be h(0). Let k = m + -7. Do 2/19 and k have different values?
True
Suppose 0 = -5*s + 4*n + 4 + 25, 3*n = -4*s + 17. Suppose -43 + 48 = s*i. Which is greater: i or -0.15?
i
Let r = -32 - -33. Suppose -2*l + 10 = 2*i, -i - 5 = -3*l + 2*l. Suppose 0 = 5*o - l - 0. Is o at least as big as r?
True
Let o be (18/(-12) + 0)*92/3. Is -45 at most o?
False
Suppose -1897 = 17*q + 1418. Which is smaller: q or -196?
-196
Let q(x) be the second derivative of x**3/3 + 3*x**2/2 + 15*x. Let f be q(2). Which is greater: 19/3 or f?
f
Suppose 18*h = h - 493. Which is smaller: h or -19?
h
Let s(y) = y**2 - 13*y - 1. Let z be s(13). Suppose 2*h + 7 = p, 0*h + 5*p + 7 = -4*h. Let u be h*(15/6 + -2). Is u bigger than z?
False
Let o = -0.024 - 30.976. Let y = 30 + o. Which is greater: y or -14?
y
Let y = 23 + -23. Which is smaller: y or 1/296?
y
Let j = 34.5 - 34.6. Is j < 7?
True
Let g = 142 + -702. Is 0 != g?
True
Let p = -109 + 71. Let t = 39 + p. Let o = -6 - -3. Are t and o equal?
False
Let g = 361 + -360.83. Let q = -38 - -37. Which is bigger: q or g?
g
Let i = -2.39 + -0.11. Let p = i - -3. Let c = -111 - -110.8. Is p less than or equal to c?
False
Let o be 3 - (-2 + 4 - 2). Suppose 3*u = 2*c, -4*c - o - 5 = -4*u. Let s be 57/(-9) + 4/12. Is s bigger than c?
False
Let n(o) = 61*o + 228. Let a be n(-4). Which is greater: a or -11?
-11
Let g = 275 - 259. Which is smaller: g or -2/9?
-2/9
Let q = -0.048 + -39.752. Let y = 40 + q. Which is bigger: y or -1/10?
y
Let t(p) be the first derivative of -p**4/4 + 8*p**3/3 - 3*p**2 - 10*p + 14. Let x be t(7). Is -2 at most x?
False
Let r = 27/95 - 2288/95. Let n = 1537/65 + r. Suppose 0*w + 5*w = -4*y - 20, y + 5*w = -20. Which is smaller: y or n?
n
Suppose 9*c + 47 + 160 = 0. Which is smaller: c or -15?
c
Suppose -3*q = 570 + 2505. Is q at least -1025?
True
Let n(f) = f - 5. Let s be n(7). Suppose -a = 2*g + s, -5*a - 3*g + 6 - 2 = 0. Is a less than -3?
False
Let z = 219 + -230. Is z < -11?
False
Let b(r) = -4*r. Let i(w) = -17*w. Let s(n) = -26*b(n) + 6*i(n). Let k = 8 + -7. Let o be s(k). Are o and -5 nonequal?
True
Suppose -3*i + 1 = 25. Let r(k) = -k**2 - 8*k - 21. Let t be r(-4). Let f = i - t. Is f > -4?
True
Let j = -4132/43 + 96. Does j = -3?
False
Let z(h) = h**3 - 9*h**2 + 25*h - 74. Let g be z(8). Which is smaller: 54 or g?
54
Let l(c) = -c**3 - 10*c**2 - 7*c + 22. Let u be l(-9). Suppose 0 = -u*x + 274 - 102. Is 43 >= x?
True
Suppose 14*n + 171 - 45 = 0. Are n and -19 non-equal?
True
Suppose 5*d + 12 = l, 2*l = -2*l + 3*d + 14. Let y = 292 + -291. Which is bigger: l or y?
l
Let t = 0.8 + 0.2. Let f = 34 + -59. Let r = f - -30. Is r less than t?
False
Let d(w) be the third derivative of w**6/120 + w**5/30 - w**3/6 - 2*w**2. Let m be d(-2). Let o be 3 - (m - 250/(-63)). Which is smaller: o or 1?
o
Let x be 9/21*59 - 4/14. Suppose 2*o - 11 = x. Which is greater: 16 or o?
o
Suppose m = -4*r - 5, 2*m + 1 = -m + 2*r. Let y be (-4)/(13 - -3)*3 - m. Is y > 11?
False
Suppose -16*r + 60 = -4*r. Suppose 4*m + v = -4*v + 3, -3*m = -v - 26. Is m not equal to r?
True
Suppose 2*b = 3*j - 3, 6 = -5*j - b + 24. Let g = -2 - -8. Suppose 0 = 3*d + 9, -5*d - g = 3*p - 0. Is j smaller than p?
False
Let t be 25/(-6) - 2/(-12). Let x be 30/t + 24/16. Let c be ((-4)/6)/(x/9). Which is bigger: c or -3?
c
Let m = -162 - -128. Let w = -34.2 - m. Is 5/16 < w?
False
Suppose -m + 3*x + 3 = -2*m, m + 3 = 4*x. Is -1 bigger than m?
True
Suppose 0 = -5*w + 3*q + 150, -158 = -5*w - 2*q - 33. Let u = -22 + w. Which is smaller: u or 6?
u
Let i be 2 + (-3 - (6 - 1)). Let u be (-12)/93*(-3)/i. Let p be 8/(-44) + 4/22. Which