 -4*a = -2*s - 0*s - 204, -5*a + 3*s + 255 = 0. Let x = 39 - a. Is x greater than or equal to -11?
False
Suppose -68*h + 60*h + 8 = 0. Let y be 6/3 + 139/5. Let i = -1947/65 + y. Which is greater: i or h?
h
Let i = 145.2 - 13.2. Let l = 92 - i. Does 0.1 = l?
False
Let z = -106 + 112. Let i be (-189)/z*7/(-84). Is i >= 2?
True
Suppose 3*u + 24 = 21, 4*t = -4*u - 88. Which is greater: t or -19?
-19
Suppose 5*a = -2*r + 18, r = 5*a - 4 - 2. Let b be ((-168)/60)/(a/(2*-15)). Is 42 bigger than b?
False
Let r = 3/32 + -1/352. Which is bigger: r or -1?
r
Let b = 1.68 + -0.93. Let m = -0.45 + b. Is m < -0.3?
False
Let o = 1043 + -998.05. Let i = -1.05 - o. Are i and -2/7 nonequal?
True
Suppose -140*h + 119*h = -63. Is h < -18?
False
Let g(y) be the third derivative of -y**7/5040 + y**6/45 + y**5/10 - 4*y**2. Let x(k) be the third derivative of g(k). Let v be x(14). Is 13/4 > v?
True
Suppose 7*l + 19 + 19 - 38 = 0. Let v be (-1)/(1 - 62/52). Is v greater than l?
True
Let y be (-14)/(-28)*0/(-1) + 2. Is 13/11 greater than or equal to y?
False
Let d = 1454 - 1331. Which is bigger: d or 0.2?
d
Let s be (-84)/(-3) - (-12)/(-3). Let v be 13/26 + 4/(s/(-9)). Is 2/93 less than v?
False
Suppose 4*m = 6*m. Which is smaller: m or -15/32?
-15/32
Let k = -2749259/17 + 161296. Let g = 425 + k. Which is greater: -1 or g?
g
Let j = 226042/13 + -17396. Is -9 <= j?
True
Suppose -2*t + 431 = k, 5*t - 1075 = -6*k + 3*k. Let p be 3/(-9) + t/(-12). Let a = p - -183/10. Which is greater: a or 1?
1
Let l be (-24)/9 + (3 + -1)/1. Is 12/11 not equal to l?
True
Suppose 58 = -2*t - 18. Let b = -39 - t. Let j = 22/41 + -949/1845. Is j bigger than b?
True
Suppose 0 = -3*m - 2*l + 8, -l + 2*l = -5*m + 18. Suppose -u + 35 + 5 = 5*t, m*u + 3*t = 109. Which is greater: 24 or u?
u
Let d = 8 - 10. Let m = -18 - -41. Is m less than or equal to d?
False
Let w = -0.836 - 0.164. Which is bigger: -4/11 or w?
-4/11
Suppose -2*l - 25*l - 1134 = 0. Which is greater: -58 or l?
l
Let s = -0.365 - -9.315. Let r = s + -10. Let d = r - -0.05. Which is greater: -0.1 or d?
-0.1
Suppose -2*c - 10 = -8. Suppose 5*b + 4 = b. Let d = -1 - b. Which is smaller: c or d?
c
Let n be (-2 - -12)*(-6 - 176/(-20)). Which is greater: 9 or n?
n
Let q = -23.7 + 21.4. Are -12 and q unequal?
True
Let d(y) = y**3 + 11*y**2 - 10*y - 16. Let c be d(-10). Is c >= 185?
False
Let l = 775 + -1037. Is l >= -262?
True
Suppose -5*w = i - 26, -5*i = -7*i + 2. Which is bigger: w or 3?
w
Let f = 9 + 2. Let h = -13 + f. Are h and -0.2 equal?
False
Let j = 0.0993 - 0.0993. Which is bigger: j or -79?
j
Let q(m) = m**2 - 10*m + 5. Let z be q(5). Let j = 41/2 + z. Which is bigger: -5/2 or j?
j
Let r = -11 - -14. Suppose 4*j = r*f + 50, -5*j - f - f = -51. Let u = -10 + j. Is -2/17 greater than u?
False
Let d be 3/45*60/24. Is -82 at most d?
True
Suppose 2*c - 8 + 6 = 0. Let d be 2/9 + 20/(-45). Is c greater than or equal to d?
True
Let w = 6 + -5. Suppose -4*c + 12 = 0, 46 = -5*x - 3*c - 65. Let u = x + 18. Which is greater: w or u?
w
Let h be (-2)/3104*4*-2. Does h = 1?
False
Suppose -3*j + 8*h = 13*h + 7, 7 = -j - 4*h. Is -1/810 at most as big as j?
True
Let b = 10 + 2. Suppose b = 3*m - m. Let r be m/(0 + -1) + 2. Is -4 smaller than r?
False
Let f(g) = g**2 + 10*g + 16. Suppose 4*h + 36 = 2*r, 7 = -3*h - 4*r - 9. Let q be f(h). Which is smaller: q or -4/5?
-4/5
Suppose -5*u = -4*r - 33, 2 = 2*r - 3*r. Let l = u + -1. Suppose -2*y + l = -10. Is 7 bigger than y?
False
Let s be 2/(-5) + 423/45. Let a be (-1)/15 - (-6)/s. Let n = 1.9 - -0.1. Which is greater: n or a?
n
Let o be (-1 + 13)/((-17)/17). Let h be (-2)/o - 120/(-36). Which is smaller: 4 or h?
h
Let n be (-204)/10 + (-3)/5. Let s = -11 - n. Let f = 15 - s. Which is smaller: 3 or f?
3
Suppose -3*n - 120 = 7*n. Is n != 0.3?
True
Let p be (66/(-88))/(2/112). Which is smaller: 0 or p?
p
Let w(o) = -o**2 - 6*o + 54. Let r be w(-11). Let d = 341 + -2396/7. Which is smaller: r or d?
d
Let q(r) = -r**2 + 4*r - 10. Let z be q(-4). Let u be ((-3)/(-1) - 43)/(-1). Let i = z + u. Is -0.6 less than or equal to i?
False
Suppose 0 = 2*i - 2*z + 74, -4*i + 7*i = -z - 103. Are i and -33 equal?
False
Let r = -0.707 + 0.727. Is 18 less than or equal to r?
False
Let l = -30 + 16. Let c = -535 + 534.9. Which is smaller: c or l?
l
Let a = -163 + 212. Is a != 49?
False
Let u = -1 + 3. Let h be -4 + (-27 - -2) - (-6)/u. Are -24 and h equal?
False
Suppose -3*p - 2*d + 4 = -7*p, 0 = 5*p + 5*d + 5. Let b(k) = -k + 2. Let m(i) = i**3 - 3*i + 1. Let v be m(2). Let o be b(v). Does o = p?
True
Let k = -4.362 + -0.638. Which is bigger: -12 or k?
k
Suppose -3*c + 15 = 3*w, 4*w + 18*c = 17*c + 8. Which is bigger: -243 or w?
w
Let g = 268 - 267. Let m be 0/(0 + 1/1). Which is bigger: g or m?
g
Suppose -3*t - 8 = 4*k, 0*t + 15 = 5*t + k. Suppose t*q - 105 = 15. Let g be (1 + -10)/(3/(-10)). Is g >= q?
True
Let a be (5 + 7)/((-46)/207). Let y = 0.1 - 0.1. Is a smaller than y?
True
Suppose 4*b = -5*a - 59, -3*a + b + 2*b - 30 = 0. Let n be -10 + (-4)/((-4)/(-1)). Let c = n - a. Is 0 greater than c?
False
Let t be (-14)/12 - -1 - 3575/(-1155). Let k = t - 24/7. Is k != 30?
True
Let q be (4072/3040)/(-1) - 18/(-24). Which is bigger: q or -2?
q
Suppose 0*b + b - 27 = 0. Suppose 12*p = 7*p + 140. Is b > p?
False
Let c(p) = 2*p**2 - 11*p + 13. Let g be c(6). Suppose -23*d + g*d = -8. Which is smaller: d or 3?
d
Let y = 0.31 - 1.31. Let c = 3.661 - -0.169. Let q = c + 0.17. Are y and q equal?
False
Let n be (5380/65)/(5397/6). Let y = n + -18/257. Suppose -16 + 4 = -4*w, -o + w - 2 = 0. Are y and o non-equal?
True
Let r be (-3)/(-1) - 2 - 1. Suppose r = 2*f - 4*x - 18, -f - x + 1 = -5*x. Let z = -7 + f. Is z smaller than 9?
False
Let k = 3848/3 - 1282. Are k and -0.0548 equal?
False
Let w(s) = 7*s - 36. Let h be w(8). Suppose h = i + 22. Is i smaller than 1?
True
Suppose -4*o + 2*o + 2*m = 14, 5*o + 59 = -3*m. Suppose 2*r - 33 = 3. Let p = r - 26. Which is bigger: p or o?
p
Let o(s) = -10*s - 19. Let w be o(-8). Let j = 301/5 - w. Is j <= 1?
True
Let w = 70/99 + -8/9. Which is smaller: w or -0.2?
-0.2
Let p(l) = l**3 - 3*l**2 - 7*l + 26. Let x be p(3). Let q = -6 - 1. Which is smaller: x or q?
q
Let s(n) = n**2 + 5*n - 7. Let r be s(-6). Let l be 5 + 3 + r + -1. Suppose 0 = -l*w + 4*w. Is 1 at most as big as w?
False
Suppose 2*b - 14 = 4*y, -6 = -4*b - 0*b - 3*y. Suppose 0 = -3*k + 9, -b*t - 5*k = -64 + 16. Suppose -2*h - 11 = -3*m, 4*m + 5*h + 5 = -t. Is m != 2?
True
Let a be (-6)/(-2) + (0 - 1). Suppose 5*c - a = 13. Suppose 15*f = 47*f - 64. Which is smaller: f or c?
f
Let f be (-2)/20 + (585/(-150) - -12). Is f at least -10?
True
Let p(x) = -x**2 + 30*x + 70. Let y be p(23). Which is smaller: -2/7 or y?
-2/7
Let q = -53 - -72. Suppose 15*n = q*n + 228. Which is bigger: -55 or n?
-55
Let b be 0 + (3 - -3) - 4. Let l be 190/25 - (0 - b/5). Is l at most 8?
True
Let l(r) = -r**2 + 2*r - 1. Let f(n) = n**3 + 12*n**2 - n - 16. Let a be f(-12). Let m be (a/6)/((-4)/6). Let p be l(m). Do 1/7 and p have different values?
True
Let m = -426/11 + 841/22. Let s = 5.2 - 5. Let x = s + 0. Which is bigger: m or x?
x
Let i be ((-42)/(-49))/((-1620)/(-56)). Which is greater: 1 or i?
1
Let m be (-12)/((-72)/98)*2. Is -2 bigger than m?
False
Suppose -7*i = -30 + 23. Is i < 6?
True
Suppose 7*q = 7 - 14. Is 4/55 at most q?
False
Let i be -5 - (-3 - 2)*(-3 - -4). Which is bigger: i or -4/99?
i
Suppose 2*b = -f - 1, 3*f + 2*f + 4*b - 7 = 0. Let x = f + -3. Are 26 and x unequal?
True
Let h be 132/192 - (52/(-16) + 3). Which is greater: 0 or h?
h
Let f = 1.9 - 3.2. Let j = 1.3 + f. Which is smaller: -0.14 or j?
-0.14
Suppose -3*k - 3*f = 18, -4*f + 3 - 15 = -2*k. Which is smaller: -86 or k?
-86
Suppose -5*b - 227 + 92 = 0. Let i be b + 31 + -2 + -1. Is i > -3/35?
True
Suppose 6*g = 3*g + 48. Let x be 6/(-31) + (16 - g). Is 1 equal to x?
False
Let n(u) = 9*u**3 + 2*u - 1. Let k(h) = h + 12. Let i be k(-13). Let r be 0 + (2 - i) - 2. Let m be n(r). Which is greater: 9 or m?
m
Let g = -0.7 - -1.07. Let x = g + 2.63. Which is smaller: x or -6?
-6
Suppose h = 2*h. Let t be (-6)/(4*(-4)/(-72)). Let c be 2/(-6) - (-18)/t. Does h = c?
False
Let a = 20.8 + -21.8. Is a at most as big as -0.09?
True
Let q = -227312 + 7729327/34. Let c = q - 45/17. 