*h**2 - 6*h + 2. Suppose 0 = -o + 5*f - 2*f - 19, 27 = -3*o + 3*f. Let n be k(o). Which is smaller: -3 or n?
n
Let s = -230.73 + 233. Let q = -0.27 + s. Is 1 bigger than q?
False
Let o(z) be the first derivative of z**4/4 + z**3/3 + z**2/2 + z - 26. Let p be o(0). Do p and 3/71 have the same value?
False
Let f = -10 + 25. Let l be 558/126 - 3/7. Suppose -6*h = -l*h - 32. Do f and h have the same value?
False
Let z be 207/(-231) - (-2)/11. Is z greater than or equal to -1?
True
Let o = 20 - 15. Suppose 0 = -o*h - p - 2*p - 2, -5*p - 14 = 3*h. Let a be (1 - 1)*h/4. Is a at most 0?
True
Let h be 1/(21/6 - 3). Suppose 0 = -n + 5*o + 14, -h*n + o + 4 = -o. Is n at least 1/71?
False
Suppose -8 = -5*w - 3. Let d be w/1*14 + 1. Let n be (-4 + 0)/(10/d). Is n at most -4?
True
Let a(l) be the first derivative of -l**3/6 - 7*l**2 + 10*l + 5. Let n(r) be the first derivative of a(r). Let s be n(0). Do -15 and s have the same value?
False
Let d be -1 + 23/7 + 3 + -5. Is d greater than or equal to -170?
True
Let o = -76 - -76. Suppose -n - 4*y + 9 = o, -2*y = -2*n + 8 + 30. Do 13 and n have different values?
True
Let s = -28/71 - 2/355. Which is smaller: -408 or s?
-408
Let j be 13619/(-19) - (9 + -6). Let o = -720 - j. Is o equal to 1?
False
Suppose 0 = u + 2. Let p = -1218 - -8511/7. Which is smaller: u or p?
p
Suppose -4*b + 5*o + 90 = 0, -2*b - 5*o - 50 = -4*b. Let v be (-14)/(-24) + b/(-15). Which is bigger: v or -0.5?
-0.5
Let r be (5 - 3)*-1 + 17. Let y = 20 + r. Suppose -65 = -4*h + y. Are 25 and h equal?
True
Suppose 2*b = -5*b + 189. Suppose 48*s = 51*s - b. Which is greater: 0 or s?
s
Let i be ((-9)/12)/(3/26). Suppose 4*z - 2*y = -3*y - 302, -3*y + 369 = -5*z. Let o be (-1)/(-3) - z/(-9). Which is greater: i or o?
i
Let x(y) = 1570*y + 6. Let h be x(-9). Let u = -55015/4 - h. Let i = u - 372. Which is bigger: i or -1?
-1
Suppose -4*v - 2*v = -13*v. Which is smaller: -1/566 or v?
-1/566
Let y = -16 + 15. Which is greater: y or -14?
y
Let t(b) be the first derivative of b**2 - 2*b + 1/3*b**3 - 9. Let r be t(1). Which is smaller: r or 3?
r
Let a = 297 - 303. Is a less than -2/21?
True
Let a = 35.0875 + -0.0875. Is a not equal to -2?
True
Let t = 9049/50 + -181. Is -3 at most as big as t?
True
Let p = 2625/23426 - -3/901. Let z be ((-4)/6)/((-4)/(-6)). Is z greater than p?
False
Let g = 0.16 + -0.08. Let u = g - -0.6. Let w = 0.08 - u. Is w greater than -0.2?
False
Let t = 0.02 - 17.02. Let f = 1.34 - 21.34. Let r = t - f. Which is smaller: -2/3 or r?
-2/3
Let o(b) = 7*b**2 - 184*b + 5. Let g be o(22). Is g at most as big as -655?
True
Let x be (-2)/(-8) - 1058/3956. Are 0 and x unequal?
True
Let n be (27 + -36)*8/(-471). Is n less than 0?
False
Let u = -6515/57 - -341/3. Which is smaller: u or 0?
u
Let v = 944/3 - 315. Is v equal to 75?
False
Let k = -20.6 - -8.6. Is k smaller than -5?
True
Suppose 48 = 3*w - d, 2*w = 7*w - 3*d - 84. Suppose -r - 2*r - w = 0, -2*r - 6 = 4*c. Do 0.07 and c have the same value?
False
Let o(h) = -2*h**2 - 12*h - 19. Let p be o(-2). Is p greater than or equal to 6?
False
Let o(y) = y**3 + 3*y**2 + 2*y + 2. Let j be o(-2). Suppose m + 11 = -2*z, -6*m - 5*z = -2*m + 47. Let a = m - -16. Is a bigger than j?
True
Let h = -12 + 8. Let c = h + 3.86. Let g = -0.06 + c. Which is smaller: g or -1?
-1
Let u = -464 - -416. Are u and -44 nonequal?
True
Let n(i) = -2*i**3 - 6*i**2 - 3*i - 43. Let f be n(-4). Let t = -3/11 + 31/33. Which is smaller: t or f?
t
Suppose -115*k = -112*k + 3. Do k and -22/167 have different values?
True
Let l(p) = -28*p - 143. Let t be l(-5). Let q be (-28)/6 + 12/18. Which is bigger: t or q?
t
Let f = -2 + 2.2. Let i = 14 - -3. Let a = i - 22. Which is bigger: a or f?
f
Suppose -526 = -21*x - 64. Is x not equal to 137/6?
True
Let w(j) = -2*j + 1. Let l be w(-1). Suppose -x - 20 = -l. Let b = x - -9. Which is smaller: b or -7?
b
Let m = -44/30599 - -14859391/13126971. Let b = m - 13/11. Let r be -1*(0 - -1)*1. Is r at most as big as b?
True
Let u be (-102)/(-440) - (-4)/(-22). Let w = 118 + -119. Are u and w unequal?
True
Let g be (-4 + 8 - 14) + 3. Let i(r) = r**2 + 5*r + 10. Let z be i(g). Suppose -4*y - z + 8 = 0. Is y at most as big as -4?
True
Let y be ((9/15)/3)/(-1). Let v = 18 + -14.9. Let b = 3 - v. Which is greater: b or y?
b
Let u = 4 + -9. Let m be (0 + -5)*(-2)/u. Let o = 10789/4 - 2700. Is o < m?
True
Suppose 7*b + 28 = 6*b. Let l be 2/(-2)*b*1/(-32). Which is greater: -1 or l?
l
Let u = 0.7 + 1.1. Let m = -1.3 + 1.4. Is m < u?
True
Suppose 0 = -27*z + 16 + 11. Is -3/349 at most z?
True
Let q = -70/17 + 297/68. Which is bigger: q or 2?
2
Let h = 1.417 - 1.39. Which is smaller: 0 or h?
0
Let o = -0.26 + 3.96. Let d = 0.7 + o. Let b = 4 - d. Which is smaller: 0.2 or b?
b
Let q = -772 - -5370/7. Which is smaller: -6 or q?
-6
Let s = 0.319 + -0.519. Let f = -15 + 8. Is s <= f?
False
Suppose -11*a = -9*a + 2. Is -3/53 < a?
False
Let l be 12/(-14) + (-414)/(-336). Let z be (-58)/48 + (-1)/(-3). Let o = l + z. Is 2/7 at most o?
False
Let t = 83 - 81. Let i be ((-1)/2)/((-1)/(-2)). Let d be t*i + 50/26. Is d < 1?
True
Let j(q) = 8*q + 0*q**3 - q**3 + 4*q**2 + 9 - 13*q**2 + 3*q**2. Let a be j(-7). Which is smaller: a or -0.1?
-0.1
Suppose 2*y - 2*o = -0*y + 2, -2*y - o - 4 = 0. Let l be 12/(-54) + 148/657. Let b = l + -2642/4599. Is b at least y?
True
Let b be (-200)/60*24/10. Is b <= 0?
True
Suppose -23 = -4*g - 15. Suppose -5*h + 2*c = -24, -2*c + 6 = g*h + 2. Suppose 11 = -2*z + b, -2 = -3*z + 4*z - h*b. Does 1 = z?
False
Let a(k) be the third derivative of -k**4/24 - 4*k**3/3 - 15*k**2. Let p be a(10). Is p >= -19?
True
Let j be (7/(-21))/(1/(-24)). Let i be (j/102)/((-6)/126). Let m = i + 26/17. Is m > -1?
True
Let h be -4*(57/(-36))/((-3)/(-9)). Is -9 at most h?
True
Suppose -3160 = -13*s + 5*s. Let a be (2 - s/(-15)) + 2/(-6). Is a >= 28?
True
Let l = 9 - 15. Let s be l/15 + (-3)/5. Let n(r) = -3*r**2 + 14*r + 15. Let o be n(-1). Which is bigger: s or o?
s
Let o = 171 - 82. Let c(g) = -g**3 - 10*g**2 + 18*g + 17. Let i be c(-12). Is i less than or equal to o?
True
Let i = -27 + 28. Do -181 and i have the same value?
False
Let s = -93 - -92. Let f be ((s + 3)/(2/1))/1. Which is bigger: -3/14 or f?
f
Suppose 0 = 2*u + 5*t - 952, 16*u - 5*t = 20*u - 1914. Is 1 at most u?
True
Let o be 8*(-3 - 10/(-4)). Let h be ((-25)/(-20))/(o/(-80)). Let r be 5/4*(-10)/h. Which is smaller: r or -2?
-2
Let f = -9.18 - 2.72. Are -1 and f unequal?
True
Let g = -7.07 + 7. Let j = g - -0.06. Let x = j - -0.11. Which is greater: 0 or x?
x
Suppose 0 = 9*w + 651 - 21. Which is smaller: w or -68?
w
Let a = -4934 + 4965. Let m = 0.4 + -0.3. Which is greater: m or a?
a
Let n = 18 + -21. Let j(p) = 3*p + 1. Let a be j(n). Let r be (-7)/((-28)/a)*1. Is 0 > r?
True
Let j = -0.0237 - 1.9763. Which is smaller: 0.63 or j?
j
Suppose 0 = 7*g - 3*g - 376. Let i be 32/312*744/g. Let v = -10/13 + i. Is v bigger than 1?
False
Suppose a = -l - 42 + 38, 3*l + 4*a = -16. Is -3/4 greater than l?
False
Suppose -10*t - 95 = 5. Let d be (-27)/(-15) + (-2)/t. Is 2 equal to d?
True
Suppose 4 = -2*n - 4. Let v be (3/n)/(1*846/(-48)). Are v and 0 nonequal?
True
Suppose 91 = -3*n - 11. Let g = n + 17. Is -17 <= g?
True
Let a = 37 + -227/6. Suppose -n + 5 = -1. Let u = n + -7. Which is greater: a or u?
a
Let j be (-1)/((-4)/340)*1/1. Suppose -2*z = -5*c + 38, 0*z + 10 = c + 2*z. Suppose -c*d - j = -3*d. Which is bigger: d or -16?
-16
Suppose 0*j = 5*j + 2*a + 88, 2*a = -2*j - 34. Let v be (-1)/(-5) + j/15. Let l be -1*3*(-6)/(-9). Is l greater than v?
False
Suppose 128 = 3*m - h + 5*h, 2*m + 4*h = 88. Suppose -5*k - 3*v + m = -8*v, 29 = 4*k - v. Let u(y) = 2*y**2 - 15*y. Let c be u(k). Is -4 at least as big as c?
True
Let w = -1538 - -1538. Let q = 2/979 + 1920/18601. Which is greater: q or w?
q
Let a be ((-2)/(-12))/((-2)/8). Suppose 6*c = 4*c + 4*f - 8, -2 = -4*c + 2*f. Let i be -2 + c/8*5. Is a < i?
False
Let m = 91 + -98. Let v = m - -31. Is 22 <= v?
True
Let x be (-2)/20 - 1*1286/(-12460). Is 1 bigger than x?
True
Suppose -2*j + 0*g + 36 = -4*g, -3*j = 3*g - 36. Let t = -14 + j. Suppose t*p = p + 1. Is p not equal to 1/3?
True
Let r be (2/(-4))/((-14)/308). Let n = 19 + -20. Let b = n - -12. Is r at least b?
True
Let b be 1/2 + (-6)/(-