 be l(v). Is w greater than i?
False
Let f = -0.66 - 23.34. Is f < 0.3?
True
Let h be 303/(-6) + 18/(-12). Which is smaller: -54 or h?
-54
Let x be (9/(-21))/(145/(-70)*-4). Which is greater: x or 1?
1
Let z = -6 + 13. Let m = 51 + -47. Suppose -4*y = 4*u - 4, -2*y - m*u + 13 = -z*y. Is 1/7 != y?
True
Let z(p) = -p - 3. Let d be z(-4). Is 2/73 greater than d?
False
Let k be (3/((-6)/(-13)))/(-45). Let y = k - -2/45. Are 1 and y unequal?
True
Let u = -306 + 1217/4. Let y = 20 - 23. Let g = y + 2. Which is bigger: g or u?
g
Let h be (2 + 18/(-12))*20/2. Which is smaller: h or -5?
-5
Let s(p) = p**3 + 4*p**2 + 2*p - 4. Let b be (1 + 0)/(1/(-3)). Let q be s(b). Is 2 >= q?
True
Let q = 4.6 - 0.3. Let j = q + 1.7. Do j and -1 have different values?
True
Let n(c) = c**2 - 6*c - 7. Let d be n(7). Which is smaller: d or -3/14?
-3/14
Suppose -2*i + 10 = 4*l, -2*l + 5*i = 4*i - 3. Suppose -3*o = z + 10, 5*o = 3*z - 6*z - 14. Let a be z*(1 - (-2)/(-3)). Is a > l?
False
Let u be 4/(-6) - 7/(-6). Let w(h) = 3*h**3 + 2*h**2 + 3*h + 3. Let n be w(-2). Let b = n - -59/3. Do u and b have the same value?
False
Suppose -4*y - 44 = 4*c, 3*c - 14 - 49 = 5*y. Let m = -8 - y. Which is smaller: m or 5/2?
5/2
Let p(k) = 2*k + 2. Let n be p(-3). Let f(t) = 2*t + 9. Let d be f(-9). Let i = d - -4. Is n <= i?
False
Let s = -2 + 4. Let k = -26 - -27. Which is smaller: k or s?
k
Let q be (-6)/(-15) + (-16)/(-10). Suppose 1 = q*w + 5. Let m be 0*(-2)/4*-1. Which is smaller: m or w?
w
Suppose p - 3*c = 2, 3*c - 4 = -3*p + p. Which is smaller: 23 or p?
p
Suppose 0*a - 1 = -a. Let l(d) = 9*d + 2. Let k be l(a). Is k at least 11?
True
Let s = -25 - -20. Is -3 bigger than s?
True
Let u = 137 - 149. Which is smaller: u or -9?
u
Let q = -3 + 2. Let d(t) = -t**3 + 3*t**2 + 3*t + 7. Let h be d(4). Which is greater: q or h?
h
Let j = -0.07 - 0.01. Let y = j - 0.02. Is -5/3 > y?
False
Let t be (-1)/(-2) + (-12)/(-24). Is 3/5 bigger than t?
False
Let v = 0.1 + 0. Let c = -50 + 47.9. Let n = -0.1 - c. Which is smaller: n or v?
v
Let x be 16/24 + (-4)/6. Suppose 18 = -2*y - x*y. Which is bigger: -10 or y?
y
Let c be (-6)/5 - (-3)/15. Does 0.3 = c?
False
Let a = 647 + -22647/35. Is a less than or equal to 0.1?
True
Suppose -2*v + 2*w + 13 = 3*w, -w + 34 = 5*v. Let l be (-3 + v/2)*-12. Which is smaller: l or -5?
l
Let f = 3991/21 - 1177/7. Let x = -22 + f. Which is bigger: x or 1?
1
Let b be 870/(-35) + 4 + (-1)/7. Is b less than -13?
True
Suppose -f - 18 = -3*z, z + 17 + 17 = -3*f. Which is smaller: f or -11?
f
Let g = -34 - -38. Is 7 > g?
True
Let v = 180 - 180. Which is bigger: 11 or v?
11
Let x be 9/(-5) - (-4 - -3 - 1). Is 1.7 at least x?
True
Let n = 1/9 + -4/9. Suppose 9*f = 8*f. Which is bigger: n or f?
f
Let q(z) = z**3 - 4*z**2 - 5*z + 3. Let x be q(5). Suppose k = -x*k. Suppose -5*l - t - 3 = 0, -2*t - 1 = 3*l - 2. Which is bigger: k or l?
k
Let c be 0 - -2 - (3 + 0). Which is bigger: 1/14 or c?
1/14
Suppose 96 = -5*t - 2*a, 2*t - 4*a + 0*a = -24. Let l = t - -17. Are 4/17 and l equal?
False
Let s = 8 + -9. Let i = 0.8 + s. Which is smaller: i or 0.2?
i
Suppose 2*t = -4*k - 2, 5*k + t = -t - 2. Suppose k = 2*x - 7 + 1. Is 4 equal to x?
False
Let l = 0 + -1. Let h = -5 - -19. Let f = 14.2 - h. Which is bigger: f or l?
f
Let k = -44/57 - -2/19. Which is bigger: 1/50 or k?
1/50
Let x = -29.95 + 30. Which is bigger: -0.3 or x?
x
Let l = -74 + 58. Which is bigger: l or 2/5?
2/5
Suppose -2*x - 24 = -5*x. Which is bigger: 11 or x?
11
Let g be (-1 - (-14)/12)/(-1). Let i(f) = 13*f**2 - 7*f + 16. Let d(a) = 3*a**2 - 2*a + 4. Let j(y) = -9*d(y) + 2*i(y). Let x be j(3). Which is smaller: g or x?
x
Suppose 3*a - 3 = -12. Let r be a*3/(27/6). Which is bigger: r or -3?
r
Suppose 3*m + 70 = 8*m. Suppose -4*j = -s - j - m, 0 = -s + j - 6. Is -1 < s?
False
Suppose 0 = 3*q + 3 + 9. Let m be 4*-1*2/q. Suppose -m*x - 28 = -5*s, 0 = -2*x + 7*x + 20. Which is greater: s or 3?
s
Suppose -a - 2 = a. Which is greater: a or 3/16?
3/16
Let s = 1.3 + -1.39. Let p = 1.09 + s. Let k = 0.45 - 0.05. Which is greater: p or k?
p
Let v = -0.01 - 0.99. Let f = v + 7. Which is greater: f or 0?
f
Suppose 2*j = 4*g + 11 + 13, 0 = 3*g + j + 13. Suppose 0 = -p - p - 4. Let m = g - p. Is -2 at least m?
True
Let t = -1/21 - -2/483. Let k be 15/9 - 2/3. Which is bigger: k or t?
k
Let h be 1/1 - 1222/1183. Is 0 <= h?
False
Let z = -79 + 78.8. Is -1/10 less than z?
False
Let t = -4 - -2. Let c = -671583/7 + 95704. Let y = c - -237. Which is greater: t or y?
y
Let l be 9/(-5)*4/6. Which is bigger: 0 or l?
0
Let u = -8 + 12. Let s = u + -1. Is 0.1 at least s?
False
Suppose 3 = -3*q + 12. Suppose -4*k + 39 = 5*v - 3*k, 0 = -5*v - q*k + 47. Is v < 6?
False
Let x be 25 - 1/(4/16). Let q be (-1 - 3)/(15 - x). Are -10 and q nonequal?
True
Let v = 0.14 + -1.14. Is v smaller than 0.08?
True
Let t(z) = -4*z**2 - 3*z + 1. Let i be t(-2). Is i equal to -9?
True
Let d(x) = x**2 + 7*x - 1. Let t be d(-8). Suppose -3*a = -4*f + 19, 3*f + t = -0*f - 2*a. Let h be -2*(-2)/(-6)*-3. Does h = f?
False
Let y = -29 - -29. Is y at most 0.29?
True
Let j(d) = d**2 - d. Let l be j(0). Suppose -2*x - 20 = 4*o, x - 2*o + 4 = 14. Is x at most l?
True
Let c = 70/3 + -551/24. Let g(k) = -k - 4. Let u be g(-6). Suppose -u = o + o. Do o and c have different values?
True
Let w = -54 - -14. Let z be 522/w - 2/10. Let a = 47/4 + z. Which is smaller: -3 or a?
-3
Let s be (-4)/((-2)/(2/5)). Suppose 4*n = 9 - 1. Suppose n*j = 3*j - 1. Is j greater than or equal to s?
True
Let b = -101/28 - -15/4. Suppose 41 = 4*d + s, -s - s + 37 = 3*d. Suppose -y + d = 2*y, -6 = -2*a - 2*y. Which is smaller: a or b?
a
Suppose 2*v - 5 = -2*f + 5, -2*f - 3*v = -10. Let j(b) = b - 3. Let d be j(f). Suppose -a + 0 = d. Is a at least as big as -3?
True
Let x = 15/16 - 197/176. Suppose -2*i - 4 = -6. Is x at most i?
True
Let b be 57/12 - 1/(-4). Suppose -4*u - 3*k + 33 = b, -20 = -5*k. Is 2 != u?
True
Let q = 23/2 + -167/14. Suppose -3*k = b - 10 - 0, b = -k + 4. Is b greater than or equal to q?
True
Let c(b) = b + 10. Let a be c(-8). Suppose 3 = 5*k - a*k. Let m be 2 + k + -3 + -1. Is 2/7 not equal to m?
True
Let c = -3 - -9. Suppose 2*z + 0*z + c = -4*a, -4*a = -2*z + 2. Let m = 18 + -20. Which is greater: m or a?
a
Let h be 18/(-14) + (-2)/(-7). Let d = -3235/13 + 249. Which is greater: h or d?
d
Let m = 40/3733 - 1796973/130655. Let f = 99/7 + m. Is 1 greater than or equal to f?
True
Let v be (-3)/(-3) - (3 + -2). Let l(u) = u**2 + u. Let y be l(-2). Let k = -2 + y. Are k and v non-equal?
False
Let q be 0*(-2)/(-8)*-2. Suppose -3*z + 0*z = 0. Is q smaller than z?
False
Suppose -5*d + 25 = 5*v, 4*d + 3*v = -0*v + 16. Let g(k) = -k + 5. Let z be g(7). Let u be 3 + -2 + z + 1. Which is smaller: d or u?
u
Let h be 4/22 - (-1755)/572. Is 1/3 at most as big as h?
True
Let z = 34 - 71/2. Is -2 greater than or equal to z?
False
Suppose 18*v = 16*v. Which is smaller: -4/33 or v?
-4/33
Let p = -1 - -1. Let l be (p - 2) + (-2)/(-1). Suppose 1 = 5*v - 4*w - 14, -5*v + 3*w + 15 = l. Is 2 <= v?
True
Let k = -1 + 0. Let y = 11 + -5. Suppose -y = 2*w - 2. Is w smaller than k?
True
Let u(a) = a**2 + 13*a + 5. Let t be u(-13). Suppose -4 = 4*w, t - 3 = 2*o - 2*w. Is o less than or equal to -2/5?
False
Suppose -2*s + 7 = 4*r + 29, 3*s - 2*r = -17. Let j = s + 3. Which is greater: -3 or j?
-3
Let m = -112 + 113.14. Let x = 0.04 - m. Let j = x + 0.1. Do 1 and j have different values?
True
Let q be ((-4)/(-6) + -2)*3. Let u(n) = n**2 + n - 3. Let j be u(q). Is j bigger than -1?
True
Let w = 0.4 - -0.1. Is w equal to -0.1?
False
Let t = -17 - -18. Let m = -1.3 + 1.4. Is m bigger than t?
False
Let r = 265/2 + -127. Do r and 5 have the same value?
False
Suppose -6*y + 2*y + 76 = 0. Let u be (5/15)/(2/111). Let i = u - y. Which is greater: -2 or i?
i
Let y = 2 + -1. Which is bigger: -3/19 or y?
y
Suppose 3*u - 5*m = -50, -17 - 55 = 5*u + 3*m. Are u and -16 unequal?
True
Suppose 0*k = -3*k + 6. Suppose -3 = t - 6. Which is greater: k or t?
t
Let a be 0*3/6*-2. Suppose a = 3*l - 8*l + 10. Which is greater: -0.2 or l?
l
Suppose -2*x - 7 = 2*s + 1, -x = -s - 4. Let o be 18/14 + -6 + 5. Which is greater: x or o?
o
Let j = 2145/8 - 267. Which is smaller: 2 or j?
j
Suppose 5*m + 2*u - 12 = 0, -3*m + 2*u = -2