 Let f(u) = 4*u**3 - 12*u**2 + 9*u + 14. Let i(d) = 5*c(d) - f(d). Let k be i(q). Which is smaller: 0 or k?
k
Suppose 20*d + 685 = 15*d. Which is bigger: d or -138?
d
Let t(g) be the third derivative of 0*g + 0*g**3 - 1/8*g**4 + 4*g**2 + 0. Let u be t(1). Is u < -4?
False
Let k be (-1)/(-2) + 1 - 20/40. Let d be (-5)/40*(-38)/k. Which is smaller: 5 or d?
d
Let b = -20/11 + 469/22. Let w = 20 - b. Which is greater: w or 1?
1
Suppose 55 = 3*v + 46. Let m be (4 + (-616)/156)*v. Which is greater: 0.05 or m?
m
Let z(m) = m**2 + 6*m + 4. Let i be z(-6). Suppose 7 - 19 = -i*k. Which is greater: 8/5 or k?
k
Let q = -10.069 + 0.069. Let o = 10.289 + -0.189. Let v = o + q. Which is smaller: v or 1?
v
Suppose -k + 79 = 5*n, 3*n - 186 = -k - k. Let p be 612/k - (-2)/(-11). Do 3 and p have the same value?
False
Suppose 75*t - 8448 = 9*t. Which is greater: 130 or t?
130
Suppose b - 5 = 7. Suppose 12*l - 63 = 33. Is l >= b?
False
Let c = -25452 + 25456. Let d(f) = -6*f**3 - f**2 + f. Let m be d(1). Let o(j) = -j - 1. Let p be o(m). Is c <= p?
True
Let o be 30/(-105) + 981/3850. Let u = o - 3/50. Which is smaller: u or 0?
u
Let y be (0 - 1) + 30/25. Which is greater: -0.4 or y?
y
Let l(c) = -4*c - 3. Let o be l(-2). Let j = 5 - o. Is -1/5 at least j?
False
Suppose 8*v + 153 = 137. Suppose -t + 4*q = 18, 2*t = -q - 2*q - 14. Is v bigger than t?
True
Let k(g) = -g**3 + 7*g**2 - 3*g + 20. Let a be k(7). Let y = 490 + -153. Let q = -4387/13 + y. Is q < a?
False
Suppose 0 = -5*b - 5*f - 905, 2*f - 270 = 3*b + 273. Is b equal to -181?
True
Suppose -3 - 3 = 2*v, -2*v = 3*l - 54. Let b = 3 - 2. Suppose -3*w - l = b. Which is greater: w or -6?
-6
Let b = 0 - -1. Let o be (-4)/(-57)*(-5 - 52/(-8)). Which is greater: o or b?
b
Let c(w) = w**3 + 7*w**2 + 3*w - 7. Let p be c(-5). Let r be 85/273 + (-8)/p. Suppose -3*v + 3 = -0*v. Is r equal to v?
False
Let z be 1036/(-185)*(-3)/(-4). Is -5 < z?
True
Let v = -274862 + 18519. Let i = v + 80747909/315. Let b = i + 2/63. Which is greater: b or -7?
b
Suppose 10 = 2*n, 3*n + 360 = 3*k + 33. Suppose k = -4*z - 190. Let v be -2 - 4/(144/z). Is -0.2 greater than v?
False
Suppose 0 = -2*z + 4*c - 116, 4*z + 5*c - 9*c + 244 = 0. Is -1 <= z?
False
Let v = 0.81 - 0.96. Let r be 0/(((-1)/1)/1). Which is smaller: v or r?
v
Suppose -7*l + 11*l = 0. Let m be 3/2 - ((-21)/46 - -2). Which is greater: l or m?
l
Suppose -4*h + 2*n = 23 + 61, 3*h + 72 = -3*n. Which is smaller: h or -18?
h
Suppose 0 = k + 3, -11 - 4 = 4*a + 5*k. Let c be 141616/35192 - (-1 + 5)*1. Is c at least a?
True
Let c(r) = -r - 7. Let i be c(-7). Let a = 1/56938 + -103969113/18504850. Let g = 72/13 + a. Is g greater than or equal to i?
False
Suppose 25*l - 94 = 106. Which is bigger: 6 or l?
l
Let g be (2 - 4)/1 + 1. Suppose 4*y - 41 = -5*w, 2*y - 7*y + 3*w + 5 = 0. Let x be (y + -2)*(-3 + (-74)/(-26)). Is x <= g?
False
Let r be 8/6*3 - 126/33. Which is smaller: r or -1?
-1
Let s = -26 + 36. Let g = 83 - 92. Let w = g + s. Which is smaller: w or 0.5?
0.5
Let s = 3175 - 3176. Let l(v) = -v**3 + 3*v**2 - v - 2. Let y be l(2). Which is smaller: s or y?
s
Let q = 1.835 - -0.165. Are q and -5 non-equal?
True
Suppose 0 = 6*p - 7*p + 1. Suppose 5*o + 4 + p = 0. Let r be ((-12)/(-10))/((-14)/10). Which is bigger: o or r?
r
Let n = -197 - -218.04. Let k = 21 - n. Which is bigger: k or 0?
0
Suppose 0*h = -2*h. Let t be 0/(2/(-2) - h). Is 2/9 less than t?
False
Suppose -3*f = -4*f. Let i = -4/429 - 4126/17589. Let a = i - 12/287. Which is bigger: a or f?
f
Let o(l) be the second derivative of l**3/6 + l**2 + 13*l. Let p be o(-2). Is 0 at least p?
True
Let y = -2832 + 2765.4. Which is greater: y or 0?
0
Suppose 0*d = 2*d - 10. Suppose 2*t = d*t + 4*b + 80, 0 = -t - 4*b - 32. Which is smaller: -25 or t?
-25
Let x = -24 - -46. Let h = x + -25. Let j = -0.3 + 1.3. Which is smaller: h or j?
h
Let v be ((-2)/(-18)*3)/(64/192). Let b = 4 - 4. Which is bigger: v or b?
v
Let q be 9/(-7) - (-12)/42. Let s be (3/2)/(q/2). Let z = -2 + -1. Is s < z?
False
Let b = -81 - -52. Let x be (-36)/(-378) - (-6)/(-14). Is x bigger than b?
True
Let c(i) = i**2 + 3*i - 3. Let j be c(-5). Let k = j + -2. Suppose 2*t + 24 = k*t. Which is smaller: 9 or t?
t
Suppose 5*i - 75 = -10*i. Let y be 264/15*1/2*i. Is y at most 44?
True
Suppose 4*d - 56 = -3*z + 12, -5*d - 3*z + 82 = 0. Which is smaller: d or 13?
13
Let m(n) = -21*n + 3. Let x be m(-3). Suppose 0*j = -6*j + x. Is j at least 12?
False
Let h(i) = -4*i**2 - 1. Let r(l) = l. Let z be r(1). Let m be h(z). Let w be (m - -5)/(2*1). Which is greater: w or -1/9?
w
Suppose 2*w = -5*w - 161. Let o = w - -21. Which is smaller: -4 or o?
-4
Let p(o) = o**2 - 19*o - 3. Let l be p(19). Which is smaller: -78/19 or l?
-78/19
Let d(i) = -55*i - 795. Let s be d(-9). Is -300 greater than or equal to s?
True
Let c = -3 + 2.9. Let p = 54 + -54.21. Which is smaller: p or c?
p
Let o = -63 - -66. Let q be o/1 + 832/(-247). Is q >= -1?
True
Let f(t) = 200*t + 61. Let u be f(2). Is 461 smaller than u?
False
Suppose 2*k + 0 = 3*b + 2, -b - k = -1. Which is bigger: b or -14/37?
b
Let m be ((-12)/279)/((-4)/(-6)). Let p(k) = 3*k**2 + 9*k + 43. Let b(x) = -4*x**2 - 13*x - 65. Let l(w) = 5*b(w) + 7*p(w). Let r be l(6). Is r bigger than m?
True
Let a be 4/30 + -3 + (-748)/(-240). Let o = -1/4032 - 10151/14784. Let j = o + 2/99. Do a and j have different values?
True
Suppose 1 = -2*d + 5. Suppose 3*v + 5*w = -16, 14 + 11 = -5*w. Let i = 5 - v. Is i smaller than d?
False
Let d(k) = k + 22. Let a be d(-18). Suppose -6 = a*v + 5*l, 2*v - 6*l - 12 = -l. Is 3 at least v?
True
Let s = 3398/3 + -1167. Which is greater: 0.1 or s?
0.1
Suppose 3*p - 24 = -4*n + 38, p - 4*n = 42. Suppose -p = 6*m - 176. Is m greater than -2/7?
True
Let p = -107.7 + 106.7. Are 0.0531 and p unequal?
True
Let z be (6/(-40))/(9/(810/(-192))). Is z > 0?
True
Let z = 37 + -52. Let s = z - -18. Is 16 greater than s?
True
Let j be 20/(-4) - 231/(-55). Which is greater: j or -70?
j
Let n = 429 + -142858/333. Is n less than -1?
False
Let w be (-2)/(0 - (-3)/270). Let c be (9 - 1)*(-27)/w. Let s be (-13)/(-11) - (36/99)/2. Are c and s equal?
False
Let a = -27 - -17. Let b = a + 9. Is 0.11 != b?
True
Let p = 1574981/10 - 146570893/930. Let d = -105 - p. Let c = d + 121/279. Which is smaller: c or 1?
c
Suppose 0*d + 26 = -2*d + 5*b, -3*b = 2*d + 10. Let t be (2 - d)*(-2)/(-5). Let f = 2 - -3. Is f smaller than t?
False
Suppose -5*a - 2*y = y + 28, -a + y = 12. Let u be 3 - (a/(-20))/((-1)/20). Is u less than 11?
False
Let p = -0.1 + -0.3. Let u = 170/21 + -23/3. Is p less than u?
True
Let h be 13/(13/(-30)) + 20/4. Which is bigger: -29 or h?
h
Suppose -5*c = -3*w + 5444, -9*c + 3*w = -8*c + 1084. Are c and -1090 non-equal?
False
Suppose 356 = 5*l + k - 569, 2*l - k = 370. Which is smaller: l or 184?
184
Let b be (1/(-11))/(8/(-20624)). Let k = -234 + b. Which is bigger: 0 or k?
k
Suppose 4*s - 46 = 27*s. Is s greater than -0.26?
False
Let u = -23 - -140. Suppose 0 = -4*o + 4*t + 329 + 59, o = 5*t + u. Which is greater: 91 or o?
o
Suppose -2*p - 14 = -2*i, i = 4 - 1. Suppose g - 49 + 3 = -22*g. Which is bigger: g or p?
g
Let b = -1085 + 1084.8. Which is smaller: 37 or b?
b
Let x = -548/35 - -8227/525. Suppose -7 = -4*d - 3*n, -4*n + 7 = 2*d + d. Is x at least as big as d?
False
Let h = 48 - 29. Let w = h - 28. Let t = 1.2 + -2.2. Is w less than or equal to t?
True
Let p(w) = -2*w + 1. Let m be p(13). Let a be m/(-10)*6/(-5). Which is smaller: a or 1?
a
Let n = -1.41 - -0.21. Let b = 1.4 + n. Let y = 2.2 - b. Is -0.1 less than y?
True
Suppose 22 = 3*u - 5*u + 13*u. Let r = 8 + -5. Suppose -a + r*a + 6 = -2*i, -12 = a + 4*i. Is a < u?
True
Suppose 5*j + 16 = -44. Suppose -n + 5 = 3*w + 3, 2*w - 28 = 2*n. Is n >= j?
True
Suppose 6*d - 31*d - 1550 = 0. Is d smaller than -9?
True
Suppose 4*x = -2*z + 8*x + 4, -5*x = 5*z + 20. Let i be (1 + 30)*z*(-4)/(-8). Is i at least -30?
False
Let h(f) = 2*f**2 - 11*f + 4. Let s be h(5). Do 3/58 and s have the same value?
False
Let t = -18.9 + -6.1. Let j = -24 - t. Is 1/2 < j?
True
Let l = 187.6 + -190. Let i be (-1)/1*2/3. Which is bigger: l or i?
i
Let p = -0.024 + 25.024. Let u = 22 - p. Which is greater: 1 or u?
1
Let r(m) = -5*m + 38. Let d be r(7). Let b be (-2)/(d*(-2 + 40/12)). Whi