an t?
True
Let j = -3.3 - -3.2. Which is smaller: j or -13?
-13
Let x(s) = -2*s**2 - 2*s + 1. Let i be x(1). Suppose 0*u - 2 = 2*f + 2*u, 0 = -4*f - 5*u - 1. Let r be (10/4)/(2/f). Which is smaller: r or i?
r
Let j = 5 + -5. Let w = 0.83 + -0.87. Is j > w?
True
Let y = -0.079 - 0.021. Which is bigger: y or 3/10?
3/10
Let o = 6 - 9. Suppose 2 = b + 4*x - 3, 0 = 4*b + 2*x - 6. Suppose 5*w = -9 - b. Are w and o equal?
False
Let y be (-2 - -3)/(2/4). Let t = 3 - y. Let o be 0/(2/(-4)*-4). Is t equal to o?
False
Let n = -10 - -11.3. Let b = n + 1.7. Which is smaller: b or -2?
-2
Let k = 1 + -4. Let u be (-2)/(-1)*(-3 + 6). Let w = u + k. Is -2 less than w?
True
Suppose 3*h - 4*s = -h + 46876, 2*s + 35153 = 3*h. Let t be h/(-156) + (-3)/4. Let k = t - -76. Is k at least as big as 1?
False
Suppose w - 1 + 0 = 0. Is 10/7 < w?
False
Let l = 7 + -5. Suppose 0 = 5*n - l*n. Let a = 20/51 + -1/17. Are a and n non-equal?
True
Let l(o) = -o - 11. Let r be l(-9). Let m be 2/(-7) - (-176)/28. Suppose -p + m*p = 0. Which is smaller: r or p?
r
Suppose -2*y + 10 = -4*y + 4*n, -2*y + 5*n - 13 = 0. Which is greater: -0.6 or y?
y
Suppose -d = 4*d + 5. Let q = 47/1155 - 1/231. Which is smaller: q or d?
d
Suppose g - 5*s = -20, 6*s - s = -g + 30. Let m(x) = -3*x**2 + 6*x - 2*x + 2 + 2*x**2 - g. Let f be m(3). Which is bigger: f or 1?
1
Let b = 10 + -10.2. Let o = 9 + -5. Suppose o*c - 25 = 5*l, -3*c + c = -2*l - 12. Do l and b have different values?
True
Suppose 8 = 4*t - 2*f, -3*f = -t - t. Suppose -11 = t*c + 4. Let l = -1 - c. Is 5 at least l?
True
Let d = 134 + -132. Is 1 < d?
True
Let j = 376/9 - 6398/153. Is 1 smaller than j?
False
Let j be 1/(5 + -2) - 0. Is 0.6 less than or equal to j?
False
Let p = -98.02 - -98. Do p and -3 have different values?
True
Suppose 0 = -8*x + 329 + 111. Is 54 at most as big as x?
True
Let o be (24/9)/(12/54). Let g = 130/11 - o. Which is greater: 0 or g?
0
Suppose 5*v - 3*w = -12 - 2, 5*v = w - 8. Suppose -2*s - 32 = -6*s. Let l be (s/40)/(4/(-5)). Is v >= l?
False
Let t = -4 - -4.3. Suppose -4*u = -3*u - 8. Let k = -8 + u. Is k != t?
True
Let p be (-30)/(-4)*112/(-21). Is p < -39?
True
Let k(o) = 24*o**3 + o**2 - o. Suppose -j + 3 = 2*j. Let z be k(j). Let l be (z/(-70))/((-8)/20). Which is greater: l or 0?
l
Let p(j) = -j + 3. Let q be p(2). Which is smaller: 2/19 or q?
2/19
Let i(b) = 2*b - 9. Let h be i(7). Let p be h/15*(-3)/(-2). Is 1 smaller than p?
False
Let p = 1146131274004/30609652455579 - -2/584164821. Let y = p + -4/859. Is 0 bigger than y?
False
Let v = 507 - 1495/3. Is v not equal to 9?
True
Let v be 1/(-4*4/304). Which is smaller: 2 or v?
v
Suppose 0 = j - 2, -i + 6*j - 10 = 2*j. Let t(q) = q**3 - 4*q**2 + 3*q - 6. Let k be t(4). Suppose -2*d + k*d = -8. Are d and i equal?
True
Suppose -5*x = -20, 5*b + 2*x + 3 + 4 = 0. Is -4 smaller than b?
True
Let j(y) = -y**2 + 8*y + 14. Let r be j(10). Which is smaller: r or 2?
r
Let q(l) = l - 2. Let o be q(11). Let w be 3/(-1) - (o + -11). Which is greater: w or -12/7?
w
Let s = -40 + 118. Let u be (-8)/48 - (-1)/s. Let m be (-1)/(-6) + (-1)/2. Is m equal to u?
False
Let u(d) = d + 1. Let o(t) = -5*t - 3. Let m(k) = o(k) + 6*u(k). Let i be m(-2). Which is greater: 0 or i?
i
Let t = -5.5 + -1.5. Let s = 6 + t. Which is bigger: -0.2 or s?
-0.2
Suppose -3*p + 5*t - 14 = -0*t, 0 = -2*t + 2. Which is smaller: -13/6 or p?
p
Let c(p) = -p**2 - 7*p + 3. Let k be c(-7). Suppose k*n = 6*n + 6. Which is greater: -1 or n?
-1
Let r be 2/(-11) + 159/(-33). Let p = 7 + r. Let b be ((-3)/(-66))/(p/8). Is b < 0?
False
Let n(p) = -8*p - 1 + 2*p**2 + 8*p. Let b be n(1). Let d = 0.3 - 0.1. Which is bigger: b or d?
b
Let l = -69/4 + 205/12. Is 0 at least as big as l?
True
Let x = 74 + -75. Is x equal to -43?
False
Suppose 4*z = -0*z + 4. Let r(d) = -6*d - 1. Let l be r(z). Let o be l/14 + 2/(-4). Is -1 < o?
False
Suppose m = -m + 2. Suppose 4*z + 0*f - 3*f + m = 0, -z = -2*f + 4. Is 2 greater than or equal to z?
True
Suppose 2*q - 3 = k - 0, -5*q + 30 = 5*k. Let i be ((-4)/(-5))/((-4)/(-30)). Let b = i - q. Which is bigger: b or 4?
4
Let n = -3 - -5. Let f = -3 + n. Let c = 1 + 0. Which is smaller: c or f?
f
Let d = 1777314 - 1293884169/728. Let q = -4/91 - d. Let z = q - -3/8. Which is bigger: 0 or z?
0
Let v(c) = c - 2. Let i be v(5). Let l(z) = 2*z**2 - i*z**2 - z - 1 + 2. Let t be l(0). Which is smaller: -1/4 or t?
-1/4
Suppose -2*y - 3*y + 20 = 0. Let f(z) be the second derivative of z**3/6 - z**2 - z. Let x be f(y). Is 2 less than or equal to x?
True
Let q be (-4)/22 + 1116/330. Is 4 less than or equal to q?
False
Let b = 198/7 + -501/14. Let z = 31/4 + b. Is 2/3 smaller than z?
False
Let o = -209 - -208. Let v be ((-34)/(-4) + 1)*2. Is o greater than v?
False
Let j be -39 + 4/(-16)*0. Let a be (6 - 3) + 111/j. Are -1 and a non-equal?
True
Suppose -q + 0 = 3. Let s(v) = -v - 2. Let l be s(q). Is l equal to 3?
False
Let p be -4 + 2 + 208/40. Which is smaller: 4 or p?
p
Let h = -7 - -15. Let i be ((-8)/h)/(1/(-25)). Let k be (-5)/i - 32/(-10). Is k at least as big as 3?
True
Let x = 1169.83 - 1164. Let f = x + -6. Is f at most as big as 1?
True
Suppose -4*j + 105 - 29 = 0. Which is smaller: 1/3 or j?
1/3
Let j(l) = l**3 + l**3 + l + 2 - 3*l**3 - 2*l**2 + 0. Let q be j(-2). Are 0 and q equal?
True
Let y be ((-2)/(-4))/(3/6). Suppose -1 = 5*n - 4*p, p - y - 2 = 4*n. Is 2/5 not equal to n?
True
Let f = 58 - 59. Is 9 >= f?
True
Suppose 0 = -3*j - 3*y + 3, 11 = -5*y - 4. Suppose 3*u - 8 = 4*u - 3*l, 2*u - 3*l + 4 = 0. Is u >= j?
True
Let r = 5/16 - 1/16. Let t(s) = s**3 + 4*s**2 + 4. Let w be t(-4). Let p = w - 5. Is r < p?
False
Suppose 5*w - 4*w + 4*h = -15, 25 = 3*w - 2*h. Suppose 12 = -4*k - 4*u, -k - w*u - 11 = 3*k. Let m = k - -5. Which is smaller: -1/3 or m?
-1/3
Let a be -1*-6*(-10)/(-5). Which is bigger: a or 13?
13
Let y(c) = -4*c**2 - 6*c + 1. Let i be y(-6). Let s = i - -748/7. Suppose 4*w = w - 3. Which is bigger: s or w?
s
Suppose 4 = -4*i + 2*i. Is -1 > i?
True
Suppose -4*p - 3*z + 19 = 2*z, -5*p + 3*z - 4 = 0. Which is bigger: -6/59 or p?
p
Let l = 14.9 + -10. Let b = -5 + l. Let a = b + 0.2. Which is smaller: -2 or a?
-2
Let i(m) be the second derivative of m**3/6 - m**2 + m. Let r be i(6). Suppose -r*o - 27 = -4*q - q, -5*o + q = 18. Which is smaller: o or -4?
-4
Let y(x) = x**3 - 6*x**2 - 6*x - 7. Let b(m) = m**2 + m + 7. Let r be b(0). Let w be y(r). Let q be 2/(-9) - (-50)/(-45). Is q not equal to w?
True
Let x be 5/(-5) - (-1 + -1). Let j = x + 0. Suppose 5*d + 2*f = 3, 3*f + 4 = 2*d - j. Is 1 smaller than d?
False
Let u(f) be the third derivative of -f**4/8 + f**3/6 - 4*f**2. Let a be u(2). Is -6 < a?
True
Let w = -207 + 215.05. Let m = 8 - w. Let g = 1 + -2. Which is smaller: g or m?
g
Let t = -4/15 + 3/5. Which is bigger: 0 or t?
t
Suppose -2 = -7*t + 5. Which is smaller: t or -4/15?
-4/15
Let c = 21/10 - 23/30. Which is smaller: c or 1?
1
Let f = 11 + -8. Suppose -2*d = -b - 3*d - f, -d - 2 = 0. Let m(k) = -3*k**3 + 2*k**2 - 1. Let y be m(1). Which is smaller: b or y?
y
Let i = -398 - 68. Let m be 4/16 + i/8. Let a be m/10 - (-2)/(-10). Which is smaller: -5 or a?
a
Let b = -1170 + 57328/49. Let w = b - -55/147. Is w > 0.5?
False
Let z = 29 - 29. Which is bigger: -1 or z?
z
Let u = 6 + -7.8. Let k = -2.1 - u. Is 3 at least as big as k?
True
Let f = 27 - 24. Is f not equal to -1/2?
True
Let n be -254*3/468 + 1. Let t = -6/13 - n. Do -1 and t have different values?
True
Let u be (1 + 0)/(-2)*(-1 - 3). Does 7/8 = u?
False
Let s = -9 + 12. Let g = -0.3 + 0.3. Which is bigger: g or s?
s
Suppose 5*w - 5 = -4*f, 2*f = 3*w - 2*f + 29. Let n be w/(6/2)*-3. Suppose 3*m + n = -v - 0*v, 3*m = 3*v - 3. Is v at most 1/2?
True
Let x = 22 - 21. Suppose k - 3*r - 4 = 14, 0 = 3*k - 4*r - 74. Let s be (-2)/k - (-2)/5. Do s and x have the same value?
False
Let o = 1.8 - -1.2. Which is smaller: o or 0.13?
0.13
Let n = -1543/924 - -20/231. Let j = n - 1/6. Which is smaller: -2 or j?
-2
Let b(l) = l**3 - 3*l**2 - 4*l + 1. Let w be b(4). Let u be 8/(-48) + (-22)/12. Let a be 2/(u - (w + -1)). Which is smaller: a or 2?
a
Let c be 10/8*(-24)/40. Suppose -3*z - 4 + 13 = 0. Suppose -i - 5*v = 27, 5*i - z*v + 15 = -4*v. Which is bigger: c or i?
c
Let y(k) = k**2 - 3*k - 19. Let n be y(6). Which i