Suppose -3*s + x = 1. Which is bigger: 2 or s?
2
Let g = -40 + 41. Do g and 1 have different values?
False
Let r = -240 + 8. Let k = 2554/11 + r. Is -1 less than or equal to k?
True
Let v = 25 - 38. Is 3 at most as big as v?
False
Suppose -5*s - 2*x + 1 = 0, -3*x - 1 = s + 4. Which is greater: s or -3/16?
s
Let o = -12.13 - -0.13. Let u = o - -10. Let m = -0.1 - 0.1. Which is smaller: m or u?
u
Let v = 281 - 282.73. Let o = v - -1.7. Is -1 <= o?
True
Let m(a) = -11*a - 2. Let y be m(-2). Let r = y + -12. Is r > 7?
True
Let f = -6 + 8. Let o be (1*f)/(15/30). Is 3 <= o?
True
Let x = 16 - 22. Let r be ((-1)/5)/(8/10). Which is smaller: x or r?
x
Let o = -131/8 - -16. Are o and 1 non-equal?
True
Let s = -0.4 + -0.4. Let u = 0.1 + s. Which is smaller: u or -0.2?
u
Suppose -2*p - 2 = -10. Let x be ((-3)/9)/(2/p). Which is bigger: -2/13 or x?
-2/13
Let t = -0.09 + 0.13. Let s = -0.06 - t. Let n = -1/10 - 2/5. Which is smaller: s or n?
n
Let n = 2/467 - 1874/1401. Suppose 2*y = 3*y. Suppose y = 3*z - 2*z. Is z at most as big as n?
False
Let a = -125/3 + 41. Let k(z) = z**2 - 8*z + 4. Let t be k(10). Let r be (-4)/t - (-2)/3. Which is greater: a or r?
r
Suppose 2 = -n + 3. Which is smaller: -4/9 or n?
-4/9
Let x = -11 + 18. Let q(v) = v - 6. Let l be q(x). Let t be (-1 + 3 - 5)*l. Is t > -3?
False
Let d be (-2 - -1)/(42/(-14)). Are 0 and d unequal?
True
Suppose 0 = -2*x + 2 + 4. Suppose -x*p - 2 = -11. Suppose -3*s = p*q, -3*q + 3*s + 5 - 11 = 0. Is q less than 0?
True
Suppose -2*y + 5*y = 183. Let i be (-18)/165*y/3. Let b = 20/11 + i. Which is greater: 1 or b?
1
Let d(x) be the third derivative of -x**4/24 + 7*x**3/6 - 8*x**2. Let c be d(7). Is 2/61 != c?
True
Let z(l) = l + 7. Let y be z(-9). Let p = -1/13 - 401/26. Let i = 15 + p. Which is smaller: y or i?
y
Let q(w) = w - 10. Let t be q(12). Suppose 0*k = -t*k - 2. Which is smaller: k or -3/5?
k
Let s = 18/23 + -241/161. Which is smaller: s or -1?
-1
Let t = 1.4 + -1.5. Are 0 and t nonequal?
True
Let a(u) = -3*u - 10. Let h be a(-2). Suppose 29 = -5*m - 4*t, t = -0*t + 4. Let z = -13 - m. Is z at least h?
True
Let i = 4.5 + -0.5. Let h = i - 3.8. Is h at most 1?
True
Let h = 30 + -32. Is -2 greater than or equal to h?
True
Let m = -3 + 2.7. Let q = -0.7 - m. Is 0.1 > q?
True
Let z be 2/(-7) + (-6)/(-70). Let a(q) = 2*q**2 + q - 2. Let u be a(-2). Suppose s - 5*s - u = 0. Are s and z non-equal?
True
Suppose 3*v - 33 - 6 = -4*h, -2*v = h - 16. Let q(s) = s**2 - 11*s - 19. Let f be q(13). Is h equal to f?
False
Let x be (1 + -1)/(-3 - -2). Is -1/8 smaller than x?
True
Let r be (-9280)/(-56) - (1 + -1). Let d = r + -166. Let x = -3/5 - -21/10. Which is smaller: x or d?
d
Let h(v) = -v**3 - 3*v**2 + 3*v - 2. Let w be h(-4). Suppose -p + 4*y = -3, w*p - y = -p - 13. Let z be 6*2/(-4)*2. Which is smaller: z or p?
z
Let p(m) be the second derivative of -1/4*m**4 + 0 + 1/2*m**3 + m - 3/2*m**2 - 1/20*m**5. Let l be p(-4). Is l > 2/3?
True
Let u be (-4 - 5)*4/(-6). Let l(x) = -x**3 + 6*x**2 + x - 1. Let c be l(u). Is 5 <= c?
True
Let g(r) = -r**2 - 3*r - 1. Let c(s) = -s**2 + 7*s + 7. Let u be c(8). Let h = u + -2. Let m be g(h). Is m less than or equal to 2/13?
True
Let o be (-52)/2*6/48*-4. Is 13 bigger than o?
False
Let d(h) = -3*h - 47. Let v be d(-16). Let q be 0 - (26/24 + -1). Is q at least v?
False
Suppose -k + 6 = k. Suppose c = 3*t - 1, k = -2*t - 0*c - 3*c. Suppose t = -4*q - 12 - 4. Which is bigger: -3 or q?
-3
Suppose q + 4*g + 10 = 0, 0 = 2*q + 5*g + 10 + 1. Let a be 0 + (20/428)/(-5). Let c = 323/214 + a. Is c less than or equal to q?
True
Suppose 4*s + 5*g = 81, -2*s + 0*g + 41 = 3*g. Is s at most as big as 18?
False
Suppose 14*g + 261 = 5*g. Which is smaller: g or -28?
g
Suppose f = -x - 2*x + 6, -3*x + 2*f - 3 = 0. Let s = 561 - 558. Is s greater than x?
True
Suppose -3 = -a + 3. Is 9/2 greater than or equal to a?
False
Let b = 1/10 + -1/2. Is 2.9 greater than or equal to b?
True
Let t(m) = -m**3 - 5*m**2 - 4*m - 1. Let y = -11 + 7. Let h be t(y). Are h and -3 nonequal?
True
Let z = -1 + 1.2. Let m be (-4)/18 + 84/(-54). Let w = -10/9 - m. Which is smaller: z or w?
z
Let g(b) = -3*b + 3. Let k be g(4). Let f(y) = y**2 + 9*y - 9. Let q be f(k). Let u be 1/(-1) + (q - -1). Are u and -9 non-equal?
False
Let m be (-105)/(-49) + 1/(-7). Let v be 3/(2 + -3*m). Is v smaller than -2?
False
Let n = 0.37 - -0.03. Let f = 0.06 - 0.56. Let h = n + f. Which is smaller: -4 or h?
-4
Suppose -d + 4*a = 72, 4*d + 0*d + 2*a + 324 = 0. Let f = d + 1279/16. Is -1 less than or equal to f?
True
Let k be (-16)/3*3/(-2). Let j be 4/14 - k/28. Suppose 2*n + 2*n + 4 = j. Which is bigger: n or 1/2?
1/2
Suppose g = x + 3, 3 - 15 = 5*x - 2*g. Let s be (x - 0)*4/(-16). Is 1 at most as big as s?
False
Let t = -12.829 + -0.171. Which is greater: -4 or t?
-4
Let p = -60/11 - -5678/1045. Which is smaller: p or -1?
-1
Let d(u) = -u**2 - 10*u - 9. Let k be d(-8). Suppose -3*w = 4*a + 26, -25 = 4*w + 4*a + k. Which is bigger: w or -5?
-5
Let g = -47 - -27. Are g and -21 non-equal?
True
Suppose -f - 3*l + 0 = -2, -5*f - 38 = -l. Let x = f - 5. Which is bigger: x or -1?
-1
Let z = 0 - 0. Let b = 14 + -24. Let g be (-8)/b + -1 + 0. Is z < g?
False
Let u be (-138)/(-36) - (-2)/12. Is u at least as big as 14?
False
Suppose 3*c - 6 = 2*r, 2*c - 4*c = 2*r + 6. Let u = 5 + -2. Which is smaller: c or u?
c
Let o(q) = -q**2 - 9*q - 6. Let v be o(-8). Let g = v + -3. Let j be -7 + 0 + g/1. Is j greater than or equal to -9?
True
Let p = 0.7 - 0.2. Let z = p - 0.7. Let j = z + 0. Are j and -0.1 nonequal?
True
Let m = -0.9 + -0.1. Let r = 12 + -14. Which is smaller: m or r?
r
Let v be (-3)/(-90)*(-8)/6. Let l = 36 - 36. Is l greater than v?
True
Let x = -3 - -4. Let t be (4/(-18))/((-4)/(-6)). Which is greater: t or x?
x
Let b = 112 + -111. Which is smaller: -4/51 or b?
-4/51
Suppose 2 = 4*r - 2*r + 3*z, z = 3*r - 14. Suppose -5*m + 16 = -m - 2*k, 0 = m + r*k - 22. Are m and 5 non-equal?
True
Let w = -17 + 11. Let m be -2*(-3)/w - -23. Suppose 0*r + 2*r - 4*d = 18, 2*r = -4*d - m. Is -1/2 less than r?
False
Let k = -13 + 13. Which is smaller: k or 1/16?
k
Let r(k) = k**3 + k**2 + 2*k + 1. Let t be r(-2). Let h(n) = n**2 + 8*n + 6. Let i be h(t). Let m = 7 - 9. Which is smaller: m or i?
m
Let u be 858/45 + (-12)/30. Which is smaller: u or 18?
18
Let q be (-34)/(-20) + (-33)/22. Let w = -3 + 2. Let u = w + 0.9. Which is bigger: u or q?
q
Let l be 3*(721/462 + 3/(-2)). Let r(a) = -a**3 - 6*a**2 + a + 5. Let m be r(-6). Which is smaller: l or m?
m
Let z = -24 - -25. Which is bigger: z or -1/4?
z
Let z = -8 + 11. Suppose -z*g + 11 = -1. Suppose 16 = -g*s - 4*d, s - 4*d + 3 = -6. Is -4 at most s?
False
Let x = 9 + -83. Is -73 less than or equal to x?
False
Let b = 14 + -15. Let m = b - -6. Is 1 at most m?
True
Let v = -3.5 - 0.5. Let y = -4.4 - v. Let w = y + 1.4. Which is smaller: -1 or w?
-1
Suppose -3*h + 43 = -3*p + p, 2*h - 32 = 2*p. Is h at most as big as 11?
True
Let o = -55 - -57.7. Let j = -0.4 - o. Let v = -3 - j. Is -2/5 smaller than v?
True
Let d = 1 + 0. Does d = 4?
False
Let z = 18 + -18. Is 1 equal to z?
False
Let w = 1/4 - 11/76. Is 0 > w?
False
Suppose 2*x + 4*w = -44, 62 = -4*x + 2*w - 6. Do 0.1 and x have the same value?
False
Let m = -2312/13 - -178. Is 1 less than m?
False
Let q be -1 + 4 + (2 - 3). Let y = 8 - 5. Suppose h = -y*h. Which is smaller: q or h?
h
Let i(q) = q**3 + 2*q**2 + 2. Let m be i(-2). Suppose 3*h + m*h - 5*y = 0, 4*y = 3*h. Let s(k) = k**3 + k + 1. Let j be s(0). Is h greater than j?
False
Let s be ((-14)/(-3))/(2/3). Let f be 4/14 - 9/s. Let h = -5/8 + 9/40. Which is bigger: f or h?
h
Let a = 1454/543 + -2/181. Is 3 less than a?
False
Let l = 6/11 + 26/33. Which is smaller: -2/15 or l?
-2/15
Suppose y = 3*y - 8. Let n be 1/(-4) + 1/y. Let m be 0 + (-9)/6 + 1. Is m less than n?
True
Suppose -w = -5*w. Which is smaller: w or 2/17?
w
Suppose -2*i = -0*i. Let o be i - (-1 - 1) - 5. Let f be (52/(-14) - o) + 1. Which is bigger: -1 or f?
f
Let y(b) = b**2 - 7*b + 7. Let a be y(6). Let m be -4 + (a/(-4) - -4). Is -1 less than m?
True
Suppose 0 = -4*a - a. Suppose 3*j + j - 4 = a. Let w be -1 + 2*(-6)/(-4). Does j = w?
False
Let z = 362 + -362. Let h(k) = -k**2 + 2*k + 1. Let g be h(2). Let j = g + -1. Does 