 = x + 3*x. Let t be (-3)/(-78)*(-8166)/(-2). Let y = t + x. Which is smaller: -1 or y?
-1
Suppose -4*m = 2*u - 502, -23*u + 25*u + 632 = 5*m. Which is smaller: m or 127?
m
Let k be ((-7)/(-412))/(22/(-176)). Which is bigger: 1 or k?
1
Suppose -4*f - 142 = 22. Let a(i) = 3*i - 10. Let c be a(-10). Which is bigger: c or f?
c
Suppose -4*h + 4*d + 28 = 0, 28 = 6*h - 2*h - 2*d. Let k(m) = -20*m + 6*m**2 - 4*m**2 - 9 - 6*m**2. Let y be k(-4). Is y > h?
False
Let v be 2 + (-656)/320 + (-21)/(-70). Let s be 3/(-1 + (-10)/(-4)). Suppose s*d + 3*d - 32 = -3*p, 5*p = 4*d + 4. Is p <= v?
False
Let o = -1.4873 - -1.454. Which is bigger: 0 or o?
0
Let r be ((-10)/(-21)*3)/(-2). Suppose -4*u + 2*b = -24, 4*b - 1 = u - 7. Let f = -8 + u. Which is bigger: f or r?
r
Suppose -s - 1 = 0, 3*s - 2 + 5 = 4*y. Do 2/1135 and y have the same value?
False
Let t = -3.4 + 3.31. Let u = 28 - 28.13. Let n = -1.87 + u. Is t <= n?
False
Let y be (-4 + 32/10)/(4/40). Let u(j) = -7*j**3 + j - 1. Let o be u(1). Is y smaller than o?
True
Let w be -3 - 91/(-84) - 2/(-8). Let n = 17.2 - 17. Is n less than w?
False
Let c(q) = q**3 - 18*q**2 + q - 13. Let u be c(18). Suppose -2*s + u*s - 6 = 0. Is 0 greater than s?
False
Suppose -4 = -r, -4*v + 8*v + 5*r - 260 = 0. Is v != 60?
False
Let a = -68 + 62. Let c = 4 + a. Which is greater: 7 or c?
7
Let d = -72 + 50. Let n = d - -166/7. Let i = n + -29/21. Which is smaller: i or -1?
-1
Let n(h) be the first derivative of -h**2 - h + 14. Let u be n(-4). Which is bigger: 10 or u?
10
Let k be (6*(-6)/216)/(14/(-8)). Which is bigger: 1 or k?
1
Suppose -5*d = -2*d - 12. Suppose -25 + 1 = d*k. Do k and -3 have different values?
True
Let k = -12 - -30. Suppose -14*r + 252 = -0*r. Is k != r?
False
Let i be (12/18)/(3/(-153)). Is -36 <= i?
True
Let k = 0.04 - 14.04. Let c = -12 - k. Which is smaller: c or -1/13?
-1/13
Let x = -4 - -3. Suppose -24*h + 3248 = -1960. Let m be x/(-3) - h/714. Is m < -1?
False
Let v = 1542 - 1533. Which is greater: v or 4/9?
v
Let g be 9*(-6)/(-9) + 2. Suppose -3*f - f = -44. Is f at most as big as g?
False
Let y(d) = 3*d + 29. Let j be y(-12). Suppose 0 = 5*k - 2*c + 42, 5*k + 45 = c + 4*c. Let s = 3 + k. Which is smaller: j or s?
j
Let f be (-3)/(-2) + -3 + 1. Suppose -4*p + 6 = 2*q, -3*p + 23 = -6*p + 4*q. Let w be p*(2 + -10)/(-4). Which is greater: f or w?
f
Let h be (2 - 25/5)/(3/2). Let s be h/(-3) - ((-448)/30 - 1). Which is bigger: 18 or s?
18
Suppose 7 = 2*x - 61. Let w = 39 - x. Is 0 > w?
False
Suppose 20*z = 14*z - 1128. Which is greater: z or -180?
-180
Let s(r) = 3*r**2 + 4*r - 1. Let b be s(-3). Suppose 5 = -5*k - 0*k, 3*l = k + 31. Which is greater: l or b?
b
Let p = -16577/54 - -307. Is 1 bigger than p?
True
Let s be 1/2 + (-30)/(-12) + -2. Is s greater than or equal to 2/21?
True
Let q = -129 + 129.4. Let p = -0.7 - -0.5. Let m = p + q. Is m greater than -1/4?
True
Let f = -472 - -470. Let b be ((-6)/(-4))/((-3)/6). Which is smaller: f or b?
b
Suppose -61*n = 23 + 38. Which is bigger: n or -52/21?
n
Let y be ((-15)/25)/((-3)/(-45)). Let i be (-21)/y + 8/12. Is 3 at least i?
True
Let q = -2/1715 + 2452/1715. Let w be (-2 - (3 + -5))/(-1). Which is bigger: q or w?
q
Let c(r) = 110*r**2 + 2*r + 4. Let p be c(-2). Which is smaller: p or 439?
439
Suppose -12 = s - j - 15, 4*s = -2*j. Is s > 2/275?
True
Let b be (-4)/(-56)*(-18)/(-3). Let o be 6 - ((-2)/(-2) - -2). Let f be (4 - (1 + o))/1. Is b less than or equal to f?
False
Let c = -2/573 + -61/764. Which is smaller: c or -13?
-13
Suppose -912*t + 907*t = -430. Are 3 and t equal?
False
Suppose 0 = 5*l + 2*l - 56. Let v be 4/l*-8 + 11. Which is smaller: v or 4?
4
Let c be (4 - -178)/2 - -4. Suppose 0 = -9*v - 49 - c. Which is bigger: v or -11?
-11
Let b = 79674/1315 - -3/263. Which is greater: 61 or b?
61
Let r be -2 - (18/(-10) - (-4)/(-20)). Suppose 3*i - n + 4 - 1 = r, -3*n = -3*i - 9. Is i equal to -1/25?
False
Let u = -0.28 - -0.3. Let t = 0.04 + u. Let c = -0.04 - t. Is c greater than -1.1?
True
Let s be (-4)/2 + 0/(-1). Let r(l) = 8*l**3 - 2*l**2 + 2. Let j be r(s). Let z be j/(-45) + -3 + 1. Is z greater than or equal to 0?
False
Suppose 235 = 2*q - 891. Is q at least 563?
True
Let c = -290387/11 - -26379. Is c <= -20?
False
Suppose -3*n - 14*i - 1 = -15*i, -5*n = 3*i - 17. Is -2/4513 greater than or equal to n?
False
Let l(b) = 3*b**2 + 44*b + 385. Let w be l(-9). Which is smaller: w or 0.1?
0.1
Let l = -6.554 - -62.614. Let z = 48 - l. Let o = z - -8. Which is bigger: o or 2/9?
2/9
Suppose 10*q = -238 - 402. Let a be -4*79/q + -4. Does a = 1?
False
Let w(s) = -2*s**2 + 141*s + 837. Let x be w(76). Let b = 2/93 + 61/1488. Is b not equal to x?
True
Let g be 2*3/4*2. Let u be (1 + (-5)/g)/((-2)/(-9)). Is 10 <= u?
False
Suppose -31 = 44*u + 13. Which is greater: u or -3/332?
-3/332
Let v = -549 + 515.15. Let d = v + 34. Let x = d - 0.16. Which is bigger: x or 1?
1
Let p(i) = -i**2 + 5*i + 10. Let v be p(7). Let x be 123/(-5) - v/(-10). Let g = 12 + x. Which is smaller: g or -14?
-14
Let p = 131 - 197. Let r = p + 65.46. Let i = r - 0.06. Is i bigger than -2/7?
False
Suppose 0 = 5*p + 25, 2*p + 25 = 5*f + p. Suppose -4*h + f*y - 6 - 34 = 0, 0 = -h + 5*y - 26. Let r = -14 - -9. Which is bigger: h or r?
r
Let z be ((-2)/(-6))/((-3)/27). Let r be ((-5)/(-3) - 2)*z. Is -1/3 greater than or equal to r?
False
Suppose -5*o + 2*o - 5148 = -4*m, 5*m - 4*o - 6435 = 0. Let n be m/4431 - (-6)/(-21). Let i = n + 413/1899. Which is smaller: -1/4 or i?
-1/4
Let m be 0 + (1 - 10/(-2)). Let i = 5 - 3. Let o be i/6*-2*m. Is 0.2 greater than o?
True
Let h = 97 - 68. Let o = h - 12. Is 19 bigger than o?
True
Let k = -56/97 - 261/388. Which is smaller: 7 or k?
k
Let v = -1245177/25622 - -1774/557. Let f = v - -91/2. Let d = 1 + -1.1. Which is smaller: d or f?
d
Let r = -327 - -326. Let d = -3/55 + -199/385. Is r at most as big as d?
True
Let k = 0.16 + -0.26. Is k at least -1.6?
True
Let b be (8/(-3))/(4 - 12826/3201). Is 388 > b?
False
Let n = -52 - -365/7. Let v(y) = -y + 1. Let k(i) = i**2 - 15*i + 14. Let m(p) = -k(p) + 5*v(p). Let l be m(9). Is n > l?
True
Suppose 0*c + 4*c = 44. Let n = 8 - -9. Suppose -n*y = -11*y. Which is smaller: y or c?
y
Let s be 26/10 + (-90)/150 - -170. Are 172 and s nonequal?
False
Let l(q) = -2*q - 19. Let w be l(-8). Let a be (w + -4 + 3)*4. Which is smaller: -15 or a?
a
Let f = -147 - -147.2. Is -127 less than or equal to f?
True
Suppose 272 = g - 18*g. Which is smaller: g or -17?
-17
Let b(j) = -5*j + 42. Let l(h) = h**2 - 7*h - 19. Let d be l(-3). Let u be b(d). Which is smaller: u or -10?
u
Let z = 30 - 17. Let p = z + -17. Is p less than -0.1?
True
Suppose 0 = 4*w - 3*g - 32, -g - 21 = -5*w - 2*g. Suppose 3*l - w*z - 20 = 0, 11 = 3*l - z - 17. Let v be l - (2 + (-4)/2). Which is greater: 11 or v?
11
Let r = -434 - -431. Let f be (3 - 1) + (-21)/5. Do f and r have the same value?
False
Let l be 2/(-4) + (-11)/(-10). Let k = 0.19 + -62.19. Let z = -65 - k. Is z greater than l?
False
Let n(l) = -10*l**2 - 62*l - 13. Let x be n(-6). Which is smaller: -10/17 or x?
x
Suppose -235 = -7*r + 2*r. Suppose 3*l + r + 12 = 5*a, -2*l = -4*a + 48. Let k = a - 11. Is k >= 2?
True
Let z(k) = k**3 + 10*k**2 + 25*k + 4. Let j be z(-4). Which is smaller: j or 170?
j
Let n = -146/207 + 8/207. Is -9/5 bigger than n?
False
Suppose 3*l - 13 = -91. Let d = l - -19. Let w(z) = z**2 + 9*z + 1. Let t be w(-8). Is t > d?
False
Let q = 21 - 1. Let t = -12131 - -12149. Which is bigger: t or q?
q
Let g = -1584151/7896 - -1605/8. Which is smaller: 1 or g?
g
Suppose 3*d - 7*d - 4 = 0. Suppose n + 0 - 1 = 0. Which is bigger: n or d?
n
Let c be (118/(-1626))/(2/138) - -5. Is c greater than 1?
False
Let j(q) = 4*q - 45. Let v be j(12). Suppose 3*l = 5 + 22. Let u be l/3*2/6. Which is smaller: u or v?
u
Let x be (-1372)/20 - 9/(-15). Which is greater: -66 or x?
-66
Let o = 23.46 - 6.66. Which is bigger: 1/3 or o?
o
Let d = -61.127 - -0.127. Let k = d + 60.9. Is k at least as big as 31?
False
Let w(m) = -m**3 - 15*m**2 - 29*m - 24. Let u be w(-13). Suppose -5*t + 25 = 0, 3*c + 7*t = 3*t + 50. Let x = c - u. Is -5 <= x?
True
Suppose 0 = -37*a + 484 + 1551. Which is smaller: 54 or a?
54
Suppose -6*n = -n - 200. Suppose -m - 130 = -135. Suppose w - 5*w - m*g = -n, -g = 5