3*f**2. Let b be p(14). Which is bigger: -15/2 or b?
b
Let a(u) = u**3 + 2*u**2 + 2*u + 3. Let k be a(-2). Suppose -6*h + 554 = -838. Let v be ((-6)/9)/(h/(-24)). Are v and k unequal?
True
Suppose 60*r = 65*r + 4*w + 160, 3*r - 5*w = -59. Which is greater: r or 0?
0
Suppose -3*v = g + 98, 5*g - 39 = -2*v - 126. Let w be 2*1 + (-25 - 8). Is v > w?
False
Let b(a) = -a + 11. Let f be b(-22). Suppose 2*g - f = -5*l, -6*g + g = -3*l - 5. Let t(i) = -i**2 - i + 5. Let p be t(0). Which is bigger: g or p?
p
Let r(u) = u**3 + 5*u**2 + 2*u. Let b be r(-3). Let k be b*3/24*2. Let l be k - (-1 + 24 + -2). Is l smaller than -16?
True
Let m = 1162 + -8170/7. Suppose -4*l - 10 = a, 5*l - 25 = 2*a + 3*a. Are a and m unequal?
True
Let j be -6 + (-744)/22 - 4/22. Is -43 <= j?
True
Let p(j) = j**3 - 4*j**2 + 3*j + 1. Let h be 4 + -1 + 8 + -8. Let q be p(h). Let a be (87/(-42) - -2)*4. Which is greater: q or a?
q
Let x = 30 + -393/13. Let o = 2 - 1. Is x smaller than o?
True
Suppose 4*w = -2*p - 10, 0 = -4*p + 2*p + 10. Let m = -3217 - -3216. Which is smaller: m or w?
w
Let p = -18.08 + 18. Let d = p + 1.58. Let c = -0.5 + d. Which is smaller: c or 2?
c
Let o = 116 + -44. Let n = o + -70. Which is greater: 15/11 or n?
n
Let w = 1327 - 1328. Which is smaller: -52 or w?
-52
Let t(n) = 28 - 9*n + 9*n - 17 + 2*n. Let m be t(-6). Is m < -8/17?
True
Let n be 4/14 + (-51)/7. Let u be (-5)/n - 4/(-14). Let t = 27/317 + 1767/1585. Is u bigger than t?
False
Let m be ((-14)/(-8))/(-1) + -14 + 15. Let y = 9 + -10. Let g(s) = -s**2. Let b be g(y). Is b less than m?
True
Let m = 0.309 + -0.009. Is -68 >= m?
False
Let i = -105.303 + -0.697. Which is smaller: i or 1?
i
Let z(c) = -c**2 + 29*c - 78. Let f be z(26). Are f and -13/68 equal?
False
Let d be (-4)/((-60)/(-27)) - 1. Let l be 6 - 2 - (21 - (3 - -2)). Let j(x) = -2*x**2 - 25*x - 14. Let w be j(l). Which is smaller: w or d?
d
Suppose -2*x - 695 = -7*x + 5*t, -3*t = 3*x - 387. Is 135 > x?
True
Let h = 53 - 52. Let z be h + 48/(-22) - 2/(-11). Is z less than 1/7?
True
Let i be -5 + 7 + (-485)/20. Is i < -23?
False
Let g(j) = j**3 + 3*j**2 - 2. Let r be g(-3). Let a be r + 4*15/12. Suppose 5*u = a + 7. Is 2 < u?
False
Let m be (2 + 76)*4/(-3). Let f be -1*(5 - 94/10) - 4. Are f and m unequal?
True
Let z be ((-1)/3)/((-16)/192). Suppose -z*b + 3*b + 6 = 0. Suppose -8 - 4 = -b*v. Which is greater: v or 4/7?
v
Suppose 0 = -s + 3*s - 8. Let l be 2 + (6 - s) + -4. Suppose -4*u = -l*u - 4. Which is smaller: u or 1/11?
1/11
Let x be 82/8 - (-2)/(-8). Let r = 0.3336 - 0.4336. Which is smaller: x or r?
r
Let w be ((-3)/(3/2))/(42/22419). Let p(m) = m**3 - 5*m**2 - 8*m - 3. Let g be p(-9). Let f = w - g. Are f and -4 non-equal?
True
Let w = -2.9 - -3. Let n = 107 - 53. Let b = 54.01 - n. Which is smaller: w or b?
b
Let v = 19 - 67. Let h = 55 + v. Which is greater: h or 0.2?
h
Suppose 0 = -5*y - 2*i + 23, -4*i = 2*y - 3*i - 10. Suppose 4*x + 0*x - 72 = 0. Suppose -6*f + 0 = -x. Is f less than y?
False
Let g(r) = -3*r**2 - 1. Let a be g(1). Let f(z) = 2*z - 22. Let x be f(10). Is a at most as big as x?
True
Let m = -34 - -144. Which is smaller: -1/4 or m?
-1/4
Let q = -4368541/47443 + -48/4313. Let p = 92 + q. Which is smaller: p or 1?
p
Suppose -5 = a - 0*a. Let y be 2/5 + 2/a. Suppose -3*q - 16 = 3*f - q, y = -2*f + 3*q - 2. Are -10/3 and f nonequal?
True
Let t = 14/5 + -1/20. Let v(w) = -w**3 + 8*w**2 - 5*w - 10. Suppose 3*i - 21 = -0. Let j be v(i). Is t smaller than j?
True
Let d = 2.417 - 2.285. Is -2/3 less than or equal to d?
True
Suppose -3*q + 12 = -9*q. Let g be ((-3)/q)/(10/(-40)). Which is greater: 2 or g?
2
Let j be (-3)/5*(70/12 - 6). Are j and 8/5 non-equal?
True
Let v = -0.044 - -3.444. Let x = -3.2 + v. Is x less than or equal to -0.1?
False
Let b = -43.923 - 0.077. Let n = b + 54. Which is bigger: n or -1?
n
Let d = 39.97 - -0.03. Let g = 40 - d. Which is smaller: g or -2.7?
-2.7
Suppose 5*g = -5*c + 5, 0 + 20 = -4*g. Let j be (-119)/(-273) + (-4)/c. Which is smaller: j or 1?
j
Suppose 16*s - 1371 - 10229 = 0. Is s >= 724?
True
Let i = -227 - -261. Which is greater: i or 6?
i
Let a(o) = o - 2. Let z be a(6). Let p be (z/((-8)/10))/(-1). Suppose 4*h = p*w - 6, -3*w + 3*h = -2*h - 14. Which is smaller: -1 or w?
w
Let c = -97.2 + 107. Let p = c + -10. Let s = 1.2 + p. Which is smaller: s or -0.9?
-0.9
Let y be ((-96)/20 + 5)/(-1)*-20. Which is greater: 64/15 or y?
64/15
Suppose -5*m = 4*u - 5, -4*m + 2*u - 2 + 6 = 0. Let j be m - (32/(-12))/(-4). Which is greater: j or -1/5?
j
Let y = -29699/9 + 9859/3. Is -2/3 less than y?
False
Let p be (-2205)/(-318) + (-21)/3. Which is smaller: p or -1?
-1
Let c(f) = -f - 1. Let a be c(-1). Let u be 3/(1/(-8 - -7)). Is u less than a?
True
Let h = -0.0313 - 14.6787. Let y = h + 14.7. Let b = -188 - -1314/7. Is y smaller than b?
False
Let g be (-54)/7 - (-1 - 27/(-21)). Let j = 1042/9 + -116. Which is smaller: g or j?
g
Suppose 0 = -2*q + 5*q - 15. Suppose -4 = -2*v + v + h, -2*v + 15 = q*h. Suppose -n + 8 = -v*n. Are n and -2/11 unequal?
True
Let m be (4/5)/(3/15). Suppose -m*s - 4*b + 67 = s, 0 = 5*s - b - 52. Suppose -5*k = w - s, 2*w + 14 = -2*k - 3*w. Which is greater: -2/3 or k?
k
Let i be 20/6 - 24/(-36). Let u be 2*i/24*3. Let h be 2 - (-1)/(11/(-27)). Are h and u non-equal?
True
Let t = -79 - -396/5. Which is greater: 2/5 or t?
2/5
Let i = -33 - -83. Let c = 0.583 - 0.483. Is c equal to i?
False
Let t be (1 - 2) + -4 + -9. Let q = t + 4. Let y be (0 + 1)*(-7 - q). Which is bigger: 1 or y?
y
Let r be ((-8)/3 - -3) + (-6354)/1566. Is r less than -4?
False
Let w be (15/9)/(2/(-6)). Let d(p) = -p**3 - 8*p**2 - 153*p - 1030. Let q be d(-7). Which is smaller: q or w?
q
Let s(y) = -y**3 - 6*y**2 - 4*y + 4. Let n be s(-4). Let m(g) = -g - 32. Suppose 0 = -v + 3*f - 13 - 12, -5*v + 4*f - 103 = 0. Let b be m(v). Is n < b?
False
Let v = 26 - 25. Which is bigger: 2/47 or v?
v
Let n be ((-9)/378)/(0 - 27/12). Which is smaller: n or -1/4?
-1/4
Suppose -6*k = 2*d - k - 107, -2*d + k + 77 = 0. Let x = d - 42. Does x = -15?
False
Suppose 224 = -2*w + 38. Let k be -2 - w/((-9)/3)*-1. Is k at most as big as 29?
True
Suppose 5*i - 30 = -0. Let c(v) = -3*v**2 - 10*v - 3. Let o be c(-3). Suppose -4*f + i*f - 8 = o. Which is bigger: 2 or f?
f
Let n = 1/272 - 145/272. Let b = -248/51 - n. Which is greater: b or -3?
-3
Suppose 2*n - 35 = -5*n. Suppose 2*u + 2*u - 3*m + 1 = 0, n*m + 5 = 5*u. Let p be (-292)/16 + (-1)/u. Is p > -20?
True
Suppose -23*d = 9 - 32. Let o be (-41)/39 + (-1)/(-1). Is o at least d?
False
Let k = -13 + 13.73. Let q = k - -41.27. Which is smaller: 2/5 or q?
2/5
Let t = -98 + 76. Is -22 not equal to t?
False
Let v be ((-2)/4)/(7/126). Let k be 6/(-4) + v/(-2). Suppose 4*z - k*x + 21 = -8*x, 3*z + 5*x = -22. Which is smaller: -4/19 or z?
-4/19
Let f be (-1)/(-6) - (-46)/(-204). Let u = -39 - -39. Which is greater: f or u?
u
Suppose -473 = 3*f - 2291. Let w be ((5 + -2)/f)/(2/(-4)). Which is smaller: w or 0?
w
Let v = -329 - -321. Is v smaller than 9?
True
Let j be 0/3 + (-2)/((-22)/231). Which is smaller: j or 16?
16
Let c(x) = -x**3 + 5*x**2 - x - 2. Let m be c(4). Suppose -5*n = -260 - 70. Suppose 10*s = 4*s + n. Is m greater than s?
False
Let t(i) = 4*i - 5. Let q be t(1). Let v be 1 - (50/(-8) + 4) - q. Which is bigger: v or 5?
5
Suppose -86 = 4*w - 2. Let f = -9 - w. Is 12 equal to f?
True
Let k(w) = -26*w + 30. Let r be k(-4). Suppose 4*s + 5*b + 131 = 9, -4*s + b = r. Is s < -32?
True
Suppose -3*j + 678 = -258. Let i be 48/j + (-2)/13. Which is bigger: -4 or i?
i
Let y be 1*4/(-14) - 237/(-756). Which is bigger: y or -2?
y
Let i(z) = z**2 - 4*z - 15. Let x be i(-3). Suppose x*d - d = 85. Is 15 > d?
False
Let o be (137/(-8631))/(2/6). Which is bigger: o or 0.03?
0.03
Let h(p) = -5*p - 15. Let g be h(-3). Suppose 3*r - 6 = 0, 0 = 2*z - g*r + 4*r + 58. Is z equal to 2/3?
False
Suppose 5*q = 2*s + 31, s + 0*s = -4*q + 17. Let h be (s/180)/(25/(-40)). Which is smaller: 0 or h?
0
Let a = -51 - -49. Let j be -2 + a + (6 + -1 - 2). Which is bigger: 5/11 or j?
5/11
Suppose 2*j = l + 14, 3*l = -4*j + 1 + 7. Which is smaller: -7/4 or j?
-7/4
Suppose 0 = 3*g - 2*m, -3*m = 3*g + 2*m. Let l(o) = 3*o - 5*o + g + 3. Let f be l(4). Do -5 and f have the same value?
True
Let n(v) = v**3