e the first derivative of i**2/2 + 13*i - 4. Let a be p(-6). Which is smaller: a or t?
t
Suppose -9*m = -81 - 0. Let t = 14 + m. Are t and 23 unequal?
False
Let u = 24 + -12. Let b be 8/u + 70/(-6). Which is smaller: b or -12?
-12
Suppose 4*v = -0*v + 3*c - 11, -5 = -c. Which is greater: v or -1/706?
v
Let x = -3.2 - 0.8. Let j = 81 - 73. Let p be (-2)/j*(-1 + 3). Is x greater than p?
False
Let y be 2/4 + (-1)/((-2580)/(-1302)). Is y bigger than 1?
False
Let y be ((-1 - 1) + (5 - 3))/(-3). Suppose 18*q - 16*q + 70 = y. Are q and -35 equal?
True
Let p be (194370/88)/(6/4*-2). Let a(q) = -20*q**2 - 3*q - 3. Let n be a(6). Let l = p - n. Is l smaller than 6?
True
Suppose 0 = 3*x + 11*x + 28. Let c = 0 - 6. Let m be (4/(-10))/(3/c). Is x equal to m?
False
Let z = -4027 - -1179913/293. Is z greater than 0?
True
Let m = -8/285 + -5027/285. Which is bigger: -17 or m?
-17
Suppose -5*v - t = -3*v - 7, 5*v - 4*t + 2 = 0. Let q be v/6 - (-70)/15. Suppose 0*z = -5*z + q. Is z greater than 0?
True
Let p(s) = -24*s - 1. Let y be p(-2). Let a = 99 - 53. Which is smaller: y or a?
a
Let k(n) = -13*n**2 - n. Let m be k(1). Let l be (-4)/(2 + m)*-9. Let p = l + 2. Which is greater: -3 or p?
p
Let r(o) = o + 8. Let f be r(-4). Suppose -3*d - f = -10. Are 2 and d unequal?
False
Let t be 4 + (-7 + 3 - -440). Let r be 6/t*4*(5 - 4). Which is greater: 0 or r?
r
Let p = -327 + 337.14. Let o = 10 - p. Let h = o + 0.06. Is h equal to 1?
False
Let y be 52/14 + -4 + (-1041)/(-3570). Is 0 at most y?
True
Let m(g) = -g - 4. Let v = -23 + 18. Let c be m(v). Are c and 5/7 equal?
False
Let p = -0.367 - 25.733. Let t = -26 - p. Which is smaller: t or 0.9?
t
Suppose 0 = -80*x + 77*x - 9. Let q be (x - -2) + 0 - (-42)/30. Which is smaller: 20 or q?
q
Suppose -16*o = -138 + 202. Is o <= -2?
True
Suppose 0 = -a - 3*h - 111 - 128, -5*a + 5*h = 1175. Is a greater than or equal to -235?
False
Let o = 79 - 473/6. Which is smaller: o or 2?
o
Suppose -11 - 157 = -4*h. Let i = -409 + 402. Let k be ((-6)/i)/(9/h). Are 4 and k non-equal?
False
Let g = -19 - -75/4. Are 100 and g equal?
False
Let v = -95 + 100. Let d(o) = 6*o - 7. Let t be d(7). Suppose -v*q + 0*q = -t. Is q > 7?
False
Let t(q) = -q**3 - 4*q**2 + 7*q. Let h be t(-6). Suppose 0 = 14*p - 15*p - h. Are -29 and p unequal?
True
Let z = 286 + -543/2. Is z != 14?
True
Let l = 171 + -63. Suppose 7*d - l = 3*d. Let i = 26 - d. Which is smaller: i or 2/7?
i
Let j(a) = a**3 - 12*a**2 + 23*a - 32. Let f be j(10). Which is smaller: f or -8?
-8
Let l = 17 + -12. Suppose 0 = -2*y + l - 1. Let r be (18/(-459))/(y/6). Which is smaller: r or 1?
r
Suppose 0*f = f + 5. Suppose -3 = -2*o - 9. Let c be -2 + (-12)/o + -8. Is f bigger than c?
True
Suppose 0 = -b + 8 - 3. Suppose 4*m = -0*t + t + 50, 6 = m + 3*t. Suppose m = -3*x + x - 5*k, 4*x + 4 = -b*k. Which is smaller: 3 or x?
3
Suppose -316 = -3*g - 91. Suppose g*s - 79*s - 28 = 0. Which is bigger: -52/7 or s?
s
Let m(r) = -r**2 - 2*r + 4. Suppose 9*w + 21 = -6. Let q be m(w). Is 7/9 not equal to q?
True
Let p be (-5)/(-10)*-1*-8*1. Suppose 13 = -3*b + 5*d - 3, -2*d = p*b + 4. Is -4 at least as big as b?
False
Let r be (-10)/((-15)/3) - (-6 - -6). Are r and 19/20 equal?
False
Let i(w) = -2*w - 12. Let c be i(-8). Let g be -3 - (-2)/c*14. Suppose g*k - 2 = -2*q, 0 = -k + 2*q - 1 - 1. Is -2/17 at most as big as k?
True
Let i(s) = -2*s**3 - 17*s**2 + 10*s + 11. Let t be i(-9). Let b = -0.004 + 12.004. Which is greater: b or t?
b
Let y = 279 + -104. Let f = y + -1209/7. Let q be 3 + (-1)/3*3. Which is greater: q or f?
f
Let z = 5 + -14. Let j = 7 + z. Let f = 2.9 + -3.9. Do f and j have different values?
True
Let c(g) = -g**2 + 5*g + 21. Let t be c(6). Let v be 2 + t/(-2)*60/10. Which is bigger: v or -44?
v
Let o be (-15)/3 - 106574/(-21320). Is o <= 1?
True
Let g = -19 - -27. Let c(t) = -21*t + g + 23*t + 3 + 4. Let v be c(-14). Which is smaller: v or -12?
v
Let r = -1139 + 6817/6. Let c be (-50)/120*-6*4/(-5). Does r = c?
False
Let w = 21 + -55. Let v = -5.36 + 39.26. Let p = v + w. Which is smaller: 1 or p?
p
Let r = 5867/25602 + -25/102. Is -1 at most as big as r?
True
Let h = -1.4 + 0.8. Suppose 109*m - 113*m + 5*r = 22, 4*m + 2*r + 8 = 0. Which is bigger: m or h?
h
Let r(i) = 7*i + 5. Let u be r(0). Suppose u*k - 2*w - 233 = 0, 4*k + w - 5*w - 184 = 0. Which is smaller: k or 46?
46
Let n(f) = f**3 + 7*f**2 + 7*f + 6. Let d be n(-6). Suppose -2*y + 4*j = -5*y + 5, d = -5*j - 5. Suppose 4*m - 4 = -p, y*p - 5*m = 2*p + 4. Is p smaller than 4?
False
Suppose 0 = -6*r + 18 - 6. Let m(v) = -2*v**r - 4*v + 2*v**2 - v**2 + 17. Let x be m(-5). Does 11 = x?
False
Let v = 28 + -24. Let k be v + (-155 - -2) + 4. Let b = -1023/7 - k. Is 0 at most b?
False
Let l be ((-5)/(-3) - 2)*-9. Let q = l - 2. Let x be 3 + (2 - -1) - 2. Which is bigger: x or q?
x
Let i be 24/4*2/138. Suppose 0 - 2 = 2*a. Let d(m) = m**2 - 1. Let s be d(a). Which is greater: i or s?
i
Let y = -3194 - -2256. Which is smaller: -937 or y?
y
Let t = -1124/5 - -21131/94. Does 0 = t?
False
Let y = 26 - 18. Suppose 2*k + 0*k - y = 0. Suppose k = 4*o - 0*o. Which is smaller: o or 5/3?
o
Let k = -8/247 - -2096/3705. Which is smaller: k or 14?
k
Let m = 0 + -9. Suppose 31*g = 6*g - 150. Which is smaller: m or g?
m
Suppose 0 = 2*u + 14*u. Suppose -5*f - 2*z = 683, u = 4*z - z - 3. Is -138 at most as big as f?
True
Let n = -12 - -18. Suppose w = n*w + 70. Let a be 255/(-280) + (-4)/w. Which is greater: a or 0?
0
Let d(g) = 12*g - 84. Let y be d(7). Which is greater: 1/55 or y?
1/55
Suppose 42*c + 19 = 41*c. Let l be (c/(-2))/((-7)/14). Do -17 and l have the same value?
False
Let z = -11 - -23/2. Let h = -41 - -62. Let b = h + -20.96. Which is greater: z or b?
z
Let o = 1 + -2. Let b(t) = -4*t**2 + 4*t + 3. Let d(f) = 9*f**2 - 9*f - 5. Let w(m) = 7*b(m) + 3*d(m). Let p be w(3). Is o less than or equal to p?
True
Let s = 0.34 - -1.72. Let m = -0.06 + s. Which is smaller: m or -1/12?
-1/12
Let i = -1 - -8. Let a = i + -6. Let n = 2 - a. Which is smaller: -4/5 or n?
-4/5
Let u = -16485/3116 + 225/41. Do -0.1 and u have different values?
True
Let p(b) = 7*b - 57. Let w be p(9). Suppose 0 = -2*o - 4*o + w. Which is greater: o or 2/103?
o
Let b = -6 - -5. Suppose w - 44 = -43. Which is smaller: b or w?
b
Let c be (-18166)/4774 - (-2)/(-7). Which is bigger: -1 or c?
-1
Let d be (2 - (-1 - -2)) + (-506)/(-16). Let t = 115/2 - 90. Let y = d + t. Which is greater: y or -1?
y
Let i be (4 + -1)/((28899/(-78))/(-13)). Suppose -5*o = -z - 9, -4 = 4*o - 12. Is i equal to z?
False
Suppose j + 1 = 0, j + 28 = -2*x + 5. Is x at most as big as -10?
True
Let p(i) = 15*i - 105. Let g be p(7). Which is smaller: g or 2/687?
g
Suppose -16*w + 591 = 2271. Are -100 and w non-equal?
True
Let t = -66.3 - -74. Which is bigger: t or -1/4?
t
Suppose 4 + 9 = b. Suppose -4*k + 35 + b = 0. Let l(f) = 2*f - 14. Let d be l(k). Which is smaller: 9 or d?
9
Let h = -350903/19 + 18473. Which is bigger: h or 3?
h
Suppose 3 = -4*a - 1. Is a <= -3/175?
True
Let s = -71/209 + 3/19. Which is bigger: -34 or s?
s
Let q = 4.8 - 5. Let m = -0.1 - q. Which is smaller: 2/17 or m?
m
Suppose 9 = 4*m - 3. Suppose -97 = 41*g - 302. Is g less than or equal to m?
False
Let p(y) = -2*y**3 - 5*y**2 - 2*y + 13. Let u be p(2). Is -1 > u?
True
Suppose 277 = 4*n + 29. Suppose 5*d = n + 13. Suppose 3*u + 6 = -4*p - 8, -3*p - d = 0. Is 1 equal to u?
False
Suppose -4*s + 28 = 4*l, -4*s + 4*l = 3*l - 18. Suppose s + 1 = 3*u. Which is bigger: u or -24?
u
Let s = -17 - -17.07. Let n = -80 - -79.52. Let a = -0.52 + n. Which is greater: s or a?
s
Let y = 108 - 67. Let g = -37 + y. Let r = g - 4.13. Are r and 0.2 nonequal?
True
Let z be 20/6*(43 + (-4 - 3)). Which is bigger: 237/2 or z?
z
Suppose 2 = -4*g - 78. Let n = g - -38. Suppose -n = -4*t - 2*l, -3*t - l = 2*l - 6. Is t > 2/7?
True
Let r be (-2)/(-8) + 22/(-8). Let s be (-10)/(-6) + 12/(-18). Let v = s - r. Which is bigger: 3 or v?
v
Let n = -1.5 - 2. Do 0.07 and n have different values?
True
Suppose 8 = 4*v - 12. Suppose -4*p - 9 - 5 = -2*i, v*p - 2*i + 16 = 0. Do -2 and p have the same value?
True
Let h = -994 + 1009.92. Let l = -0.08 - h. Is l > -0.1?
False
Let w = 1.29 + -0.59. Let y = w + -0.6. Which is bigger: -16 or y?
y
Let n = -10 + 15. Let f = 18 