g equal to 0?
False
Let x be 6/20*4/6. Let y(z) = z + 4. Suppose -2 = -j + 5*u, -17 = 5*j + 3*u - u. Let o be y(j). Which is smaller: o or x?
x
Suppose -4*v - 4 - 8 = 0. Suppose -2*y + 48 = 2*y. Suppose y = 2*q - 5*q. Is v greater than q?
True
Let y = 0.05 + 0. Let s = 6.7 - 4. Let k = s + -1.7. Which is bigger: k or y?
k
Suppose 0*c = c - 2. Is c < 2?
False
Let h = 6 + -31/5. Let a be 21/6 + 1/(-2). Suppose -5*x - 2 = a. Is x bigger than h?
False
Let w be 18/(-24)*(-1)/6. Let y(c) = -c**3 + 8*c**2 - 7*c - 1. Let p be (-27)/(-4) - 2/(-8). Let k be y(p). Which is greater: k or w?
w
Let y = -305.3 - -292. Let m = y - -13. Is m at least as big as 0.1?
False
Let j = 87 + -57. Which is smaller: 31 or j?
j
Let t = 330/7 - 189/4. Let k = -1/4 - t. Which is greater: k or -1?
k
Let z(c) = 3*c - 4. Let k be z(6). Let m = k + -27/2. Let g = -19 - -19. Are m and g non-equal?
True
Let o be 1 - 8*3/18. Let p(i) = -i**2 - i. Let u be p(-1). Suppose u = 6*c - c. Is c less than o?
False
Let b = -1 - -4. Suppose 7*q + 12 = b*q. Which is smaller: -1 or q?
q
Let v = 7 + -5. Suppose v*t = c + 85, 2 = -c + 3. Let b = t + -259/6. Is 1 at least as big as b?
True
Let p be ((-3)/(-4))/((-54)/(-32)). Which is bigger: -1 or p?
p
Let f(k) = -k**2 + 5*k - 5. Let m be f(4). Let v be 4/4*(m - 0). Let w be 9/(-15)*5/(-8). Is w at least v?
True
Suppose g - 30 = 3*i, -2*i + 3*g - 12 = 5*g. Which is smaller: i or -11?
-11
Suppose -5*p + 2 = -4*p. Suppose -4*j + 85 = p*o - j, -175 = -3*o + 5*j. Let r = -103/2 + o. Which is smaller: r or -3?
-3
Let w be 4/(-6)*21/(-140). Which is smaller: w or 1?
w
Suppose -12 = -7*p + p. Let w = 138 + -409/3. Is w at least p?
False
Let i = -15 + 18. Which is greater: i or 6?
6
Suppose -d + 20 = j, -2*d + 12 = -d - 3*j. Suppose 4*f = -2*a - d, 5*a + 2 = 2*f - 7. Is f not equal to 0?
True
Let a = -44 + 44. Is -2/11 smaller than a?
True
Let d be (-3 - (2 - 4))*-1. Let c be (0*(-2)/(-6))/d. Suppose c = -2*a - 6, 3*t + a + 3 = -2*a. Is t at most as big as 3?
True
Let q be 176/(-6) + 1/(-1). Let k = -30 - q. Which is smaller: -0.1 or k?
-0.1
Suppose -o = -3*o - l - 4, -4 = 3*o + l. Is -1 greater than or equal to o?
False
Let p = 7 + -2. Suppose -p*f - 10 = 10. Which is bigger: -3 or f?
-3
Suppose 12 = -q + 3. Let t be (-2)/q + 23/(-63). Which is smaller: -1 or t?
-1
Let x = 15 + -12.7. Let a = x - 3. Let m = a + -0.3. Which is bigger: -0.6 or m?
-0.6
Suppose -19 = 2*l - r, -2*l - 39 = -4*r - 5. Are l and -7 equal?
True
Suppose -s = 2, c - 2*c = s + 1. Suppose 11 = 3*l - c. Suppose -3*d + 2 = -l*d. Which is greater: -4 or d?
d
Let x = 8 - 10. Let g = -2 + x. Which is smaller: g or -2?
g
Let v be (-28)/(-8)*(-16)/(-28). Let w be ((-3)/(-1))/1 - 0. Suppose w*y + 5*r - 9 = 11, 0 = -v*y - 4*r + 16. Is -2/3 at least as big as y?
False
Let c = -3.5 - -1.1. Let z = 1.6 + c. Is z equal to -2/5?
False
Suppose -k + 2*w = 6, 51 = -0*k - 4*k - w. Let t be (-3)/k + (-9)/12. Which is smaller: -3 or t?
-3
Let t be (6/9)/(4/(-6)). Let v be t*4/(4/5). Let x = -2 - v. Is 3 at most x?
True
Suppose 0 = 4*o + 48 - 0. Let f be 0 + 2 + o/7. Is 0 > f?
False
Let u be (-3)/6 - (-2)/5. Let n(y) = -y**3 - 5*y**2. Let r be n(-5). Which is smaller: u or r?
u
Let k(g) = -g**2 - 13*g + 11. Let q be k(-14). Which is greater: 3 or q?
3
Let b be ((-2)/(-3))/((-6)/45). Let n = -8 - b. Is -3 bigger than n?
False
Let n be (9/6 - 2)*2. Let k = 1 + n. Which is smaller: k or -1?
-1
Let s(m) = 2*m**2 + 14*m + 19. Let h be s(-8). Is 34 at most h?
True
Let f = 0.8 - 3.8. Which is bigger: f or -2/13?
-2/13
Let y(t) = -t - 4*t + 4 + 2*t + 0*t - t**2. Let m be y(-4). Which is greater: m or 2/15?
2/15
Suppose 2*g + g + 3 = 0. Which is greater: g or -3/5?
-3/5
Let y(u) = 2*u - 2. Let v be y(6). Suppose -2*s + v = -6*f + 4*f, 0 = -5*f - s - 13. Does f = -2?
False
Suppose 0*m = -5*m + 5. Is m <= 6/19?
False
Let y be (36/16)/(9/240). Is y greater than 62?
False
Suppose -2*h = 2*n + 3*h + 17, 4*n - 36 = 4*h. Let c = 0 - n. Let i(y) = -y - 2. Let z be i(c). Which is smaller: z or 2/3?
2/3
Let t = 1406/9 + -156. Which is smaller: t or -2/9?
-2/9
Let k = -17/3 + 5. Which is bigger: -3 or k?
k
Suppose -3*l = 4*k + 19, -k - 16 = 4*l - l. Let c(b) = 2*b**2 + b - 1. Let p be c(0). Is p smaller than k?
False
Suppose 0 = -5*a - 41 - 29. Let n be 20/(-70) + (-18)/a. Let k = 533/9 - 59. Are k and n unequal?
True
Let g = -3.8 - -1. Let t = g + 3. Suppose 0*x - 10 = -5*x, -5*q + 18 = 4*x. Which is smaller: t or q?
t
Let n(p) = p - 7. Let z be n(-4). Let j = z - -15. Which is smaller: 6 or j?
j
Let t be (-4)/26 + 56/26. Suppose -t*z + 30 = 5*a, -4*z - 3*a = -0*a - 32. Is 5 greater than or equal to z?
True
Suppose 4*h = 1 + 11. Which is smaller: 18/7 or h?
18/7
Suppose 0 = -u - 3*u + 4. Let k be 0 - (0 + (-6 - 0)). Let r be 3/(-9) + 20/k. Which is greater: r or u?
r
Suppose -4*f - 28 = -4*k, f - 2*k = -0*f - 12. Let v = -10 - -6. Let q = v + 11/3. Which is smaller: q or f?
f
Suppose -y + l + 3 + 4 = 0, -23 = -5*y + 2*l. Suppose 5*u = -y*o - 16, o - 8 = 5*u - 0*u. Is u at most as big as -2?
True
Let p = -1 + 0.9. Let s = 0.9 + -1. Let k = 0.1 + s. Which is smaller: p or k?
p
Suppose 7 = -5*c + 27. Suppose -4*a = c + 4. Is a at most as big as -8/9?
True
Suppose 9 = w + 4*z, -3*z - z = -w + 9. Is 10 < w?
False
Let p(x) = -5*x**2 - 31*x + 46. Let t(q) = -q**2 - 6*q + 9. Let y(j) = -2*p(j) + 11*t(j). Let l be y(-5). Suppose -l*b = b. Which is smaller: b or 2/5?
b
Suppose -2*x = 5*o, x - 3*o = -o + 9. Let k be 6/x*(-6 + 1). Let c = k + 3. Is c at least -2?
False
Let s be (7/4)/(1/(-8)). Let o be (-8)/12 + s/(-6). Is o at most as big as 2?
True
Let k be 3*(-2 - (-2 + -1)). Let p be 114/165 + k/(-5). Is p at most 2/9?
True
Suppose 5*n - 8 = 3*n. Let u = 0 - -4. Suppose u*h + h = -5*g - 20, 3*g + n = 5*h. Which is bigger: h or 1?
1
Let q be (-57)/(-45) - 3/5. Let b = -8 + 6. Which is bigger: b or q?
q
Let y be 4/(-2) + (-6)/(-1). Suppose y*c = -5 - 11. Which is bigger: c or -2?
-2
Let w(l) = -l + 1. Let v be -4*(-2)/(-2 + 4). Let k be 1/(-2) - v/(-8). Let i be w(k). Are 0 and i unequal?
True
Let p = 0.01 + 0.11. Which is smaller: 0.3 or p?
p
Let d = -2 - -6. Let x = d + -3.9. Is x equal to -2/5?
False
Let r = -2 - 2. Let n be (r/8)/(2/2). Is n greater than 1?
False
Suppose -2*v + 3*l - 6 = -0*v, 8 = -4*v + 4*l. Suppose y + 3*y - 4 = v. Which is greater: y or 1/21?
y
Let c = -12.9 + 15. Let g = c + -0.1. Is -1 greater than or equal to g?
False
Let f be (-3)/(-2)*4/(-2). Let h = 3 + f. Let r = 14 - 16. Which is smaller: h or r?
r
Suppose 5*q + 0 - 21 = -3*l, 3*q - 9 = 0. Which is bigger: 3 or l?
3
Let d = 5 + -5. Suppose d = c - 5, x + c - 9 - 4 = 0. Which is smaller: x or 7?
7
Let p = -163 - -157. Is p less than or equal to -7?
False
Let v(u) = 2*u + 8. Let g(l) = l**2 + 4*l - 3. Let f be g(-4). Let a be v(f). Which is bigger: a or 4/7?
a
Let a be -44*2/(-72) + 2/(-9). Are -3.7 and a nonequal?
True
Let b be 75/(-9)*(-4 + 16). Let k be (2/(-3))/(b/12). Which is greater: k or 0?
k
Suppose -10*n = -8*n - 2. Is -1/132 at most n?
True
Let c(q) = q**2 - 7*q + 3. Let d be c(7). Let o(v) = v - 7. Let r(t) = -1. Let j(w) = d*r(w) - o(w). Let a be j(5). Which is smaller: a or -2/5?
a
Let d = 3 + -3.2. Let y = 1 - 5. Let h = -4 - y. Which is smaller: h or d?
d
Let w be (92/(-60) - -1)*(-10)/12. Which is bigger: -1 or w?
w
Let b(l) = -l + 8. Let w be b(-6). Let x be (-6)/(-21) - 60/w. Suppose -15 = 2*q + q. Does x = q?
False
Let i be (4/5)/((-12)/60). Let l(q) = q**3 - 5*q**2 - 5*q - 3. Let p be l(6). Suppose 2*j + 5*b = 17, -2*j = p*b - 3 - 4. Are j and i equal?
True
Let z = 7 + -4. Let i = -4 + 4. Is i greater than or equal to z?
False
Let u = 54 - 271/5. Which is smaller: -2/3 or u?
-2/3
Let y be -3 - ((-68)/20 - 0). Suppose -v = 4*v. Which is smaller: y or v?
v
Suppose 2*q + q = 3*w + 12, -4*w = -5*q + 21. Is w > 1/7?
True
Let j(s) = s**2 - s - 2. Let h be j(4). Is 12 < h?
False
Let o = -27/2 + 41/3. Let u = 0 + o. Which is smaller: 0 or u?
0
Let z(o) = 0*o - o + o - o**2 + 4*o. Let y be z(3). Let g = y - -1. Is 4 less than or equal to g?
True
Let r = 0.97 + 0.03. Let d = r + -2. Which is greater: d or -0.1?
-0.1
Let l be ((-2)/(-2))/((-2)/3). Suppose 4*z + 40 = 36. Do l and z have the same value?
False
Suppose 0 = 2*z - 7*z + 3*x -