5*l. Which is smaller: z or -0.1?
-0.1
Let s = 14 - -15. Let p = 19 - s. Is p not equal to -10?
False
Suppose 0*v = -v. Let z = -21 - -21. Is v equal to z?
True
Let i = 0.5 + -0.5. Do -22 and i have the same value?
False
Suppose -16 = 3*f + 3*c + 2*c, 14 = 3*f - c. Suppose -28 = f*s + 6*m - m, -4*s = m + 9. Is -2 >= s?
False
Suppose -3*c = 4*w - 1, 2*w + 19 = 2*c + 3*c. Which is smaller: w or -8?
-8
Let m be 16/7 + 4/(-14). Suppose 3*w = -m - 7. Let g be (w + -1 + 2)*-2. Which is smaller: 3 or g?
3
Let l(c) = c**3 - 3*c**2 + 2. Let d be l(3). Let f = -47 - -51. Suppose -f*x + q - 17 = -7, -2*x + d*q - 2 = 0. Is x smaller than -3?
False
Let v be 5 - 2/(-1 - 1). Are v and 6 nonequal?
False
Suppose 0 = 2*y + 3*y + 65. Let q = y + 13. Is q > 10/9?
False
Suppose 20 = -5*q, -3*y = 2*q - 4*q - 29. Suppose v + 0*v + i = -2, 3*v + 4*i + y = 0. Which is greater: 2/19 or v?
2/19
Let m(y) = y**3 - 4*y**2 - 5*y + 3. Let s be m(5). Let o = 6 - 3. Suppose 2 = -o*f + 11. Is f <= s?
True
Suppose 3*h = -2*w - h - 8, -h = -2*w + 7. Suppose 0 = -5*x + w*x + 51. Is x less than 16?
False
Let s(b) = -b**3 - 6*b**2 - 6*b + 5. Let f be s(-5). Let v = -29 + 29. Suppose v = 5*z - 0*z - f. Is 5 > z?
True
Let k(y) = y - 6. Let z be k(6). Let d = -34 - -23. Let v = -8 - d. Is v >= z?
True
Let x be (-94)/(-35)*(-7 + 2). Is -14 less than x?
True
Let y = 363/10 - 71/2. Is 0 equal to y?
False
Suppose 5*u - 3*t + t = -5, u + 5*t + 1 = 0. Let c be 0*(1/u - -2). Is 2/7 < c?
False
Suppose 4 = 8*l + 12. Is l equal to -10?
False
Let n = 64 - 1089/17. Let u = n - 15/34. Does 0 = u?
False
Suppose 2*v = 2*z - 2*v + 4, 0 = -5*v + 5. Let k = -0.85 - -0.65. Which is smaller: z or k?
k
Let u(n) = n. Let c be u(1). Let s be c + (-1 - (-477)/(-24)). Let t = s - -1065/56. Is t < -1?
False
Suppose 3*f + 2 = -1. Suppose 2*v = 5*q - 3*v - 40, 20 = -4*v. Which is bigger: q or f?
q
Let w(s) = 6*s - 3. Let t be w(4). Suppose -4*h = x - 11, 2 - t = 3*x - h. Suppose -v + c - 13 = 3*c, -2*c - 23 = 3*v. Is v < x?
False
Let j = 14 + -20. Let b = -5.7 - j. Which is greater: b or 3?
3
Let a be (-1*2 - 93)*(12 - 13). Which is smaller: a or 96?
a
Let i be 2/4 + 5166/(-780). Let o = 31/5 + i. Which is greater: o or 1?
1
Suppose 25 = a - 5*k, a - 6*a - 2*k - 10 = 0. Which is greater: a or 1?
1
Let u = 87/4 + -22. Let y = -16.3 - -3.3. Which is greater: u or y?
u
Suppose 0 = 4*c - 0*c - 20. Suppose 3*f + 2*f + 110 = c*t, f - 29 = -2*t. Suppose 0 = 3*z + t - 5. Which is bigger: -5 or z?
z
Let r(c) = -c + 1. Let x be r(-1). Let n = x + -4. Which is smaller: n or -1?
n
Let a = 1 - -1.2. Is -1 equal to a?
False
Let a = 18/7 - 17/7. Let f be -1 - (0/1)/(-1). Does a = f?
False
Suppose -5*v + 11 + 4 = 0. Let m be 2 - (v - 45/39). Let x = 1 + -1. Is x greater than or equal to m?
False
Let x = -7 + 10. Suppose 0*n - 5*c = x*n - 19, 3*c = -5*n + 5. Let f be n*((-32)/11 + 3). Is 1 bigger than f?
True
Suppose 0*r + 4*r = 12. Suppose r = -n - 2. Is -5 < n?
False
Let z(g) = g**3 + 6*g**2 - g - 3. Let x be z(-6). Suppose -j - x - 4 = 0. Suppose -42 = -21*h - 189. Is j at least h?
True
Let x be (-20)/(-130) - 4/26. Let b be 4 + x + (-10)/(-15). Is b at most as big as 1?
False
Let z be (0 + (-2)/(-4))/2. Let m(p) = -3*p + 41. Let y be m(14). Which is greater: z or y?
z
Suppose 19 = 4*p - 13. Let q be 9 + 1*(-1 - 0). Is q smaller than p?
False
Suppose 4*g + 2 = -2*n, 11 = 4*n - 1. Let v = -6 + 4. Is g at least v?
True
Suppose -3*v = 5*d + 57, -3*v - d - 27 = 18. Let u = 24 + -16. Let x be (u/28)/((-2)/v). Which is greater: x or 3?
3
Suppose 4*a - 12 = -g, -7*g + 3 = a - 3*g. Suppose 4*w = p - 6, a*w - 4*w = -p + 3. Which is bigger: w or 1/5?
1/5
Suppose -a - 2*b - 5 = 0, 3*a + b + 12 = 2. Suppose 3*m - 2 = m. Is a less than m?
True
Let p = 18 - 29. Let v be 6/8 - (-94)/(-8). Is p greater than v?
False
Let f = 6.38 + -4.4. Let w = f - -0.02. Are -1 and w unequal?
True
Suppose 0 = -7*b - 13 + 6. Which is smaller: -4/29 or b?
b
Let h = 1236 + -80342/65. Let y(v) = 2*v**2 - 50*v + 47. Let d be y(24). Is h less than d?
False
Let k be ((-5)/2)/(-5)*-2. Let v = -1 - -9. Let r be (-10)/18 + v/24. Is k at most r?
True
Let f = -778/9 + 87. Let g = 18.9 + -19. Which is smaller: f or g?
g
Suppose 5*m + 0*m + 4*o - 17 = 0, -2*m + 4 = 3*o. Let f be 6/m*10/4. Suppose -f = 3*y - 0. Do -1 and y have the same value?
True
Suppose 5*r = 3*l + 83, -l + 4*l = -r + 31. Is r <= 19?
True
Suppose 4*r - 2*m - 2 = 0, 0 = -6*r + 9*r + 5*m + 18. Let q = 267/40 - 47/8. Which is greater: q or r?
q
Suppose 11*i + 5*i - 16 = 0. Let p = -111 + 1111/10. Which is smaller: i or p?
p
Suppose -s = 3*b + 8, -7 = 2*b + 1. Suppose 0 = -f + s*f. Suppose f = -2*p + 10 - 4. Is 2 >= p?
False
Let t = 5 + -4. Which is greater: t or 0?
t
Let g = 107 - 71. Let a be g/10 - 4/(-10). Suppose 15 = 5*d - 0, -a*u - 2*d + 6 = 0. Which is smaller: u or -2/3?
-2/3
Let o(x) = x**2 - 4*x - 1. Let d = 16 + -8. Let q = d + -4. Let g be o(q). Which is smaller: g or -2/3?
g
Suppose 3*b = 2*o + 8, 4*o - 3 - 5 = 0. Which is smaller: -2 or b?
-2
Let c be (-4)/(-7)*7/2. Suppose 2*h + 5*r + c = 0, 4*r = -0*h + h + 14. Is -6 > h?
False
Let q be 246/15 - 2/5. Suppose -n + q = -5*p, 3*p + 2 = -7. Are -1/5 and n non-equal?
True
Suppose 0 = -u - 0*u. Let i be -4 + (-1)/5 + 4. Which is bigger: i or u?
u
Suppose -5*f - 12 = 3*u, 9 = 3*f - 0*f. Let n be -7 + 1*(-6 - -4). Are n and u equal?
True
Let s be ((-2)/4)/(3/(-6)). Let w = -425/9 - -47. Which is greater: s or w?
s
Let q(b) = -b - 6. Let l be q(-9). Let d be 14/3 + l/9. Are d and 5 nonequal?
False
Let y be 8 - (6/3)/(-2). Let m be 33/y + (-4)/2. Which is greater: 3 or m?
3
Let w = 589 - 6484/11. Is w at least as big as 0?
False
Suppose -t + 2*t = 0. Suppose -3*z - 8 = 5*i, -4*i = -t*i - 4*z. Is i < 2/11?
True
Let t = 1.4 - 1. Let u = -2.2 + 2. Which is smaller: t or u?
u
Let q = -252 - -244. Let t = 4 - 3. Is q smaller than t?
True
Suppose 6*u - 7*u - 4*q - 20 = 0, -4*u + 4*q - 20 = 0. Is -8 <= u?
True
Let p = 76 + -379/5. Suppose -h - 9 = -3. Let f be -3*2*1/h. Are p and f equal?
False
Suppose 0 = 2*r - 5*y - 27, -5*r = -0*r + y. Let s be ((-15)/(-9))/((-4)/3). Let a = -37/36 - s. Which is bigger: a or r?
r
Let d = 8 - 15. Let m be ((-2)/4)/(-3 - d). Suppose -5 = -5*v - 0. Are v and m equal?
False
Suppose -6*a + 3*a + 1170 = 0. Let o be 1/5*a/12. Does o = 7?
False
Let f = 61/2 + -29. Which is smaller: f or 2?
f
Suppose -5*s - 1765 = -0*s. Let q = s - -2123/6. Which is greater: q or 0?
q
Suppose 4*s - 9 = 3. Suppose 3*j = 2*j - 4*i - s, -j - 4 = 5*i. Which is bigger: 1/6 or j?
j
Let l be (-2)/(-12)*(0 - 1). Is l > 0?
False
Let m = 22 - 67/3. Which is greater: 13 or m?
13
Let p be ((-6)/16)/(3/(-2)). Let v = -1/12165 + 7469321/133815. Let b = v - 56. Which is bigger: b or p?
p
Let l = -1 - -1.1. Let c = l + 0.1. Let s = c - -0.8. Which is smaller: -2/5 or s?
-2/5
Suppose 0 = -9*u + 4*u - 10. Let f be -3 + 2 + 2 + (0 - 3). Is f >= u?
True
Suppose u - 558 = -4*z + 3*u, -2*u = 2*z - 264. Suppose 0 = -3*o + 32 - z. Let g = o + 135/4. Which is greater: -1 or g?
-1
Let z = 6 - -27. Let s = 103/3 - z. Which is bigger: 1 or s?
s
Let s = 0.3 - 0.2. Let q = 4.1 + -1.1. Which is greater: s or q?
q
Let g(h) = -h**2 - 1. Let y be g(-2). Let f = -5 - y. Let q be 4/(-11)*(-3)/6. Is q equal to f?
False
Suppose -n = -1 - 5. Let r = n - 5. Is 1 greater than r?
False
Suppose 5*l = -4*o + 42, -o - 18 = -2*o - 5*l. Let v be ((-4)/(-70))/(o/(-80)). Suppose -2*p = -0*p. Is v not equal to p?
True
Suppose 6 + 2 = 4*f. Let s(g) = -6*g**2 - 1 - f*g - 2*g**3 + 4*g**2 + 0*g. Let c be s(-1). Is 4/5 > c?
False
Let l be (-2)/12 - (0 - 15/(-18)). Which is greater: l or 2/13?
2/13
Suppose -8 - 4 = -2*v. Suppose 5*d - 2*j = -10, -4*d - j + v*j = 8. Suppose q - 5*t - 17 = -q, -3*t - 6 = 3*q. Which is smaller: d or q?
d
Suppose -62 = 3*m - 4*h - h, 0 = m - 2*h + 22. Let u be (-1)/3*(-63)/m. Let y(x) = x**3 + 9*x**2 + 9*x + 5. Let t be y(-8). Is u >= t?
True
Suppose 0 = -0*w - 4*w. Let k be -1*(-3)/42*-2384. Let l = k - -170. Which is smaller: l or w?
l
Suppose -40 = -5*b + 5*d, -5*b - 5*d - 25 = -105. Let u be (2/b)/(6/9). Is u less than or equal to 0?
False
Let f(y) = -4*y**3 + 2*y**2 + 2*y - 2. Let c be f(2). Let h be c/18 + 6/27. Let a be h/21 + (-4)/14. Which is bigger: a or -1