4.1 - 1.1. Is s equal to z?
False
Suppose 7*d - 6 = 4*d. Let x be (-3)/6*(d + -2). Is 1/4 greater than or equal to x?
True
Let p(h) = -2*h - 15. Let m be p(-5). Is -5 at most m?
True
Let w = -28 - -29.08. Let b = 0.08 - w. Let h = 3 + b. Which is smaller: 1 or h?
1
Suppose -4*c = -0*c - r - 21, -3*r = 2*c - 21. Let u = 12 + -5. Is u < c?
False
Let s = 0.4 + -1.5. Let l = 0.1 + s. Which is greater: l or -8?
l
Let b = 14.4 + -14. Let o = -0.7 + b. Which is bigger: 1/6 or o?
1/6
Suppose 0 = b - 1 - 0. Let y be 4/(-1)*b/2. Let m = y - -2. Is m greater than -1?
True
Suppose 0 = -f - 0 + 2. Let g be 1*((-3)/3 + f). Which is smaller: g or 0?
0
Let p(y) = 3*y**2 + 3*y + 11. Let z(x) = -5*x**2 - 4*x - 17. Let r(w) = 8*p(w) + 5*z(w). Let f be r(3). Let q be (-72)/(-130) + f/(-15). Is q > 1?
False
Let w(m) = -m + 4. Let s be w(4). Let b be (0 - s)/(-1 - 1). Are -0.3 and b equal?
False
Suppose 68 = 2*t - 4*y + 26, 0 = 5*y + 20. Which is bigger: t or 14?
14
Let k be (-2)/5 - 178/5. Let n = 50 + k. Let i be 7/(-6)*(-2)/n. Is i at most as big as 0?
False
Let i(f) = f**2 + 5*f + 2. Let n be i(-5). Suppose -n*y - 9 = -3*c, 2*c = 2*y - 2*c + 14. Are y and 6 non-equal?
True
Let n = 105 + -528/5. Which is smaller: -0.4 or n?
n
Let l = 6.4 + -6.5. Which is greater: -0.41 or l?
l
Suppose 3*g + g = 0. Suppose -4*l + 2 = 5*d, d - 5*l - 7 - 5 = g. Let a = -386/5 + 78. Which is bigger: d or a?
d
Let r = 0.54 - 0.6. Let v = r - -0.06. Let n = -0.3 - 0.7. Which is greater: v or n?
v
Let q = 8 - 6. Let l be -1 - -1 - (q - 1). Suppose 2*u = -u - 2*i + 1, -2*i = 4*u. Is u < l?
False
Let s be 1/((-4 + 2)/4). Let o = 2 + s. Which is smaller: o or 2/5?
o
Suppose -4*u = -2*y - 2, 0 = 4*u - 0*u + 2*y - 22. Let t = 25 + -22. Is u at least t?
True
Let u(r) = -r**2 - 3*r - 3. Let y be u(-2). Let b = 1 + 0. Let d be (-2*b)/(-8)*-3. Which is bigger: d or y?
d
Let v be (1/2)/((-6)/132). Let m(t) = -t**3 + 8*t**2 - 9*t + 4. Let u be m(7). Which is bigger: v or u?
u
Let x = 882 - 11444/13. Is 2 > x?
True
Suppose -2*p + 20 = -4*b, -5*p - 4*b = -4 - 4. Suppose -z - p*z = 0. Let w be 0/((2 - 2) + -2). Does w = z?
True
Suppose 0*u = 4*u - 12. Suppose 0*p - 4*p - 13 = 5*r, 2*p = r - u. Which is smaller: -1/2 or p?
p
Let s(f) = 9*f**3 - f**2 + 13*f - 1. Let o(q) = 4*q**3 - q**2 + 6*q - 1. Let l(c) = 7*o(c) - 3*s(c). Let p be l(3). Which is bigger: -2 or p?
-2
Let m = 1/1383 - 1412054/15213. Let j = m - -93. Is 0 less than j?
True
Suppose 0 = 4*u - 4 - 12. Which is bigger: u or 1?
u
Suppose 0*b = 5*b - 5. Is 0 equal to b?
False
Let f = 1/297 + -635/12177. Is f greater than -2/5?
True
Let r(a) = -a**3 + 4*a**2 + 9*a + 18. Let o be r(6). Which is smaller: -22/17 or o?
-22/17
Let x = 8.4 + -8.3. Does -2/5 = x?
False
Let o = 4 - 1. Suppose -o*w = w + 12. Do -4 and w have the same value?
False
Let j = -12 - -17. Suppose -j*c - 4 = -14. Is 3 greater than c?
True
Suppose -2*l = 4, 0 = 4*h + 2*l + 3*l + 10. Which is smaller: 2/3 or h?
h
Let l = 12 + -7. Let q(x) = x - 5. Let o be q(l). Which is bigger: o or 2/9?
2/9
Let u be (-3)/12 + (-27)/(-12). Let d be (u + -3)/4*6. Let g be -5 + (-1)/((-2)/4). Is d smaller than g?
False
Let v be (2/(-4))/(11/22). Is -1/2 at least as big as v?
True
Let k(r) = 4*r - 6*r + r**3 + 5 + 2*r**3 + 7*r**2. Let h(i) = -4*i**3 - 10*i**2 + 3*i - 8. Let u(z) = -5*h(z) - 7*k(z). Let c be u(0). Does c = 0.1?
False
Let p be (-20)/(1*(-2)/(-2)). Does -19 = p?
False
Let c be 156/(-56) + (1 - 6/(-3)). Which is greater: -1 or c?
c
Let h = -31 + 30. Let g = -622/13335 + -4/381. Do g and h have the same value?
False
Suppose -68 = -2*b - 2*b. Let a = b + -15. Is 1/2 less than a?
True
Let n = 29598425/187 - 158281. Let g = 8/17 + n. Which is smaller: 0 or g?
g
Let o = 457/7 - 65. Suppose -3*q = -8*q - 5. Which is smaller: o or q?
q
Suppose -5*p + 20 = 3*b, 0 = -3*b + 2*b - p + 6. Suppose 2*w - 3*w = b*r - 10, 2*r + 4*w = 22. Let k be ((-1)/2)/((-3)/6). Is k at least as big as r?
True
Let t(k) = 13*k - 62. Let p be t(5). Do 3 and p have the same value?
True
Let d(x) = -3*x + 1. Let b be d(2). Is b <= -5?
True
Let j be (-253)/(-4) + (-2 - -2). Let x = j + -63. Suppose 0 = -2*n - 3*w - w, 3*n = -5*w + 2. Which is smaller: x or n?
x
Suppose -5*z = -6 + 11. Which is smaller: -2 or z?
-2
Let b = 99 + -98.99. Which is smaller: b or -2?
-2
Let p be 1/(-10) - (1 - 24/15). Which is smaller: p or -86?
-86
Let r(h) = -h**2 + 9*h - 11. Let v be r(9). Which is bigger: v or -10?
-10
Let f = -3 + 7. Let k be (f/18)/(8/6). Is -1 < k?
True
Let j be (-2)/4*(-3)/(-6)*0. Which is smaller: -7/5 or j?
-7/5
Let o = -15 + -13. Is -28 at least o?
True
Suppose 2*a = -5*k + 19, -a + 5*k - 10 = k. Let v be 10/(-15) - (-11)/3. Suppose 0 = 5*n - w - 9 - 4, 9 = n + v*w. Is n greater than or equal to a?
True
Let u(k) = k**2 - 18*k - 19. Let z be u(19). Is z greater than -5/7?
True
Let j = -0.69 - -0.79. Which is greater: 2.9 or j?
2.9
Let u = 49.3 - 49. Let i be 2/(-3) - (-2)/(-6). Which is greater: u or i?
u
Suppose 4 = -3*t + 16. Let s be 3/(-6 - -3) - -1. Suppose t*a = -s*a + 8. Is 1 < a?
True
Let i(c) = -c**3 + 3*c**2 + 6*c - 3. Let k be i(4). Do 1/4 and k have different values?
True
Let n be 46/6*6/88. Let m = -3/11 + n. Does m = -0.3?
False
Let l be 85/(-500) - (1 - 10/8). Is 0 at least l?
False
Let j(h) = -h**2 - 6*h - 8. Let i be j(-4). Is i not equal to -0.012?
True
Let h = -61/2 + 31. Is h < -22?
False
Let m be ((-4)/10)/(2/(-30)). Let o = m - 6. Is -4/9 less than o?
True
Let j(c) = -2*c**2 + 7*c - 7. Let w(o) = -3*o**2 + 8*o - 8. Let a(f) = 5*j(f) - 4*w(f). Let i be a(-3). Suppose i*m - m = 0. Is m greater than -1?
True
Suppose 4 + 8 = x. Which is greater: x or 11?
x
Let v = 41 + -35. Is v bigger than 0?
True
Let u(f) = -f**3 + 4*f**2 + 7*f - 1. Let r be u(6). Are r and -31 non-equal?
False
Let c be ((-40)/4)/(-5) - 6. Which is smaller: -3 or c?
c
Let q = -578258/9 + 408830182/6363. Let m be (-295)/(-1212) + (-1)/4. Let f = m - q. Is 0.1 at least as big as f?
True
Let w = 125869/1240 - -23/248. Let b = w + -101. Let m(q) = q**2 + 7*q + 8. Let t be m(-6). Which is greater: b or t?
t
Suppose -3*k + u + 2 = -6*k, 5*u = -3*k + 2. Is -2/21 at least as big as k?
True
Suppose 2*q + 27 = 5*v, 4*v - 2*q - 14 = 8. Suppose 5 = -r - 3*n, 0*r - 2*n - 9 = -v*r. Let x be ((-4)/(-35))/(12/(-30)). Which is bigger: x or r?
r
Let p be (3/(-8))/((-6)/12). Is p < 0.9?
True
Let x be 1 - (1 + 1 + -2). Let k be 3 + -4 + 1 - x. Which is smaller: k or 1/3?
k
Suppose -z + 1 = 4*b - 3, -b - 5*z = -20. Is -1/3 bigger than b?
False
Suppose 22 = 5*c + 2. Suppose c*s = 4*z, 5*s - 4*z + 1 - 3 = 0. Let v be 0 - (s - 2)/2. Which is smaller: v or -2?
-2
Let o = -13 + 23. Let d = 9 + 1. Is d at least o?
True
Suppose 0 = -4*n + 4, -3*n + 6*n = -q. Let o be -1 - ((-36)/(-65))/q. Let d = 8/13 + o. Which is bigger: 0.1 or d?
0.1
Suppose 4*i + 2 = c - 7, 5*c = 3*i + 11. Suppose -3*d + 45 = -0*d. Let v be (d/10)/(1/2). Which is smaller: c or v?
c
Let i be (-2)/5 + (-48)/(-20). Let s be (6/3 - i) + -1. Let q be -2 - (2 - 2 - 2). Is s at least q?
False
Let j = -77 + 61. Is j at least -17?
True
Let s(y) = 3*y + 31. Let a be s(-15). Is -13 at most a?
False
Suppose 4*m - 8 = 60. Suppose -4*a = -5*q + 38, 2*q + 4*a - 5*a - m = 0. Is 10 at most q?
True
Suppose 0*b - 8 = -b. Let z = -4 + b. Which is smaller: z or 5?
z
Suppose 3*p - 2*z - 14 = p, 10 = -5*z. Suppose 0 + p = -5*i. Which is bigger: -1/5 or i?
-1/5
Let m be 1/2*(-4)/2. Let l = -1 - m. Is l smaller than 1/2?
True
Let c be -6*(-1 - (-11)/3). Suppose -64 = 5*f - f. Is c at least as big as f?
True
Let q = 6.2 - 6. Let o = q - 2.2. Is o > 2?
False
Suppose -17*j + 18*j = -10. Do -12 and j have different values?
True
Suppose g = 4 - 1. Suppose 0 = 2*j - g*j - 15. Which is bigger: -14 or j?
-14
Let k = 59 + -70. Which is smaller: 3 or k?
k
Let b(j) = -3*j**2 - 9*j - 5. Let z(y) = y**2 - 1. Let t(w) = -b(w) - 4*z(w). Let v be t(10). Let n = -45 - -133/3. Which is bigger: n or v?
n
Let y be ((-46)/(-6))/(6/(-72)) - -2. Which is smaller: y or -91?
-91
Suppose 3*o - 4 - 2 = 0. Let m(s) = s**3 - 8*s**2 - 9*s + 1. Let t be m(9). Which is smaller: t or o?
t
Let v(u) = -10*u - 61. Let h be v(-6). Which is greater: h or -2/43?
-2/43
Let h = 29 - 20. Let n be ((-2)/(-3))/((-6)/h). Suppose -1 = -3*w - d, 4*w +