
True
Let y = -8 - -11. Let u be (y + (-33)/12)/1. Which is greater: u or -10?
u
Let r = -2.5 - -0.5. Is r != 1?
True
Let r = 4 + -6. Let v(i) = -i + 3. Let c be v(5). Is c > r?
False
Let t(c) be the third derivative of c**6/120 - 2*c**5/15 + c**4/3 - 5*c**3/6 + c**2. Let p be t(7). Suppose 0 = 2*x + x - 6. Is p < x?
False
Suppose 10*t - 40 = 6*t. Let u be (1/2)/((-5)/t). Which is smaller: u or -2/15?
u
Suppose r - 3 = -1. Let n be 0 + (0 - (r - 2)). Which is smaller: n or -8/7?
-8/7
Let d = -1 - -3. Suppose 2*j + d = 6. Suppose -j = -4*a - 6, -4*i - 5*a - 9 = 0. Is i at least -1?
True
Let j be -3*((-4)/2 - 0). Let o be 1/(-5) + j/(-15). Which is bigger: o or -1?
o
Suppose -4*y + 8 + 0 = 4*q, -4*y + 8 = 0. Suppose q = -3*l + 2*l. Let n be 2/(-4 + 2 + l). Is n greater than or equal to 3?
False
Suppose 31 = -3*j + 5*l, 3*j + 2*l - 5 = -1. Let a = 205/36 - 76/9. Which is bigger: a or j?
j
Let u be 0 - 2/(-4 - -6). Which is greater: 2/7 or u?
2/7
Let w be (-49)/(-35) - 6/10. Suppose 4*b - 4 = 0, b = 3*l + 4*b - 6. Let i be ((-8)/(-4))/(1 + l). Is i greater than w?
True
Suppose 0 = 4*p + 6*p - 110. Which is smaller: p or 10?
10
Let p be 12/18 + 1/3. Let y = -7 - -10. Let i = y + -7. Are i and p non-equal?
True
Suppose -a = -5*v - 28, -3*v - 4*a - 38 = -12. Let z be (-30)/(-9) + 2/v. Is -4 greater than or equal to z?
False
Suppose -h = -0*h + o + 8, 4*h - 5*o + 5 = 0. Let v = 4 + h. Which is smaller: v or -2?
-2
Suppose 0*l - 5*l + 10 = 0. Suppose 4*y - 32 = -3*i + l, -3*i + 27 = -3*y. Let v(q) = -q**3 + 9*q**2 + 11*q - 7. Let d be v(i). Is -1 bigger than d?
False
Let b = 117 + -97. Which is smaller: 0 or b?
0
Let b(o) = -o**2 - 2*o - 2. Let j be b(-2). Let q(l) = l**2 + l + 2. Let c be q(j). Let u = -4 + c. Which is smaller: 1/3 or u?
u
Let j(w) = w**3 - 2*w + 1. Let s be j(-2). Let b be 1/((-2)/8) + 2. Is s at most b?
True
Suppose 4 = -0*d + 2*d. Suppose -d*i - 4*z + 2 = 0, 5*i + 8 = 4*z - z. Is 1 equal to i?
False
Let p(a) = a + 4. Let l be p(-4). Which is bigger: l or -3?
l
Let b be (12 - 13)*1/2. Is b != -1?
True
Suppose -2*f = 2*z, 0 = -2*z + 6*z - 3*f + 7. Which is greater: z or -6/17?
-6/17
Let w(c) = 2*c - 10. Let n = 3 + 2. Let p be w(n). Which is bigger: 14 or p?
14
Suppose 27 = -d - 3*w, 3*w + 0 = -3. Let m = 23 + d. Which is bigger: m or 15?
15
Let t be 3 + (-1)/((-3)/(-6)). Suppose -2*c + t = 3. Which is smaller: -3/5 or c?
c
Let m = 23787/1606 - 163/11. Let o = -279/1898 + m. Let r(v) = v**3 + 3*v**2 + 2*v. Let g be r(-2). Do g and o have different values?
True
Let f = -163/5 + 33. Which is smaller: -72 or f?
-72
Let a = -37 + 39. Suppose -12 = 2*u + 2*u. Let j be u*a*2/(-12). Which is smaller: 2/5 or j?
2/5
Let k(o) = -o**3 + o**2 + 2*o + 1. Let i be k(-1). Let u be i/3 + 3/(-9). Let b(f) = -f**2 + 1. Let v be b(-1). Is v bigger than u?
False
Let a be 4/6*30/4. Suppose -a*g + 4 + 7 = -4*d, -2*g = -4*d - 14. Which is smaller: -3 or g?
-3
Let f = 31 - 96. Let o be 190/f - 3*-1. Let t(d) = d - 12. Let q be t(13). Which is smaller: o or q?
o
Let j = 3.075 + -0.075. Are j and 9 non-equal?
True
Let n be (-6)/(-8) + (-18)/24. Let w = 3 - -1. Suppose w = -5*g + g. Is n at most as big as g?
False
Let l be (1/(-2))/((-1)/(-2)). Let i be -3*((-2)/4 + 1). Is i equal to l?
False
Suppose 2*s + 2 = 4. Suppose -3*d - d = 0. Are s and d non-equal?
True
Let i(a) = 3*a + 8. Let z be i(-3). Which is greater: z or 1/83?
1/83
Let k = -18 + 27. Let s be 34/k - 10/(-45). Is -1/2 != s?
True
Let m = -16 - -16.04. Let q = m - 0.04. Is q less than -0.4?
False
Suppose 2*p = 3*p - 5. Suppose 7 = -p*c + 22. Suppose 5*b = -0*m + 5*m - 25, 0 = -5*m + c*b + 15. Is m < -1?
False
Let g(o) = 2*o + 9. Let n be g(-7). Let t be 14/35 + 2/n. Let z(b) = b. Let k be z(-2). Which is smaller: k or t?
k
Let f = -34 + 21. Let y = -5 - f. Let m = 10 - y. Does -0.1 = m?
False
Let x = 30970/89 + -348. Is x > 1?
False
Let a be ((-306)/(-815))/2 - (-2)/(-10). Is 1 less than or equal to a?
False
Let g be (-264)/(-231) + (1 - 3). Is 3/8 less than g?
False
Suppose 0 = 5*s - 6*s + 5. Suppose 0 = -2*g - s*u - 43, 3*g + 3*u = -u - 54. Is -15 smaller than g?
True
Let r = -0.12 - -0.1. Let q = -4.02 - r. Let t = q + 3. Is t <= -2?
False
Let a be (-6)/(-4)*4/(-6). Let o = 1 - a. Let y be 1 - (0 + o - 0). Is y less than 1?
True
Let d be -2 + 0 + 10/5. Suppose 0*m - 5*m + 10 = d. Which is greater: 2/3 or m?
m
Let j be (-2)/4 + (-147)/14. Let v(o) = o + 7. Let b be v(j). Which is smaller: -3 or b?
b
Suppose 3*u - 106 = 3*b - 28, 0 = -3*b - 4*u - 43. Let s be (-7)/((6 - 3)/9). Is s > b?
False
Suppose 2*s = -y + 3*s + 2, -5 = -4*y + s. Let l be 2*-1*y - -2. Let t = 3/31 - -47/155. Is t at most l?
False
Suppose -9 - 23 = 4*h. Which is smaller: -7 or h?
h
Suppose 13 + 1 = 7*u. Let a(d) = -d**2. Let j be a(0). Suppose 3 = -3*w - m + 11, 4*w + u*m - 12 = j. Is 0 greater than w?
False
Let a be ((-4)/3 + 1)*-3. Let w = 1 + 0. Suppose 4*l - w - 3 = 0. Is l at most as big as a?
True
Let y = -8/19 - 14/57. Is y at least as big as -2?
True
Let l = 42 - 629/15. Let p = -13/45 + l. Which is smaller: p or -1?
-1
Let t = 0.11 - -0.89. Which is bigger: t or 29?
29
Let v = 54.2 + 8.8. Let u = v - 65.06. Let m = 0.06 + u. Is 0.3 smaller than m?
False
Let v(c) = c + 6. Let m be v(-6). Let h = m - -4. Let u be h/(-3)*3/12. Which is greater: 0 or u?
0
Let t = 25810/33 - 782. Are t and 1 non-equal?
True
Let k = -174202/5 - -35018. Let f = k + -177. Is f <= 1?
True
Let n = -55 + 55. Let v = -226 - -2257/10. Is n not equal to v?
True
Let v = -4 - 1. Let r be (-18)/15*v/2. Suppose 2*y + r*y = -2*l, 4*l = 2*y. Is 0 at least l?
True
Let i be (-3)/9*-3 - -20. Let q be i/(-15) + (-2)/(-5). Let k(s) = s + 1. Let t be k(q). Which is bigger: 1 or t?
1
Suppose 4*n = 7 - 3. Let u be (-201)/(-39) - (7 - 2). Is u > n?
False
Let r = -2 - 0. Let n be (-24)/10 - (0 - 2). Which is greater: r or n?
n
Suppose -4*l - 3 = -3*a, -2*a = -2*l + 1 - 3. Let r = -1229047/64872 + 2531/136. Let c = r - -6/53. Is c less than or equal to l?
True
Let r(i) = -i**2 + 4*i + 7. Let f be r(5). Which is smaller: 4 or f?
f
Suppose 23 = 3*f + 8. Let l(h) = -5*h**2 - 4*h**3 + 2*h**2 + f*h**3 - 4*h. Let o be l(4). Is -1 less than o?
True
Let y = -1.53 - -0.53. Are y and 7 unequal?
True
Let g = 699934 + -10493372/15. Let j = -376 + g. Which is bigger: -1 or j?
j
Let p be (7 + -3)/1 - 0. Suppose -3*i = -p*z + 19, z + 3*i = -10 - 4. Which is smaller: z or 3?
z
Let x = -0.6 + 0.9. Let y = -0.4 + x. Let a = y - -0.3. Are a and 2 nonequal?
True
Let c = -120 + 121. Is 14/3 smaller than c?
False
Suppose -4*o = -4*t + 88, 5*t + o = -0*o + 80. Which is bigger: 15 or t?
t
Let k be (10/15*-9)/(-3). Which is smaller: 1 or k?
1
Let w(j) be the third derivative of j**4/24 + 5*j**3/3 + 2*j**2. Let d be w(-9). Which is bigger: 0.1 or d?
d
Let i(z) = -z**2 - 1. Suppose 0 = 3*h - 2*h. Let m = h + 0. Let s be i(m). Is s < -1?
False
Let j = 36 + -26. Suppose 0*h - j = 2*h. Does h = -3?
False
Let m = -0.91 + -0.09. Let n = 4 + m. Which is bigger: -1 or n?
n
Suppose -g - 60 = -6*g. Let q be 2/5 + g/(-5). Suppose -3*o - 2 - 1 = 0. Is o bigger than q?
True
Let j(o) = 2*o - 1. Let u be j(-7). Let r be (9/4)/(u/(-10)). Which is smaller: 1 or r?
1
Let t = 11.6 - 11. Which is greater: t or -2?
t
Suppose 0 = -x - 2 + 6. Let b be 4/(-14)*(3 - x). Let c = 2 - 0. Is b <= c?
True
Let p = -50 - -95/2. Let u = 3 + p. Is u smaller than 0?
False
Let n be (20/14)/(4/7). Let y be 2/(-4)*(-5 - 1). Does y = n?
False
Suppose -s + 2*a - 8 = -a, -5 = -a. Is s smaller than 7?
False
Suppose 3*a = 2*o + 10, -o - 3*o - a + 8 = 0. Let k = 1 - o. Is k smaller than 0?
False
Let j be -2 + (1 - 3)*1. Let v = j - -3. Is v != -1?
False
Let w be ((-2)/3)/(6/267). Let c = 30 + w. Are c and 0 non-equal?
True
Suppose -2*t + 14 = 4*z - z, 3*t - 4*z = 4. Are t and 4 unequal?
False
Suppose 5 = 4*n + n. Suppose -v = -2*v + 3. Which is smaller: v or n?
n
Let g = 4 + -17/4. Is g greater than or equal to -1/9?
False
Let t be 5/25 - 12/10. Let c be (5 + t)*4/8. Which is greater: c or 4/3?
c
Let b = -68 - -34. Is b < 1/3?
True
Let x = -117 - -115.1. Which is smaller: 1 or x?
x
Let d be 1*(-2)/4*-2. Let x be (-5)/7*(-1)/((-40)/24). Which is greater: d or x?
d
Let p be (42/49)/(2/42). Is 17 equal to p?
False
Suppose q + q - 2