u + 2*u. Let z be n(u). Let f be ((-3)/(12/(-40)))/12. Which is smaller: f or z?
f
Let q = -3293 - -3350. Let m(h) = 57*h**2 + 1. Let n be m(1). Which is bigger: q or n?
n
Suppose 7*q + 6 = -1. Which is smaller: -6/49 or q?
q
Let q be ((-1)/(3 + 0))/((-153)/(-1836)). Does 3 = q?
False
Let g be (-7779)/(-780) + 40/(-4). Is g >= 0?
False
Let k = -1540 + 1428. Is k smaller than -0.3?
True
Let u be ((-12)/18)/((-14)/(-15)). Let s(b) = -b + 6. Let r be s(9). Let q be ((-2)/(-3))/(1/r). Is q at most as big as u?
True
Let y be ((-148)/8)/(4/6). Let s be (-1 + -11 + 10)*(-81)/(-6). Which is greater: y or s?
s
Suppose 0 = -4*b - 72 + 1204. Suppose m - 1 = 0, b = 3*h + 2*m - m. Let r = 286/3 - h. Is -2 greater than r?
False
Suppose 6*z - 325 = z + 5*v, 3*z = 5*v + 203. Suppose -z*f = -64*f + 18. Is 32/5 at least as big as f?
True
Let s be (-54)/(-135)*112/(-2)*-2. Let n = 5142/115 - s. Is -0.1 greater than n?
False
Let s(j) = 4*j - 206. Let h be s(31). Which is greater: h or -83?
h
Let m = -0.41 + 72.41. Let v = 71.9 - m. Which is smaller: -44 or v?
-44
Let w be ((-8)/326)/(-2 + 0). Suppose 497*a + 6 = 491*a. Which is greater: a or w?
w
Let v be -1*0*6/(-30) - 1. Is -1.06 greater than v?
False
Let k = 23 + -22.94. Let i = 15.94 + k. Let m = i - 14. Is 3/10 greater than m?
False
Let g = 7.8 + -9. Let l = 8.8 - 9. Let n = l - g. Is n not equal to 2/15?
True
Let z = -321 - -303. Is z >= -69/4?
False
Let h(v) = v**2 + 20*v - 57. Let r be h(-24). Which is smaller: r or 37?
37
Suppose -d - 13 + 3 = 0. Let b be (-2)/d + (-18)/35*-1. Which is greater: b or 2?
2
Let l = 26/307 + 70787/1535. Is l at least as big as 46?
True
Suppose 3*s + z = -12, -4 = s + 3*z - 0. Let l be 1*(4 - 5) - -2. Suppose -o = 4*w + 6, 5 = 3*o - l. Is w > s?
True
Let r = 1237/6045 - 14/65. Let q = r + 283/372. Which is smaller: q or -0.1?
-0.1
Let r be 2/22 - 234/2871. Which is bigger: r or 0?
r
Let j be (30/32 + 4/(-4))*-46. Is j <= 1?
False
Let i be 5 - 0 - 0 - 6. Let h = -17 - -12. Is i not equal to h?
True
Suppose -4*h = s - 6*s - 2238, -3*h - 2*s = -1690. Let u = h - 1672/3. Which is smaller: u or 6?
u
Let j = -1.988 - -1.088. Which is smaller: j or -82?
-82
Let p = -496 + 562. Suppose v + 132 = 3*v. Is v at least p?
True
Suppose 0*i - 4*i - 180 = 0. Let p = -222/5 - i. Let f = -0.7 + 0.7. Is p at least f?
True
Let w(z) = -5*z**3 + 9*z**2 - 13*z + 7. Let a(b) = -b**3 - b. Let q(h) = -4*a(h) + w(h). Let i be q(8). Which is bigger: i or -6/17?
-6/17
Suppose 277 = 7*l - 304. Let p = l + -81. Let w be -1*1/(-2)*2. Is w != p?
True
Let f = -13 - -19. Let s be (-5 - -5)*3/f. Suppose s*d + d = -9. Is -9 bigger than d?
False
Let x = 41.71 - 53. Let n = x - -0.29. Let m = n - -11.2. Is 2/3 > m?
True
Let s be ((-9)/(-3))/(1*(-1)/8). Let w be 1*3*1/s. Is 0 != w?
True
Let p be (-30)/165 - 942/22. Which is smaller: -392/9 or p?
-392/9
Let i be ((-186)/217)/(3/(-8568)). Is 2449 > i?
True
Let l be -2*(-5 - -6)*4/8. Is l greater than -9/32?
False
Suppose 12*p - 13*p + 18 = 0. Let q be p/(-72)*(-126)/(-4). Is q greater than -7?
False
Let f be 136/238 - 24/(-7). Does 4 = f?
True
Suppose -9*f + 53 + 82 = 0. Is f at most as big as -2?
False
Suppose 2*p + 3*p + 310 = 0. Let g be (-105)/(-6)*15*(-54)/225. Which is bigger: g or p?
p
Suppose 0 = 4*h - 5*k - 270, -4*h - 2*k + 214 = -h. Suppose -20*g = -10*g + h. Which is smaller: g or -4?
g
Let a(u) be the first derivative of u**3/3 + u**2 - 3*u - 2. Let y be a(-4). Suppose -y*g - 2*g = 0. Which is greater: g or 2?
2
Suppose 16*x - 69*x - 17543 = 0. Which is smaller: x or -334?
-334
Let z = 21 + -20. Let y = -0.3 - z. Let v = y + 1.2. Which is bigger: 6 or v?
6
Let f be 69/(-135) - 4/(-10). Let d be (-36)/126 + 234/(-14). Let a = -16 - d. Do f and a have the same value?
False
Let s be 1 + -3 + (14 - 8). Suppose 5*t - 5*q - 5 = 0, 3*t - 1 = s*t - 2*q. Let u be 272/90 + 8/(-36). Is u at least t?
False
Suppose 252 = 41*v - 48*v. Which is smaller: -35 or v?
v
Suppose 0 = 5*s - 1712 + 1707. Which is smaller: -16/133 or s?
-16/133
Let a(h) = -11*h - 19. Let n be a(-2). Which is greater: 16 or n?
16
Let l(q) be the third derivative of q**5/60 + 5*q**4/24 - 3*q**3/2 - q**2. Let w be l(-7). Let b be 5*(-8)/((-24)/3). Do b and w have the same value?
True
Suppose 4*s - 3*j = -5 + 35, 5*s - 3*j - 36 = 0. Suppose s + 2 = -8*c. Which is bigger: c or 3?
3
Let s(v) = v**3 - 4*v**2 - 33*v + 7. Let a be s(8). Is a at least 246?
False
Let j = -190 - -410. Let q = 2422/11 - j. Let z(g) = g - 9. Let w be z(9). Which is smaller: q or w?
w
Suppose -21 = 29*j + 8. Are j and -1/55 non-equal?
True
Let v = 0.161 - 2.161. Which is greater: v or 0.003?
0.003
Suppose -13*z + 13 = -1339. Is 105 at least as big as z?
True
Let i(n) = n**3 + 4*n**2 - 13*n - 51. Let f be i(-4). Which is smaller: 4/227 or f?
4/227
Let q = 1 + -3. Let x(v) = -2*v**3 - 22*v**2 + 2*v - 18. Let z be x(-11). Let j be q/4 - 4/z. Is j at least as big as 0?
False
Let f = 24 - 13. Let p be (-3 - f/(-1))/1. Suppose -3*i - 2*s - s = -12, -3*s = 9. Is p at most as big as i?
False
Suppose 7*n = 2*n + 20. Let a(d) = -2*d**2 + d**3 + 3*d - 2*d + 5*d**3. Let k be a(1). Which is bigger: k or n?
k
Suppose -9*h + 6*h = -120. Suppose -4*i = -3*v - v - h, 0 = -5*i - v + 56. Is i bigger than 11?
False
Suppose -2*w - 4 = -2. Let t = -698/583 + -4/53. Is w smaller than t?
False
Suppose -3*a - 57 = 2*h, 96 = -4*a - 2*h + 6*h. Let t be (104/39)/((-2)/15). Is t at most as big as a?
False
Let p = 247 + -229. Do p and 20 have the same value?
False
Suppose -5*q + 10 = 0, -2*b + 2*q + 8 = q. Suppose -f + 24 = 2*l - 3*f, 2*l - b*f - 21 = 0. Let m = 14 - l. Is m at least -2/29?
True
Let b(f) = -15*f**2 - 243*f + 2. Let d be b(-16). Suppose 0 = 7*q - 2*q - 255. Which is greater: d or q?
q
Let p = 0 - -0.2. Let o = p + -0.2. Let g = 5793 - 17383/3. Is o greater than or equal to g?
True
Let q(f) be the third derivative of f**4/24 - 7*f**3/3 + 14*f**2. Let d(p) = -p**2 + 8*p - 2. Let z be d(6). Let o be q(z). Is o at most -2?
True
Let w = -0.087 - -0.847. Let o = w - 3.76. Which is smaller: o or -2/15?
o
Let t = -0.0256 + -27.9744. Let a = 25.73 - -1.67. Let d = t + a. Which is smaller: d or 1?
d
Let d = -4.54 - -1.54. Is d less than or equal to 73?
True
Suppose 0 = -175*z + 182*z + 469. Which is bigger: -69 or z?
z
Let i be ((-105)/30)/(26/32). Are -3 and i nonequal?
True
Let l be (54/15)/(-9) + 642/5. Is 127 at most l?
True
Suppose -2*t - 3*m = 30, -18 = t + m + 2*m. Let j be ((t/(-50))/(-3))/(8/(-16)). Which is smaller: j or 1?
j
Let s = 28 + -28. Suppose 6*o = -s*o + 60. Which is greater: o or 11?
11
Suppose 5*n - 16 = 4*y, -3*n + 0*y = 4*y - 16. Suppose 3*h = -t - 5, 3*t = -2*h + 5*h - 3. Let w = n - h. Which is smaller: w or 4?
4
Suppose 119*t = 109*t - 90. Which is bigger: t or -1.3?
-1.3
Let l be -96 + 5 + -2 + 5 + -7. Is l at least as big as -95?
True
Let b be ((-5)/10)/(13/754). Is -2 bigger than b?
True
Suppose 47 = 6589*s - 6588*s. Which is smaller: 23 or s?
23
Let s(b) = 5*b**2 - 10*b + 1. Let v be s(2). Are v and 3/811 nonequal?
True
Suppose -3*s + 7 = -5. Suppose s*r + d - 25 = 0, 5*r - 43 = r + 5*d. Let i(h) = -h**3 + h**2 + 2*h + 1. Let o be i(-2). Is o less than or equal to r?
False
Let s = -1.4 + 8.4. Let h = 285 + -274. Let j = s - h. Are -1 and j unequal?
True
Let g = -87.06 - -87. Which is smaller: g or -4/13?
-4/13
Let z = -38 + 40. Suppose 0 = z*u - 2 + 2. Are -12/13 and u unequal?
True
Let g = 265/2 + -1373/10. Is g > -5?
True
Suppose -o = -4*o - 12. Let d be (-3 - 82/(-30)) + o/10. Which is greater: d or -2.4?
d
Suppose 0 = -5*l - 5*z - 15, -3 = -2*l + 6*l + z. Is -33 smaller than l?
True
Let a be (-4)/(-8) + 90/4. Let c = -526 + 527. Are c and a equal?
False
Let y = -274 - -322. Is 48 <= y?
True
Let q = -727 - -390. Let y = q - -339.94. Let n = y + -3. Is n equal to 1?
False
Suppose 4*n = 3*h - 35, -4*h + 4*n + 40 = -0*h. Suppose 0 = 3*w - 2*p + 26, h*w - 2*p + 48 - 6 = 0. Let j be 8/20 - w/(-20). Which is smaller: 5 or j?
j
Suppose 3*q - 1 = -28. Let m = 30 - 14. Suppose z - m = 3*z. Which is bigger: z or q?
z
Let h = 204 + -200. Is h bigger than 28?
False
Let a = -7 - -10. Suppose a*b - 8 = -b. Is b < -3?
False
Let q(z) = -z**3 - 25*z**2 - 23*z + 8. Let g be q(-24). Let m be (-32)/6*(3 + 0). Is m at least g?
True
