. Let y be d(-11). Which is bigger: y or q?
y
Let g be (-6)/(-15) - (-54)/(-10). Let z be (1/g)/((-4)/(-10)). Is -2/3 bigger than z?
False
Let d = -39/4 + 10. Are d and -0.046 non-equal?
True
Let u = 4.4 + 1.6. Let n = u - 6. Which is bigger: -0.1 or n?
n
Let k = 2077766/11 + -189065. Let h = -177 - k. Let n be 1*(-3)/9*1. Is n equal to h?
False
Suppose -7 = -h + 2*w, 3*h + h - 4*w - 16 = 0. Let c be 3*(0 - h)*-1. Which is bigger: 5/2 or c?
c
Let j = -5 - -1. Let w be (-1 - -2)/(36/(-90)). Which is bigger: j or w?
w
Let r = -159 + 156. Is r at most as big as 10?
True
Suppose -4*b - 5 = 11. Let v = 21 + -23. Which is smaller: v or b?
b
Let r be ((0 - 1) + 1)/(-2). Let j be (-6 - (1 - 6))/(4 - -1). Which is greater: j or r?
r
Let w = -195 - -135. Is -61 greater than w?
False
Let w be 8*4/(-18) + 8/4. Which is smaller: 8 or w?
w
Suppose -11*c = -4*c + 49. Is -4 smaller than c?
False
Let g(l) = -l**2 + 2*l - 4. Let i be g(2). Let y be (2 - 0)*(-2)/i. Which is bigger: 6/5 or y?
6/5
Let v be 30/(-195) - (-24)/(-13). Let l be (v/(-3))/((-132)/18). Is 1 smaller than l?
False
Suppose c + 0 = -3, 0 = q - 5*c - 24. Let t be (q/(-5) - -2)*1. Suppose 0 = y - 2*y + 2, y = -5*x + 7. Is t at most as big as x?
True
Let t be (-2)/4 + (-12)/8. Let h(k) = 2*k**2 - 64*k - 68. Let p be h(33). Is t < p?
False
Let c(q) = q - 9. Let k be c(9). Suppose -5*x + 20 = -k. Is x <= 4?
True
Suppose 12 = 4*x + 4. Which is smaller: x or 4?
x
Suppose 0 = 5*i - i - 8. Suppose -j + 3*j = -i. Is j not equal to -2/9?
True
Suppose 10*n = -25 - 15. Which is bigger: n or -3?
-3
Let p be 339/(-18) - (-1)/3. Let u = 24139 + -338201/14. Let d = u - p. Which is smaller: 1 or d?
d
Let w = 10 + -16. Let u = 3 + w. Is -2 equal to u?
False
Suppose 0 = g - 3*g - 3*n - 88, -2*n - 198 = 5*g. Are g and -38 unequal?
False
Let m(z) = z**3 + 5*z**2 - z - 3. Let r be m(-5). Let a = 28 + -27. Is r at most as big as a?
False
Let b = -2 + 2. Let t be ((-354)/105)/(-2) - 10/35. Does b = t?
False
Suppose -14 = -5*b + 1. Suppose 3*l = -0 + b. Let u be (-2)/(-4)*(-2)/l. Which is smaller: u or 1?
u
Let q = 86.1 + -86. Which is greater: q or -19?
q
Let l be (6/(-16))/(6/28). Let q(y) = 2*y**3 - y + 1. Let a be q(1). Let r = l + a. Which is bigger: r or 0?
r
Let l = -5 + 1. Let f = l - -4. Is 0 less than f?
False
Let s(o) = -2*o + 3. Let q be s(2). Let f = -25/66 + 1/22. Which is bigger: q or f?
f
Let l = 51/14 + -269/70. Suppose 4 = 6*j - 2*j. Which is smaller: l or j?
l
Let a be (0 - 10/(-6))*43. Let j = a + -71. Is j smaller than 1/4?
False
Let v be (-1)/((-2)/8) + 1. Suppose -10 = v*g - 4*a - 24, 5 = 2*g - a. Suppose 3*t - 27 = -5*b, 4*b - g*t + 6*t - 28 = 0. Which is smaller: 2 or b?
2
Suppose 0 = 3*j - 2*j + 12. Let w be (-2)/6*54/j. Which is greater: 2 or w?
2
Let l(g) = -g**3 + 6*g**2 - g + 7. Let y be l(6). Let w = 1121/505 - 2/101. Let q = -67/35 + w. Is y at least q?
True
Let q(i) = -i**2 + 4*i - 4. Let j be q(3). Is j at most as big as -2/17?
True
Suppose 2*v = v. Suppose v = 7*z - 6*z + 2. Let m be 3*2/(-2)*1. Which is bigger: z or m?
z
Let q(z) = -z - 3. Let a be q(-3). Which is bigger: a or 3/7?
3/7
Let v be (-7960)/(-25) + (-4)/(-10). Let d = v + -320. Is d equal to -1?
False
Let o = -85 + 769/9. Let x = -8 - -5. Let b be 0/(x/(-5 + 2)). Is b >= o?
False
Let z be 2*2/((-4)/15). Let b = z + 7. Is -8 greater than b?
False
Suppose 0 = 4*c - 4*a + 12, 3*c - 4*a = 7*c - 12. Suppose -v = -2*t - 5, 5*t + 17 - 2 = c. Which is smaller: 1/7 or v?
v
Let t be 6/27 + -2*68/288. Is t greater than or equal to 3/10?
False
Let p(h) = -h**2 + 4*h + 5. Let s be p(5). Let a = 3 + s. Suppose 5*t = -3*c + 32, 0 = t - a*c - 0*c + 8. Which is greater: 3 or t?
t
Let j(w) = w + 16. Let o be j(-12). Let q be (-48)/21 - o/(-14). Which is smaller: -1 or q?
q
Suppose -137 = -5*i - 17. Let c be (10/i)/((-2)/(-8)). Is 1 less than or equal to c?
True
Let x = -13 + 7. Let o(h) = -2*h - 9. Let k be o(x). Let z be 1/(-3) + 10/k. Which is smaller: 2 or z?
2
Suppose 0 = 5*x + 5 - 0. Is x >= 5?
False
Let r = 6 - 5.8. Let d = r + 1.8. Let j = 6 + -2. Is j bigger than d?
True
Let s be (4/(-6))/((-4)/192). Let j be s/30 - 2/5. Is 1 > j?
True
Let m(u) = 13*u**2 - 13*u - 2. Let i(x) = 6*x**2 - 6*x - 1. Let s(l) = 9*i(l) - 4*m(l). Let n be s(-1). Which is smaller: n or 2?
2
Let j be (-15)/6*(-12)/10. Let i = 5 - 2. Is j at most as big as i?
True
Let t be 2 - 107*1/1. Let l = -423/4 - t. Which is smaller: l or 1/3?
l
Let u be -5 - 3 - (0 + -3). Which is smaller: -3 or u?
u
Let s = 103/477 - -1/159. Let l(v) = -v**3 + v**2 - 1. Let r be l(-1). Is s at most r?
True
Let u = -1 + 2. Let y = u + -6/5. Which is smaller: -1 or y?
-1
Let s = 8 - 6. Suppose -l = -3*l + s. Let h be -1*(1 + -1 - 0). Are l and h equal?
False
Let i = 26 + -29. Which is greater: 1 or i?
1
Suppose -3*b = 15 - 3. Let f be -3 + b/14 - -3. Is f < 0.1?
True
Let b = 14 + -14. Suppose f - 12 = 5*p, 21 - 5 = 4*f - 4*p. Which is greater: b or f?
f
Let u = -9 + 15. Suppose -3*t + 2*h - 16 = -u*t, 3*t + h - 20 = 0. Suppose -t = 3*b + b. Is 1 greater than b?
True
Let v = 233700674/39 - 5991748. Let i = v - 577. Let l = i - -161/195. Is 1 at most as big as l?
False
Let t(h) = -h**2 - 8*h - 5. Let d be t(-7). Suppose 3 = -d*s + c, 3*c - c = 6. Suppose s = -3*n - n. Which is greater: n or 1/13?
1/13
Suppose 3*m + 11 - 35 = i, 2*i = 6. Let a be (-4)/18 - (-52)/(-9). Let p be 26/(-3) - a/m. Which is bigger: p or -1?
-1
Suppose 0*d + 7 = d. Suppose -4*v = 3*j + 4, -3*v + d*v + 12 = -5*j. Which is bigger: v or 7/8?
v
Let y = -77 - -81. Are y and 15 non-equal?
True
Let d = 1.3 - 1.1. Let w = -1.1 + 1. Let f = d + w. Which is smaller: 3 or f?
f
Let q(r) = r**3 - 7*r**2 - 9*r + 6. Let d be q(8). Let o be (-4)/(-6) - (-8)/(-6). Is d at least as big as o?
False
Suppose -4*j + 13 = 5*v, 2*v = -4*j + 7 + 3. Suppose -3*y = y + 2*c + 52, y - j*c + 13 = 0. Is -12 at most as big as y?
False
Let w be (-2 + 2/2)/1. Let q be (-1 - w)*10/(-20). Let r be 9/24*(-2)/2. Is q at least r?
True
Let q = 1.04 - 1.1. Let n = 6.09 - 6. Let o = q + n. Which is smaller: o or -1?
-1
Suppose -3*x - 27 = 3*v, 3 + 0 = 3*x - 3*v. Which is smaller: 0.08 or x?
x
Let i be (-4)/20 + (-28)/10. Are i and -4 nonequal?
True
Let s = -132829/80 - -8293/5. Let r = s + 16949/720. Let z = r - 200/9. Is z at least -1?
True
Suppose 0*p + 2*q - 10 = 2*p, 5*p - q = -21. Is p greater than -2?
False
Suppose 0 = -a - 4*a + 75. Let l be (-81)/120 - 3/a. Let q = 57/56 + l. Which is smaller: q or 1?
q
Let z = 0.129 + -1.129. Which is greater: z or 19?
19
Let k(x) = x + 11. Let l be k(-7). Suppose 3*f - 9 = -3*a + 9, 0 = -l*a + f + 4. Which is greater: 4 or a?
4
Suppose 30 = 2*s + 26. Let r = -16 + 22. Suppose d - r = -s*d. Is d != 3?
True
Let p = 54.04 - 54. Which is smaller: p or 2?
p
Let i(l) = 4*l**2 + 2*l + 3. Let p(z) = -3*z**3 + 1. Let t be p(1). Let r be i(t). Is 15 >= r?
True
Let m(g) = g**3 + 5*g**2 + 3*g - 3. Let x be m(-4). Let z = -22 + 16. Let i = z + 9. Is x at least as big as i?
False
Let s be 6/10 - (-567)/105. Is 7 greater than s?
True
Suppose -d + 68 = -5*d. Is -19 smaller than d?
True
Let d be (-58)/5 - 8/20. Let l = -7 - d. Let r be 1/l + (-57)/(-15). Which is bigger: r or 3?
r
Let j(t) = -8*t**3 - 2*t**2 - 2*t - 1. Let f be j(-1). Which is smaller: 8 or f?
f
Let x(l) = 5*l + 1. Let w(s) = s + 1. Let o(b) = 2*w(b) - x(b). Let m be o(-1). Let d be (-9)/10*m/(-6). Is 2 smaller than d?
False
Let r(w) = -w + 6. Let i be r(4). Let y be -5 - (-3 + 4/i). Is y >= -4?
True
Let d = 19 + -2.8. Let x = -15 + d. Does -0.1 = x?
False
Let a = 8 - -2. Which is smaller: a or 13?
a
Let j be (216/214 + -1)*(5 - 6). Is j greater than 1?
False
Let u = 2 - 1.7. Let z be ((-4)/(-10))/(1/5). Is u <= z?
True
Suppose 2*w + 3 = 5. Let d(p) = -28*p**3 + 2*p**2 - p. Let j be d(w). Is -26 bigger than j?
True
Suppose -3*p + 0 = -i + 12, -3*p - 9 = 0. Which is greater: 2 or i?
i
Suppose 0 = j + j - 4. Suppose 2*l + a = -j*l, 5*l = -3*a. Are l and 4/3 nonequal?
True
Let x = -0.105 - 2.995. Which is smaller: -0.1 or x?
x
Let w = -0.6 + 0.3. Let g = -0.5 - w. Which is bigger: 0 or g?
0
Let i = -4 + 10. Suppose 5*g - i + 0 = 4*b, -2 = 2*b - 2*g. Is 2/13 bigger than b?
False
Let w(y) = -4*y - 9. Let h be w(-6). Let s be (129/300)/((-4)/h). Let g = 13/16 + 