720 - h**4/4 + 8*h**2. Let n(p) be the second derivative of t(p). Let l be n(1). Is -2/5 < l?
True
Let a = -1916 - -1861. Which is greater: a or -54?
-54
Let x = -54 + 55.9. Let y = 16.1 - 15. Let i = y + x. Does i = 2?
False
Let s be 76 + 2/((-12)/(-30)). Is -1/3 at least as big as s?
False
Let s = -0.078 + -0.022. Let j = -8 - -8.4. Is j less than s?
False
Let i be 8/12 - 246/(-9). Let r = -26 + i. Which is smaller: r or 7?
r
Let k be (75/(-60))/(1/(-8)). Suppose 0 = 3*n + 12, 0 = -5*s + 2*s + 2*n - k. Let p = -0.6 - -1.6. Which is bigger: p or s?
p
Suppose 6 = -x - 3*d, -2*x - x - 8 = -d. Let b = x + 2. Let r = 1/88 - -31/88. Is b less than r?
True
Let u = 819.95 + -820. Which is bigger: u or 32?
32
Let v(k) = k**2 - 9*k + 1. Let m be v(8). Let q(o) = -12*o + 64. Let c be q(6). Is c at least m?
False
Let z = 6 - 1. Suppose z*n + 0*n - 20 = 0. Suppose 0 = -0*b - 2*b + 12. Which is greater: b or n?
b
Let t = -258 + 431. Let f = -859/5 + t. Suppose 4*a - 3*y = 2*y - 1, -2*a - 2*y + 4 = 0. Is a >= f?
False
Suppose -4*k + 3*k + 2 = 0. Let x be (-1 + k)/((-2)/3). Let h(t) = -t**2 + 2*t + 2. Let a be h(3). Which is greater: a or x?
a
Let h = 679 + -3409/5. Let n(a) = -a + 9. Let b be n(13). Which is smaller: h or b?
b
Let j be 9/(-3) - (-1)/((-74)/(-224)). Let f be -1 + (1894/1110 - 1). Let u = f + j. Is u equal to -1?
False
Let t = -6 + 7. Let d = 165.73 + -165. Let f = d + -0.53. Is f at most as big as t?
True
Suppose -26 = 5*n - 3*w + 74, -3*w - 80 = 4*n. Let q be (-4)/2 + 8 + 2. Let r be q/(-36) - n/18. Do r and 2 have different values?
True
Suppose -60 = -5*n - h, 2*n + 0*h - 36 = 2*h. Let m(k) = -5*k - 53. Let c be m(-13). Is n less than c?
False
Let g be 16/(-104) - 165615/(-52). Let b = 3238 - g. Let o = 54 - b. Which is smaller: -1/3 or o?
-1/3
Let l(p) = p - 17 + 0 - 3*p - 8. Let a be l(-12). Which is bigger: a or -1/36?
-1/36
Let k be (-8)/(-1141)*(-85)/2. Let w = -1746 - -284600/163. Let l = k + w. Which is smaller: l or 1?
l
Let j(a) = -a - 7. Suppose 0 = -3*b - 5*b - 56. Let v be j(b). Let n be v*(3 + -2) + 0. Is 0.3 at most n?
False
Let m be 45/(-30)*4/3 - -12. Suppose 3*d - 13*d = m. Which is greater: d or -4/25?
-4/25
Let p = -0.694 - -6.594. Let y = -131/3 + 44. Which is greater: p or y?
p
Let d be -2 - (45/(-6))/5. Let x = -108.2 + 124. Let o = 16 - x. Which is bigger: o or d?
o
Suppose 0 = -0*n + 4*n - 16. Suppose -2 = -c, 4*r + 3*c - 10 - n = 0. Suppose -2*k = -r*o - 0*k + 12, -k + 34 = 4*o. Does o = 8?
True
Let l be (-10)/(-34)*(1056/(-165))/16. Let j = 117 - 817/7. Is l at most as big as j?
True
Suppose 0*u - 8 = -4*u. Let x be -5 + u - (-234)/(-15). Which is greater: -19 or x?
x
Suppose 4*t + 4*y = 1964, -2*t - 84 + 1082 = -2*y. Let h = t + -12377/25. Are 3 and h nonequal?
True
Let q(m) = -m + 6. Let c be q(3). Let x(o) = 4*o**2 + c*o**2 + 10*o**3 - 11*o**3 + 6. Let s be x(7). Is s greater than 9?
False
Let b(t) = 4*t. Let d = -8 - -9. Let u be b(d). Suppose 0 = -5*a + u*a. Is 1/3 less than or equal to a?
False
Let w be 210/(-126)*27/15. Which is smaller: -7/3 or w?
w
Let z(x) = -3*x**2 + 19*x - 5. Let i be z(6). Which is smaller: -6 or i?
-6
Let c = -0.7 - -0.7. Let x = 19489/21 + -928. Which is smaller: x or c?
c
Suppose 11*y + 27*y - 25080 = 0. Which is smaller: y or 658?
658
Let n = 16 - 10. Let f be -9*2*n/9. Let b = -13 - f. Is b not equal to -1/10?
True
Let w be -3 + 3 - -1 - 3 - -6. Suppose 0*c + w*k + 2 = -2*c, -c = -4*k - 11. Is c less than or equal to 16/9?
False
Let s(o) be the second derivative of -o**5/20 - 2*o**4/3 - 7*o**3/6 - 3*o**2 + 4*o. Let f be s(-7). Which is smaller: -4 or f?
f
Let m(r) = -2*r**2 + 2*r + 2. Let u be m(-3). Let i = u + 8. Let v = -13 - i. Which is greater: v or 8/7?
8/7
Suppose g + 89 = 4. Let m be (1 - -1) + 4/(260/g). Which is greater: m or 1?
1
Suppose 20 = -2*m - 2. Let p(w) = w**2 + 11*w - 1. Let c be p(m). Let b be c/(-3) - 217/21. Which is smaller: -11 or b?
-11
Let p = 1255.5 + -1256. Is 96 > p?
True
Let t = -5643/10 - -1157/2. Which is greater: t or 13?
t
Suppose -6*r - 7*r - 559 = 0. Let n = r - -51. Let y be (4/(-6))/(2/(-21)). Are n and y unequal?
True
Suppose h = -230 + 229. Which is greater: -2/201 or h?
-2/201
Let m = -12.62 + -1.28. Let l = -118 - -104. Let q = m - l. Is -6 at least as big as q?
False
Let x be 5/(-10)*((-140)/21)/(-10). Which is smaller: x or 60?
x
Suppose 5 = -4*h + 3*j - 11, 4 = j. Which is smaller: -2/25 or h?
h
Suppose -d - 4 = 3*y - 1, -3*d + 4*y = -4. Suppose d = 2*o + 2*a - 2, o - 2 = -3*a - 3. Let m be 0 - o - (-9)/3. Which is greater: 3/2 or m?
3/2
Let u be 154/(-592) - (-10)/80. Are 0 and u unequal?
True
Let z(f) = -19*f + 13. Let g be z(-2). Are 0.3 and g equal?
False
Let k = 446.7 + -425. Let m = k + -29. Let x = m - -7. Which is greater: x or -1?
x
Let b(d) = -d**3 + 9*d**2 - 9*d + 6. Let w be b(8). Let x be -10 - (w + 2)/2. Let t be x/(-50) + (-1)/5. Is t not equal to 1/3?
True
Let h = -3.24 + 3. Let q = -0.24 - h. Let z = -4 + 5. Do q and z have different values?
True
Let p = -12.19 - -0.19. Let f = 1.2 - -9.8. Let x = p + f. Which is bigger: x or -0.2?
-0.2
Let n = 48 - 54. Let y be (1 - (-4)/n) + (-441)/1485. Is 0.1 less than or equal to y?
False
Let k = -618 + 619. Are k and -8/97 unequal?
True
Let z be 5 + (2/(-6))/((-2)/(-36)). Which is greater: z or 3/145?
3/145
Suppose 16 = -207*q + 211*q. Suppose 5*v + 21 = 101. Which is greater: q or v?
v
Let d(c) = 3*c - 77. Let z be d(21). Suppose 3 = 4*v - 3*x - 7, 0 = 2*v - x - 4. Let r be v/(z/(-4) + -4). Which is smaller: r or 0?
r
Let z = 4 - 2. Suppose 90 = 2*r + 3*l + 2*l, 4*l + 72 = z*r. Suppose -5*q = -q + r. Which is bigger: -9 or q?
-9
Let q be (6/4)/(1/12). Let n = q + -12. Let b = -9 + n. Which is bigger: -2 or b?
-2
Suppose -c + 3*q = -6*c + 246, -4*c = q - 201. Suppose -12 = 3*r - c. Let b = r - 19. Which is smaller: b or -4?
b
Let x = -70 + 69. Let d be (18 - x)/((-6)/4). Which is bigger: d or -12?
-12
Let l = 75 - 65. Let q be l*(30/(-9) - 4/(-3)). Is q at most -21?
False
Suppose -163 + 568 = -27*t. Is -104/7 != t?
True
Let k = -1254.5 + 1253. Which is smaller: k or 2.4?
k
Suppose 11 = -4*n + 19. Let o be (n + (2 - 4))/3. Is 1/103 at most o?
False
Let s(u) = -u**2 - u. Let a be s(1). Let q(i) = -35*i - 777. Let h be q(-22). Is a greater than h?
True
Suppose -2*w = -5*k + 23 + 12, w + 10 = k. Let v = 302 + -300. Suppose k - v = 3*p + f, 0 = 4*f - 12. Which is smaller: 2/51 or p?
p
Let j = -741.1 - -741. Is j greater than -47/13?
True
Let b(p) = 33*p - 149. Let y be b(5). Which is smaller: -2 or y?
-2
Let u(p) = -p**2 + 3*p + 9. Let n be u(5). Let b = -6449/26 - -248. Is n at least as big as b?
False
Let g be -2 + 1 - -7 - 3. Let r(d) = d**2 - 1 - d + d**g - d**3 - 6*d**3. Let y be r(1). Does y = -29/5?
False
Let r be ((-40)/24)/(-3 + (-6)/(-9)). Suppose 4*v = -4*g, -5*v = -4*g - 0*g. Is r not equal to v?
True
Let u be (-3 - 1)*(-6 - -5). Suppose -u*s - 51 = 17. Which is smaller: s or -20?
-20
Let q(f) = -11*f + 62. Let a be q(-8). Let t be (-1)/(-6*(-5)/a). Which is smaller: t or 1?
t
Let t be (-28)/252 + 2/14. Which is smaller: t or 1?
t
Let h = 30 - 204/7. Suppose 11*t - t = 0. Which is greater: t or h?
h
Let z(l) = l**2 - 6*l - 8. Let o be z(7). Let j(y) = -y**2 - 12*y - 2. Let x be j(-12). Let n be x - (63/(-10))/3. Which is smaller: n or o?
o
Let m = 4747/70 - 338/5. Suppose -2*q = 2*q - 4. Which is greater: q or m?
q
Let j = -196600/93 + 2114. Suppose -4*c = -5*r + 12, 0 = -3*r + c + 5 - 2. Is r equal to j?
False
Let g(j) = -j**3 - 40*j**2 - 338*j - 56. Let l be g(-28). Which is smaller: l or -350?
-350
Let z(h) = h**2 - 18*h - 87. Let q be z(22). Is q greater than -535?
True
Let t = -16190/323 - -852/17. Which is smaller: 0 or t?
t
Let z be (-2)/3 - ((-10)/6 + -1). Suppose 0*g + 15 = -g - 5*j, 3*g - 12 = 4*j. Suppose g = -2*k - 5*y - 46, -z*k - 2*k - 5*y = 92. Which is bigger: k or -22?
-22
Let s = 261 - 281. Are s and -2/37 unequal?
True
Let c(g) = 7*g + 35. Let q be c(0). Which is bigger: 30 or q?
q
Suppose 3*g - 126 = 12*g. Which is smaller: -13 or g?
g
Suppose -x - 3*g = 6, 0 = 3*x - 2*g + 13 + 16. Let z be (3/x)/(-1) - 186/504. Let u(r) = -r**2 + 3*r + 3. Let o be u(4). Which is smaller: z or o?
o
Let a be -1 - 4 - 405/(-90). Do a and 0.88 have the same value?
F