Are b and -14 unequal?
True
Let f(z) = -z**3 - 6*z**2 - z + 3. Let x be f(-6). Let k = -5 + x. Let h = 6 - k. Is h less than or equal to 3?
True
Let z = -12 + 5. Suppose -5*n = 5*a + 20, -2*a + 0*a + 5*n - 29 = 0. Is z smaller than a?
False
Let o(t) = t**3 - 8*t**2 + 7*t + 3. Let m be o(7). Let h be m/((-6)/(-4) - 0). Let z = -73/70 - -9/14. Is h greater than z?
True
Suppose -7*n = -10*n - 3*s - 432, -720 = 5*n + 3*s. Which is smaller: n or -138?
n
Let w = 2323/207480 - 1/1064. Let k be 3 + -3*(-4)/(-3). Is k < w?
True
Let o(w) = w**3 + 9*w**2 - 9*w + 14. Let i be o(-10). Let z(k) = k - 4. Let q be z(i). Let v be (99/(-20))/(-9) - 2/(-8). Are q and v equal?
False
Let i be (-3)/9 - 8/(-6). Let k = -707/400 - -27/16. Let d = 119/1175 + k. Which is smaller: d or i?
d
Suppose -k + 3 = -3*r, r + 4 = -3*r. Which is smaller: 2/1111 or k?
k
Let s = -0.64 - -0.668. Let w = 1.172 + s. Is -1/4 less than w?
True
Let m(k) = -2*k**2 - k - 4. Let z be m(-3). Let g = -74193/5 - -14839. Which is smaller: g or z?
z
Let k = 209 - 210. Does -0.05 = k?
False
Let b(r) = -r**2 + 34*r - 370. Let u be b(18). Which is bigger: u or 4?
4
Suppose -29 = -3*v + 5*t, -4*v + t - 8 = 6*t. Let s(i) = i + 1. Let f be s(v). Is f >= 7?
False
Let c = 1.682 + -0.682. Is c > -359?
True
Let z(m) = m**2 - 15*m - 1. Let x be z(19). Let a be x/(-6)*(-3 - (-124)/20). Are a and -41 nonequal?
True
Let u = -10 - -25. Suppose -2*y = v + 8, 3*y = -v - 2*v - u. Which is greater: y or -9/5?
-9/5
Let s = 194 - 210. Which is bigger: -17 or s?
s
Let c(w) = 11*w**2 - 6*w**2 + 5*w - 1 - 4*w**2. Let b be c(-5). Is b < -1/7?
True
Let t = 745 + -27568/37. Which is smaller: 0 or t?
t
Let z = -113828 - -1015541/9. Let j = 989 + z. Is 0 at most j?
False
Suppose 5*z + 26 = 6*a - 5*a, -4*z - 4*a = 16. Which is smaller: -60 or z?
-60
Let r = 860 - 872. Which is bigger: r or -22?
r
Let c = 41 + -40. Let m = -84348/1351 - -437/7. Are c and m nonequal?
True
Let u = -31.7 - -30.5. Is u less than or equal to -2/3?
True
Let m(h) = -2*h. Let q(t) = -t. Let l(b) = -4*m(b) + 9*q(b). Let n be l(1). Is n > -6/17?
False
Let w be (-10)/(-5) + (-3)/(-6)*6. Let f(u) = -u - 9. Let h be f(-5). Let l be 3 - (w/(-3) - h). Which is smaller: 3/10 or l?
3/10
Suppose -i - i = 4*o + 92, -o + i = 23. Let s = o - -22. Which is smaller: s or 2/75?
s
Suppose 58*x - 8590 - 9158 = 0. Which is greater: 307 or x?
307
Suppose 445 = -10*c + 25. Which is greater: c or -44?
c
Let p be (2166/252)/(-19) + (-2)/6. Do p and -2 have different values?
True
Let i(t) = 0*t**2 + 4*t**2 + 6 + 4*t - 2*t**2 + t. Let q be i(-5). Let n = 45 - q. Are n and 14 non-equal?
False
Suppose s - 22 = -v - 2, -99 = -5*v - 4*s. Suppose v - 21 = -i. Which is smaller: 35 or i?
i
Let x = -1.7 + 2.8. Let y = 7 + -6. Let p = y - x. Is p not equal to 2?
True
Suppose -5*a + a + 4 = 0. Let y be (1 + a)/(-27 + 1). Let m = -7 + 7.1. Is m at most y?
False
Suppose 2*q + 3*b - 19 = 0, 8*q = 3*q - 5*b + 45. Suppose p = -2 - q. Which is bigger: p or -2?
-2
Let p = -96 - -99. Suppose c = 4*q + 22, -13 = 5*c - p. Is q at least as big as -9?
True
Let v = -505.7 - -506. Is -55 greater than v?
False
Let b be 12/14*(-168)/(-18). Which is bigger: 73 or b?
73
Let n be (3 - (-11 + 13))/(-2791). Do 1 and n have different values?
True
Let g be ((-2)/(-166))/(4/(-4)). Let q = 2484 + -2483. Is g smaller than q?
True
Suppose 2*q = 106 - 76. Suppose q = -4*f - 173. Is f > -1?
False
Suppose -10 - 14 = -4*l. Let a = -229 - -235. Is l bigger than a?
False
Let j(b) = -b - 3. Let d be j(-11). Suppose 0 = f + f - d. Which is smaller: 2 or f?
2
Suppose -80 = -0*l + 5*l. Suppose 5*x + 89 = -h, -3*x + 3*h + 18 = 75. Is x bigger than l?
False
Let h(s) = -83*s - 8. Let w be h(-2). Let z = w + -119. Is 40 > z?
True
Suppose 7*n + 60 = 2*n. Let x be (-11)/11 - (-18 - -1). Let z = n + x. Is z < 2?
False
Suppose 18*y = 2*y - 1504. Which is greater: -93 or y?
-93
Let f = 128.8 - 170.8. Are -10 and f nonequal?
True
Suppose 3*i + 48 = -831. Let h = 2059/7 + i. Is 2 bigger than h?
True
Suppose -3*w + 47 - 308 = 0. Let g = 21 + w. Let q = g - -200/3. Do q and 1/3 have the same value?
False
Let o be ((-375)/(-55) - 7) + 6095/(-55). Which is smaller: -112 or o?
-112
Suppose 2*b - 766 = b - 4*t, 4 = -4*t. Which is bigger: b or 772?
772
Let g = -601 + 591. Which is smaller: -30 or g?
-30
Let s = 0 + -6. Let l = -44 - -762/17. Let i = l - 181/34. Is i greater than or equal to s?
True
Let t(h) = 20*h**2 - 8*h - 53. Let p(o) = 7*o**2 - 3*o - 18. Let s(g) = 17*p(g) - 6*t(g). Let z be s(-6). Is z bigger than -7?
True
Suppose -5*c + 3*q - q + 5 = 0, -3*c = 2*q - 19. Suppose 4*d - 5 = 3. Suppose -d*l = c*l. Which is smaller: -1/4 or l?
-1/4
Suppose 4 - 1 = a. Let c be (-1)/(a/(-33 - 3)). Suppose -2*t + c = -2*u, 7 = 2*t + 5*u - 5. Is 8 equal to t?
False
Suppose 11*x - 36*x = 350. Which is smaller: x or -8?
x
Let r be (-376)/(-40) + (-4)/10. Let t be 2/r + 56/(-198). Is t at most as big as -1?
False
Let o be -22*8/(-110)*665/(-2). Is o < -532?
False
Let n be 15/5 + (-9256)/3084. Let b = n - 2282/23901. Let j = b + 350/93. Which is smaller: 5 or j?
j
Let q be ((-1)/10)/(((-288)/5)/3). Is q greater than or equal to 0?
True
Let g(d) = -d**2 + 4*d + 7. Let v be g(5). Let n be -6*((-3)/27 + 0). Which is smaller: n or v?
n
Let k(s) = -3*s - 18. Let r be k(-9). Suppose 4 = 2*p - 2*n, -4*p - 1 + r = -2*n. Suppose 2*l = 2*o, -l = -p*l - 4*o - 15. Is l smaller than -4?
False
Let n = 22 - 19. Suppose 35 = 5*c + 3*w, 2*c - 1 = 2*w - n. Which is bigger: 13/5 or c?
c
Let y(t) = -2*t - 7. Let k(h) = h**3 - 10*h**2 - 9*h - 13. Let v be k(11). Let w be y(v). Which is bigger: w or -1?
-1
Let s = -38 + 37. Let n = -868 - -108502/125. Which is bigger: s or n?
n
Suppose 0 = -6*u + 155 + 355. Suppose 15 - u = -5*t. Is t at least as big as 14?
True
Let s(n) = -135*n + 526. Let m be s(3). Is m <= 121?
True
Let j = 1280 - 1280.7. Which is greater: -1 or j?
j
Let r = 1386 + -15243/11. Suppose 7*y = 4*y - 4*i + 31, 24 = 4*y + i. Let w(z) = -z + 4. Let h be w(y). Do h and r have the same value?
False
Let a(g) = -g**2 - 4*g - 1. Let u be a(-4). Let v = -18 + 33. Let l be 10/v*(-1 - 1). Which is smaller: l or u?
l
Let o(f) = -2*f**3 - 2*f**2 - 11*f - 11. Let z be o(-1). Which is smaller: z or 24/221?
z
Let t be (45/(-10) - -4)/((-3)/(-267)). Suppose 4*g + 24 + 152 = -4*f, 4*f = -5*g - 220. Which is bigger: g or t?
g
Let z = 1.624 + -0.324. Which is greater: -59 or z?
z
Let g = -4369/234 - -56/3. Is -1 > g?
False
Suppose -s + 11 - 12 = 0. Let t = 0.395 + -2.465. Let o = -0.07 - t. Which is smaller: s or o?
s
Let n be 4 + (3 - 6)*1. Let f = 609/10 + -121/2. Is f greater than n?
False
Let s(g) = 3*g - 21. Let r be s(14). Let m = -18 + r. Which is smaller: m or 2?
2
Let s be 2/8*-2*4/4. Is 0.288 greater than or equal to s?
True
Let z = -1057 - -1105. Is -4 < z?
True
Suppose -15 = -4*m + 2*f - 37, 3*f = -9. Suppose 5*p = 1 - 41. Is m != p?
True
Suppose 1166 + 949 = 45*p. Is 3/8 bigger than p?
False
Let d(o) = 6*o**3 - 2*o - 1. Let b be d(-1). Let j be (b + 56/12)/((-4)/(-6)). Which is bigger: 1.3 or j?
1.3
Let v be (-64 - -58) + 9*(21 - 2). Do 165 and v have different values?
False
Let p = 841/2 - 421. Is 140 < p?
False
Let s = 10.2 - 0.2. Let g = 4541 + -4540.8. Is s > g?
True
Let f be 10/15*-3 + (-555)/(-277). Is f at least as big as -1?
True
Let g(t) = 3*t - 2. Let x be g(2). Suppose 6*m - x*c = 2*m + 84, 2*c = 0. Let k be 14/m + (-53)/12. Which is smaller: k or -3?
k
Let k(w) = -w**2 - 20*w - 36. Let r be k(-18). Which is bigger: -15 or r?
r
Let q be (287/5 - 1)/(6/15). Let r = q + -52. Is r bigger than 90?
False
Let c(b) = -2*b**2 - 22*b - 13. Let d = -102 - -90. Let k be c(d). Which is smaller: -39 or k?
-39
Let n = -59 + 55. Do 12 and n have the same value?
False
Let c = 544.56 + -526. Let a = c - -0.44. Let i = -19.3 + a. Is -3/2 < i?
True
Let u = 0.1167 - -163.8833. Are 3 and u unequal?
True
Let o = -110 - -100. Which is smaller: -91/9 or o?
-91/9
Let z = -34 + 30. Let g be 9/1 + 8/z. Which is smaller: 3 or g?
3
Let b = -2 - -7. Suppose 9*p - 17 = -b*a + 12*p, -12 = -4*a + 2*p. Are 1 and a equal?
True
Let g be ((-632)/(-72) - 9) + (-29)/(-9). Is g at most -7?
False
Let r = 44.2 - 53.2. Do -2/5 and r have different values?
True
Let k be (-1426)/(-42) +