3*m = 18. Which is bigger: -13 or s?
s
Let i = 157 + -158. Is i equal to -2/77?
False
Let x(i) be the second derivative of -i**4/12 - 2*i**3/3 + 3*i**2/2 + i. Let y be x(2). Are 0 and y unequal?
True
Suppose -20 = -3*y - 2*y. Let g = y - 4. Suppose 2*a = 4, 3*x - 5*a = -x - 18. Which is smaller: g or x?
x
Let h = 826/23 - 36. Which is bigger: 1 or h?
1
Let w = 2 - 0. Let o = 66530/13 - 5114. Let d = 231/52 - o. Which is bigger: w or d?
w
Let w = -1406/5 + 280. Is 0 less than or equal to w?
False
Let s(v) = -v**3 - 8*v**2 - v - 4. Suppose 4*r - 22 = n - 56, 0 = 4*r - 4*n + 40. Let z be s(r). Which is greater: z or 2?
z
Suppose -y - 4*y + 360 = 5*l, -146 = -2*l - 3*y. Suppose -4*q - l = -o, 3*q - o + 16 = 2*q. Let m = -13 - q. Which is smaller: m or 4?
4
Suppose 0*t = -4*t - 4. Let m(c) = -c**3 + 8*c**2 - 8*c + 8. Let z be m(7). Let d be z - t - 54/30. Is 1 less than or equal to d?
False
Let q(a) = -a - 6. Let r be q(-10). Suppose -18 = -r*b - 6. Let f = b - 4. Is 2/15 equal to f?
False
Let q be 5 + ((-234)/51 - 0). Does q = -1?
False
Let t = 55 + -33. Let h be (-1)/2 - t/(-4). Let a be (-1)/h + (-85)/(-50). Which is bigger: a or 3?
3
Let h be (-2)/(-11) - 48/22. Let o = h + 3. Which is bigger: -2 or o?
o
Let q = 115/2646 + 3/98. Do q and 1 have the same value?
False
Let b = 8 - 44. Is -37 bigger than b?
False
Let r(s) = -2*s + 2 - s**2 - 2. Suppose 3*n - 6*n - 6 = 0. Let a be r(n). Is a at least as big as -1/3?
True
Let w = 0.6 + -0.5. Let q = 22 + -14. Is q bigger than w?
True
Let x be 14/(-6) - (-11)/33. Suppose -6 = 3*s - s. Which is greater: x or s?
x
Suppose c - 5*q = 5*c + 15, -4*c - 3*q - 9 = 0. Let n = -92 - -92. Is c >= n?
True
Let x be (-41)/(-65) - (-27)/(-45). Is -1 at least as big as x?
False
Let t = 0 - -3. Let d = 26 + -24. Does d = t?
False
Let f(w) = -w. Let l be f(-6). Suppose a = -2*a - l. Is a bigger than -4/5?
False
Let p be 1/3 - 598/(-69). Let s be 2 - (0 - 1) - 0. Let f be s/p + (-7)/3. Which is greater: f or -1?
-1
Let p be ((-2)/(-4))/(6/(-180)). Is p not equal to -12?
True
Let h be (-2)/(((-2)/4)/(6/(-138))). Which is smaller: h or 1?
h
Let q(i) = 8 - 30*i + 15*i + 16*i. Let a be q(-12). Which is smaller: a or -8/3?
a
Let r = 3.6 + -5.6. Which is bigger: r or -21?
r
Let k be (-4)/(-14) + 132/28. Suppose 3 - 8 = k*j, 3*f = -j - 4. Let z be (-16)/6 - f - -2. Are z and -1 non-equal?
True
Let f be (20/6)/((-12)/(-18)). Suppose -2*v - v + 15 = -f*k, -2*k - 4*v + 20 = 0. Is k > -2/7?
True
Let x be 4 - (1 - 1)/(-3). Is 18/5 equal to x?
False
Let z(w) be the third derivative of -w**6/120 - w**5/12 - w**4/8 + 2*w**3/3 + w**2. Suppose 0*s - s + 5 = -a, 4*a - 5*s = -21. Let f be z(a). Is -1/2 at most f?
True
Let f = -30 + 61/2. Let b(z) = z**2 - 3*z + 1. Let o be b(3). Suppose 5*n = 6 - o. Which is smaller: n or f?
f
Let t be ((-472)/(-20))/(18/15). Let q = 19 - t. Do -2 and q have different values?
True
Suppose 0 = -0*g + 3*g - 12. Suppose g*o = -5 - 15. Is -6 > o?
False
Let l(s) = s**2 + 8*s + 8. Let o be l(-6). Let j be -1 - (-4 + 3 - -2). Let y be (j/o)/((-3)/(-6)). Is 1/4 bigger than y?
False
Let b(r) = r - 6. Let d be b(0). Let c be 104/32 + d/2. Are -4/7 and c non-equal?
True
Suppose 0 = 5*c + 75 - 0. Which is greater: c or 1?
1
Let k(s) = 4*s + 3. Let d be k(0). Let m = -52/3 + 17. Which is bigger: d or m?
d
Let j = -0.39 + 1.44. Let f = 0.05 - j. Let k = -0.4 - -0.3. Which is bigger: k or f?
k
Suppose -41 = 2*w - 3*d + 27, 4*w - d = -116. Is -28 at least as big as w?
True
Suppose 0 = 5*j + 15, -5*d - j - 10 + 2 = 0. Is d equal to 1?
False
Let s(y) = -9*y**2 + 1. Let x be s(-1). Let k = 5 - 10. Let z = x - k. Is z at most as big as -1?
True
Let n = -44/117 + 2/13. Which is smaller: 1/5 or n?
n
Let l = 0.14 + 0.16. Does l = -1/3?
False
Let u = -1/60 + -233/20. Are -12 and u equal?
False
Let t = 0.57 + -0.37. Which is greater: 0.01 or t?
t
Let l be 1/2*(3 + -6). Which is smaller: -2/7 or l?
l
Suppose 5*n = 2*s + 3, 4*s - 2*s - 47 = -5*n. Let g = s + -4. Does g = 7?
True
Let z = -2 + 10. Let c = -16 + z. Which is smaller: c or -7?
c
Let q(j) = 7*j**3 - j. Let t be q(-1). Let r(g) = -g**2 - 6*g + 1. Let k be r(t). Are k and -1/5 equal?
False
Let f be 2/11 - (-57)/(-132). Let l be 64/(-12) - 2/(-6). Which is greater: l or f?
f
Let s(l) = -l**3 - 4*l**2 + 5*l + 2. Let z be s(-5). Let b = 2 - z. Is b smaller than -2?
False
Let z = -13 + 13.01. Let r = 0.09 + z. Is r less than -1/2?
False
Let b be 5/(-6)*14/35. Is b bigger than -8?
True
Let z = -21 + 11. Is -9 equal to z?
False
Let b = -14 + 9. Are 0.1 and b non-equal?
True
Let o = 2.6 + -2.6. Is o <= -0.2?
False
Suppose -16*p + 271 + 1 = 0. Is 15 < p?
True
Let h = 30 - -15. Let b be (2 - 1) + (-35)/h. Is b != 2/7?
True
Suppose -19*f + 23*f = 0. Which is bigger: -2/17 or f?
f
Let c(i) = -i**2 - 13*i + 34. Let l be c(-15). Which is greater: l or 26/7?
l
Let a be (3/8)/(20/176). Which is bigger: 3 or a?
a
Suppose 2*f = -2*b + 268 - 40, 2*b = -4*f + 234. Is 110 <= b?
True
Suppose 3*q = 4*j - 10, -12 = j - 5*j + 4*q. Let n = -3.2 - -3. Let o = n + 0.1. Which is smaller: j or o?
o
Let p be -5 - 2*(0 - 1). Let d = p + 9. Let r be 1/6 + 2/d. Is r >= 1?
False
Let t = 9 + -3. Is 6 at least as big as t?
True
Let u be (-12)/5 + 4/10. Let o = u - -5. Is 1 at most o?
True
Let b be (-44)/102 + 1/6*-2. Is b < -1?
False
Let s be -3 + ((-3)/(-6) - 285/6). Is 1 > s?
True
Let w = -24 - -30. Is w at least as big as 6?
True
Let m(u) = -2*u + 6. Let a(x) = x**3 + 4*x**2 - 7*x - 6. Let n be a(-5). Let y be m(n). Let z = -2 + 3. Is z greater than y?
True
Let w = 5 - 21/4. Which is smaller: 2/9 or w?
w
Let l = 11 - 9. Let s be ((-4)/25)/(l/5). Which is smaller: 1/3 or s?
s
Let g = 147.941 - 148. Let i = 3.041 - g. Let k = 3 - i. Which is greater: k or 3?
3
Suppose -5*t = u - 16, -5*u - 2*t + 10 = -70. Suppose 0 = 5*m - u + 46. Is -6 not equal to m?
False
Let j = 4 + -1. Suppose 6*k = 3*k + 6. Suppose -2*x + 0*x - 4*t - 8 = 0, k*t + 4 = j*x. Is 0 < x?
False
Let y(t) = -9*t + 2. Let z be y(-6). Let u = 832 - 1555/2. Let d = z - u. Are 1 and d unequal?
True
Suppose 0 = 8*j - 13*j. Is j greater than -3/13?
True
Let l(g) = -31*g**3 + 2*g**2 + g. Let h be (-8)/12 + 2/(-6). Let f be l(h). Let o be (-2)/(-8) + 4/f. Which is smaller: 1 or o?
o
Let x = 0.35 + 2.65. Is -2 at least as big as x?
False
Let c be 0/((-1)/(-1) + 1). Let k be 2/((-3)/(1 + 11)). Let l be 2/(-8) - 2/k. Is c < l?
False
Suppose -5*m - 4 = 3*d, -4*d + 0 = 3*m + 9. Which is bigger: m or 2/91?
m
Let h be 72/255 - 2/(-17). Which is greater: -1/41 or h?
h
Let o = 1.9 + -2. Let s be (0 + -3)*(-8)/36. Do s and o have the same value?
False
Let b = 0.01 + 0.19. Which is smaller: -2 or b?
-2
Let q = -3 - -1.7. Let h = q - -0.1. Let w = 0.2 + h. Which is smaller: -2 or w?
-2
Let k be (-4)/63 - (-16)/56. Is 0 less than k?
True
Suppose 0*g + 434 = 5*w + 2*g, 5*g = -15. Let j be 3/w*129/(-36). Let c = -1/32 - j. Which is bigger: c or 0?
c
Let w = -6 - -6.05. Let p = w + 0.15. Let i = 1 + 1. Which is smaller: p or i?
p
Let w be 1 + (31 - 3) + 3. Suppose 7*f - 2*f + 8 = 3*d, 5*f + 3*d = -w. Are f and -2 nonequal?
True
Suppose 4*v + q - 4 = 1, 0 = 2*v - 4*q - 16. Let b be v/(-6 - -1 - -3). Which is bigger: b or -4?
b
Let k be ((-1)/(-14))/(1/(-6)). Suppose -3*t + 27 = 24. Which is smaller: k or t?
k
Let p(j) = -j**2 - 6*j - 5. Let q be p(-4). Suppose 0 = -q*y - 3*i - 28 + 4, y + 2 = i. Let n = y + 5. Is -3/8 at most as big as n?
True
Let a(s) be the second derivative of -s**5/20 - 5*s**4/12 + s**3 - s**2/2 - 3*s. Let m be a(-6). Let n be (1/10)/1*4. Is m smaller than n?
True
Suppose 10*z = 8*z - 16. Is -10 smaller than z?
True
Let z(y) = -y**2 + 2*y - 1. Let g be z(-4). Let q = -27 - g. Which is smaller: q or -4/7?
q
Let h be 20/(-4)*((-2)/(-25) + 0). Let k be -1 - 1 - (-6)/3. Which is bigger: h or k?
k
Suppose s - 3*j = -3*s - 48, 0 = s - 4*j + 25. Let o = -83 + 75. Which is smaller: o or s?
s
Let o = -0.016 + -0.184. Which is smaller: 4/5 or o?
o
Let o = 17 + -12. Let b = o + -8. Let v = b + 5. Is 1 at most as big as v?
True
Let b = 691/7 + -99. Let o = -11 - -6. Is o >= b?
False
Let b(v) = 2*v + 1. Let p be 1*(1/(-1) - -2). Let a = p + -2. Let n be b(a). Which is smaller: -4/7 or n?
n
Let v = -36 + 579/16. Is v greater than or equal to 1?
False
Let s