-x**3 + 12*x**2 - x + 14. Let t be z(12). Let q be 10/240 - t/16. Let c = -3/4 - q. Is c bigger than -1?
True
Suppose -159 = 3*d - 42. Let c be ((-65)/d)/((-2)/(-114)). Suppose 0 = -12*p - c - 25. Which is smaller: -11 or p?
-11
Let d be (0 - 5)/(-1)*-2. Let j = d - -10. Let z = 278 + -279. Which is greater: j or z?
j
Suppose -n + 82 = -4*i, -479*n + 2*i = -477*n - 122. Do n and 64 have different values?
True
Let z(k) = 47*k + 2. Let t be z(1). Let o = -7454 + 7504. Which is smaller: o or t?
t
Let p(x) = 15*x - 4. Let d be p(4). Suppose -5*o + 255 = -3*a, 1274 - 1338 = -o - 2*a. Which is greater: d or o?
d
Suppose 0 = -19*j - 12*j + 12307. Let l = -398 + j. Which is greater: -26 or l?
l
Suppose 0 = -60*o + 55*o + 10. Let z be -4*9892/240 - o/15. Is z greater than or equal to -164?
False
Let o(w) be the first derivative of -w**4/2 - 28*w**3/3 + 39*w**2/2 + 31*w - 105. Let l be o(-15). Which is greater: l or -0.1?
-0.1
Let a(j) = -j**3 + 94*j**2 + 93*j - 81. Let c be a(95). Which is smaller: c or -263?
c
Suppose -34*p - 32 + 34 = -32. Is p >= -5/1253?
True
Let t = -792 + 620. Let u = -147 - t. Which is greater: u or 36?
36
Let z = 15.2 + 1.8. Let c = -3164/51 + 62. Let b = -59/204 - c. Which is smaller: b or z?
b
Let b = 431030/179 - 2408. Let w = b - -2737/4654. Is w at most as big as 2?
True
Suppose 3*n - 4 = o + 2*n, o - 5*n + 20 = 0. Suppose i + 77 = -2*u + 657, 4*u - i = 1148. Let h be (-3 - -5) + u/(-136). Is o < h?
False
Let b be (-1 - (-4)/6)*18/4*(-91)/2184. Let q = 0.1 + 1.9. Let w = q - 2. Is b <= w?
False
Suppose -96 = -1679*f + 1663*f. Which is bigger: f or 13?
13
Suppose 0*q - 20*q = -6940. Which is bigger: q or 343?
q
Let i(a) = 2. Let b(j) = -13*j - 38. Let k(f) = -b(f) - 4*i(f). Let p be k(-3). Let h(c) = c**3 - 6*c**2 - 9*c + 7. Let v be h(7). Which is bigger: v or p?
v
Let z = 7 - 7.12. Let n(m) = -8*m**3 - 8*m**2 - 11*m - 10. Let v be n(-4). Let g = -3760/9 + v. Which is smaller: g or z?
z
Let u be ((-2)/(-2766)*-3)/(1/10). Is u equal to 1?
False
Let v be (-6*3/6)/(1 - 2). Suppose -v*b + 15 = -3. Let j(z) = -9*z + 22. Let h be j(b). Does -32 = h?
True
Let l = 20125.7 - 20126. Do 1193 and l have the same value?
False
Let g(a) be the second derivative of -5*a**3/6 - 5*a**2/2 - 11*a. Let t be g(-9). Suppose 3*w + n = 4, 3*n = 5*w - 2*n - t. Is w bigger than 18/11?
True
Let f = 1089/19832 - 3/296. Let m be (27/15)/(87/(-45) + 2). Suppose -m*i = -30*i. Are i and f non-equal?
True
Let u = -183 + 182. Let x be (24/30)/(8/(-20)) - u. Is -6/11 <= x?
False
Let t = 285 + -149. Let c = t + -75. Let b = c - 42. Which is greater: b or -1/5?
b
Let z be (-5 - 14732/8)/(-39). Let d = -95/2 + z. Suppose -2*w + 3 = w. Are w and d unequal?
True
Let m be -4 + (-182 - 3) + (-5)/(-1). Which is smaller: m or -185?
-185
Suppose 0*y + 2*y = -x - 22, -5*x = 3*y + 40. Let w(k) = -k**3 - 10*k**2 + k + 11. Let a be w(y). Let v be 10 - 9 - a*2. Which is smaller: v or 2/75?
v
Let b = 2956 - 3657. Is b > -702?
True
Suppose 4*f = 12, -14*n + 9*n + 43 = f. Let i(b) = b**2 - 8*b + 7. Let y be i(n). Is y at least 4?
True
Let h(r) = -r**2 + 6*r - 5. Let p be h(5). Suppose p*k = -5*k. Let n be ((72/(-15))/4)/(-1*(-516)/(-40)). Is n not equal to k?
True
Suppose y + y - i - 2 = 0, 2*y = -3*i + 10. Let o be (3 + -2)/((-2)/(-32)). Let l be (-8)/12*(-18)/o. Is l bigger than y?
False
Let y = 1358 - 29757. Is -0.1 less than y?
False
Let d = 3357/101 + 452413/707. Is 674 at least d?
True
Let f be 20/(1700/(-153)) + -9. Is -11 >= f?
False
Suppose 2*x = 2*q - 0*q - 2954, -x - 7*q = 1461. Which is smaller: -1476 or x?
-1476
Let z be (-476)/(-399)*186 - 2/(-19). Is z less than or equal to 221?
False
Let n be (-32)/48 + (1/3 - 0)/1. Is n != -1852?
True
Let i = -587 + 118. Let v = i - -462. Do v and -87/13 have the same value?
False
Let p(y) = -148*y + 450*y - 6 - 154*y - 151*y. Suppose 0 = 5*n - 4*l + 3*l - 62, -4*n - l = -46. Let q be p(n). Is q <= -41?
True
Let q = -787/775 - -27/25. Suppose -24*b + 950 = -22*b - 3*l, 489 = b + 2*l. Let o = 482 - b. Does q = o?
False
Suppose -4*r + 5*d - 3 = 0, -2*r - 9 = -29*d + 24*d. Which is bigger: 28/65 or r?
r
Let c be (9/6)/((-7)/14*167). Does 0.1 = c?
False
Let s be ((-36)/(-4 - -7))/(-2). Suppose 160 = -s*v + v. Let w be (16/v)/(70/4). Which is smaller: w or 2/3?
w
Let f(b) = -2*b**2 + 15*b - 14. Let s(o) = 3*o**2 - 43*o - 73. Let k be s(16). Let q be f(k). Which is smaller: -49/8 or q?
q
Let w be 4971/(1351/1318 - 1). Let j = -198798 + w. Let c = 259 + j. Is 0 less than or equal to c?
False
Let u = -825.665175 - -2.018175. Let n = u - -825. Let r = 0.053 - n. Is r bigger than 2/9?
False
Let l be (-35)/10*2*6/(-7). Let j be (4/6)/(l/(54/(-21))). Let w = -18 - -19. Is j at most as big as w?
True
Suppose 2 + 2 = -l. Let g be 2 - (3 + (-7 - -2) - -25). Let r = g + 16. Does r = l?
False
Suppose 6*r - r - n - 203 = 0, 3*r - 2*n - 126 = 0. Let b = r + -23. Let q be (6/(-18))/(2/180*-2). Which is greater: b or q?
b
Let h = 130 - -191. Let i = h - 317. Which is smaller: -1 or i?
-1
Let a = 1649/4 + -387/4. Is 316 <= a?
False
Suppose -111*b - 29 = -112*b. Let l be (b + -32)*2/4. Is -4.7 less than l?
True
Let c(m) = 2*m**3 - 4*m + 2. Suppose 3*w - 4*v = 10, -4*v = w - 0*w + 2. Let o be c(w). Which is bigger: 9 or o?
o
Suppose 18*h = -215 - 73. Let z be (-108)/h*20/6. Is 23 < z?
False
Let g be (-7)/(140/(-12)) - (-64)/10. Suppose g*b = 2*b + 3*u - 12, 0 = -b - u - 4. Let y be 73/(-12) - b/4. Is -6 less than or equal to y?
True
Let y be 5 - (-63415)/5082*(-4)/10. Let g = -595 + 595. Which is smaller: y or g?
g
Let n = -212.2 - -21.2. Which is greater: n or 0.3?
0.3
Let m = 821 - 1235.6. Let r = 415 + m. Let b = 0.01 - -0.29. Is b not equal to r?
True
Let s be (66/(-15))/(4/(-140)). Let x = 118 - s. Which is smaller: x or -33?
x
Suppose 12*q - 19*q = 21. Let c be (0 + q)*(-7)/(-21)*1. Which is bigger: c or 27?
27
Let u(i) = -i**2 - 115*i + 233. Let r be u(2). Is -1051 less than or equal to r?
True
Let s be ((-10)/(-25))/((-12)/15 + 1). Suppose -4*g - 74 = -a - 0*a, -32 = s*g - 3*a. Which is smaller: g or -115/6?
-115/6
Suppose 0 = -2*z - 2*p - 2*p + 40, 0 = 4*z + 2*p - 92. Suppose 55 = 26*v + 367. Let o be 2/v*(-20)/z*-4. Which is smaller: -1 or o?
-1
Suppose -7*v - 483 = -1337. Let s = v - 232. Which is bigger: s or -109?
-109
Let v be 9 - 6 - (3 + 352). Let h be 18/48 + 68/v. Let s be (20/5 - 5)/(-4). Is h at most as big as s?
True
Let g = 2.779 + -1.899. Let z = -0.124 - -0.024. Does z = g?
False
Let d = -0.174 + -106.826. Let j = -97 - d. Which is greater: -1 or j?
j
Let u = -4067568294/21569 - -188584. Which is smaller: u or 0?
0
Let h = -13852 - -26147. Which is bigger: h or 12296?
12296
Let o = 3.71 - 53.91. Let l = -23.2 - o. Are 4 and l equal?
False
Suppose p - 2675 = -2*s - 0*s, 5*p = 15. Let a = s + -561. Let k = 1599/2 - a. Which is smaller: k or 24?
24
Suppose -5*b = -27*z + 30*z - 991, 0 = -3*b - 4*z + 610. Is 586/3 > b?
True
Suppose 3*c + 10 = c, 0 = -5*y - 3*c + 335. Suppose 77*a + 4*k + 218 = 5*k, 39 = -3*k. Is y at most a?
False
Let m be (0 - 3)*(-2)/3. Suppose 66 + 22 = 44*o. Suppose -o*b = -m, -5*k - b + 18 + 38 = 0. Are 10 and k equal?
False
Let r(g) = -20*g**3 + 20*g**2 + 46*g + 130. Let a be r(-9). Is a at most 15917?
True
Let b(j) = -j**3 + j**2 - j - 2. Let c be b(-2). Suppose 0*p - 7 = 5*a + 3*p, 0 = 3*p + c. Let n be (4 - a) + (-4 - -1). Is n greater than 5/8?
False
Let f = 9.16 - 9. Suppose 2*m = 15*v - 20*v, v + 2*m + 8 = 0. Suppose 9*w - 12*w - v = -h, 4*w = 2*h - 6. Is f smaller than w?
True
Let i = -29329 - -29818. Do i and -13 have the same value?
False
Let s be -4*(-8)/(16/(-199)). Let o = 397 + s. Is o greater than or equal to 2/245?
False
Let p be (25/10)/((10/172)/(-5)). Let t = p - -175. Which is greater: -39 or t?
-39
Let y = 54 - 26. Let l = 42 - y. Let z = l + -14. Which is smaller: -0.4 or z?
-0.4
Let p = -0.1 + 0.1. Let b = -591 - -597. Let h be b*(-6 + (-80)/(-15)) - -10. Which is bigger: p or h?
h
Suppose -4*c = 52*y - 50*y - 100, 5*y + 5*c = 235. Which is smaller: -0.03 or y?
-0.03
Let t = 20253 - 20792.92. Let i = t - -561. Let j = 21 - i. Which is smaller: j or 1/7?
j
Let k = -3890 + 2047. Let h = 1844 + k. Let t = 1.71 + -8.61. Is h at most as big as t?
False
Let d be (12/24)/(4/(-2508)). Whi