rue
Let l = 1259 + -39023/31. Let u = l + 44/93. Which is smaller: -1/4 or u?
-1/4
Let a(l) = l**2 + 14*l + 10. Let i(t) = 4*t**2 + 57*t + 40. Let k(r) = -9*a(r) + 2*i(r). Let f be k(-11). Which is smaller: f or 2/39?
2/39
Let a = -11 + 18. Let f = 0 + -13. Let h = f - -20. Is a <= h?
True
Let z be 2/8 + (-3)/12. Suppose 0*l - 3*l - 3 = z. Let h be 4/(-84)*-3 - 0. Which is smaller: h or l?
l
Suppose 0*x - 3*x - 2*a - 9 = 0, -10 = 4*x + 2*a. Which is bigger: -2/223 or x?
-2/223
Let f be ((-9)/15)/((-9)/30). Let x be f/(-9) + 26/90. Do x and 1 have different values?
True
Suppose -5*d + b = -14, 0 = -3*d - 0*d - 3*b - 6. Suppose -p + d*p = 0. Let o = 1053/10 - 105. Is o less than p?
False
Let f = -3 - 0. Let o = f - -4. Let d be (-4 + o)*(-1)/(-7). Which is greater: d or 1?
1
Let v = 11 - -26. Suppose 3*k + v = -0*k - 2*b, 0 = -k - 4*b + 1. Is k smaller than -14?
True
Let y be ((-6)/(-3))/(4/6). Suppose -3*p = -3*b - 33, 3*b - y = 6. Is p smaller than 14?
False
Let l(h) = -4*h - 9. Let x be l(-6). Suppose x = 4*n - 1. Is 5 greater than or equal to n?
True
Let v = -34 + 38. Is v < 4?
False
Let n = 8 - 6. Let x be 3 + (-2 - n/(-1)). Suppose -4*m - 5*t + 19 = 0, -x*m - t = -5 - 1. Which is bigger: m or 6?
6
Let p = -3 - -4. Let l = -1 + 3. Let n = 2 - l. Is n at least as big as p?
False
Let u = 0.4 + -0.3. Let d = 5 + -2. Let t = 3.1 - d. Is t >= u?
True
Let k = -61 - -917/15. Let w(a) be the third derivative of -a**5/60 - a**4/4 + a**3/6 + 2*a**2. Let q be w(-6). Which is smaller: k or q?
k
Suppose -18*t + 17*t - 2 = 0. Suppose -5*y + 20 = 4*j + j, 2*y = 2*j. Let u be j/((-20)/(-6)) - 1. Is t < u?
True
Let o(w) = -w + 1. Let p be o(-1). Let u be (p/(-4))/((-4)/40). Does 4 = u?
False
Let g(r) = r**2 - 7*r + 9. Let z be g(6). Suppose 0 = -z*p + 2*p. Is 0 at least as big as p?
True
Let h(p) = 11*p**2 + 23*p + 4. Let n(m) = 5*m**2 + 11*m + 2. Let t(q) = -6*h(q) + 13*n(q). Let u be t(5). Let c = 62/51 + 2/17. Which is smaller: c or u?
c
Suppose -a + 105 = 2*a. Let m = -177/5 + a. Which is greater: 0.2 or m?
0.2
Let l(d) = d**3 + 17*d**2 + 33*d - 21. Let i be l(-14). Which is smaller: i or 106?
i
Let k = -3 + 0. Let g = 2 - k. Which is smaller: g or 4?
4
Let t be (1/((-4)/(-8)))/(-25). Is t less than 0?
True
Suppose 24 = -4*b + 6*b. Which is bigger: 10 or b?
b
Let l = -3/7 - -1/35. Suppose 0 = k - 4*a - a - 21, a + 3 = -k. Which is smaller: l or k?
l
Let g be -4*(-3)/(48/(-52)). Is -13 > g?
False
Let g be ((-1195)/195)/(10 - -1). Let c = g - -4/39. Is c not equal to 1?
True
Let f = 137 - 682/5. Which is smaller: f or 2?
f
Let r(h) = 2*h + 2. Let z be r(0). Are z and 1 equal?
False
Let h be ((-30)/45)/((-92)/(-6)). Let o = h - 21/46. Let z(a) = a**3 - 5*a**2 + 3*a + 3. Let i be z(4). Which is greater: o or i?
o
Suppose -6 + 31 = 5*u. Suppose 0 = a - u*a + 16. Which is smaller: -0.2 or a?
-0.2
Suppose -z = -3, 0 = 3*a - 7*a + 4*z - 28. Let h(g) = g**3 + 4*g**2 + 4. Let x be h(a). Suppose -4*k + 8 = i, -x*k - 2*i + 8 = -7*i. Are 3/4 and k unequal?
True
Let d(x) = -x - 6. Let u be d(-9). Is 3 at least as big as u?
True
Let w be -1 + (5 - 1)/(-2). Let z = 6 + w. Is z < 5/2?
False
Let j be 20/(-6)*(-7 + 4). Suppose -2*h = -3*n + 2, 0 = 3*n - j*h + 5*h - 5. Is -2/11 at least n?
False
Suppose 0 = -5*q - 31 - 34. Do -11 and q have the same value?
False
Let j = 12 - 7. Let b = 4 - j. Which is bigger: 2 or b?
2
Suppose 3*m + 7 = -4*o, 0 = 2*o + 5*m + 17 + 4. Suppose 7 = 3*z + 2*x - 3*x, 0 = 3*x - 6. Suppose 8 = v + z*v. Is o > v?
False
Let g = 4 - -4. Suppose 0 = -3*v - 2*o - 4, v + v + g = -4*o. Which is greater: -4 or v?
v
Let x(v) = v**3 + 3*v**2 + 3*v + 2. Let i be x(-2). Let f be (-283)/(-5) + (i - -1). Let b = -57 + f. Which is smaller: b or 1?
b
Suppose 15 = s + 4*s. Suppose -5*w = -4*w - s. Let q = w - 4. Are q and -1 equal?
True
Let q = 0.06 + -5.06. Let y = -7 - -16. Let d = 9 - y. Which is smaller: q or d?
q
Suppose 0 = -d - 5, 5*k - 2*d + 1028 = 2*k. Let j = k - -2430/7. Which is bigger: 2 or j?
2
Let b be 6*((-24)/(-9) - 2). Suppose -35 = -4*m - m. Suppose m*z - b = 3*z. Which is smaller: z or 0?
0
Let z be 18/(-266) + (0 - -1). Let w = 18141/19 - 954. Let o = z - w. Is -1 less than or equal to o?
True
Let o(l) be the first derivative of -l**4/4 + l**3/3 + l**2 + l + 1. Let v be o(2). Is -2/5 greater than v?
False
Let f(b) = b**3 + 8*b**2 + 8*b + 8. Let p be f(-7). Let k be 1*(-2)/6*-75. Let n = -76/3 + k. Is p less than or equal to n?
False
Let u be 4/4*(2 + 0). Suppose 4*m + 6 = u. Suppose 2*o - 3*g = 5 + 2, 5*o = -4*g - 17. Is o at most m?
True
Let o be (-3)/6*4 + 2. Is o at least as big as -1/20?
True
Let v = -1 + 1.2. Let o = 35 + -35.85. Let m = o - 0.15. Which is smaller: m or v?
m
Suppose 0 = 3*i - 3*t - 21, -15 - 16 = -5*i + t. Let v(o) = -o + 6. Let b be v(i). Let w = 1/33 - -127/165. Which is smaller: w or b?
b
Let u be (1 + (-1)/3)*(-9)/(-6). Let j = 3 + 1. Suppose 0 = -o + 2, j = 3*r - 3*o + 2*o. Which is bigger: u or r?
r
Suppose u + 14 = 3*u. Suppose -5*f - 4*k + 1 = -u, f = 3*k + 13. Let c = -0.2 - -0.1. Is c at least f?
False
Let v = 15 - 11. Let p be v/(-6)*(-9)/(-87). Is p > 0?
False
Suppose 4*i = 5*i - 1. Which is greater: i or -1/9?
i
Suppose 0 = -a - 4*a. Suppose 5*l = -5*b + 40, 4*b = -a*l + l + 17. Suppose 2*r + 0*r - z - 12 = 0, 20 = 2*r - l*z. Are r and 3 non-equal?
True
Let q(w) = -w - 1. Let d be q(-3). Which is bigger: 10/19 or d?
d
Suppose -3*y + a + 16 = -18, 0 = -2*y + 4*a + 16. Let l be 2/y - (-35)/294. Is l <= 0?
False
Suppose 2*f + 7 = -3, -24 = -2*a + 2*f. Is a greater than or equal to 6?
True
Let d = 7034/143 - 448/13. Which is greater: d or 14?
d
Suppose d - 5*b = 20, -6*d + 3*d - 4*b = 35. Let k(m) = m**3 - 3*m**2 - m - 1. Let c be k(2). Which is smaller: c or d?
c
Suppose 0 = -2*u + 3*u. Suppose 0 = 2*y - u*y. Is y < -4/5?
False
Suppose 5*a - 3 = 2*n, 5*a + 1 - 9 = -3*n. Let l(k) = k - 4. Let j be l(0). Let x be (1/4)/(7/j). Which is greater: x or a?
a
Let a = -18 - -13. Is -2 >= a?
True
Let z be (10/(-4) - -1)*4. Let k = z - -4. Let v(f) = -f - 1. Let w be v(-3). Which is bigger: w or k?
w
Let d = -963 + 1981/2. Which is smaller: d or 28?
d
Let q = -0.5 - -0.6. Which is smaller: -1 or q?
-1
Let y = -510 - -504. Suppose -5*r = -p - 11, -3*r = 3*p + r + 14. Is y less than or equal to p?
True
Let f = -0.7 + 4.7. Let h = f + -3.9. Which is bigger: h or -0.1?
h
Let s = 0.5 - 4.5. Let f = -3.9 - s. Let q = 2 - 1. Do q and f have different values?
True
Let f = -7/26 + -3/13. Which is smaller: -0.1 or f?
f
Let k = -8 + 15. Let q be -1*k/(-3) - 2. Is q < 1/3?
False
Let t(a) = a**3 + 7*a**2 + 6*a + 2. Let y be t(-6). Let c be (y - -3)*2/(-55). Is c greater than or equal to 1?
False
Let x = -103 + 100. Let y = 2.1 - 2. Are y and x equal?
False
Suppose -6*u = -9*u + 9. Suppose 2*h + 3*l = -h + 18, -8 = -u*h - l. Let b = 0 - 1/6. Is h at most b?
False
Let l be 2*(10/372)/5. Let n = l + 82/1023. Is n != 1?
True
Let y = -29 - -28.93. Is y >= -1?
True
Let r = 9 + -9. Let w = 10 + -10. Is w != r?
False
Let c be 9380/(-50) - (-2)/1. Let z = -184 - c. Is z > 3?
False
Suppose 4*d + z + 19 = -0*z, 0 = -z - 3. Let a = -3 + d. Is -6 at most a?
False
Let g(y) = -y**2 - 6*y + 40. Let r be g(-10). Which is smaller: -18/13 or r?
-18/13
Let v be 2/8 + 25/(-20). Is v less than or equal to 2/23?
True
Let a be -7*(-3 - 27/(-7)). Let c be ((-20)/(-90))/(20/a). Which is bigger: c or -1?
c
Let f = -1483/43371 - -1/711. Let k(y) = y + 2. Let r be k(-3). Is r at least f?
False
Let y = -15 + 21. Is -0.2 at least y?
False
Suppose 4*h - 8 = 3*i, 0 = -4*h - 1 + 9. Suppose i - 5 = -5*c. Are 8 and c nonequal?
True
Let j(c) = 3*c**2 - 7*c + 6. Let o(w) = -4*w**2 + 8*w - 7. Let t(h) = 3*j(h) + 2*o(h). Let k be t(3). Let f = k - -1/3. Which is bigger: 1 or f?
1
Suppose 0 = 3*o - 0*o + p - 11, 4*o + 4*p - 12 = 0. Is o smaller than 7?
True
Suppose -2*p - 5*g = -p + 6, -2*p + 5*g + 18 = 0. Suppose -5*m + p*z - 9 = 2*z, -3*z + 10 = -4*m. Which is greater: -2/35 or m?
-2/35
Let w(r) = -r**2 + r + 2. Let x be w(2). Suppose 6*t - 2*t = x. Suppose -3*q = -t*q. Which is smaller: 1/5 or q?
q
Let i = -7 + 7.7. Let c = i + -0.77. Let d = -1.07 - c. Which is greater: -0.2 or d?
-0.2
Let s = -284 - -1985/7. Is -2 less than or equal to s?
True
Let m be (1 - (-20)/(-