= 0, 3*v - 2*t - 62 = -6*t. Let y be 3 + (v/(-8) - 1). Which is smaller: y or 1?
y
Let k = 63/284 - -2/71. Let c = -2.03 + 2. Let u = 4.97 - c. Is k less than u?
True
Let d(o) = -17*o + 10. Let k be d(11). Let j = -521/3 - k. Is j at most as big as 3?
False
Let a be (-1)/2 + 18/20. Let u = 14 - 9. Which is greater: u or a?
u
Let o be 2 + 0 + (-12802)/38. Let m = o + 335. Are m and 1 equal?
False
Suppose g + 12 = 19. Which is greater: 8 or g?
8
Let u be 5/163*(-4)/(-10). Let p = -11384/161 - -1848416/26243. Let k = u - p. Which is greater: 1 or k?
1
Let b be 0 + (1 - (-1 + -1)). Suppose 0 = j + j - 6. Suppose 0 = -u - b - j. Do 2/5 and u have different values?
True
Let q(o) = -o - 4. Let h be q(-4). Let t be 2/(-3) - 34/(-6). Let w be (-2)/t + 2 - 2. Which is greater: h or w?
h
Let h(u) = 7 - u**2 - 2 + u + 4*u. Let w be h(6). Which is smaller: w or -0.3?
w
Let k = -20 - -17. Let t = -61/287 - 3/41. Is t equal to k?
False
Let a(u) = -u**3 + 7*u**2 + 9*u - 7. Let q be a(8). Which is smaller: q or 1/6?
1/6
Let b = -2 + 4. Let x = b + -2.1. Which is smaller: -4 or x?
-4
Let v = 22 - 22. Is 1/4 not equal to v?
True
Let c = -57 + 56.9. Is c > 12?
False
Suppose 3*q + 2 = 6*q + 4*x, q = 5*x + 7. Which is bigger: 7/6 or q?
q
Let r(p) = p**3 + 5*p**2 - p - 1. Let y be r(-5). Let l be ((-10)/6)/(10/(-30)). Which is smaller: l or y?
y
Suppose -x - 5*i - 10 + 25 = 0, -3 = 5*x - i. Let l = -6 - -6.6. Let o = 0.7 - l. Is x < o?
True
Let t be (-6)/15*10/(-8). Let w = 0.9 + -4.7. Let j = w + -0.2. Is j bigger than t?
False
Suppose 0 = -3*v + 2 - 20. Let w be 3 + (v/(-9))/1. Let u = -47/12 + w. Which is greater: -1 or u?
u
Suppose 0*p - 46 = -2*l + 5*p, 2*l - 2*p - 34 = 0. Suppose 3*s - 4*n + l = 0, -3*s + 5 = -2*s + n. Let u = -1 + 1.2. Which is bigger: u or s?
s
Let f = 13.9 - 9.4. Which is greater: 1 or f?
f
Let k(x) = -2*x**3 + x. Let s be k(-1). Let r = 542/3059 + -12/133. Which is greater: r or s?
s
Let p be (-26)/(-6) + (-1)/3. Let m = p + -2. Let s = -84 + 165/2. Which is smaller: s or m?
s
Let d = -5.12 + 0.12. Let l = d + -3. Let h = l + 5. Is h equal to -1/4?
False
Let j = 6 + -4. Suppose 2*o = -j*o. Are o and -6/7 equal?
False
Let i = -26 + 64/3. Which is smaller: -0.1 or i?
i
Let w(f) = -f**3 - f**2 - 2*f + 11. Let b be w(0). Which is smaller: 3 or b?
3
Let o(p) = 5*p**3 - p. Let t be o(-1). Which is bigger: t or -6?
t
Let c = 4081/26 - 157. Let a = 109767653/10010 + -120624/11. Let d = a + c. Which is smaller: -1 or d?
-1
Let g = 2 - 3. Suppose -11 = f - 2*r, 0*f = 2*f - 2*r + 12. Is f less than or equal to g?
True
Let f be (-6)/(-45)*(-7794)/(-12). Let g = -87 + f. Is g equal to 1?
False
Let h = -25 - -45. Let l = -19 + h. Is l at least as big as 5?
False
Let n = 0.07 - -10.93. Let d = n + -11. Which is smaller: 9 or d?
d
Let t = 19/39 - 2/13. Is 0.1 at least t?
False
Let n = 58 - 59. Is 0.09 less than n?
False
Let y = 0.33 + 0.07. Let w = -0.07 + 0.37. Let h = y - w. Which is smaller: h or 2/5?
h
Suppose -3*i = -5*n + 1 + 3, -2*i + 4*n - 4 = 0. Let w be 6*i*(-2)/(-6). Let h(r) = r**2 - r - 2. Let b be h(-2). Is b <= w?
True
Suppose 897 = 4*b - 3*b. Let u = 6289/7 - b. Is 0 at most as big as u?
True
Let a be 7331/(-3)*5/35. Let c = 349 + a. Do c and -1/2 have the same value?
False
Let z = -33 - -42. Are 9 and z non-equal?
False
Suppose 0 = -2*s + 9*u - 7*u - 4, 5*s + 60 = -5*u. Let j = -14 - -8. Which is greater: s or j?
j
Let a(w) = w**2 - 12*w - 2. Let f be a(12). Let s be ((-15)/10)/(f/(-4)). Is s >= -2?
False
Suppose 10 = -w - w. Let d be (-3)/w + 13/(-5). Which is smaller: d or -3?
-3
Let g(n) = n**2 + 2*n - 8. Let y be g(-4). Which is greater: y or 1/3?
1/3
Let y = -29 + 17. Which is smaller: -14 or y?
-14
Suppose 4*b - 15 = -11. Is b smaller than -2/5?
False
Let m = -12 + 13. Let r(k) = k**3 + 4*k**2 - 7*k - 7. Let o be r(-5). Is o less than or equal to m?
False
Let z = 2 - 5. Let i(t) = t + 2. Let b be i(z). Do b and -3/5 have different values?
True
Suppose 0*p + 5*p + 4 = -2*h, -4*h = 5*p - 2. Which is smaller: h or 13/7?
13/7
Suppose 2*d + 8 + 32 = 0. Is d bigger than -21?
True
Suppose 5*u - 7 - 3 = 0. Suppose -2*k - 9 = 2*s + 3, u*s = 4*k. Are k and 1 equal?
False
Let m be 60/27 - (-6)/(-27). Suppose m*f = 4*f. Is -1/6 equal to f?
False
Suppose -3*y - 5*s - 6 = 0, 4*y + 9 = 3*y - 4*s. Suppose -6 + 21 = -y*p. Is -4 less than or equal to p?
False
Let h(u) = u**3 + 6*u**2 + u + 6. Let t be h(-6). Let x be 6/(-4) + -1 - t. Is -3 <= x?
True
Let s = 2/419 + -2139/9218. Let p = s + -19/110. Let y = -0.1 - -0.1. Which is bigger: p or y?
y
Suppose 20 = 2*i - 4*k, 0*k - 5 = 2*i + k. Is -3/10 greater than or equal to i?
False
Suppose 4*f = -3*x - 6 - 6, -4 = 5*f + x. Which is smaller: f or 26?
f
Suppose 3*a + 2*v = 2, -3*a + 5*v = -0*a - 37. Suppose -3*z = a + 8. Is -0.1 > z?
True
Suppose 7*v + 0 - 7 = 0. Let y = 4 - v. Which is greater: y or 1?
y
Let g(v) = v**3 - 3*v**2 - 3*v - 5. Let x be g(4). Suppose k - 3*o = 11 - 2, 3*k + 5*o - 27 = 0. Let c be (-2)/((-8)/k) + -2. Are c and x nonequal?
True
Let q(z) = -z**3 + 4*z**2 - 5*z + 4. Let h(d) = d**3 - 4*d**2 + 5*d - 4. Let j(m) = 4*h(m) + 5*q(m). Let x be j(3). Is x >= -1/2?
False
Let h = -42 + 125/3. Let b(p) = -p + 4. Let v be b(-6). Let m be (-63)/(-45) + (-4)/v. Is h > m?
False
Suppose b + 2*g + 14 = -12, 0 = -4*b + g - 77. Let c = 22 + b. Which is bigger: c or 8/3?
8/3
Let b = 2.2 + -2.5. Is -0.2 greater than b?
True
Let r = -2 + 5. Let j = r - 3.1. Let y = 1/9 - -2/9. Are y and j unequal?
True
Suppose -o + 0 = -2. Suppose 4*l = -o - 14. Let x = l + 5. Which is smaller: x or 1/5?
1/5
Let p = 0.079 - 0.039. Is p less than 2/7?
True
Let a = -10.1 + 10. Which is bigger: a or -1/3?
a
Let d(k) be the first derivative of -k**2/2 - 8*k - 4. Let f be d(-4). Does f = -3?
False
Let s(z) = -z**2 + 4*z - 2. Let t be ((-1)/2)/((-3)/12). Let b be s(t). Let l = -0.93 - 0.07. Do b and l have the same value?
False
Let p be (-13)/((-22)/(-33) - (-1)/3). Is -13 <= p?
True
Suppose j - 5*q + 28 = 0, 4*j - 3*q = -j - 30. Let i be (4/6)/(1/(-9)). Let g be ((-4)/i)/(2/(-6)). Which is smaller: g or j?
j
Let p = 403/15 + -53/3. Is p <= 10?
True
Let g = -57 - -53. Which is bigger: 0 or g?
0
Let l = -8 - -3. Let i be l/((-100)/3)*4. Which is greater: 1 or i?
1
Let x = -6 - -6. Let q = 0 + x. Suppose 0 = -3*m - 3 - q. Are m and 0 unequal?
True
Let r be (2/7 - (-2870)/1274) + -1. Is r bigger than 2?
False
Let n = -2 - -20. Let z = 16 - n. Which is greater: 1 or z?
1
Suppose t + 0*t = 14. Suppose -t = -5*u - 0*n - 3*n, -4*u = -4*n + 8. Which is smaller: u or -2/3?
-2/3
Suppose 4 = -4*l + 6*l. Is l at least 2?
True
Suppose -27 = -3*n + 9. Which is smaller: n or 1?
1
Let t = 5 + 14. Is 0.1 at least as big as t?
False
Let i = -2 - -4. Suppose -p - i*p = -2*f - 69, -f = 2*p + 24. Let v = -59/2 - f. Which is smaller: v or 1?
v
Let y = -748054/213 + 3512. Is y > -1?
True
Suppose 5*d + 15 = l - 7, -d + 3*l = -4. Let x(p) = -p**2 + 4*p. Let j be x(5). Is d bigger than j?
False
Let f = 1 - 14. Which is smaller: f or -12?
f
Let y = 3 + -6. Let q be (10/3)/((-2)/(-3)). Let h = 1 - q. Is h not equal to y?
True
Suppose 5*a + 5 = 5*m, -4*m + 3*a = -3 + 4. Suppose -4*c = 6 + 14. Which is greater: c or m?
m
Let g be (-40)/(-5) - (-1 - -3). Let t = g + -4. Suppose 4 = t*m - 2. Is m equal to 2?
False
Let o be (-1)/(3*(-21)/(-9)). Does o = 1?
False
Let h be ((-3)/(-9))/((-3)/9). Which is greater: h or -2/23?
-2/23
Let y(m) = -3*m**2 + 2*m - 1. Let n be y(-3). Let r = 236/7 + n. Let t(h) = -2*h + 15. Let o be t(7). Is r greater than o?
False
Let j = 16.8 + -19.8. Let p(o) = -o**2 + 7*o - 4. Let g be p(6). Is g at most as big as j?
False
Let r be (-544)/(-2529) + 2/(-9). Let b = 1334433881/4556998075 - 1/16217075. Let g = b + r. Are -1 and g unequal?
True
Let y be (10 + -10)/(-1 - 4/(-2)). Which is bigger: y or -6/17?
y
Let n = 0.6 + -0.5. Let k = -5 + 8. Let q = k - 2. Is n smaller than q?
True
Let r = -1453/435 + 1/145. Is r != -2?
True
Suppose 0*y - 3*l - 6 = -3*y, -4*y - 2*l = 4. Is y at least as big as -2?
True
Let r = -8 + 7.92. Which is bigger: 1 or r?
1
Let h(s) = s + 4. Let n = -12 - -8. Let r be h(n). Which is bigger: -0.1 or r?
r
Let t = 0.1 + -0.1. Let s = 0 - t. Suppose c + 4 = -c. Which is smaller: s or c?
c
Suppose 2*n + 7