 12*f - 2. Let b be p(2). Is b not equal to a?
True
Let w be (20/(-12))/(4/(-3)). Let t = w - 3/4. Let b = -973 + 979. Which is smaller: t or b?
t
Let s = -28 + 33. Suppose 0 = n + 2*n + j - 6, 0 = -s*n + 4*j + 27. Let g be (n - (-47)/6)/1. Which is greater: 12 or g?
12
Let j be (-9234)/12*(-4)/3. Let a be 72/(-120) - j/(-10). Let c be (-15)/(-45) - 58/a. Are -1 and c non-equal?
True
Suppose 16 = 2*s + 4*t, -21 = -3*s - 9*t + 4*t. Let a be -3 + 3 - ((-2)/s - 57). Let r be a/12 + 27/162. Which is greater: 2 or r?
r
Let h = -36085292888/2967 + 12162216. Let d = -2/989 + h. Which is bigger: d or 6/23?
d
Let x(p) = -p**3 - 5*p**2 - 198*p - 580. Let m be x(-3). Which is bigger: m or -278/77?
-278/77
Let u be (-2 + 1830/(-20))*6/9. Which is smaller: -63 or u?
-63
Let l = -57.09 + -0.91. Let j = -59.5 - l. Let t = -70 - -69. Which is bigger: j or t?
t
Suppose -3*w + 2*q = 36, -4*q - q = w - 5. Let u = 16 + -16. Let i = u + -10. Is w less than i?
False
Let i(m) = 2*m**2 + 4*m - 21. Let j be i(7). Let k = 115 - j. Let r(h) = h**2 + 4*h - 1. Let f be r(-5). Which is bigger: k or f?
k
Let k be 28/7 - -1*(-1 + -11). Let m(c) = -2*c**2 - 13*c + 25. Let u be m(k). Which is smaller: u or 2?
u
Let n = -2.9 + -33.1. Let l = -28.7 + -4.3. Let y = n - l. Which is smaller: -23 or y?
-23
Let h = 317 - 315. Suppose -3*g = 1 + 5. Let b be (g/28)/(h + 38/(-20)). Is b greater than 1/2?
False
Suppose -75227 - 190563 = 173*k + 42496. Is k less than or equal to -1788?
False
Suppose 47*a = 28*a + 8987. Let o = -503 + a. Suppose 0 = 2*d - 5*c + 76, -4*d = -3*d + 4*c + 12. Which is greater: o or d?
d
Let t = 2687.2 + -2673. Does 10 = t?
False
Let t(q) = 23*q**2 + 2*q**3 + 3*q + 4*q + 2 + q**3 - 6*q**3 + 2. Let f be t(8). Is -58/15 less than or equal to f?
False
Let r = -13 - 130. Let n be 7/((-14)/(-4)) - (4 + r). Which is smaller: n or 142?
n
Let u be 63/(-49) + 16/56. Which is greater: -33/79 or u?
-33/79
Let s = -148 - -8. Let u = 142 + s. Suppose 5*r - u*r = 15. Which is smaller: r or 0.1?
0.1
Suppose -268 = 839*k - 268. Is k < 79/137?
True
Let g = 4222/5 + -847. Let w(c) be the first derivative of -11*c**2/2 - 113*c + 131. Let u be w(-10). Is g at most u?
False
Let v = 2811 - 2810. Is v at least as big as -1108/5?
True
Let z = -7/10890 - -63269/64545030. Are z and -1 equal?
False
Let g be (-4 - (-230)/55)/(5/545). Let k = 1094/55 - g. Is -1 greater than k?
False
Suppose 38*d - 71985 - 1985 = -3100. Is 1866 equal to d?
False
Let b = 92749 + -92754. Let q be 1/2*(-2 + 2). Let y be 2 + -3 - (q + 7). Is y less than b?
True
Suppose v + 8*t - 10*t + 341 = 0, -t = -2*v - 685. Which is bigger: 1/5 or v?
1/5
Let f be 8/(-18) - ((-134)/18 - -3). Let r be f/8 + (-9)/(-18). Is r at most 249?
True
Let o be 6/(-4)*(60 - 56 - 49/12). Is 223 >= o?
True
Let d = -9.7 - -151.7. Let x = d + -237. Let b = x - -102. Is 4/5 less than or equal to b?
True
Let o(v) = v**2 - 71*v - 148. Let x be o(73). Let u(n) = -n**3 - 6*n**2 + 13*n + 11. Let q be u(-8). Is x at least q?
False
Let c = -86682/5 - -17483. Let j = -147 + c. Let a = -110 - -64. Do j and a have the same value?
False
Let r(b) = 3*b**2 + 20*b + 27*b + 4*b - 7*b - 7 + 16*b. Let u be r(-21). Let g(h) = 2*h**2 - 6*h - 1. Let f be g(-4). Which is smaller: f or u?
f
Suppose 3*b - 4*b + 4*c + 39 = 0, 3*c = 3*b - 108. Let a be (-14)/5 + (-7)/b. Is -6 equal to a?
False
Let k be 1/249*157 - (-206)/(-309). Suppose -3 = i + 2*i. Is k < i?
False
Suppose s + 8663 = 11192. Is 2531 greater than s?
True
Let d = -295.0354 + 0.0354. Let h = 294.95 + d. Is 4 >= h?
True
Let p be (-67)/8 - (162/48)/(-9). Let i = -35/3 + 166/15. Is i smaller than p?
False
Let v be 4/14 + (-130)/(-35). Let c be -8*-6*v/32 - -1. Let k be 224/24 - 4/(-6). Is c at most as big as k?
True
Let p = -335485828/2523 + 132971. Which is smaller: 1 or p?
p
Let d = -91649 + 251943098/2749. Do d and -1 have the same value?
False
Suppose -31*i + 163*i - 1008 = -120*i. Which is greater: 1019 or i?
1019
Let g(c) = c**3 - 26*c**2 - 41*c - 449. Let x be g(28). Is -343/12 <= x?
False
Let c = -31771441/1080 - -29418. Let k(m) = -m**3 + 6*m**2 - 5*m. Let u be k(5). Which is greater: c or u?
u
Suppose 0 = -3*y - 4*m + 13, -5*m + 17 = 5*y - 3*m. Suppose -2*i + 215 = y*d, -i - 5*d + 2 = -95. Is i at least 111?
True
Let u(x) = x**2 + 20*x - 29. Let r be u(-17). Is -77 bigger than r?
True
Suppose q - 20 = 2*r, -25*r + 31*r = 4*q - 56. Which is bigger: -74 or r?
r
Suppose 196*r - 193*r = 2*i - 1208, -4*i + 2394 = 5*r. Is 598 < i?
True
Let y be 3206/(-21) + 12/126. Which is smaller: -154 or y?
-154
Let f = 1.3 - 1.7. Let w = 0.109 + -0.059. Is f bigger than w?
False
Let t = -0.9 - 0.5. Let m = -0.6 + t. Let b(j) = -14*j - 101. Let w be b(-9). Which is smaller: w or m?
m
Let m be (-66759)/112 + 51/816. Is m <= -597?
False
Let l be (1241120/42)/(-16) + 40/(-420). Does l = -1849?
False
Let t(k) = -2*k**3 + 16*k**2 - 11*k - 8. Let b be (16 + -2)*(18/(-3))/(-12). Let j be t(b). Is 12 < j?
True
Let q(h) = -40*h**3 + h**2 - 3. Let k be q(1). Is k less than -22?
True
Suppose 0 = -5*g + t - 6*t + 50, 4*t + 20 = 2*g. Let y be 16/(-40) - (-4)/g. Let v(s) = -21*s + 1199. Let x be v(57). Is y greater than or equal to x?
False
Let i = 19/2 - 193/20. Suppose -3*u + 4 = 2*s, u + 1 - 5 = -2*s. Suppose 2*m - s = 5*w + 9, -w - 4 = -m. Which is smaller: w or i?
w
Let c(v) = -2*v - 3. Let s be c(0). Let i = 7739 - 30969/4. Which is greater: i or s?
s
Suppose 21 = 5*p + 5*w - 4, 9 = 3*w. Let k be 3 + (p - -5852) - 3/1. Let x = 52748/9 - k. Which is smaller: x or 7?
x
Suppose -52*w - 6*w = -76212. Which is greater: 1312 or w?
w
Let g = -0.036525 + -0.163475. Let h = -3 - 31. Is g >= h?
True
Let f be (-242)/(-56) - (92/16 - 6). Is f at most 1/4?
False
Let r = 69.746 + -70. Let w = -0.244 - r. Let v = 1 - -1. Which is smaller: w or v?
w
Let s be (-3 - -3)/(1 + -2). Suppose 4*t - 6*t + 14 = s. Let b be (-96)/(-50) + (5 - t). Which is greater: 0 or b?
0
Suppose 17*n - 3*t = 19*n + 5684, 0 = 4*t - 24. Are n and -2850 equal?
False
Let t = 21/985 - -28351/102440. Which is bigger: t or 0?
t
Let m = -119.1666 + 119.25. Is 2/9 >= m?
True
Let u = -27.5 + 28.7. Let v = -9.8 - u. Which is smaller: v or -2?
v
Let f = 146 + -34. Let o = f + -116. Which is smaller: o or -2?
o
Let a = -211 + 338. Let g = 177 - a. Is g greater than 53?
False
Let i = -243 - -104. Let w = -148567 + 148566. Which is bigger: w or i?
w
Let s = 52 - 50. Let m(h) = 6*h - 6. Let v be m(s). Let q(i) = i**3 + i**2 - 8*i - 4. Let p be q(3). Which is greater: p or v?
p
Let x = -519 - -544. Let f(s) = 4 + 25*s + 0 - s**2 - 3. Let d be f(x). Is 18 at most as big as d?
False
Suppose -3*x = 4*b - 13, 2 = 4*x - 2*x + b. Let h be 176168/(-183) - 2/6. Let a = -25039/26 - h. Which is bigger: a or x?
a
Suppose 73*v - 97781 = -280*v. Which is smaller: v or 269?
269
Let w(l) = l**2 + 3*l. Let o be w(-3). Let k = -1 + o. Let f be (-4 - -10) + (-1 - -5 - (24 - 15)). Which is greater: k or f?
f
Let z be (-27)/(((-4)/(-40))/(38/(-5))). Suppose -5*d = 4*d - z. Let i be 4/14 - d/357. Is i at most as big as -1?
False
Let b = 0.061 - 0.091. Let u = -0.63 - b. Let z = -0.4 + u. Is 1 smaller than z?
False
Let z(u) be the second derivative of -u**5/20 + 5*u**4/12 + 7*u**3/6 - 4*u**2 - 16*u. Let n be z(5). Let t = -35 + n. Which is smaller: t or -12?
-12
Let r be 6/4*88/(-33). Let s be 6/(-4)*(1 - (-1 - r)). Suppose c = s*c - 10. Is c equal to -9?
False
Let m(n) = 3*n**2 + 37*n + 6. Let k be m(-12). Let a be 4/(-264)*-2*k. Is 1/6 less than a?
False
Let w(f) = 5*f + 90. Let q be w(-13). Let d be -30*((-5)/q - -1). Which is smaller: d or -20?
d
Let h be ((-2)/(-30))/((-132952)/(-44316) + -3). Is 739 at least h?
True
Let q = 11760 + -11759. Which is bigger: q or 9/1505?
q
Let d = 32092/299 - 1215/13. Do d and 15 have the same value?
False
Suppose -96*c - 187*c + 183375 = 206*c. Are c and 375 equal?
True
Let i = 76 - 34. Let y(o) = o**3 + 6*o**2 - 2*o - 8. Let v be y(-6). Let x be (v + 10/(-4))*6/(-27). Which is greater: i or x?
i
Let f(o) = -o**3 - 14*o**2 - 25*o - 2. Let n be f(-3). Let d(q) = q**2 + 20*q - 84. Let b be d(n). Is b at most 71?
False
Suppose 2*i = -14, -3*i = d + 84 + 56. Is 3 <= d?
False
Let c = -390.7 + 360. Let v = c - -29.7. Which is smaller: v or -64?
-64
Let t = -6654 