(-76)/28 - -2) + 1. Suppose 3*s - 17 = 5*t, -t + 10 = 5*s - 9. Is t less than or equal to x?
True
Let x be (-1)/((-1)/((1 + 6)*-1)). Let a be ((-9)/(-3) - 5) + x. Is a greater than or equal to -10?
True
Suppose 3*t = 3*c + 3, 5*c + 5 = 2*t - t. Suppose 3*x = 2*u - 12, -5*u - x = 4*x - 55. Let r be (20/105)/((-66)/u). Which is bigger: r or c?
r
Suppose 2*a + 3 = -n + 12, 2*n = -a + 9. Let v be ((-14)/n)/((-22)/99). Does v = 21?
True
Let r = 283/7 + -41. Let a = -21 - -20. Which is smaller: a or r?
a
Let p = -17/4 + 9/2. Let v be (((-3827)/7826)/(-89))/((-1)/(-2)). Is p less than v?
False
Let b be (-12)/18*36/2. Let p be ((-2)/(-8))/((-1)/b). Let m be (-3)/(111/(-113)) - p. Which is smaller: m or 1?
m
Let n = -5 - -9. Suppose -a - g = n*g - 23, -a - 3*g + 15 = 0. Suppose s + s = 3*p - 11, -s = -5*p + 16. Is p != a?
False
Let t(k) = -k**2 + k - 1. Let d(g) = -7*g**2 + 5*g - 11. Let p(h) = d(h) - 6*t(h). Let c be p(-4). Is c < -17?
False
Let s = 14 + -12. Let o = s + -2. Suppose -3*a = -n - 2 - 0, 0 = a + 3*n + 6. Does a = o?
True
Let j = -83 + 46. Let s = -35 - j. Are -0.21 and s unequal?
True
Suppose 0 = -14*i + 18*i - 4. Let q be (-1)/(2*i - (4 + -1)). Let y be ((-2)/9)/((-4)/3). Which is smaller: q or y?
y
Suppose -5*v = 5*n - 45, 0 = -n - 4*n - 4*v + 40. Suppose -20 = -11*p + 35. Which is smaller: n or p?
n
Suppose 4*w - 3*w - 20 = 0. Let d = 2 - 21. Let u = w + d. Which is bigger: u or 2/41?
u
Suppose 0 = 4*i - 15*r + 13*r - 70, -2*i - 4*r + 30 = 0. Which is smaller: 16 or i?
16
Let a be (109/6)/((-4)/8). Let x = a - -36. Let f be 10/5*4/(-8). Is f equal to x?
False
Suppose 3*j + j = 0. Let z = 27 - 43. Let h be (-15)/36*z/(-6). Does j = h?
False
Let p = -950467/115 - -8265. Is p not equal to 0?
True
Suppose 3*r = -2*r - 20. Suppose 23 = 5*s - 47. Let c be (-77)/s + 6/4. Is c at least as big as r?
True
Let o = -11618 - -11615. Let y be (18/(-8))/((-9)/(-24)). Do o and y have the same value?
False
Let j = -285 + 220. Does 3 = j?
False
Suppose j = -5*a - 3, 22 + 29 = 3*j - 5*a. Let n = -102 + 102. Suppose 0 = 2*r - n + j. Is r not equal to -6?
False
Let v = 175 + -219. Is -44 at most v?
True
Let b = -19 - 3. Let y = b + 22. Suppose 8*n - 3*n - 5 = 4*r, y = -3*r + n - 1. Is -1 >= r?
False
Let s be (3/(-2))/(6/(-4)). Let w(n) = -10*n + 1. Let v be w(s). Which is smaller: -11 or v?
-11
Let l = -3/181 - 510/1991. Suppose -8 = x + 4. Let o = -13 - x. Do o and l have the same value?
False
Let l = 1643 - 1632. Is l != 12/13?
True
Let i = -3 + 3. Let r be (-38)/(-12) - (-1)/(-6). Suppose 0 = r*a + 8 + 1. Which is smaller: a or i?
a
Suppose 22 = 4*x - 14. Suppose i - 8 = -4*l, 3*l = -2*i + 2 + x. Which is smaller: 5 or i?
i
Let a = -450 + 120. Which is smaller: -332 or a?
-332
Let t be 31 + 0 + 3*-1. Let w be (-2)/t*6*10/105. Which is bigger: w or 1?
1
Let s = 19 - 18. Let t = s + -7/4. Which is bigger: t or -2?
t
Let t(c) = c**3 - 6*c**2 + 4*c + 7. Let w be t(5). Suppose w = -2*m + 4*l, -m - 4 = 3*l - 3. Let y be (-4)/(-12) - 22/30. Is y greater than m?
True
Let s(w) = 2*w**2 - 15*w - 15. Let q(p) = p**2 - 1. Let d(z) = -3*q(z) + s(z). Let v be d(-17). Is -47 at most as big as v?
True
Let q = 25687 - 15437873/601. Let n = q + 2584/43873. Which is bigger: n or 0?
n
Let o = 1 + 4. Suppose -w = o, -5*f - w = -4*w - 160. Is 30 >= f?
True
Let o be ((-18)/27)/(3 + 237/(-81)). Which is smaller: 0.06 or o?
o
Let d = -911/20 + 144/5. Which is smaller: d or -17?
-17
Suppose 161 = 500*o - 493*o. Is 12 less than o?
True
Let h = -103/3 - -2566/75. Let u = -109.9 - -110. Is u greater than or equal to h?
True
Suppose 1616 = -5*q - r + 80, -4*r = -2*q - 632. Let w = -2479/8 - q. Let g = 3 + -6. Which is greater: w or g?
w
Suppose 0 = 2*w - 4, 4*v + 2*w - w = 74. Let p = -5 + 7. Suppose p*g - 16 = g. Which is smaller: g or v?
g
Let f = 54 + -33. Let t = f + -21. Which is smaller: -2/87 or t?
-2/87
Let y = 45 - 41. Suppose -y*u = -2*v + 52, -5*u - 65 = 3*v + 2*v. Which is greater: -1 or u?
-1
Let n = 7 + 8. Let x be (2/(-30))/(35/n). Suppose -4*q - 4 = 2*i, 5*i + 7*q - 4*q = -3. Is x != i?
True
Let p(t) = t**2 - 11*t + 20. Let a be p(10). Suppose 0 = 3*v - 56 - a. Suppose 4*k = -5*s - 21, -1 + v = -s - 5*k. Is s >= -5/9?
False
Suppose -4*y = 12, -5*m - 5*y + 10*y = 525. Which is smaller: m or -109?
-109
Let y = 5 + -2. Suppose 2*u - y*m + 5 = 0, -2*u + m - 2 = 5. Suppose -4*j = 2*c + 10, -4*j + c = 2*c + 15. Is j < u?
True
Let x = 348 + -355. Is -2 greater than x?
True
Let n = -73/6 + 35/3. Are 2 and n unequal?
True
Suppose -f - 3*r = -0*r + 48, -4*f + 5*r = 124. Let i = f - -40. Do -2 and i have different values?
True
Let y = -5 + 7. Let i(r) be the first derivative of r**4/4 + 2*r**3 + 5*r**2/2 + 5*r - 19. Let n be i(-5). Which is greater: n or y?
n
Let z(l) = -l - 5. Let v be (2 - 0)*-1*2. Let s be z(v). Let i be ((-234)/(-126))/(-2*3/7). Is i < s?
True
Let y be (24/280)/((-2)/(-20)). Which is smaller: y or 1?
y
Let s = -20704/5 - -26687446/6445. Is 1 smaller than s?
False
Suppose 6*j + 21 = 15. Which is bigger: 3/415 or j?
3/415
Let u be 3 - (-1 - (-2)/2). Let a be -6 - 4/(5 - u). Which is bigger: -7 or a?
-7
Suppose -234 + 66 = -21*b. Which is bigger: b or 14?
14
Let d be 234/351 + (-32)/(-6). Let i = 9 + -5. Is i < d?
True
Let f(w) = -w**3 - 13*w**2 - 13*w - 6. Let z be f(-12). Let n be (-10)/2*(-12)/12. Suppose -z*y + n = -y. Is y != -1/7?
True
Let o = 511 + -751. Which is smaller: o or 0?
o
Let k = 13 - 11.76. Let o = 0.06 + k. Let u = -0.9 + o. Are 1/3 and u equal?
False
Let k = -44 - 81. Is -121 greater than or equal to k?
True
Let d = -0.72 + -0.08. Let o = -0.2 + d. Let w = o - 0. Which is smaller: w or -7?
-7
Suppose 0 = 2*n + 2*p - 6*p + 18, -3*p = 2*n - 10. Which is smaller: -2/451 or n?
n
Let r = -21 - -14. Let p = 53 + -53. Which is greater: p or r?
p
Let r(k) = -k**3 - 3*k**2 - 4*k - 8. Let z be r(-4). Let s = z - 32. Let v be s/(-36) - 2/9. Do 1 and v have the same value?
False
Let t = 240 + -291. Are t and -53 nonequal?
True
Suppose -2*m - h + 6 = -6, -2*m + 12 = -5*h. Suppose -m*j + 3 = 9. Which is greater: j or -2?
j
Suppose 3*o = -2*n - 19, 11*o = 7*o + 2*n - 44. Which is smaller: o or 2?
o
Let w be (-1153)/(-11) - (-30)/165. Let a be (10/(-4))/(w/(-84)). Is 1 > a?
False
Suppose -50*b + 196 = -78*b. Is -93 at least as big as b?
False
Let p = -174 + 447. Let i be (2/(-6))/((-7)/p). Which is bigger: i or 15?
15
Suppose -2*r - 1 = -5*p + 5, -5*p - 9 = 3*r. Which is smaller: p or 133?
p
Suppose 11*a - 8*a - 51 = 0. Suppose 2*u - a = -13. Which is bigger: u or -32?
u
Let c = -62 - -53. Let r be (-9 - c) + 1/21. Which is bigger: r or -1?
r
Let s(x) = 3*x + 36. Let g be s(-12). Suppose 3*d = -0*d + 2*l - 168, -5*d + l - 287 = g. Is d at most as big as -57?
True
Let z be ((-183)/(-244))/(6/(-32)). Is -68/15 less than or equal to z?
True
Let o = -47 + 11. Let s = -2.4 + 0.4. Which is smaller: s or o?
o
Let g = 0 - -2. Let k be -3 + 5 + -4 + 150/17 + -6. Which is greater: g or k?
g
Suppose -5*n - 40 = -7*n. Let r = n - 19. Let h be 0 - 4 - (-8 + 4). Which is smaller: r or h?
h
Suppose -r = -1, 2*n = -0*r - 4*r + 2. Let z be (4 + 8/(-10))*-5. Let m be 2*-1 - (z - -18). Is m less than or equal to n?
True
Suppose 2*s = 5*s - g - 11, -3*g = 2*s + 11. Let x be (-10 - 4)/(s + 0). Is -0.9 > x?
True
Suppose i = -15 + 33. Suppose -n - 30 = 4*n - u, -3*n + 4*u - i = 0. Is -6 less than n?
False
Let h = -298/2639 - -4/91. Suppose 109*x = 112*x. Let a be 0/(-16)*(-1)/(-1 + x). Which is smaller: h or a?
h
Let v = 103 - 194. Let f = v + 46. Which is greater: f or -2/7?
-2/7
Let w = 2359.9 - 2246. Let j = -114 + w. Which is bigger: j or -58?
j
Let z = -2 - 3. Let i = -29 + 54. Suppose i = -9*n + 4*n. Is n at most as big as z?
True
Suppose 141 = -5*k - 5*w - 204, 183 = -3*k + 3*w. Which is smaller: k or -67?
-67
Let n = -3.9 + 3.8. Is 55/4 at most as big as n?
False
Suppose -5*m - 4*c = 12 - 28, 0 = -2*m - 3*c + 12. Suppose 0 = -s - 0*s + 1. Which is bigger: s or m?
s
Let l = -4302950041 - -1411373693617/328. Let s = 18537 - l. Let o = s - 1/41. Is 1 at most as big as o?
False
Suppose -19 = -i - 4*s, i + 2 = -s + 6. Let j = 677 + -8795/13. Is j at least as big as i?
True
Let q be 15*((-8)/(-3) + -2). Let k(r) = r**3 - 13*r**2 + 21*r + 7. Let y be k(11). Let b = 13 + y