 - 3*y = -4*j - 20, 25 = 2*y - 5*j. Which is smaller: 2/163 or y?
y
Suppose 5*l + 4*x - 14 = 3*l, -2*l + 5*x - 31 = 0. Is -5 less than l?
True
Let c be (0 + 1)*(3 - 2). Let w = c - -4. Suppose -7 = -w*x - 2*o, 3*x + 5*o = 6 + 2. Which is greater: 2/7 or x?
x
Let s be (-6)/9*(-2)/(-4). Is s <= -1?
False
Let y = 17 + -17. Is y not equal to -2?
True
Suppose 3*c = 4*r + 108, -3*c + 0*r + 2*r + 114 = 0. Is 40 >= c?
True
Let u = -5 - 1. Let l be 1 + 3/(-1) - 2. Let i = u - l. Do i and 1/3 have different values?
True
Let s = 12 + -7. Let o = s - 11. Let f be (-3)/(-2)*4/o. Which is smaller: f or 0?
f
Let w be (-21)/(-6) - (1 + 3). Are 0.08 and w equal?
False
Let b be 2/((-42)/(-45) - 1). Let n be 2*(-2 - b/4). Suppose 4*j - n = -3. Which is smaller: j or 3/4?
3/4
Suppose -4*t + 20 = u, 4*u - 20 = 2*t + 42. Is 16 greater than or equal to u?
True
Let c = -30273/35 + 865. Do 0 and c have the same value?
False
Let l = 25 - 25. Suppose 8 = -4*y - 0*y - 4*b, l = -y + 2*b + 7. Are -2/45 and y nonequal?
True
Let c = 9.21 - 0.21. Let j = c + -9. Is j bigger than -0.4?
True
Suppose 13*s - 2 = 12*s. Which is bigger: s or 3?
3
Let u = 4 + -2. Let h = 9 + -11. Let n = -4 - h. Which is greater: n or u?
u
Let l = 9 - 10.2. Let g = 0.9 + l. Is -1 > g?
False
Let t be -6 - 93*(-24)/342. Which is bigger: t or 0?
t
Let z(x) = x - 7. Let w be z(5). Let c = -3 - w. Does 1/17 = c?
False
Let y(k) = k**3 - 10*k**2 + 10*k - 11. Let a be y(9). Is a bigger than -2/9?
False
Let x be ((-16)/6)/(-4)*-24. Let l be 1 - 1/(x/(-14)). Are 0 and l unequal?
True
Let q = -0.81 - -0.01. Let m = 3.8 + q. Is 2 at least as big as m?
False
Suppose 0 = -7*f + 2*f. Let d = f - -2. Which is greater: d or 1?
d
Let n = 0.29 - 0.89. Is 0.1 at least n?
True
Let c(a) = a + 1. Let t(r) = -5*r**2 - 7*r - 6. Let v(q) = -6*c(q) - t(q). Let k be v(-1). Let w be ((-8)/15)/(k/(-6)). Are 2 and w equal?
False
Let q be 1/506*(4 - 8). Let w = q + -743/2024. Does -1 = w?
False
Let k be (0 + 1 - -1)*1. Let d = k - 3. Is -2 equal to d?
False
Let o be 4/10 + (-36)/30. Which is smaller: 0 or o?
o
Let m = 723 - 725. Let c = 214/3 + -644/9. Which is greater: m or c?
c
Let p(q) = -q + 8. Let n be p(6). Let o be ((-3)/(-3) - -2) + 6. Let f be 2/o + (-19)/(-36). Is n at most as big as f?
False
Let a(n) = n**2 + 5*n - 4. Let r be -3 + -2 + 6 - 7. Let u be a(r). Is 1 bigger than u?
False
Suppose l - 2*v + 9 = 0, -5*l + 3*l + 2 = v. Which is greater: 3/10 or l?
3/10
Suppose 5*x + 2*o - 25 = -1, -4*o = -5*x + 12. Let z be (-14 + 2)*(1 + (-10)/8). Which is greater: x or z?
x
Let b = -49 - -44. Does b = -0.1?
False
Let w = 13 - 1. Let t = w + -16. Is 0.1 >= t?
True
Let m be ((-41)/(-287))/(12/14). Let g be 32/(-14) - 4/(-14). Let y = -3 - g. Is m less than or equal to y?
False
Suppose -6*f = -2*f - 8. Suppose -j = f*j + 6. Is j < -8/7?
True
Let q(k) = -k - 1. Let w be q(12). Is w less than -10?
True
Let b = 205 - 204. Let o be (-12)/(-55) - (-4)/(-10). Is o greater than or equal to b?
False
Suppose 0 = 4*k - 3 - 13. Suppose -k = -4*u - 0*u. Which is greater: 2/7 or u?
u
Let f = 0.2 + 0.8. Let t = 7.5 + -0.5. Let u = 8 - t. Is u greater than f?
False
Let d = -0.036 + -1.964. Which is bigger: 0.5 or d?
0.5
Let n be 6/15 + (-13)/(-5). Suppose -1 = -k + n. Let d be (-1 - -2) + (4 - 1). Is d smaller than k?
False
Let s = 29 + -17. Let b = 13 - 9. Let o be -6*(s/(-9))/b. Which is smaller: o or 1?
1
Suppose -2*x = 5*h - 26, 3 = -h + 7. Let n(z) = 4 - z + 0 - x. Let k be n(4). Is k at least as big as -1?
False
Let x = 7.7 - 0.2. Let c = 1.5 - x. Is -1 >= c?
True
Let j be (-28)/(-10) - 1/(-5). Suppose -j*x - 6 = -x. Let f(a) = -10*a + 6. Let u be f(1). Does x = u?
False
Suppose -h - 4*h = 5*d - 20, 2*h = 6. Let z be -1*(0 - (-1 - -2)). Let n be (z/(-2))/((-26)/(-8)). Which is greater: d or n?
d
Let z = 71 + -567/8. Let v = z - 7/8. Which is smaller: v or -2?
-2
Let a be (-17)/(-3) - 2/(-6). Suppose 35 = -1124*l + 1129*l. Is a less than or equal to l?
True
Let t = -24 - -73/3. Which is greater: t or -1?
t
Let k = 3 - 5. Let z = -5 + 1. Let t = z - -5. Is k not equal to t?
True
Let c(s) = 6*s - 6. Let f be c(4). Let k(g) = -g + 11. Let x be k(8). Suppose 5*y - f = -x. Is 3 less than or equal to y?
True
Let j = -87 - -73. Let w be (-22)/6 - -1 - -2. Which is smaller: j or w?
j
Let g be 3 - -1 - 154/40. Is g bigger than 1?
False
Let m be 2/8 - (-1)/(-4). Is m smaller than -6/17?
False
Let r = 13 - 15. Does r = -1?
False
Let z = 0.2 - 0.2. Is -4 at least z?
False
Suppose 72 = -2*l + 2*z, 3*z - 12 = 3. Which is bigger: -30 or l?
-30
Let x = 33 + -34. Is 2.7 greater than x?
True
Let v = 0.09 + 6.91. Let p = v - 9. Let d = 1 + 1. Which is smaller: p or d?
p
Let b(p) = -p**3 - 6*p**2 + 2*p + 12. Let z be b(-6). Which is smaller: -1/5 or z?
-1/5
Let b(o) = o - 7. Let v be b(3). Let h be 102/v*2/(-3). Suppose 3*a - 4*j + 19 = 0, 0*j = -a + 4*j - h. Is -2 greater than a?
False
Let k(t) = 4*t - 2. Let x(y) = y**2 - y - 2. Let j be x(0). Let v be k(j). Is 1 bigger than v?
True
Let g = -77/2 + 38. Which is greater: g or 26?
26
Let k be (-2)/(-5) - (-7)/(-5). Let a = 350.1 - 329. Let d = a - 21. Is d <= k?
False
Suppose 22*y = 25*y + 3. Are y and 1/41 equal?
False
Let p(t) = -t**3 + 6*t**2 - 4*t - 5. Let j be p(5). Let f = -37/168 + 3/56. Which is greater: j or f?
j
Let x = 14 - 20. Let p = -4 - x. Suppose 2*a + 4*q - p = -a, 4 = -3*a - q. Which is bigger: -0.1 or a?
-0.1
Let i = 0.13 - -4.87. Let r = i - 3. Let z = -1 - r. Which is smaller: 2/7 or z?
z
Suppose 0 = -5*o - 4*r + 8, -3*o - 2*o + 2 = r. Let s = -378 + 3398/9. Are s and o nonequal?
True
Let p = -3 - -4. Suppose z + 6 = -z, -4*i - 17 = 3*z. Let a = -4 - i. Which is smaller: p or a?
a
Suppose -3*a - 8 = -2. Let w = 40 + -202/5. Is w != a?
True
Let j = 2.1 + -2. Let c = -21 - -21. Let q = j + c. Is q equal to -0.2?
False
Suppose 4*n - 3*o + 4 = 0, -26 = -3*n - 10*o + 5*o. Let r = 12 + -9. Do r and n have the same value?
False
Let n(y) be the first derivative of -y**4/4 - y**3/3 + y**2/2 - y + 1. Let z be n(0). Is z at least -1?
True
Suppose 0 = -3*z - 0*z + 90. Let i be (-6)/10*(-10)/z. Which is smaller: 0 or i?
0
Let i(d) = -d**2 - 2*d - 3. Let s be i(-3). Let z be ((-4)/s)/(2/6). Let o be 4/(2/2*z). Are 2 and o nonequal?
False
Let m = 5 - 5. Let j = m + 1. Is j less than 3/11?
False
Let s = 1.071 + -0.071. Which is bigger: s or -0.01?
s
Let z be -3 + -1 + 5 + -4. Is -1 > z?
True
Let q(o) = o**2 - 6*o + 1. Suppose 7*u = -2*v + 3*u + 16, u = 3*v - 17. Let w be q(v). Let b(d) = d**3 + 4*d**2 + d + 5. Let z be b(-4). Is z at most w?
True
Let n = -1.3 + -2.7. Let h = n - -3.7. Is 0.1 at most h?
False
Suppose 4*r = r - 3. Let l = -3 + 5. Let b = -3 + l. Do r and b have the same value?
True
Let h be 2 - (42/9 - 2). Let n be -6*2*((-270)/(-132) + -2). Which is smaller: h or n?
h
Let m(s) = -2*s - 6. Let j = -7 + 2. Let c be m(j). Suppose -4*l + 22 = 2. Is l less than c?
False
Let q = -0.993 + -0.007. Let y = -8 - -8.12. Is y greater than q?
True
Suppose -3*x + 48 = -7*x. Let a be 39/(-36) + (-4)/x. Which is bigger: a or -1?
a
Let c be (-136)/(-119) - (0 - -1). Which is greater: -0.1 or c?
c
Suppose -4*b = -l, 10*l = 5*b + 5*l + 15. Let m = -7/3 + b. Which is smaller: m or 0?
m
Let v = 890 - 6250/7. Which is smaller: -3 or v?
-3
Let g(l) = l - 1. Let m be g(2). Which is smaller: 4/13 or m?
4/13
Let q = 230 + -226.66. Let h = q + -0.34. Let z be ((-2)/(-4))/(5/4). Which is smaller: h or z?
z
Let m(q) = q - 5. Let d be m(8). Suppose -5*v - 2*y + 18 = -4, -3*v + d*y + 9 = 0. Suppose v*n + 8 = 4*i, -n + 4*i - 11 = -0*i. Is 2 smaller than n?
False
Let g = 35/123 - -2/41. Let u = -9.91 + -0.09. Let r = u + 13. Which is bigger: r or g?
r
Let i(a) be the second derivative of a**4/12 + a**3/6 - 2*a. Let j be i(1). Let s be (-1 - j - 0) + -2. Is -5 greater than s?
False
Suppose -2*z + 23 = g, 4*g = -g - 4*z + 115. Is g < 24?
True
Let w = -5 - -6. Are 3/2 and w non-equal?
True
Let h = -1.7 + 0.9. Let c = -2.2 + h. Let t = 10 - 11. Are t and c nonequal?
True
Let s be (-4)/(-14) + 9/(-7). Let f(u) = -u**3 - 2. Let d be f(0). Do d and s have the same value?
False
Let o(s) = s**2 - 4*s. Let k be o(3). Let f be 0 - (2 + k/1). Do -1/7 and f have the same value?
False
Let s = 7 - 19. Let z be (-4)/(-14) + s/91. 