 - 4*x - 16 = 0, -3*s = 2*x + x + 18. Is 0 > s?
True
Let q = -14 + 11. Let k be q/12 - 33/(-4). Suppose 0 = -4*o - 5*z + 33, -4*z - 20 = -k*z. Which is smaller: o or 4?
o
Suppose 1148 = -26*h - 854. Do -76 and h have the same value?
False
Let p = -0.03 - 0.035. Let s = -20.765 - p. Let b = s + 21. Which is smaller: -2/3 or b?
-2/3
Let k = -190 - -479. Suppose -17*u + 255 = -k. Is u at most as big as 0.1?
False
Suppose 30*v = 34*v + 5*c - 9, -11 = 3*v - 14*c. Let r = -398177/8 - -49651. Let z = 121 + r. Which is bigger: v or z?
v
Let c be 1 - -22*3/6. Let l = -88 - -100. Do c and l have different values?
False
Let x = -138.8 + 116. Let v = -25 - x. Let f = -2.3 - v. Which is greater: f or -0.2?
f
Suppose 17 - 27 = o. Which is greater: 5 or o?
5
Let l(r) = r - 9. Let k be l(11). Let m(v) = v**3 - v**2 - v - 1. Let q be m(k). Let y be -9 + q - 6/(-2). Does -16/3 = y?
False
Suppose 4*n - 42 = -2*x, 5*n + 4*x - 59 = 8*x. Suppose 9 = n*q - 2. Is 1/17 > q?
False
Let l = 204.2 - 204.1. Which is smaller: l or -1058?
-1058
Let g(l) = -24*l**2 - 194*l - 4. Let a be g(-8). Suppose c = 3 + 8. Which is smaller: a or c?
c
Let i be (-2036)/18 + -3 + 1. Let t = -71 - 44. Let m = t - i. Are 1 and m equal?
False
Let a be (-54)/(-5 - (-5 - -2) - -4). Which is smaller: a or -29?
-29
Let c(l) = -l + 12. Let g be c(7). Suppose 0 = -g*h + 13 + 17. Let w(p) = -p + 6. Let t be w(0). Do h and t have different values?
False
Let w = 23 - 50. Let t be 6/27 - (-12)/w. Suppose 2*l - 6 = 3*z + 5*l, 5*l + 9 = -4*z. Is t != z?
True
Let f = -5.1 - -4. Let q = f - -3.1. Let w = q - 2. Which is smaller: w or -1/3?
-1/3
Suppose 0*y - 2*y = 4*t + 16, -3*t = -5*y + 12. Let z(l) = -l. Let m be z(y). Let x = 9/17 + -97/119. Is x >= m?
False
Suppose 201 = 2*i - 4*z + 7*z, 3*z = 9. Let x be ((-6)/i*4)/((-13)/(-4)). Is -1/6 less than or equal to x?
True
Let q be 69 + ((-15)/9)/(-5). Let f = q - 71. Is f at most as big as -1/3?
True
Let q(t) = -t**2 + 8*t - 5. Let k be q(-10). Suppose 6*n + 20 - 2 = 0. Let c be ((-15)/k)/(n/(-2)). Is -1 less than c?
True
Let o = 1.846 - 1.9. Let g = 1.154 + o. Which is smaller: 1 or g?
1
Let k be 15*16/340*(-1)/(-14). Is -1 less than k?
True
Suppose 0 = -k - l + 5, -4*l - 6 = -22. Let j be ((-627)/16)/(18/(-12)). Let v = j - 26. Which is smaller: v or k?
v
Let q(r) = r**3 + 26*r**2 + 2*r + 45. Let h be q(-26). Is h greater than or equal to 1/30?
False
Let x(b) = -4*b - 8. Let t be x(-6). Let u = -19 + t. Let l be ((-3)/(-3))/(u/5). Which is smaller: -3 or l?
-3
Suppose 255 = -6*d + d. Let u = -51 - d. Which is smaller: u or 2/155?
u
Let s be (-1)/3*(-15)/(-5). Let n be (s/2)/((-5)/(-2)). Let d = -161/3 - -53. Which is smaller: d or n?
d
Suppose -17 = -14*u + 11. Let n be 74/(-10) + (-8)/(-20). Let p be ((-2)/n)/((-4)/(-8)). Is p >= u?
False
Let v(m) = -5*m - 40. Let d be v(-6). Which is smaller: -14 or d?
-14
Let k be 1*-202 + (-1 - 1). Let p be 312/168 - (-1)/7. Let z be 196/k - (-2)/p. Is -1 less than z?
True
Let l = -8 + 12. Suppose p - 3*p = 2*x + l, -6 = 4*x + 3*p. Let r = -2/3 + 0. Is x greater than or equal to r?
True
Let h be ((-1)/2)/((-6)/(74*12)). Is 77 equal to h?
False
Let m be (-3)/(-8) + 3438/48. Suppose -2*s = -q + 68, 4*s - 5*s = -q + m. Which is smaller: 75 or q?
75
Let d(n) = -2*n. Let i be d(-1). Let f(a) = 2*a. Let u be f(i). Let g = 0.2342 + -0.2342. Are u and g non-equal?
True
Let o be (0 + (-324)/(-15))*(-16 - -11). Which is greater: -109 or o?
o
Let h = 116 + -117.16. Let v = 1.26 + h. Is v at most as big as -81?
False
Let k = -5940 + 5696.9. Let o = -227 - k. Let j = o - 16. Is j equal to -2?
False
Let y(x) = -x**3 + 5*x**2 - x + 8. Let q be y(5). Let j(t) = t**3 - 2*t**2 + t - 13. Let k be j(q). Which is greater: k or 2/285?
2/285
Suppose -d + 5 = -0*d. Let t(j) be the second derivative of -j**4/12 + 7*j**3/6 - 3*j**2 + 26*j. Let f be t(d). Is 2 < f?
True
Let o be 1/(3/(-44)) + 2/(-6). Let j = o - 4. Are -18 and j non-equal?
True
Let j = 32.9 - 29.9. Which is bigger: -15/8 or j?
j
Suppose 4*o = -3 - 5. Let c be 342/(-270) - 4*(-1)/(-10). Which is bigger: o or c?
c
Let h = 5/319 + 55815/638. Are 87 and h equal?
False
Suppose 0 = 2*x + 4*a + 10, 2*x + a = -3*x + 2. Suppose x + 1 = 2*u. Suppose u = -4*f - 2*w - w, -5*w + 5 = 0. Is f not equal to -1?
False
Let r = 18 - 17.3. Let u = 52 - 51. Let d = u - r. Is d > 1/2?
False
Let m be ((-14)/(2/(-1)))/1. Let k be (-15 + 1)*(m - 6). Do -1 and k have the same value?
False
Let k(v) = 3*v - 120. Let b be k(33). Suppose 5*m + 4*x = -125, 3*m + m + 4*x = -104. Are m and b equal?
True
Let s be ((-1 - -5) + 0)/(-1 - -11). Let f = -3.4 + 0.4. Let d = -6 - f. Which is smaller: d or s?
d
Let r be (0 - (-1)/4)*(-506)/(-33). Let c = r + -10/3. Let h = -1 - -1. Are c and h nonequal?
True
Let p = -0.203 - -0.323. Let g be -9 + 8 - 2*-1. Do g and p have the same value?
False
Let s be 7/(21/(-12)) - 19/(-5). Do s and -170 have the same value?
False
Let s be ((3 - 1) + -1)*(-29 - -30). Which is bigger: s or 3/346?
s
Let z = 2.22 - 2.02. Which is greater: z or 9?
9
Let m = 0.2 - 9.4. Let g = -0.2 - m. Let a = g - 8. Is 8 at most a?
False
Let s = -509 - -510. Is 21/34 < s?
True
Let o(n) = n**3 + 6*n**2 - 6*n - 2. Let k be o(-6). Let s = k - 34. Suppose 4*m - 3*q + 85 = -0*m, s = 4*m + 5*q + 125. Is -25 smaller than m?
False
Let y(j) = -j**2 - 11*j - 12. Let r be y(-5). Let u be ((-12)/r)/(4/10) - 0. Is u greater than -2?
True
Let q = 129 - 124. Which is bigger: -23 or q?
q
Let o(t) = t**2 - 16*t + 3. Let c be o(13). Let s be (8 - 3)*(-2 + c/(-15)). Which is greater: s or 16?
16
Suppose -5*y = 3*s - 103, -6*s + 101 = -3*s + 4*y. Are s and 292/9 nonequal?
True
Let o = -9965 - -6659. Let h = o + 479368/145. Do h and 0 have the same value?
False
Let r be (-2 - 2)*2*(-45)/64. Is 6 >= r?
True
Let f = 4666 + -1978385/424. Which is bigger: f or 1?
1
Let j = 52 - 51. Which is smaller: j or 6/383?
6/383
Let q be (3 - 8/4)*-2. Suppose u - 6 = -4. Do u and q have different values?
True
Suppose 1201 = 7*j - 1704. Which is greater: j or 416?
416
Let m = -667772963297/3086056 + -2033476/20303. Let z = 216485 + m. Let a = z + -10/19. Is a <= -1?
False
Let k(x) = -17*x + 207. Let m be k(12). Which is smaller: -2 or m?
-2
Let y = -12.67 - 0.33. Let w = y + 18. Is -2/7 >= w?
False
Let v(p) = p + 11. Let m(h) = -h**3 - 6*h**2 - 7*h - 5. Let y be m(-4). Let w be v(y). Which is bigger: w or 3?
3
Let q = 17 + -8. Suppose 5*o = q*o. Let f = 976 + -12680/13. Which is smaller: o or f?
o
Suppose 5*k = -s + 15, -6 = -5*s + 2*k - 4*k. Suppose p = -4 - s. Let j(l) = l**3 + 5*l**2 + 6*l + 6. Let f be j(-4). Which is smaller: p or f?
p
Let u be ((-12)/7)/(26/(-2639)). Let o = u + -1220/7. Which is greater: o or 1?
1
Let f = -450 - -975. Which is bigger: f or -2/3?
f
Let n(t) = 19*t + 8. Let k be n(4). Let o be (-108)/k - (-2)/7. Is -1/3 > o?
True
Suppose 9*l - 50 = 4*l + 5*i, 0 = -2*l + i + 17. Let r be (-206)/(-14) - (-2)/l. Is 16 at most r?
False
Let k be 5/(3/3) - -10. Suppose 42*a - 37*a - k = 0. Which is bigger: a or 18/7?
a
Let q be 12 + 6 + -15 + -25. Which is greater: -38 or q?
q
Let k = -2.6 - -2.95. Let p = k - 18.35. Let h = p + 17.96. Which is smaller: 1 or h?
h
Let f = -15 + 31. Let d = f + -22. Is -0.2 bigger than d?
True
Let d = 687 - 659. Which is greater: 30 or d?
30
Let t be (-518 - 1) + -2 - (44 - 48). Which is smaller: -516 or t?
t
Let v = -44 + 7. Is v > 1?
False
Let v(i) = -3*i - 4. Let x be v(-3). Let o = -21 - -9. Let k = o + 15. Which is smaller: k or x?
k
Let q be 5/(-20)*(-1)/1. Let j = q + -1/2. Is 18/7 < j?
False
Let n = -1.08 - 14.92. Is n less than -0.1?
True
Suppose 8*t = 24*t - 5120. Which is smaller: t or 321?
t
Let t be (-1)/(-5) - (-5027)/(-110). Which is smaller: -1 or t?
t
Suppose 4*x = -20, 75*x = 3*q + 70*x - 220. Is 64 less than or equal to q?
True
Suppose 5*q = -q - 0*q. Let k be (q + 1)/(7/14). Is 17 bigger than k?
True
Suppose -40*k = -3922 + 24522. Do -514 and k have the same value?
False
Let y = -27 + 39. Suppose -2*j + 10 = -y. Which is bigger: j or 12?
12
Let t = 0.575 - 0.195. Which is smaller: 1/4 or t?
1/4
Suppose -3*o + 5*g = 261, -2*o + 4*g - 340 = 2*o. Is -163/2 < o?
False
Let m(d) = 4*d**2 + 8*d + 10. Let k(y) = -3*y**2 - 8*y - 9. Let t(x) = -3*k(x) - 2*m(x). Let z be t(-7). Wh