s than or equal to 15?
True
Let p(c) = c + 15. Suppose 2*u = o - 3*o + 12, -o + 12 = 2*u. Let y be p(u). Do 20 and y have the same value?
False
Suppose -4*q + 4*p = -64, -q - 3*p = -22 - 10. Are 15 and q non-equal?
True
Let g = 182.1 + -182. Is 0.99 less than or equal to g?
False
Let s(z) = 10*z + 13. Let c(l) = 7*l + 9. Let x(a) = -7*c(a) + 5*s(a). Let f be x(-3). Let i(q) = q**3 - 7*q**2 + 11*q. Let d be i(4). Which is smaller: f or d?
d
Let p(c) = c**2 + 14*c + 5. Let r(a) = a**3 + 7*a**2 + 12*a. Let h be r(-5). Let t be p(h). Is -34 smaller than t?
False
Suppose 0 = q + 6 - 2. Let y be (q/(-35))/((-72)/20). Let i = 59/126 - y. Which is smaller: i or 0?
0
Let k(c) = 2*c - 103. Let t be k(21). Which is bigger: -2/7 or t?
-2/7
Let b be (-2)/(1 + (-13)/10). Let t(g) = g**3 - 72*g**2 + 140*g + 8. Let k be t(70). Do k and b have different values?
True
Let f be 2 - 6 - 768/(-336). Are 2/19 and f non-equal?
True
Suppose -5*t + 0*j - j = 144, 3*j + 12 = 0. Let k be (-1)/3 - t/21. Which is smaller: k or -1?
-1
Let v = 1029 + -4117/4. Which is smaller: v or 0.284?
v
Suppose -l - 6*l + 63 = 0. Suppose -p - 22 = -3*p. Are l and p non-equal?
True
Suppose 2*l = -l - 177. Let g be (-6)/12 - l/110. Is g not equal to 0?
True
Suppose 285 = 5*n + 4*b, 4*n - 2*n - 3*b - 91 = 0. Suppose q = o - 24, 3*q - o + n = -21. Is -1 smaller than q?
False
Let c(m) = -14*m - 1. Let j be c(-2). Let l = j + -26. Let r be 3*((-43)/(-39) - l). Which is bigger: -1 or r?
r
Let o be (-1)/(3/(-30)) - 0. Let v = 11 - o. Which is greater: 2 or v?
2
Let b be 48/(-32) - ((-15)/10 + 1). Let w(t) = -t**2 - 4*t - 2. Let o be w(-4). Which is smaller: o or b?
o
Suppose 5*q + 28 = -22. Let w(t) = -t. Let g be w(-1). Let z(b) = -8*b**3 - 1. Let p be z(g). Is p at most q?
False
Let k = -1013/5 + 202. Which is smaller: -0.82 or k?
-0.82
Let x(d) = 6*d + 8. Let p(h) be the third derivative of 7*h**4/24 + 3*h**3/2 - h**2. Let l(y) = -4*p(y) + 5*x(y). Let t be l(-5). Which is smaller: -8 or t?
-8
Let a = -98 + 97.74. Is 3 smaller than a?
False
Suppose 4 = -2*j - 2. Let a = 765 - 769. Which is bigger: j or a?
j
Let c = 0 + 8. Let k be (6/3)/(1/6). Suppose -k = -3*t - 4*m, -m = 3*t - c*t - 3. Which is greater: t or 1?
1
Let v(w) = -w**3 - 10*w**2 + 10*w - 14. Let u(o) = -2*o - 5. Let i be u(8). Let l = -32 - i. Let a be v(l). Which is smaller: -12/5 or a?
a
Let g = 1944 + -814. Is 1130 not equal to g?
False
Let h = -471/253 + 20/11. Is 1 bigger than h?
True
Let i be (-2)/13 + 482291/(-1157). Which is greater: i or -418?
i
Suppose -2*x + 3*s = 49, -s = -4*x + 2*x - 43. Let d be (-1)/2 - 10/x. Is 1/5 greater than d?
True
Suppose -9 = -3*x, -3*x + 5 + 2 = s. Suppose -4*n + 22 = -2*g, 2*n - 2*g - 14 = -0*n. Suppose -y + n = -3*y. Is s less than y?
False
Let v be (-14)/8 - -2 - (-36)/(-16). Let a be (0 + 12/(-93))/v. Let c be 2/9 - (-8)/(-36). Which is smaller: c or a?
c
Let b = 10.5 - 9. Let i = 687 + -686. Are b and i non-equal?
True
Let r = -9 + 24. Suppose -r + 25 = 5*m. Suppose 3*l + 3*t = -6, m*l - 3*t = 6 - 0. Which is greater: -0.9 or l?
l
Let a = 3 + -2. Let s be (2/5)/(1/(-5)). Let d be (42/8)/(-3) - s. Which is smaller: d or a?
d
Let w = -11 - -18. Suppose -r + 3 = -3*s, 0 = -5*r + 2*r + 5*s + 9. Suppose -w = -m + r. Is 10 less than m?
False
Let x(n) = 18*n + 51. Let j be x(-9). Is j smaller than -111?
False
Let z(n) = -n**3 - 5*n**2 + 2*n + 8. Let o be z(-4). Let f be o/(-36)*6/(-44). Which is bigger: -2 or f?
f
Let q be 8/(-14) + 6768/(-504). Are -131/10 and q equal?
False
Let a be 3/12 + ((-786)/8 - 2). Let s = a + 55. Which is greater: -44 or s?
-44
Let o = -417/4 + 105. Let l = -3.7 - -21.7. Which is smaller: l or o?
o
Let p be 128/370 + -8 + 228/30. Is 2/11 != p?
True
Let b = 0.11 + -0.02. Let l = -0.04 + b. Let m = l + 2.95. Which is greater: m or 0.2?
m
Let y = -56 - -19994/357. Are y and -1 equal?
False
Suppose -5*b + 3*p = -0*b - 8, -b = 3*p - 16. Suppose -2*n + 2*z = -b, -n - 3*n - 4*z + 32 = 0. Suppose 13 = -y + n*s, 6 = 5*s - 9. Is 1 not equal to y?
True
Let o be -2 + 27 + 6 + 4/(-1). Are 27 and o unequal?
False
Suppose c = -5*y - 3*c - 174, -105 = 3*y + 3*c. Let z = 65/2 + y. Which is smaller: -3 or z?
-3
Suppose 0 = -5*g + 2*m - 15, -g - 2*m = 10 + 5. Let y(a) = -a**3 - 5*a**2 - a - 3. Let n be y(g). Suppose 3*i = -4*u - i + 24, 18 = 4*u + 2*i. Is n > u?
False
Let h = 157 - 157.4. Which is bigger: -2 or h?
h
Suppose 0 = -3*s - 6, 2*k = s. Suppose -2*y = -0*y. Suppose -3*t - 18 = -3*p + 2*t, -3*p - t = y. Is k > p?
False
Suppose 5*c - 15 = 5*b, -4*c - 4*b + 6 = -2*c. Suppose 7*l - c*l = -4*h + 12, -3*l - 4*h + 8 = 0. Let u be (l + -1)*(-28)/(-21). Which is greater: 2 or u?
u
Let y = 4150270926/1035589 - -252/60917. Let g = y + -4010. Let t = g - -394/153. Is t <= 0?
False
Let q be ((-62)/4 + 0)*4. Let f = 18624 - 18687. Which is bigger: f or q?
q
Suppose -n + 3*n = -16. Let s be 20/(-8) - (-196)/n. Let c be ((-4)/(-10))/((-4)/260). Which is smaller: c or s?
s
Let f = 11.8 + -7.4. Let h = f + -3.6. Which is greater: h or 5?
5
Let m be 16866/615 + (-2)/(-2). Let t = 142/5 - m. Let b = t + 130/287. Are b and 1 nonequal?
True
Let x be 4/(-22)*35 + 2. Suppose 0 = -358*b + 311*b - 235. Is b at most x?
True
Let k = 145 + -146. Which is bigger: k or -4/7?
-4/7
Let q = 3 - 0. Suppose -q*x = 2*x - 5. Let k = 4/3 - x. Is 5 smaller than k?
False
Let j = 20 - 25. Let x be 4*5/j + -3. Which is smaller: x or -8?
-8
Suppose h + 18 = 10*h. Suppose 4*p + 29 - 9 = 0, h*n + 6 = -2*p. Is -6 not equal to n?
True
Suppose o = 4, -3*o = 78*j - 75*j - 36. Is j less than 0?
False
Let n = -3.6 - -3.2. Let x = -5.8 + -2.2. Is n less than x?
False
Let f = 7 + -5. Let w = -5.1 - -2. Let s = -2.9 - w. Which is greater: s or f?
f
Let f(o) = -o**2 + 22*o - 103. Let w be f(7). Which is smaller: 29/10 or w?
w
Let p = -635/6 + 3733/30. Are 4 and p unequal?
True
Let z be 1*1/28*(-21 - 1). Suppose -2*t = -t + 1. Which is greater: t or z?
z
Let s = 776 + -775.9. Which is smaller: 51 or s?
s
Let u(q) = q**3 - 34*q**2 + 54*q + 322. Let k be u(32). Which is bigger: 58/49 or k?
k
Suppose -3*n = -0*s - 2*s - 11, 3*s - 2*n + 9 = 0. Let r be (3 - (s + 6))*1/7. Which is smaller: -0.14 or r?
r
Suppose 5*a + 2*d - 15 = 0, 5*d = -2*a + 8*d - 13. Which is bigger: a or 11?
11
Let r = 9 - 1. Let h be (3/6)/(6/r). Which is bigger: h or 2?
2
Suppose -5*c = 5*g - 3*c - 16, 5*g - 5*c = -5. Suppose 6 = -g*k - 4*k. Let m = 0.5 + -0.5. Is k smaller than m?
True
Suppose -7*l = 42 + 21. Is 6/7 less than or equal to l?
False
Let h = -334 - -334.277. Which is smaller: h or -1?
-1
Let i = 4 - 26. Let r = i + 10. Let a = r - -20. Are a and 13/2 nonequal?
True
Suppose -79 = -5*v - 19. Suppose -2*q = -u + 5 + 22, 4*q = v. Is u < 33?
False
Let y be (-7)/(-4) + (-1)/(-4). Suppose -v = -k - 24, -72 = 6*v - 10*v - 2*k. Suppose v = 2*x - 0*d + 4*d, y*x = 3*d + 6. Is 7 less than or equal to x?
False
Let n(p) = 2*p**3 - 97*p**2 - 51*p + 93. Let t be n(49). Which is greater: t or -4?
-4
Suppose -2*n = n - 3, -v - 5*n + 20 = 0. Let x = v + -22. Which is smaller: -9 or x?
-9
Suppose 2*u + 28 + 26 = -5*c, -2*u + c = 30. Let d = -903/2 - -435. Which is bigger: d or u?
d
Let o = 8 - 2. Suppose 2*s - 30 = -4*s. Let z be 42/s - 34/85. Which is smaller: z or o?
o
Let t be (0 + 0)/((-70)/(-10) + -6). Are t and -6/41 non-equal?
True
Let m = 430 + -248. Let k = m + -182.1. Suppose 1 + 22 = -l. Which is smaller: k or l?
l
Let y = 0 - 6. Let s = -13 + 19. Let o = s + y. Which is greater: o or -9?
o
Let g(y) be the third derivative of y**4/4 - 5*y**3/6 + 2*y**2 + 6*y. Let t be g(4). Is 19 greater than t?
False
Let i = -6 - -4. Let f(s) = 8*s - 20. Let d be f(6). Let a = d - 30. Is a <= i?
True
Let u = 621 - 8065/13. Which is bigger: u or 0?
u
Let t = -1 - 36. Let a = 34 + t. Is a greater than -0.2?
False
Let m = -17276/21489 - -31/39. Which is smaller: m or 0?
m
Let f(k) = k**2 - 5*k - 14. Let h be f(-5). Let s be (-94)/(-18) - 8/h. Suppose 0 = -s*p - 7*b + 3*b + 21, 3*p + 4*b - 11 = 0. Is 5 greater than or equal to p?
True
Suppose -2*z = -3*s - 1, s + 2*s + 3 = 0. Let b be z/(-2)*8/4. Is 2 less than b?
False
Let a = 26.6 - 32. Is a less than -0.1?
True
Suppose -2*l + 2*k - 190 = 3*l, 4*l + 2*k + 170 = 0. Let g = l + 39. Is -1 greater than g?
False
Let w = -40.21