4*s, -l + 5*s = 18. Let q be (8/(-20))/(2/40). Is q less than l?
False
Let n(z) = z**3 - 9*z**2 + 10*z. Let v be n(8). Suppose -12*a - 8 = -v*a. Which is bigger: 4/3 or a?
a
Suppose -l = -3 - 7. Let j be (8/370)/(l/25). Which is greater: j or 1?
1
Let s = 2.1 + 0.7. Let k = s + -2.8. Is 0.1 bigger than k?
True
Let c be (-6)/8*104/(-39). Suppose -p + 2*p = -4*y - 11, -2*p - c*y = 52. Let i be 16 - 14 - (-65)/p. Which is bigger: i or -1?
i
Suppose -14*a + 12*a = 0. Which is bigger: a or 1/506?
1/506
Let q(v) = v**2 - 5*v - 161. Let r be q(-11). Which is bigger: r or -2?
r
Let c = 716 + -721. Is -30 at least c?
False
Let m = -21 + 29. Suppose b + m = 3*b. Suppose 4*s + k = 21, 3*s - b*k + 9 = 1. Is s > 3?
True
Suppose -4 = 2*d - u, -5*d - 10*u + 8*u - 10 = 0. Which is bigger: d or 92?
92
Let m be 3/(-84)*(-16)/58*7. Suppose q + u = 5 - 2, 4*u + 18 = 2*q. Suppose -q*f - 20 = 0, -12 - 12 = -4*n + 5*f. Which is smaller: n or m?
m
Let g(n) = 7*n**2 + 15. Let p be g(-4). Is 126 < p?
True
Let m(u) = 2*u + 104. Let k be m(0). Let x = 1766/17 - k. Let n = -1 + 0. Is x less than n?
False
Let j(n) = 5*n + 17. Let u(i) = 6*i + 18. Let w(s) = 5*j(s) - 4*u(s). Let g be w(-10). Suppose -g*b + 13 = y, -b = -3*b + 8. Do y and 2 have the same value?
False
Let x(m) = 1. Let q(j) = j**2 - 3*j - 4. Let w(g) = -2*q(g) - 22*x(g). Let v be w(5). Is -34 < v?
False
Let n = -19.5 - -14.5. Let v = 71 - 74.7. Let m = v - -4. Is n bigger than m?
False
Let c be (4/30)/((-14)/36). Let j be -1*(5 + -4) + 2. Is j at least c?
True
Let v = -6844 + 759689/111. Is v less than 0?
False
Let z = -593 - -502. Is z greater than -89?
False
Let a = 31 + -31. Suppose a = 2*p + 26 - 2. Do -13 and p have the same value?
False
Let v be ((-4)/(-153))/((-1)/30). Let h = v - -2/17. Which is greater: -3 or h?
h
Let v = -98 + 159. Let p = 4247 - 4185. Is p less than v?
False
Let x be -1253*(-3)/(-45) - 4/5. Let a = -19478/231 - x. Which is bigger: -1 or a?
a
Let b(j) = -6*j**2 - 3*j**2 + 8*j + j**2 - 3 + j**3. Let c be b(7). Suppose 0*p = -c*p - 44. Is p greater than -10?
False
Let x(q) = 3*q - 29. Let h be x(11). Suppose 1 - 11 = -5*d. Suppose -3*n = d*j - 0*n - 13, -5*j - 4*n + 22 = 0. Is h greater than or equal to j?
True
Suppose 5*p + 9*m - 4*m - 5 = 0, 2*m = 3*p - 18. Let n(i) = i**2 - 10*i - 12. Let v be n(p). Which is smaller: 2/5 or v?
v
Let z = 33 + -33. Let h(i) = -i + 5. Let g be h(4). Is z bigger than g?
False
Let s(r) = -108*r + 543. Let w be s(5). Is w at least 68/37?
True
Let s = 721/36 - 20. Let p(x) = x**2 + 16*x + 47. Let y be p(-12). Is y < s?
True
Let t = -108 + 64. Let f = 44 + t. Which is greater: -1/53 or f?
f
Let r(q) be the first derivative of q**2 - 9*q - 20. Let h be r(11). Is h bigger than 9?
True
Let i(p) = 16*p - 2. Let j be i(-1). Let v be (10/(-15))/((-1)/j). Let o = -15 + 3. Is v greater than or equal to o?
True
Let m(f) = f**3 + 4*f**2 - 5*f. Let i be m(-5). Suppose -2 + i = -t. Let s = 1/2 - 0. Is t smaller than s?
False
Let z = -392 + 390. Let o be (-2)/(0 + 2 + -1). Are o and z non-equal?
False
Let w = -409 + 174. Let l = w - -2579/11. Which is bigger: 0 or l?
0
Let a = 10.47 - 1.07. Let j = 46.6 + a. Which is smaller: j or 0?
0
Let n(o) = -o + 6. Let p be n(4). Is 14 at most as big as p?
False
Let p = -2.93 + -0.07. Let n = 25 + -24.99. Let g = 1.99 + n. Are g and p equal?
False
Let c(p) = p**3 + 10*p**2 + p + 11. Let l be c(-10). Let d = -7/44 + 21/11. Which is smaller: l or d?
l
Let a(g) = g**2 - 56*g + 187. Let x be a(50). Is x greater than or equal to -116?
True
Let p be (-8)/((-1 - -4) + -5). Let r be (-1074)/p*(-8)/(-48). Let s = -45 - r. Is 0 at least s?
True
Let j be ((-1715)/294)/((-6)/(-4)). Is -5 >= j?
False
Let g be (-3)/2*(-32)/24. Suppose 2 = g*a - 4. Do a and 5 have the same value?
False
Let n = -5296/3 - -1766. Which is bigger: -200 or n?
n
Let v be (-10)/5 - 16/(-10). Suppose -5 = -4*m + k, -27 + 2 = -4*m + 5*k. Suppose -g + w = 6, m*w + 15 = 3*w. Is g <= v?
True
Let k = -97 - -4943/51. Let j = k - -139/1122. Is 1 at least j?
True
Suppose -98 = -8*p + 6*p. Let d = p + -78. Is -31 at most d?
True
Suppose 0 = 3*m - 3, -6 = 3*c - 2*m + 227. Are c and -389/5 equal?
False
Let o = -1/289 + -248/11849. Do o and 0 have the same value?
False
Let p = 0.15 - -0.6. Let g = p + 0.25. Is g >= 21?
False
Let r = -15 + 24. Let y be 12/(((-27)/2)/r). Let q(p) = -p**3 - 4*p**2 - 5. Let l be q(-4). Is l bigger than y?
True
Suppose -2*t + 4 + 2 = 0. Let k = 18 + -15. Is k at most t?
True
Let u = 6 - 2.5. Let f = 2.7 - u. Is f at least as big as 1?
False
Let k = 29 - 28. Which is smaller: k or 4/17?
4/17
Let l(o) = -o**3 + 8*o**2 - 7*o - 2. Let u be l(7). Let p = u + 3. Let x = -142 - -430/3. Is x >= p?
True
Suppose 31*y + 14*y + 2115 = 0. Is -1/3 at least y?
True
Let u(p) = 3*p + 7. Let b(x) = x**3 - 4*x - 3. Let j be b(-2). Let g be u(j). Let v be 48/(-26) - (g + 0). Is -1 < v?
True
Let h be 340/272*(5 - 1). Is -1 > h?
False
Let d be (40/15 - 2)*9. Suppose 0 = -d*h + 12 - 0. Is 28/11 less than h?
False
Let k be 0/(-1)*(-4)/8. Suppose -4*w + k*w - 12 = 0. Suppose 3*c - 15 = 6*c. Do c and w have the same value?
False
Suppose h + h - 2*g = 6, 0 = -4*g - 20. Let f be 2/7 - (1240/(-756) - h). Let s = 0 + 1. Are s and f non-equal?
True
Let m(k) = 77*k - 350. Let z be m(5). Is 39 smaller than z?
False
Let b = 4.04 - 4. Let r = 102 - 104. Is b < r?
False
Let m = -614 - -653. Is -2 < m?
True
Suppose 5*l + 6 = 26. Suppose n = -l*n + 15, -18 = f - 5*n. Is f less than or equal to -6?
False
Let x = 3125 - 2636. Do 489 and x have different values?
False
Let f = 9/10807 - -3663456/140491. Let r = f - 26. Suppose 5*o - 16 = 4*o + 3*j, -5*o - 2*j = 5. Which is greater: o or r?
o
Let m(x) = 3*x - 151. Let r be m(53). Is r bigger than 17?
False
Let n = -48250/29 + 1664. Do n and 1 have the same value?
False
Let j be 3053/258 - (7/(-6))/7. Do j and 144/13 have the same value?
False
Let a(z) = 4*z**2 - 9*z**2 + 230 - 230 - 11*z. Let x be a(-2). Is 24/19 not equal to x?
True
Let y be 12/(-20)*5*-1. Let v = -0.06 - 0.05. Let m = -0.11 - v. Is y less than m?
False
Suppose -60 = 2*m - 5*w, -2*m + 4*w = -0*m + 62. Let s be (-6)/(1 + m/20). Is 7 at most as big as s?
True
Let h be 702/(3/1) - -10. Which is smaller: h or 487/2?
487/2
Suppose -14*z - 1017 = 1881. Which is smaller: z or -209?
-209
Suppose -5*h - 11 = -4*s, 5*h + 18 = -7*s + 4*s. Is 86 bigger than s?
True
Let m = 1 - 1.1. Let j = -65.69 - -4.69. Which is smaller: m or j?
j
Suppose -2*u - 3 = u - 4*p, 2*u + 2*p = -2. Which is bigger: u or 41?
41
Let f(b) = b**3 + 10*b**2 + 9*b + 1. Let x be f(-9). Let q = 14/33 - 257/528. Is x >= q?
True
Let f(y) = -y**3 - y**2 + y - 7. Let d be f(-3). Let u(b) = -3*b**2 + 25*b + 4. Let r be u(d). Is r less than 12?
False
Let u be 14/(-28)*(3 - (4 + 3)). Let t be ((-20)/(-6) - 2)*9. Let v = u - t. Is -0.1 bigger than v?
True
Let h = 8958 + -3484660/389. Is h at least 1?
False
Let s = -100 + 105. Which is smaller: 69/11 or s?
s
Let b = -6 + 8.8. Let r = -2.2 - b. Which is bigger: r or 5?
5
Let j = 418 + -505. Which is greater: -259/3 or j?
-259/3
Let h = -67 - -205/3. Suppose 13*g - 8*g + 25 = 0. Let x be 2 + 2 + 3 + g. Which is greater: h or x?
x
Let b = 125/34 - 54/17. Suppose -8 + 2 = -3*d. Is b less than or equal to d?
True
Let f(t) = 2*t**2 + 10*t - 24. Let q be f(-8). Suppose 3*g = -c + q, 2*g + 23 = 4*g + 3*c. Which is smaller: g or 9?
g
Suppose 6*l - l = 20. Let q = -9149 - -9151. Is q greater than or equal to l?
False
Let l = 199 - 136. Let i be (-171)/l + 4/(-14). Let s be 26/(-6) + (-2)/3. Are s and i unequal?
True
Suppose 0 = -5*a - n + 40, -a + 0 = 4*n - 8. Let x = a - 7. Is x at most -1/5?
False
Let h = -69 - -74. Suppose u = 0, -100 = h*c + 10*u - 6*u. Is c > -18?
False
Let o(f) be the second derivative of -19*f**5/20 - f**2/2 + 3*f. Let h be o(1). Is -20 < h?
False
Let u = 233 - 227. Which is greater: 2 or u?
u
Let n = -69 - -64.8. Let t = n + 4.3. Which is greater: -7/3 or t?
t
Let w be (-1)/2 - 1305/(-18). Is w smaller than 75?
True
Let f = 8 + -7. Let p be 1*(0 + -1) + f. Let g be (6 - p)*(-30)/45. Which is smaller: g or 1?
g
Let h = -70.43 + 70. Let c = h - -0.33. Which is bigger: c or 1/4?
1/4
Suppose 5*o = 5, 2*o - o - 2 = -j. Let q(f) = f**3 - f**2 - 2*f + 2. Let g be q