s q at most as big as -2?
False
Let u = -2 + -2. Is 0.3 at least u?
True
Let r(b) = b**2 - 4*b + 4. Let z be r(3). Let s be (0 - 0)/(-2 + 1). Is z at most as big as s?
False
Let s(l) = -10*l**2. Let n be (-14)/(-21)*3/2. Let r be s(n). Is 2/3 <= r?
False
Let p(z) = -6*z + 4. Let o be (-140)/(-44) + 4/(-22). Let i be p(o). Let t be (-1 - -2) + i/8. Which is bigger: 0.1 or t?
0.1
Let u be 30/50 + (-6)/10. Is 1 not equal to u?
True
Let x be 35/(-11) - 14/(-77). Which is greater: x or -7?
x
Let f = 0.8 + -0.3. Let c = -0.3 + f. Let q = -0.2 + c. Is 2 equal to q?
False
Let k(v) = 1 + 6 - 8*v + 3*v**2 + v**3 - 8*v**2. Let c be k(6). Is c != -5?
False
Let v = -5 + 3. Let c be -2 + (v - 3/(-2)). Is -3 < c?
True
Let h = 18/5 - 4. Are h and -1 equal?
False
Suppose -5*t + 650 = -5*w - 0*w, 6 = 2*t. Which is smaller: w or -126?
w
Let s(b) = -b**3 - 5*b**2 - 2. Let q be s(-5). Let m be (-2)/(3 + -7 - q). Is m bigger than 1?
False
Let t be (3 + -2)/((-3)/(-30)). Suppose 4*a + 5*f + t = -12, 4*a + 2 = 5*f. Which is greater: -2 or a?
-2
Let d(p) = -3*p**2 - 6*p - 3. Let y be d(-3). Which is smaller: -11 or y?
y
Let p = 1 - 0. Let t = -3.03 + 0.03. Let w = t + 2.8. Is w at most as big as p?
True
Let t = -122 - -124. Is -5 > t?
False
Let k(b) = -b**2 - 10*b + 11. Let z be k(-11). Is z at least -3/64?
True
Let m(z) = -z**2 - 11*z + 6. Let g be m(-11). Let q(j) = -j**3 + 5*j**2 + 6*j. Let r be q(g). Let k be r + ((-9)/7 - -1). Is -1 greater than or equal to k?
False
Suppose -t = 1 + 2. Which is greater: t or -1?
-1
Let n = 1.29 + -0.01. Let m = n - 1.3. Which is smaller: 0 or m?
m
Suppose k - 2*i - 7 = 0, -k - 2*k = -i - 31. Which is bigger: k or 12?
12
Let s(o) = 3*o - 6. Let j(a) = -a + 1. Let b(h) = 6*j(h) + s(h). Let r be b(-1). Suppose -m + 5*d = m + 13, r*m = d. Is m > 1/7?
True
Let b be (-218)/(-522) + (-2)/3. Let a = b - -4/29. Which is smaller: -1 or a?
-1
Suppose 4*b = -91 + 23. Which is smaller: -16 or b?
b
Let b = -9 - -7.6. Let x = b - -1. Does x = 0.2?
False
Let h = -4.8 - -5. Suppose f = -2 + 4. Which is bigger: f or h?
f
Let o = 7 + -6.9. Let n = 0.9 - 1. Let r = n + o. Is r less than 4?
True
Suppose -o - 2*o = -36. Suppose 2*k - o = -2*k. Suppose 2 = -k*b - 7. Does b = -2?
False
Let x = -0.5 + 0.4. Is x < 6?
True
Let t(u) = 7*u - 2. Let y be t(5). Let o be 0/1 - 6/y. Let q = 1 + -2. Which is greater: q or o?
o
Let q be 20/70 + (-12)/(-7). Is 4/5 at least as big as q?
False
Suppose -2*l - 2 = -0*l. Suppose 0 = -13*k + 16*k. Suppose -m + 1 = -k. Which is smaller: l or m?
l
Let q = 24/5 - 62/15. Which is greater: 2/43 or q?
q
Suppose -28 - 2 = 3*i. Which is smaller: i or -9?
i
Suppose 0 = -3*b - 2*b. Let k(l) = l. Let n(o) = -7*o + 1. Let x(y) = -6*k(y) - n(y). Let z be x(b). Do z and -2 have different values?
True
Let n = -0.09 - 8.91. Let g = n - -9. Is -0.06 at least as big as g?
False
Let m = 0.01 - -0.39. Let n = 0.5 - m. Is n at least -5?
True
Let u(w) = -4*w + 2. Let t(v) = -5*v + 2. Let m(c) = -5*t(c) + 6*u(c). Let r be m(-8). Let b(l) = 4*l + 2. Let k be b(-2). Are k and r equal?
True
Let y = 36 - 32.6. Is -1 smaller than y?
True
Let v be (3 - 0)/1 + 2. Let g = 6 - v. Which is smaller: 0 or g?
0
Let j = 28 + -24. Suppose -y + 31 = 5*w, 0 = -j*w - y - y + 26. Is 6 at most w?
True
Let k(o) = o**3 + 2*o**2 - 3*o - 2. Let d be k(-3). Which is smaller: -7/3 or d?
-7/3
Let g = 0.4 - 0.5. Let l = -9.1 - g. Which is smaller: 1 or l?
l
Suppose 6 = 4*q - q. Is q at most -7?
False
Let h(p) = -3*p - 6. Let y be h(-4). Let w = 9181/210 - 451/10. Let l = w - -12/7. Which is greater: l or y?
y
Let c(p) = -p**2 + 7*p + 4. Let a be c(5). Which is greater: 13 or a?
a
Suppose 0 = 5*m - 14 - 371. Which is greater: m or 78?
78
Let h = 19/23 + -269/437. Which is smaller: h or 0?
0
Let p = 333 + -10991/33. Is p not equal to -1?
True
Let y(k) = k**3 - 5*k**2 + 2. Let s be y(5). Let q be 78/5 + (-2)/(-5). Let z be (4/q)/(s/8). Is z smaller than 3?
True
Let c be 2 + -3 - 8/(-2). Suppose -c*d = -2*d. Let r = 1.2 + -1. Is d > r?
False
Let s be ((-2148)/(-351))/(-4) - -3. Let l = -22/13 + s. Which is bigger: -3 or l?
l
Let s = 7/65 + -418/4485. Which is smaller: 1 or s?
s
Let f be (0 + 20/(-8))/((-1)/(-2)). Which is smaller: f or -1?
f
Let u = 2 - 3. Let h be u/(-5) - (0 - 0). Let w = 3 + -2. Which is bigger: h or w?
w
Suppose 0 = -4*j + 25 + 7. Let x = -39.2 + 39. Which is smaller: x or j?
x
Let q = -1 + 4. Let t(i) = 2*i**2 + i + 1. Let h = -1 - 0. Let n be t(h). Which is smaller: n or q?
n
Let r = -0.42 + 0.4. Let y = 2.02 + r. Let o = 0.17 - 0.17. Is o != y?
True
Suppose -7*r + 5 = -2. Which is smaller: 0 or r?
0
Let k = -288 + 3166/11. Which is smaller: k or -2/17?
k
Let i be ((-4)/((-16)/(-14)))/(4/1). Is i not equal to 0?
True
Suppose -i - 13 = 4*x, 7 = i + 4*i - 4*x. Let d be -1*i/3*-1. Let y(v) = v**3 - 4*v**2 - 5*v - 1. Let q be y(5). Which is smaller: d or q?
q
Let q = 39 - 40. Which is bigger: -2/97 or q?
-2/97
Let d = -0.58 - 0.42. Let w = 17/30 + -1/15. Is w greater than or equal to d?
True
Suppose -4*k + 8 = -z, 19 - 4 = 5*k. Which is greater: 1/5 or z?
z
Let z = -3 - -1. Let f = 1 + z. Let i = 2/19 - 52/133. Which is bigger: f or i?
i
Suppose -q = 2*q + 9. Let t(j) = j**3 + 2*j**2 + 3. Let w be t(q). Which is smaller: w or -7?
-7
Suppose -3*t = 4*v - 4, 5*t - v = 2*v + 26. Let i be (-1 - (2 + -1)) + t. Which is smaller: 3 or i?
i
Let i = 46 + -48.08. Let u = -0.08 - i. Let l be (-2)/(-8) + 1/28. Is l less than u?
True
Let j(s) = -s**3 - 10*s**2 + 11*s + 15. Suppose 5*r = -5*d - 15 - 25, -3*r + 20 = -d. Let p be j(d). Is 15 greater than p?
False
Let w = 27 + -12. Let o = 23 - w. Suppose -3*z + o*z = 0. Which is smaller: -1/5 or z?
-1/5
Suppose 6 = 2*l - 2. Suppose 4*n + 7*f + 24 = 2*f, -3*f - 8 = -l*n. Let q = -181 - -188. Which is bigger: n or q?
q
Suppose -p = -0 - 3. Let b(r) = 5 - r + 1 + 2. Let s be b(5). Is p < s?
False
Let d = -20/11 - -113/44. Let w be (-4)/(-6)*3 - 0. Let s be 0 + w - (4 + -3). Is s less than d?
False
Let x(g) = -g**3 - g - 2. Let i be x(0). Let z be 3/i*(-4)/3. Let f be 20/(-24) + z/4. Is f > 1?
False
Suppose 2*w + 10 - 36 = 0. Suppose 3*i + o + w = 6*i, 4*o + 17 = 5*i. Which is bigger: i or 6?
6
Let f = 7 - 16. Do f and -31/4 have different values?
True
Let d = 0 - -2. Suppose -z + 5*p = -9, 1 = 3*z - 4*p + d*p. Let w = -50/9 - -52/9. Which is smaller: w or z?
z
Let h be (-36)/24 + (-3)/(-2). Is h less than 0?
False
Let n = -16 + 15. Is 0.4 >= n?
True
Let c(x) = x + 6. Let i be c(-4). Let h be (-4 - -13)/(21/i). Which is smaller: 0 or h?
0
Suppose 3*k - 19 = 4*i + 9, -5*k = -3*i - 32. Let d be (3/10)/(k/10). Are d and 0 unequal?
True
Let t = 16 - 8. Let i = t + -12. Is 0.3 greater than i?
True
Suppose 0 = 5*q + 4 + 81. Which is smaller: q or -13?
q
Let b = -23 - -25. Suppose b*f = -4, -v - 2*v + 3*f + 6 = 0. Which is bigger: -1 or v?
v
Suppose 4*b = 5*h + 17 - 123, 0 = -4*b + 3*h - 110. Is -28 at least as big as b?
True
Let n = -739/45 - -81/5. Suppose 0 = 2*w - 6*w. Which is bigger: n or w?
w
Let p = 0.3 + 0.1. Which is greater: -0.1 or p?
p
Let w = 87/884 + 1/52. Let v = 3 - 2. Do w and v have different values?
True
Let c = -29 - -28. Does c = 1/3?
False
Suppose 4*g - 4*c - 256 = 0, 0 = -g - 2*c - 3*c + 40. Let t be (32/g)/(10/(-3)). Let m = 62/75 + t. Which is smaller: m or -0.2?
-0.2
Let y(z) = z**3 + 7*z**2 + 5*z - 5. Let k be y(-6). Let m be 16/10*(-5)/(-2). Suppose -m*h + 9*h - 20 = -5*p, h - 10 = -3*p. Is k not equal to h?
False
Let n = 4735/2708 + 1/677. Are n and 2 nonequal?
True
Let w = 41 + -41. Which is smaller: w or 2/23?
w
Let l(n) = 2*n + 23. Let r(a) = -a - 12. Let m(o) = -6*l(o) - 11*r(o). Let f be m(-5). Is 2/11 less than f?
False
Let j = 22 - 18. Is 0 greater than j?
False
Let y be -2*(-1 - (3 + -10)). Let i = 3 - y. Suppose 2*a - 7*a - i = 0. Are a and -2 unequal?
True
Let h = -0.419 + -4.581. Let o = 0.1 + -0.1. Is h at most as big as o?
True
Let y(n) = n**2 + 5*n - 4. Let p be y(-6). Suppose p = m - 0. Suppose m*f = 3*f. Which is smaller: -2/9 or f?
-2/9
Suppose 4*t = t + 30. Suppose -t = -q + 3*u, -4*u + 8 = -2*q + 6*q. Suppose -q*h - 10 - 6 = 0. Is h greater than -5?
True
Let m = -7 - -5. Let z = m - 1. Let n be (1 - z/(-2))*-2. Is 2/9 equal to n?
False
Let g(j) = -j - 2. Let y be g(5). Let s = y 