b = -0.129 - -13.129. Let p = -7.5 + b. Let s = -10.5 + p. Is -3 at least s?
True
Let z(p) = -195*p + 3144. Let f be z(-54). Does 13673 = f?
False
Let y be (10 + 23/(3289/(-1404)))*11. Suppose 2*l + 2 = 3*l. Is l <= y?
True
Let a = -12417 + 13058. Which is bigger: 651 or a?
651
Let r be 14/(-3)*(-6 - (3 + 1410/70)). Which is bigger: r or 137?
137
Let u be 7/(35/(-20)) - (-4 - -4). Let c be (-1223)/11 - u/22. Is c smaller than -112?
False
Let q = -13570 - -13410. Let r be (-3)/(6/(-4)) + 272. Let v = q + r. Which is smaller: v or 113?
113
Let a(m) = m**2 + 16*m + 28. Let u be a(-14). Let q be 1*((-6)/(-4) - (2 + u)). Suppose -2*h = 2*i + 3*h - 16, -4*i + 14 = h. Which is smaller: i or q?
q
Let c = 3.376 + -3.92. Let g = c - 40.456. Is -0.3 equal to g?
False
Suppose 4*n - 4*w - 52 = 0, -6*w + 20 = 2*n - 2*w. Let a be ((-534)/n)/((-7)/(-28)). Which is greater: a or -177?
-177
Let x be (0 - -6)*(-6)/63. Let n = -241 - -857. Let y be n/(-110) - (-6 + 1). Is y bigger than x?
False
Suppose 2*b + u = -b - 14, -u = 4*b + 19. Let l(c) = -3*c**3 - 16*c**2 + c + 14. Let o be l(b). Are -20 and o unequal?
True
Let l be (456/96 - 8) + (-1385)/(-500). Let s = -1 - -2. Is l at most s?
True
Let q be (36/702)/(15/((-34740)/(-8))). Which is smaller: 15 or q?
q
Let s = 6.009 + -6.209. Which is smaller: s or 800?
s
Let t = -193572/112725487 - 2/97937. Which is greater: 0.5 or t?
0.5
Let m = 1518 - 1057. Suppose -457*q = -m*q. Are 55 and q non-equal?
True
Let z = 93331/122 + -765. Let b = 124 + -125. Is b smaller than z?
True
Suppose 3 - 1 = 4*p + 3*r, -12 = 4*p - 4*r. Let w be (183810/(-585))/(2/3). Let s = 471 + w. Is s >= p?
True
Let n(l) = -l**3 + 8*l**2 + 17*l + 28. Let r be n(10). Let x(d) = d**3 + 2*d**2 + 2*d + 1. Let a be x(-2). Let y = r - a. Which is bigger: 4/27 or y?
y
Suppose 32 = 5*c + t, 6*c - 22 = c + 4*t. Suppose 2 = u, 0 = 4*z - c*z + 5*u + 88. Is z smaller than 53?
True
Let c be (-610)/(-4)*(0 - (-8)/10). Suppose -3*o = -t - 356, 7*o + 3*t - c = 6*o. Which is smaller: 120 or o?
o
Suppose -4*i = -7*i + 3. Let u = -514811/199 + 2587. Which is smaller: i or u?
u
Let c = 1469 - 1700. Is c greater than -232?
True
Suppose 0 = 6*b - 900 + 102. Let v be (2592/(-720))/((-3)/110). Which is bigger: b or v?
b
Suppose 5*w - 25 = 190. Let n = 83 - w. Let l be (-1 + n/42)/(-16 - -17). Which is bigger: 1 or l?
1
Let z(t) = -t**2 + 14*t - 42. Let u be z(9). Suppose -u*c + 0 = -27. Suppose -3*w - 26 = -h + 12, w = -4*h + c. Is w bigger than -11?
False
Suppose -5*v - l = -17, 0 = 3*v + 2*l + 2*l - 17. Let r be 1*2*v*(-175)/(-15). Which is smaller: r or 73?
r
Let b(l) be the first derivative of -l**3/3 - 38*l + 8. Let w be b(0). Let n = -39 - w. Which is smaller: 1/50 or n?
n
Suppose -8*a - 7496 = 3608. Which is greater: a or -1387?
-1387
Let i = 1026 - -498. Is 1523 > i?
False
Let f(l) = l**3 + 7*l**2 + 2*l + 15. Let u be f(-7). Suppose -139*x + 138*x = -u. Is -7/29 bigger than x?
False
Let c(y) = -y**2 + 38*y + 1321. Let f be c(60). Does f = -2/6981?
False
Let b = 2/16291 + 41951/56383151. Does b = -1?
False
Suppose x = -2*d - 2*d, 0 = -5*d - x. Suppose d = v + 2*j + 22, -2*v + 3*j = 4 + 54. Is v at most 1/4?
True
Let r be 79335/(-14418) + 5 + 2/4. Let k = 1592/4005 - r. Which is smaller: 4 or k?
k
Suppose p - 58 - 52 = -111. Let c be (1/(-9))/((-106)/(-12)). Which is greater: p or c?
c
Let i(w) = w**3 + 9*w**2 + 6*w - 11. Let p = -3 - 5. Let s be i(p). Let b(m) = 16*m**2 - 2*m - 8. Let j be b(1). Is s equal to j?
False
Suppose 0 = -289*q - 222760 - 368823. Is q < -2047?
False
Let r(a) = -a**3 - 105*a**2 + 1027*a - 208. Let w be r(-114). Is -968/3 != w?
True
Let b be -1*((-18)/(-45) + (-6254)/10). Let a = -522 + b. Are 102 and a unequal?
True
Let a = -19527.4 + 2512.4. Is a <= 0?
True
Let n be (-1)/(-4) - (24 + 2361/(-44)). Which is smaller: n or 29?
29
Let u(i) = i**3 + 6*i**2 - 96*i - 417. Let y be u(-4). Is 3/4306 greater than or equal to y?
True
Let n = -290.21 + -0.79. Let g = 290 + n. Let r = 1.1 - 0.1. Is r != g?
True
Let p = -232 + 230. Let k be 7 - (4 + -2 - p). Let v = 527/294 + 2/49. Which is smaller: k or v?
v
Let g = -3.6954 - -0.6954. Which is greater: -174/25 or g?
g
Let v be -6*2/(-8) - (-3948)/(-8). Let u = v - -488. Which is smaller: u or -38?
-38
Let m = 408 - 410. Let h be (68/m)/((-34)/(-17)). Which is greater: -16 or h?
-16
Let y be (-15)/9*(-4)/20. Let d = 4.74 - 4.73. Which is smaller: y or d?
d
Suppose 8 + 11 = 107*d + 19. Which is greater: -85/146 or d?
d
Let r = -684.224 - -678. Let z = r + 0.224. Which is smaller: 0.3 or z?
z
Let s = -959 + 2876/3. Is s > 765?
False
Let k = 849811/9 - 94585. Is -162 equal to k?
False
Let d = -0.6066 - -0.5066. Is -1050 equal to d?
False
Suppose 30*m + 55*m + 231150 = 1505725. Is 14996 less than or equal to m?
False
Let u = -171449/2628 - 7/657. Which is smaller: u or -65?
u
Let d(v) = -v**2 + 32. Let s be d(6). Let q be 78/84 - 2/14. Let h = q - 419/70. Is s bigger than h?
True
Let b = -1.421 - -1.221. Is 311/3 at least as big as b?
True
Let q = -217/720 + 1/720. Which is smaller: 30 or q?
q
Let t(j) = -9*j**3 + j**2 - 2*j + 1. Let b be t(1). Let o be 100/150*(-4)/((-12)/(-45)). Is o equal to b?
False
Let s = 11604 - 11603. Are s and 7/223 nonequal?
True
Let y = -9104 + 18199/2. Suppose -d + 4*j + 13 = -2*d, 2*j + 9 = -d. Is d < y?
True
Let g(v) = v**3 + 158*v**2 - 161*v - 324. Let c be g(-159). Is c at least 393?
False
Suppose -2*i + 5*r + 5 = 1, 2 = i + 4*r. Let p be (0 + (-8)/(-26))/i. Which is smaller: -1/6 or p?
-1/6
Let u = -1.8 + 2. Let j = -205.3 + 29.3. Let s = j - -176.2. Is s greater than u?
False
Suppose -21*j = -27*j + 6. Let u be ((-18)/(-15))/((-15)/(-50))*j. Suppose -2*o + 5*r = 2, 4*o - u*r + r = -4. Are o and -3/5 equal?
False
Let y = 4063 + -4062.5. Let a = -35 - -18. Is y smaller than a?
False
Let j = 24455/154 - 1746/11. Are j and 0.73 nonequal?
True
Suppose 0 = 235*d - 223*d. Is d >= 1/1676?
False
Let k be (-2*(-12)/256)/(-13 - -487). Are k and 0 unequal?
True
Let h = 26.2134 - 27. Let k = 5.2744 - h. Let f = k - 0.061. Are 3 and f unequal?
True
Let j = -4701 + 5097. Is j smaller than 396?
False
Suppose p - 742 = -k, -51*k - 3662 = -5*p - 50*k. Which is bigger: p or 733?
p
Let i(s) = -2*s**2 - 35*s + 20. Let v be i(-18). Which is smaller: v or 17?
v
Suppose 29*h + 4292 = 4321. Let r be (-19413)/(-9020) + (-1 - 1). Let m = r - 1/451. Do h and m have the same value?
False
Suppose -16 = j + 4*c, 264 = -4*c + 244. Is 126/25 greater than or equal to j?
True
Let i be (-766)/36 - 34/153. Let g = 4307 + -4328. Is i != g?
True
Suppose 6*r - 65 = -41. Suppose -i = -3*f - r, -f + 7 = -4*i + 56. Which is bigger: i or 11?
i
Let r(a) = -2*a + 4. Let w be r(6). Let z = 58 + -57. Let s be (3 + z)*(-80)/64. Is w bigger than s?
False
Let j = 4515 - 166955/37. Which is smaller: 3 or j?
j
Let x = 7374 - 7189. Which is smaller: -0.1 or x?
-0.1
Suppose -4*r = 2*z - 10, -4*r - 25 = -0*r - 5*z. Let v(y) = -y**3 - y**2 - 3*y - 15. Let x be v(r). Suppose -3*t = -7*t - 64. Is t less than x?
True
Let c be 2/9 + 9/81. Suppose -4*f + 2*k + 42 = -0*f, 2*f - 3*k - 27 = 0. Suppose -5*l + 3*t - 7 = 0, l - 2*t + 4*t = f. Which is smaller: l or c?
c
Let s be 3362963*((-2277)/456 - -5). Let p = s - 22124. Let m = -9/76 - p. Is m != 0?
True
Let o be (-26)/(-8)*-1*(10 + -9). Let s be (5/8)/((-14)/84). Let j = s - o. Which is greater: j or -4?
j
Suppose -4*z = -3*z + 3*o + 431, 3*o + 2227 = -5*z. Do -450 and z have the same value?
False
Let z(u) = -u**3 + u**2 - 5*u - 7. Let s be z(8). Suppose -3*h = 459 + 141. Let o be h/s + 2/(-9). Which is smaller: -1 or o?
-1
Let r = -398.22 + 28.22. Which is bigger: -13 or r?
-13
Let x(w) be the third derivative of 29*w**4/24 - 42*w**3 - w**2 + 103. Let g be x(8). Let z = -0.2 + 0.1. Is z greater than or equal to g?
True
Let c be 4/(-1) - (-10 + 24). Suppose 0 = 331*w + 1531 + 2912 + 522. Is c <= w?
True
Let n be 7 - ((-12)/6 - -1). Suppose 3*o = 1 - 13, 4*r = o - n. Which is smaller: r or 43?
r
Let y be 140/(-14) + 21 + -18. Suppose -3*w + 32 = -7*w. Is w at most as big as y?
True
Let c = 29 + -29/2. Let p(f) = -f**3 - 26*f**2 - 25*f + 14. Let x be p(-25). Let i(d) = -2*d**2 + 30*d - 12. Let n be i(x). Which is smaller: n or c?
c
Let m = -35401/7 - -5057. Is 127 equal to m?
Fa