*q**3 - 1/2*q**4 + 0 + 5/2*q**2 - 7*q. Let a be l(6). Is a smaller than 1/4?
True
Suppose -2*j = -0*j - 8. Suppose 2*c - z = 3*c + j, 0 = -5*z - 15. Let k = -11/4 - -129/44. Which is smaller: k or c?
c
Suppose -3*b + 0*u - 353 = 2*u, -3*b - 346 = -5*u. Let o be 6/(-4) + (b/18 - -7). Let v = -3.92 + 4. Is o equal to v?
False
Let i = 1/817 - 7375/17974. Which is smaller: i or 1?
i
Let h = 15 - 14. Suppose 2*c = -s + 5, c + h = -7*s + 3*s. Let r(f) = -4*f + 3. Let k be r(c). Which is smaller: 2/3 or k?
k
Let m(v) be the first derivative of v**4/12 - v**3/6 - v**2 - 4*v + 2. Let h(t) be the first derivative of m(t). Let f be h(3). Which is bigger: f or 1?
f
Let q = -1 + 3. Let u be (-1)/((-9)/(-1167)) - 1/3. Let y = u + 137. Is y >= q?
True
Let f(p) = 2*p**2 + 14*p + 10. Let c be f(-5). Let g be ((-9)/6)/(c/(-4)). Which is bigger: -2 or g?
g
Suppose d + 4*g = 11, 2*g + 3 - 8 = -d. Let y = d + 18. Suppose 5*i - 39 = 5*p - 4, -i - 5*p = y. Are 4 and i equal?
False
Let o = -193 + 212. Is o smaller than 2?
False
Let d be (-2)/20*(4/17 + 0). Is -1 not equal to d?
True
Let y(d) = -d + 9. Suppose -35 = -13*h + 8*h. Let u be y(h). Suppose 4*a + 2 = -u. Which is greater: 3/10 or a?
3/10
Let w(o) = -o**2 + 8*o + 12. Let b be w(9). Let u(g) = -20 + 2 - 10*g + g**b - 10*g**2 + 7. Let h be u(11). Is h greater than or equal to -4/3?
True
Let v be (-95)/(-10) + (-3)/6. Suppose p - 5 = -a, a = -4*p - v + 29. Suppose 5*t = 2*s + 9 + 5, -s - p = -2*t. Is t bigger than 4?
False
Let s = -25 - -49. Let p be ((-7463)/(-3))/(88/s). Let u = -679 + p. Is u less than or equal to 0?
True
Let t = -9 - -10. Let j(m) = 2*m + 1. Let k be j(t). Suppose -2*g + 13 = k. Which is greater: g or 6?
6
Let m be (-2014)/858 + 1 + 1. Let d = 2/143 + m. Is d less than or equal to 0?
True
Suppose 0 = -3*u + 76 + 212. Is 97 smaller than u?
False
Suppose -294*u - 90 = -312*u. Let d be 88/(-6)*18/(-52). Which is smaller: d or u?
u
Let m be (4 + (-88)/20)*20*-1. Suppose -m*a + 9 = 17. Is a < 3/40?
True
Let a = 1436 + -1436. Which is smaller: a or -10/113?
-10/113
Suppose 280 = 12*d - 2*d. Is d at least 315/11?
False
Let p be (-6)/3 - (3/1 - 5). Suppose p = 4*w - 4*w + 5*w. Is w greater than -4?
True
Let a = 0 - -9. Let h be 4/18 + 79/a. Suppose -2*r + 5*p = 9*p - 20, -7*r + 4*p + 52 = 0. Are r and h equal?
False
Let v be (84/(-32) + 3)*(-8)/(-66). Which is greater: v or 1?
1
Let d = -2.95 + -57.05. Is -3/4 smaller than d?
False
Let p = -152 - -114. Let k = p - -41. Do 12/7 and k have the same value?
False
Suppose 55*u + 55 = -8 + 8. Let l = 0.049 - 36.049. Let h = l - -15. Is h <= u?
True
Let q = 80.3 - 78.3. Which is smaller: 12 or q?
q
Suppose -5*z + 5*g = 15, z + 2*g + 15 = 7*g. Is z bigger than 5/32?
False
Suppose 130*c - 1734 = 124*c. Is c >= 292?
False
Suppose 0 = 176*b - 172*b + 2600. Is -650 != b?
False
Let d = -358 + 355. Which is greater: -46 or d?
d
Let s = -411 + 559. Which is greater: s or -1?
s
Suppose 7*c = 2*c. Suppose -f - 4*p + 11 = c, -p = f - 0*f - 5. Which is greater: 29 or f?
29
Suppose -540 = -64*k + 19*k. Let v = 42 - 30. Is k less than or equal to v?
True
Let u = 233 - 320. Is u at least -90?
True
Suppose -4*u - 800 = 5*r, 6*r + 5*u - 189 = 7*r. Is -165 at least r?
False
Let k be ((-21)/(-14))/(6/(-8)) + -22. Let g be (k/(-112))/(3/8). Is 1 at least g?
True
Let n = 44 + -130/3. Let s be (92/(-460))/(63/10). Which is bigger: s or n?
n
Let w be 2/((-1)/(-9) - 14/207). Which is greater: -0.1 or w?
w
Let n be 10*(-5)/(-10) - -78. Suppose 81*o = n*o + 4. Do o and 1/15 have the same value?
False
Let p = 594 - 601. Is p > -81/14?
False
Let q(b) = b**3 - b**2 - 5*b + 3. Let u be q(3). Suppose 4*o - 9*o + 15 = 0. Let r be 1 + ((-66)/(-15) - o/(-5)). Do u and r have the same value?
True
Let p be (485 - 0)/(2/2). Let s = p + -11157/23. Suppose 5*w - 4 = 3*t + 19, 2*t = -5*w + 18. Is s < t?
False
Let z = 195 - 213. Is -19 <= z?
True
Let s(w) = -3*w - 8. Let l be s(-6). Suppose l*j - 5*j + 2 = z, -3*z = -5*j + 4. Let f = 213/5 - 44. Which is greater: j or f?
j
Let b(g) be the first derivative of -3*g**2 + 3*g - 4. Let u be b(1). Is u greater than -15/7?
False
Let d(u) = 81*u**3 + u**2 + 3*u + 2. Let z be d(-1). Let g be (-4)/(-18) - 144/z. Let i be g/(-7) - (-402)/84. Which is greater: i or 5?
5
Let o(x) be the first derivative of 5*x + 3/2*x**2 - 5. Let b be o(-2). Is b > -3/2?
True
Suppose -3*r = 40*r + 6063. Are -141 and r nonequal?
False
Let i be 2*(6/(-9))/(12/(-27)). Suppose 26 = 4*w + 4*a - 6, a = -i*w + 28. Is w <= 10?
True
Let h(q) = q**3 - 33*q**2 - q + 34. Let p be h(33). Is -6 less than p?
True
Let v(g) = g**2 + 10*g + 0*g**2 - 10 - 2*g**2. Suppose -2*h + 8 = 0, 3*a + a = -5*h + 52. Let q be v(a). Which is smaller: 7 or q?
q
Suppose -73 = 5*v - 3. Let f be (-1)/(-2) - (-12)/(-8). Let j be f/3 + 220/(-15). Do j and v have different values?
True
Let x(n) = n**3 - 10*n**2 + 9*n - 12. Let k be x(9). Let g(b) = -3*b - 3. Let l be g(-14). Let v be (18/k)/(l/6). Is 0 < v?
False
Let f = 7.783 + -7.8. Let s = 0.117 + f. Which is bigger: s or 5.9?
5.9
Let g(a) = 2*a**2 - 2*a - 9. Let n be g(4). Let t be ((-144)/40)/(6/n). Let m(p) = -8*p - 1. Let h be m(1). Is h > t?
False
Let w = -0.12 + 0. Let u = -5.12 - w. Let r = u + 4.2. Is r bigger than 0.1?
False
Let v(l) = -l**2 + 2*l + 19. Let x be v(0). Suppose x*f = 8*f - 396. Do f and 2/3 have the same value?
False
Suppose 0*u + 3408 = 4*u. Let d = -4274/5 + u. Let p = -168 + 166. Which is bigger: p or d?
p
Let p = 1159 - 1082. Is 79 at most p?
False
Let w be -2 + (-9)/21 + 50/7. Let z be (2 - (-1 + 1)) + 2. Are w and z nonequal?
True
Let i = 0.855 + -0.055. Let y = 0.6 - i. Which is greater: y or -0.15?
-0.15
Suppose 0 = 13*v - 18*v + 50. Let l(i) = -i**2 - i + 6. Let g be l(0). Suppose 5*q + f = -10, -q = -g*q + f - v. Which is smaller: -1 or q?
q
Suppose 44 = 2*p + 4*z, -3*p + 4*z = -2*p + 8. Which is greater: 2 or p?
p
Let y be -9 - (-1)/(-1022)*-9214. Which is greater: 0 or y?
y
Let b = -41 - -6. Let r = b + 36. Which is greater: 0 or r?
r
Suppose 14 = j - 2*w, 5*j + 2*w = 5*w + 35. Suppose -x + 4*o = 13, 5*x + 18 + 5 = -o. Let n = x + 11. Which is bigger: n or j?
n
Suppose 3*o = 2*o + 16. Let g be (-36)/o + 2 + 0/3. Which is smaller: g or -5?
-5
Let g(u) = -3*u**2 - 106*u - 36. Let o be g(-18). Is o less than 901?
True
Let c be 10*(-1 + (-44)/(-40)). Is -2/5 smaller than c?
True
Let v(a) = a**3 + 2*a**2 - a + 1. Let s be v(-2). Suppose -5*b + p = -3, p = -b - s*p + 9. Which is greater: -2/51 or b?
b
Suppose -20 = -5*d, -4 = 2*j - 2*d + 16. Suppose 0 = -72*w + 63*w - 54. Are w and j nonequal?
False
Let m be 561/(-6) + -5 + 0. Do m and -99 have the same value?
False
Suppose 2*g - 6 = -g. Let j(d) = -14*d**2 + 9*d + 8. Let k(h) = 5*h**2 - 3*h - 3. Let q(a) = 4*j(a) + 11*k(a). Let t be q(g). Which is bigger: t or 4/5?
t
Let g(z) = -1. Let l(s) = -s. Let y(r) = 5*g(r) + l(r). Let h be y(5). Which is bigger: -13 or h?
h
Let a(l) = l**2 + 9*l + 5. Let w be a(-8). Let z be (w/5)/((-36)/(-135)). Suppose 2*d = d - 1. Is z at least as big as d?
False
Suppose 4*f - k + 2 = 0, 5*k + 13 - 23 = 0. Which is greater: 3/844 or f?
3/844
Suppose 0 = -5*g - 4*u + 71 + 26, -4*u + 29 = g. Is g less than or equal to 19?
True
Let o = 15 - 14.94. Let i = -0.05 - 0.11. Let j = i + o. Which is smaller: 1/7 or j?
j
Let s = -99323/260 + 382. Is s <= 1?
True
Let a = -2868 + 2875. Is a equal to 60?
False
Let m = 172 - 172.5. Suppose -45*l + 65 = -40*l. Is l not equal to m?
True
Let c(s) = -42 + 2*s + 42. Let u be c(2). Let j be (6/u)/((-3)/2). Is j > 2/3?
False
Let v be ((-3)/6)/(2/(-60)). Let u = v - 11. Suppose 0 = -i - 3*i - u. Is i equal to -2/9?
False
Let o = 25 - 25.68. Let t = o - -0.48. Is t bigger than -2?
True
Suppose -2*g - a + 5 = 0, 0*g - a + 6 = 3*g. Let r = -92/3725 + 17/447. Are g and r non-equal?
True
Let h = -5 + 0. Let r = h - -1. Let i = r + 0. Is i at least -3?
False
Let q be (-20)/(-3)*(-6)/4. Suppose 654 = -11*p + 555. Which is smaller: p or q?
q
Let b = -21 - 24. Let v = b - -42. Let g be (2/(-10))/((-6)/(-105)). Which is greater: g or v?
v
Let c be (-3)/(-2)*(40/(-15) - -2). Is 2/39 greater than or equal to c?
True
Let q = -33 + 96. Let o = q - 58. Which is smaller: 1 or o?
1
Let z = -1191494/9 + 132550. Which is greater: 161 or z