-9
Let x = 117.1 - 94.16. Let l = -23 + x. Which is smaller: -5 or l?
-5
Let k = -2.2 + 2. Let z = 13039 + -195659/15. Let u = z - -23/5. Which is greater: k or u?
k
Let i(r) = 4*r - 21. Let b be i(6). Suppose -5*z + 2*o = 178, -4*z - 75 = -2*z + b*o. Which is bigger: -37 or z?
z
Let k = 3 + -2. Let v = -156 - -180. Is v >= k?
True
Let r = 145 + -312. Is 0 less than r?
False
Let f be 2 + ((-16)/48)/(2/6). Which is bigger: -39 or f?
f
Let s = -0.0578 - 0.0395. Is s <= 0?
True
Let z = 1280/33 + 193/11. Which is greater: 57 or z?
57
Let t = -23871/11 - -2170. Does 24 = t?
False
Suppose -7*o + 8*o = 0. Let b be (-37)/(-13) + (-2)/(-13). Suppose o = -3*x + 5*k, 21 = b*x - 0*x + 2*k. Which is smaller: x or 4?
4
Let a = 235.7 - 248. Let d = -0.3 - a. Let x = d + -13. Which is greater: x or 3?
3
Let d(x) = -7*x + 2*x + 14 + 12*x + 15*x. Let u be d(2). Are u and 58 equal?
True
Let s(d) = 39*d - 2. Let n be s(-1). Let g = 29 + n. Let m(u) = u**3 + 13*u**2 + 11*u - 11. Let f be m(g). Which is greater: -11 or f?
f
Let h(i) = 12*i + 33. Let q be h(10). Which is smaller: 154 or q?
q
Let p(b) = -b**2 + 3*b + 9. Let o be p(-2). Which is greater: -29/23 or o?
o
Let x = -8 + 23. Let d(m) = -29*m + 115. Let l be d(4). Is l at least as big as x?
False
Suppose -5*a = -x + 25, 4*x - 4*a = a + 40. Suppose 0 = -x*u + 3*u - 6. Is u >= 2?
False
Suppose -17 = 3*k - 59. Suppose 44 = -k*j + 18*j. Which is smaller: j or 12?
j
Let i be ((-12)/(-9))/((-2)/(-3)). Let z be (-4944)/4347 - i/(-9). Let k = z + 4/69. Are k and -2 equal?
False
Let r = 164.58 + -165. Let s = -217/3 + 73. Is r smaller than s?
True
Let t be 71 + (8 - 9)*1. Which is greater: t or 72?
72
Let d be 45/10 + 1/(-2). Suppose 0*h = h + z - 7, -3*h = -d*z + 7. Which is bigger: 18/7 or h?
h
Let m = -527 - -526. Is 6/139 smaller than m?
False
Let p = -167 + 174. Which is greater: p or 9?
9
Let m(d) = -313*d - 7. Let r be m(-7). Let k be 3/7 + (-894)/r. Which is greater: 1 or k?
1
Let k = 7 - 3. Let f be k/(-10)*(-5 - 10). Suppose -f = -2*s + 20. Is 13 greater than or equal to s?
True
Let s(f) = f**3 + 8*f**2 - 10*f + 3. Let h be 160/(-18) + (-1)/9. Let i be s(h). Which is greater: 25/2 or i?
25/2
Suppose 232 = -15*c - 638. Is -53 bigger than c?
True
Suppose -2*a - 3*i = -31, 3*a - 13 = -i + 23. Suppose s - z + 1 = 0, -3*z = s + 4 - a. Does -1 = s?
False
Let f = 38.76 - -0.24. Let o = -11 + f. Let u = o - 28.3. Which is bigger: 2 or u?
2
Let m(r) = r + 8. Let x be m(-6). Suppose -j = -x, 0 = 5*l - 2*j - 5 + 39. Which is bigger: -3 or l?
-3
Let s(i) = i - 11. Let y(n) = 2*n**3 - 2*n**2 - 2*n + 2. Let x be y(2). Let b = 20 - x. Let k be s(b). Is -7 at least k?
False
Let z = 2223 - 915877/412. Which is bigger: 1 or z?
1
Suppose -121 - 359 = 10*y. Let i(h) = 2*h + 2. Let j be i(-3). Let r be (j*9/y)/(-3). Is -4 smaller than r?
True
Let k = 2 + 2. Suppose -t + 8*g = 3*g + 16, k*t = -3*g - 18. Which is smaller: t or -8?
-8
Suppose -4*r = -8*r + 8. Suppose w = -r + 4. Let u be -2 - -4 - 4/w. Is -3/7 less than u?
True
Suppose 5*c = g - 94, 0 = 2*c - 5*g + 2*g + 35. Is -21 <= c?
True
Let f = 1537 - 1537. Is f <= -14/193?
False
Let i = -4233/2 + 2165. Which is bigger: 50 or i?
50
Suppose 0 = -3*y + 4*b - 0 - 6, -3*b = y + 2. Let r(h) = h + 2*h**2 + 0 + 3 - h**3 - 5*h**2. Let m be r(y). Is -2 at most as big as m?
False
Let g = 1015 + -1031. Are g and -13 nonequal?
True
Let n = -804 - -838.93. Let h = n - 35. Which is smaller: 0.1 or h?
h
Let l = -1/175 - -178/525. Which is smaller: -1 or l?
-1
Let k be (-750380)/(-143759) + 6 + -10. Let c = 2/1867 + k. Let z = -15/11 + c. Which is bigger: 1 or z?
1
Let c be 49/6 - (-2)/(-12). Let s(v) = v**3 - 7*v**2 - 8*v + 1. Let y be s(c). Let j(p) = -4*p - 1. Let z be j(y). Which is smaller: -4 or z?
z
Suppose -3*n - n = 20. Let p = -10348.1 - -10348. Which is smaller: p or n?
n
Let a = 206 - 202. Are -4 and a unequal?
True
Let b = -13 - -12.81. Let s = 0.15 + b. Which is greater: s or -1/3?
s
Suppose -2*o = -5*n + 2, n - 25 + 3 = -5*o. Let x be 2 - 0/o - 38/6. Is x at most as big as -5?
False
Suppose -5*p + 17 + 7 = -3*d, 2*p = 6. Which is bigger: -25/11 or d?
-25/11
Let w = 883 + -384. Suppose -w = -17*p + 759. Which is greater: p or -1?
p
Suppose 3*l - 4*l - 282 = 0. Let y be l/15 - 24/(-30). Suppose 3*c = -2*c - 85. Which is greater: c or y?
c
Suppose -3*s = 5*v + 22, 0 = -s - 3*v - 7 - 3. Let o be 1*-2 - (-1 + -4). Suppose 1 - 13 = o*f. Is s less than or equal to f?
True
Let i = 1.202 - 16.002. Let o = -28 - -13. Let m = o - i. Do 1/3 and m have the same value?
False
Suppose 212 = 3*m - 4*p, -5*m - p + 364 = -5*p. Suppose 5*y - m - 14 = 0. Is y at least 17?
True
Let i be -1 - ((-10 - -3) + 3). Let v = i + -5. Let g be 1 + 13*v/10. Which is greater: g or -3?
g
Let u = -346 - -194. Let i be (-2492)/u + 4/38. Is i not equal to 17?
True
Suppose -g = -3*g + 8. Let k = 192 + -130. Let t = k + -58. Is t != g?
False
Suppose -c + 6*c - 76 = t, -4*t = 3*c - 41. Suppose 4*d + 68 + 172 = 0. Let r be c/6*(-2)/d. Which is greater: r or 0?
r
Let z = -10.05 - -9.95. Are -2/309 and z non-equal?
True
Suppose b + 3*n = 5*b - 65, -3*b - 2*n = -36. Let p = 36 + -22. Is p smaller than b?
False
Let p = 1653 + -1981. Does -328 = p?
True
Let t(w) = -15*w**2 - 5*w - 5. Let y be t(-4). Let c be ((-713)/74)/(y/10). Let l = -3/185 - c. Which is smaller: l or 1?
l
Let j be 1 + (-3)/((-3)/(-4)). Let a(d) = 14*d + 3 - 3*d - 12*d. Let g be a(6). Is j at least g?
True
Let t = 151 + -252. Let j = t - -31. Let i = 45 + j. Is -26 greater than i?
False
Suppose -35*j - j = 47*j. Which is smaller: 2/2753 or j?
j
Suppose -13*s - 5*s - 18 = 0. Let j be (0/1 - -2)/2. Let p be 2 + 23/(-21) - j. Which is smaller: p or s?
s
Let u = 0.482 - 0.012. Let a = -0.37 + u. Let b = 1 - 1. Which is bigger: a or b?
a
Suppose -p + 58 = 4*m, -2*m - 5*p = -477 + 439. Suppose 3*r + 3*a + 14 + 7 = 0, -4*r - 2*a = 20. Which is smaller: m or r?
r
Let t = -1137 + 2273/2. Is t > -0.126?
False
Let s = -4 - -4. Let l = 202 - 3233/16. Is l at least s?
False
Let y be 763/109*-2*(-1)/203. Which is bigger: y or 0?
y
Let k(a) = 4*a**2 + 69*a - 44. Let n be k(-18). Do 13 and n have the same value?
False
Suppose -110 = -3*k - 5*a, 5*k - 2*a - 142 = -0*k. Suppose 4*q + q = k. Which is bigger: -2 or q?
q
Let f(b) be the third derivative of -b**5/30 - b**4/6 - 4*b**3/3 - 8*b**2. Let d(y) be the first derivative of f(y). Let s be d(-4). Are s and 13 equal?
False
Let r = 0 - -2. Suppose -g + 2*t = 3, 0 = -3*g + 3*t - 8 + r. Let d = 504 + -1009/2. Which is smaller: g or d?
g
Suppose 0 = 11*i - 8*i - 36. Is i equal to 12?
True
Suppose -4*p + 2*p + 4 = 0. Suppose p*s = 4*s. Let j = 6 - 11. Do s and j have different values?
True
Let x(k) = -k**2 + 20*k + 34. Let w be x(20). Which is greater: 33 or w?
w
Let w = 16.028 - 16. Let z = 0.072 + w. Which is smaller: z or 4.7?
z
Let w = 114 - 115. Which is smaller: -0.055 or w?
w
Suppose -2*q + 10 = -a + 3*a, 5*q = -4*a + 20. Which is greater: q or -12/25?
q
Let x = -4120/7 - -24947/35. Which is smaller: x or 123?
123
Suppose 2*k = 5*z + 12, 0 = -2*k - 0*k + 2*z. Let q be (-2)/((-6)/k + 3). Suppose 3*u - 9 = -6. Is q less than u?
True
Suppose 5*t - 6*t + 4 = 0. Suppose -t*p = -p + 6. Is p less than or equal to -2?
True
Let g = 1/3286 + -5780/96937. Is -1 >= g?
False
Let u be 0 - 4 - 116/14. Is u equal to -13?
False
Suppose 2*u - 12 = 2*t, -23*t + 2*u = -24*t + 6. Let c(i) = -2 + i - 6*i**2 + 5 + 0*i**2 - i**3. Let g be c(-6). Is t at least g?
True
Suppose 3*k + 8*k = -1287. Which is smaller: k or -121?
-121
Suppose -7*f = -2*f - 10. Let l be ((-6)/(-72))/((-9)/f). Which is smaller: l or 0?
l
Let y be (-36)/44 + (-8)/44. Let p = 1/1226 - 7411/67430. Is y smaller than p?
True
Let l be ((-15)/5)/((-3)/(-8)). Which is smaller: l or -7?
l
Suppose 0 = 3*x + 2*x. Suppose x = 2*y + 4*p - 18, -y + 5*p - 2 = 10. Suppose -y*f = f + 4. Is 2/5 at most as big as f?
False
Let o(z) = -z**3 + 3*z**2 + 29*z - 89. Let r be o(3). Which is smaller: r or -0.0579?
r
Let u be 1/(-6 - -4)*6. Which is greater: u or -30/13?
-30/13
Let d = -1303/8 + 3925/24. Let z = 3.027 + 0.073. Which is smaller: z or d?
d
Suppose 418 - 211 = 69*b. Let z = 3 - 2. Is z > b?
False
Let f = 367 + -511. Are -141 and f non-equal?
True
Let z = 33.4 + -33.3. Which is