i - 223. Let s = i + 61. Which is smaller: 2/105 or s?
s
Suppose -4*m = 2*n - 4, 5*n + 3 = -m - 5. Suppose -44 = -4*a + 3*j, m*a + 5*j - 20 = -3*a. Which is greater: 5 or a?
a
Let m be 1/(-2)*4/(-2). Let o be 5/(5/3)*m. Let q be (-2)/(-1 + 31/o). Is 1 <= q?
False
Let p be (135/10 - 5)/((-1)/38). Which is smaller: p or -324?
-324
Suppose 5*p - 38 = -3*z, 5*z - 120 = 6*p - 3*p. Are z and 19 equal?
False
Let j = -4 - -3.65. Let g = -2.48 - -2.58. Is j <= g?
True
Let q(o) = -20*o - 181. Let b be q(-9). Which is smaller: -1/213 or b?
b
Suppose -65 = 3*t - 5*o, 4*o + 12 + 32 = -4*t. Does t = -63?
False
Let j(f) = -f**3 + 4*f**2 + 21*f + 3. Let x be j(7). Let v(z) = z**2 - 3*z - 1. Let n be v(x). Which is bigger: -2/57 or n?
-2/57
Suppose 4*s - 448 = -112. Suppose 6*r - s = -24. Suppose 0 = 3*m - 5*m + 20. Is r greater than m?
False
Let b be (3 - 0) + (-1457)/456. Let s = 4/57 + b. Suppose 4*v = -2 - 2. Which is smaller: s or v?
v
Let g(c) = -6*c + 144. Let d be g(14). Is d at most 59?
False
Let k = 20.97 + -21. Let p = -9.07 + k. Let l = 9 + p. Which is greater: 2 or l?
2
Let n be (-5)/(30/63)*12. Let b be 120/n - 2/(-3). Which is greater: 0.4 or b?
0.4
Let x = -0.57 - -0.589. Let y = x + -34.019. Which is bigger: -1/2 or y?
-1/2
Let v = 3.56 - 36.76. Let y = v - -33. Is 1/3 > y?
True
Let c(t) = 2*t**3 + 14*t**2 + t + 11. Let p be c(-7). Suppose -4*j - 4 + 20 = p*i, 0 = 5*i + 3*j - 10. Is i at most as big as -3/22?
True
Suppose -86 = -3*j - 80. Suppose 0 = -3*f + j*x - 4, 0 = 2*f - 3*x + 2 - 1. Are 0.2 and f equal?
False
Let t = -105.607 + 0.607. Which is bigger: 2 or t?
2
Let u be 6 + (-10)/(-6)*-3. Are u and -3/29 non-equal?
True
Suppose -2*a = 4*n + 3118, -39*a - 1553 = -38*a - 4*n. Is a greater than or equal to -1557?
True
Let g be (-1 - 1)/(-2) + 23. Suppose 3*u - 7 = -1. Suppose 2*f + 104 + 23 = 5*v, -u*v = -f - 51. Which is smaller: g or v?
g
Let o be 15*4*(-4)/(-16) + 1. Is o at least 20?
False
Let r(g) = -g**2 + 6*g + 14. Let y be r(6). Let s = y + -8. Is 1 at most s?
True
Let s = -1606 - -1405. Which is greater: s or 2/3?
2/3
Suppose 6510 = -93*s + 79*s. Is -464 <= s?
False
Let k = 0.4 - 3.4. Let y = 6602/3 - 2164. Let g = 37 - y. Is k < g?
True
Let n be 4*(3/(-222))/(-1). Let v = 0.539 + -0.539. Is n < v?
False
Suppose 14 = 4*n + 74. Let g be (-9)/(-15) - 134/(-10). Let x = g + n. Which is bigger: -2 or x?
x
Let c(l) = l**2 + 15*l - 3. Let a be c(-14). Suppose -3*o = -15, 19*o - 52 = 3*r + 20*o. Are r and a equal?
False
Suppose -46 = w + 4*j, 4 = 5*j - 16. Let z = w + 64. Which is smaller: 8/11 or z?
8/11
Let r be (1*(-2)/6)/((-2)/(-6)). Is r >= -4/43?
False
Let r = -65 + 66. Which is greater: r or 2/787?
r
Suppose 2*v = 2*b - 12, 6*v = 2*v - b - 9. Let q(j) = j + 2. Let g be q(v). Let o be 4/(-14) + (-10)/14. Is g smaller than o?
False
Let c(y) = y**3 + 12*y**2 - y - 12. Let j be c(-12). Suppose j = 5*z - 6*z + 1. Let m be z/(-2 - -1)*-1. Which is smaller: m or 2?
m
Suppose 4*k - q - 2 = 0, -5*k = -2*k + q - 5. Let b be (4 + 16/(-4))/k. Suppose h + 2 = -h, -3*u - 3*h = b. Is u at least as big as 12/13?
True
Let w = -9 - 11. Let z be (4/4)/((-3)/63). Which is greater: z or w?
w
Let g = -0.2 - 0. Let u = g + 1.2. Let v = 478 + -6217/13. Is v at most as big as u?
True
Suppose -5*h = 3*z - 11, 5*h + 24 = -0*z + 2*z. Let v = 19 - z. Let y be (-45)/v*2/(-4). Which is smaller: 3 or y?
y
Let x be (2/7)/(4/3382). Let g = x + -241. Is g <= 1?
True
Suppose 8*j = -1996 + 188. Is -225 at most as big as j?
False
Let z = 19.16 + -0.16. Let h = -13 + z. Let j = 62/177 - 1/59. Is j greater than or equal to h?
False
Let v be 3*1 + (-12)/2. Suppose 3*m + 12 = -3*c, -2*c + 36 = -6*c + m. Let i be (-5)/(-25) + c/10. Which is greater: v or i?
i
Let k be ((-44)/110)/((-4)/(-10)). Which is smaller: k or 3/1669?
k
Suppose -2*f - 1110 = 5*r - 342, 0 = -2*r - f - 307. Do r and -155 have the same value?
False
Suppose -3*s + 4*y - 34 = 0, 3*s = 3*y + 10 - 40. Let l = 3 - s. Suppose -p - 63 = 4*o, 43 = -3*o + 4*p - l. Which is smaller: -15 or o?
o
Let g(n) = n**2 + 4*n + 2. Let f be g(-4). Let x(m) = 4*m - 7. Let l be x(3). Suppose l*p = 3*p. Do f and p have the same value?
False
Let v = 262 - 378. Let t = v - -117. Which is bigger: -1/31 or t?
t
Let a be ((25/15)/5)/((-1)/(-18)). Suppose -q = -7 + a. Let h be 52/32 + (-4)/2. Which is greater: h or q?
q
Let y be 1*12*(-3 + 30/12). Which is bigger: 9 or y?
9
Let w be 264844/(-93002) - 4/(-26). Is -3 at most w?
True
Let f be (-156)/(-21) + ((-114)/21 - -5). Is f less than or equal to 6?
False
Let u = 1139/16 - 71. Which is smaller: -6 or u?
-6
Let x(b) = -16*b**3 - 2*b**2 - 10*b - 3. Let q be x(-2). Which is smaller: 138 or q?
q
Let k = -15152/3039175 + 2/7151. Are k and -0.1 unequal?
True
Let n = 164 + -56. Does 106 = n?
False
Let a be 62/(-38) + (-40)/(-14 + 6). Is a smaller than 2?
False
Let w(q) = -q**2 - 9*q - 2. Let j be w(-9). Let o be ((-10)/(-4) + j)*-2. Let b be 8/90*40/(-16). Which is smaller: o or b?
o
Suppose -2 = 3*l - 2*l. Suppose -3 + 31 = 4*p. Suppose -s - p + 5 = 0. Is l at most as big as s?
True
Let p = 35.9 - 35.8. Which is greater: 4 or p?
4
Let d = 86 + -70. Suppose -12*w + 104 + d = 0. Are w and 9 non-equal?
True
Let q = 2.4 - 4.5. Let n = 3.3 + q. Let a = 0 + n. Is 1 at most as big as a?
True
Let m = 650 + -650.248. Which is bigger: m or -1/5?
-1/5
Let w = 2100 + -2060. Is 18 at least w?
False
Let h be 1/17*(-8 + 9 + 9). Are h and 0 nonequal?
True
Let x = 399 + -204. Is 195 less than x?
False
Let j = 1496/5835 - -4/389. Let i be (-3)/(1/(-4)*6). Suppose 0*v - 2*g + i = 2*v, -3*g = 0. Is j greater than or equal to v?
False
Suppose 104 = 8*t - 2120. Let o = t - 7783/28. Are o and 0 non-equal?
True
Let u(j) be the first derivative of -j**3/3 + 2*j**2 - 3. Suppose -4*x + 11 = 5*r, -4*x = 2*r - 3*x - 5. Let l be u(r). Which is smaller: l or 5?
l
Suppose 0 = g + 3*f + 4 + 11, -3*g + 5*f + 25 = 0. Which is smaller: g or -34/45?
-34/45
Let l be (-20)/3 + 4 - (-1)/(-2). Does l = -2?
False
Let n be (-3)/2*63/378. Is -0.146 bigger than n?
True
Let s = -1176 - -1271. Which is bigger: 1 or s?
s
Let p = 29543 + -29543. Let h be (-4)/(-6) + 4/10. Is h < p?
False
Let y be 366/(-4)*(-32)/48. Is 71 at least y?
True
Let d = 3 + 51. Let j = -54.2 + d. Which is smaller: 13 or j?
j
Suppose 2*u - 27 = -17. Let c be -5 + 7 - 5 - 3*u. Which is bigger: -14 or c?
-14
Let d = -59 - -63. Suppose -2*b - z = -11 + 2, 5*b - d*z - 16 = 0. Which is smaller: 5 or b?
b
Let k = -11512/21065 + 2/1915. Let i be (3/(-3 - 0))/(-1) - -2. Let h(w) = 3*w - 9. Let m be h(i). Which is smaller: m or k?
k
Let p = -87365/21 + 4161. Which is greater: p or 2?
2
Suppose 4*h + 3 = -5. Let p be (h + 2)/(3/(-3)). Let s = -29/220 + 5/44. Is s > p?
False
Let v(a) = -a**3 - 5*a**2 - 2*a - 6. Let o be v(-5). Let s(p) = -p + 2. Let j be s(o). Let z = -16 - -14. Is j greater than z?
False
Let j = -6235/6 + 1040. Is j >= 2?
False
Let b be 23*3/(-15) + 7 + -4. Are -2/3 and b equal?
False
Suppose -2*j + 3*j = 12. Let h = 0.07 - 0.12. Let i = h - -0.15. Do i and j have different values?
True
Let j be (-1 - -2)/(8/16). Suppose 3*m - 3*q = -8*q + 3, -j*m + 2*q + 2 = 0. Which is greater: 2/173 or m?
m
Suppose 5*i = n + 63, 0*i - 4*n - 36 = -2*i. Suppose -i = -4*u - 0*u. Let q be (-3 - 6/(-12))/((-2)/4). Is u < q?
True
Let n = 0.39 - -15.61. Let c = n - 13. Which is greater: 5 or c?
5
Let m(h) be the second derivative of -h**4/12 + h**3 - 5*h**2/2 - 37*h. Let j be m(5). Are j and 4/15 equal?
False
Let m = 0.006 + -10.006. Let j = 10.121 + 0.079. Let w = j + -10. Which is bigger: w or m?
w
Let m be 1*((-5)/(-5) + 2). Suppose 31 + 62 = -m*y. Which is smaller: -30 or y?
y
Let o = 5334151 - 165334348/31. Let u = o + -785. Let f(b) = -b**2. Let k be f(1). Is u at most k?
False
Let n = -119 - -335. Does 217 = n?
False
Let h be (-23)/5 + 24/40. Let x be 44/15 - h/10. Which is greater: 2 or x?
x
Let w = 9.5 - -32.5. Let h = 18 - w. Let s = h - -25.6. Which is smaller: 1/3 or s?
1/3
Suppose 0 = -4*m - 21 - 27. Let v(y) = y**3 - 8*y**2 - 5*y + 29. Let h be v(8). Which is bigger: m or h?
h
Let z = 64 - 65. Let m be ((-145)/(-464))/(z/(-4)). Is 2 > m?
True
Suppose 0 = 4*m - 6*m - 2*p + 18, 3*p + 8 = 2*m. Let u = m - 9. Which is smaller: -2/5 or u?
u
Suppose -f - 2*v + 6