et i be -1*((-14)/(-63) - (-94)/(-18)). Suppose -2*x + 3*b - 15 = -i, -11 = x - 3*b. Which is smaller: j or x?
x
Let r(w) = 31*w**2 + 3*w + 9. Let b be r(-3). Are b and 278 equal?
False
Let k = 1383 + -1086. Is k greater than or equal to 296?
True
Suppose 8*m + 3*a + 7 = 4*m, -2*m - 3*a = 11. Which is smaller: 33/17 or m?
33/17
Let g be (5 - 1) + 748/(-186). Are g and -1 unequal?
True
Suppose 0 = 3*q - q. Let v(k) = -k + 2. Let a be v(1). Let j = a + 0. Is j bigger than q?
True
Suppose 75 = 6*b - b. Let c be (((-4)/(-6))/1)/((-5)/b). Is c >= -4/5?
False
Suppose -2*c - 3 + 9 = 0. Let m = -2 + c. Let q be 2 + 0 - (504/(-129))/(-2). Which is bigger: q or m?
m
Suppose p - 3*p + 42 = n, 0 = 5*n - 2*p - 186. Which is smaller: n or -0.4?
-0.4
Let y = -3 + 2. Let i be 170/184 + ((-405)/12)/45. Are i and y non-equal?
True
Let p = -35 + 46. Suppose -15*o + p*o - 44 = 0. Which is smaller: o or 2/5?
o
Suppose 3*i = 6*i + 9. Let j be (-31)/(-8) + -2 + i. Are -1 and j equal?
False
Suppose -1038 + 4161 = -9*j. Which is smaller: -345 or j?
j
Let c = 89 - 90. Are 112 and c equal?
False
Let g be (-8)/44 + (-360)/(-3190). Suppose -t + 16 = 3*t. Suppose 4*b = -0 - t. Is g <= b?
False
Suppose -2*k - 4*h = -12, 4*k + 4*h + 1 - 5 = 0. Let c be 2/(-1) + k + (-40)/(-6). Which is greater: c or 1/48?
c
Suppose -17*w - 4*m - 100 = -13*w, -3*m = -2*w - 35. Which is bigger: -40/9 or w?
-40/9
Let w be 124/(-10) - (-4)/10. Let z = w - -22. Let l be (z/(-8))/(2/(-8)). Which is smaller: 4 or l?
4
Suppose 2*k = -2*u + u + 175, 0 = -2*k + u + 173. Is 84 less than or equal to k?
True
Let c(g) = 91*g - 780. Let v be c(8). Which is greater: -50 or v?
-50
Let q(d) = d + 6. Suppose r = 6*r + 3*m + 12, 20 = 2*r - 5*m. Suppose -3*w = 4*z - 3, -4*w + 4 = 3*z - r*z. Let s be q(z). Is s < 6?
False
Let u be 3 - (930/(-27))/(-10). Let x = 13 - -7. Suppose c + 3*c - 4 = -j, 4*c = -5*j + x. Which is smaller: u or c?
u
Let g = 2 + -3. Let k(c) = -c**3 + 10*c**2 + c - 10. Let f(t) = -t**2 + 5*t + 10. Let j be f(5). Let b be k(j). Which is smaller: b or g?
g
Let s(n) = 2*n**2 - 3*n - 22. Let p be s(-3). Let d be -28 + -1 - (p + -6). Are -28 and d non-equal?
False
Let g = -39/2 + 18. Suppose -2*f + 5*p - 4 = 0, 0 = -5*f + f - 5*p - 8. Are g and f equal?
False
Suppose -i = 18*j - 17*j + 4, j = -3. Is i equal to 2/931?
False
Let k = 24.85 + 0.15. Let h = k + -21.5. Let z = 2.6 - h. Which is bigger: z or 0?
0
Let m(w) be the first derivative of w**2 - 10*w - 19. Let a be m(6). Is a at most 0?
False
Let c = 508 + -504. Which is smaller: 2/5 or c?
2/5
Let r = -18.57 - -18.6471. Which is greater: 1/3 or r?
1/3
Let n be 1*6/(-2)*-1. Let b = -6 + n. Let f be (-4)/(-14)*b/(-3). Which is smaller: -0.2 or f?
-0.2
Let s = -1244 + 1242. Which is greater: 0.6 or s?
0.6
Let f(g) = -g**2 - g. Let u be f(3). Let n(s) be the third derivative of -s**5/60 + s**4/2 + 11*s**3/2 - 20*s**2. Let i be n(15). Is u greater than i?
False
Suppose 0 = 73*f - 75*f + 3*b - 14, -9 = 5*f - b. Which is greater: -4/183 or f?
-4/183
Suppose -2*q - 4*h - h - 16 = 0, -q = 4*h + 2. Let b = -20 - q. Let w(l) = l - 5. Let y be w(4). Are b and y unequal?
True
Let s = -73 + 356. Is s != 283?
False
Suppose 3 - 9 = -2*b, -s - 5*b = -15. Let p = 38031948 + -2395957849/63. Let w = p + -871. Which is greater: w or s?
w
Let x be -18*(-22)/41316*(-1)/(-3). Which is smaller: x or 1?
x
Let p = -16 + 18. Suppose -5*k - 3*u = 21, p*k + 4*u = 6 - 20. Is k >= 1?
False
Let z = 1122 - 2201/2. Let s = z - 22. Let d = -0.1 + 0.1. Is d > s?
True
Suppose f + 63 - 13 = 0. Is -51 at most f?
True
Let u be (-18)/136*(-100)/(-5250). Which is bigger: u or -1?
u
Let o be 466/(-12) - (-1)/(-6). Let p = 28 + o. Let a(y) = -y**2 + 4*y - 7. Let v be a(5). Is p at most v?
False
Let d = -0.029 + -0.071. Suppose -k - 3*z - 7 = 0, k - 3*z - 17 = 2*z. Let t be 4 - k - (-7)/(-4). Is t <= d?
False
Let u = 0.2 - 0.2. Suppose -2*z + 56 = 26. Which is smaller: z or u?
u
Let a(y) = -14*y. Let c be a(0). Let p be (-1)/(0 - (-79)/2). Is p smaller than c?
True
Let d be (-16)/85 - 21/35. Let r = d + 10/17. Let x(a) = -a**2 - 7*a - 7. Let n be x(-6). Which is smaller: n or r?
n
Let g(p) = -p**2 + 6*p + 7. Let h be g(7). Let c = -211 + 2749/13. Let n = -25/26 + c. Is h less than n?
False
Let y(m) be the second derivative of -7*m**3/6 + m**2 - 26*m. Let o be y(-1). Which is bigger: 11 or o?
11
Let j be 9442/(-2)*(-2)/(-26). Let h = j - -363. Let z be 0/(-1) - (-3 - -3). Which is smaller: z or h?
h
Let h = 10 + 9. Let n = h + -7. Let c = -12.1 + n. Is c <= 20?
True
Let f be (56 - 3)/((-4)/(-20)). Is f at least 265?
True
Let m(x) = x**3 + 9*x**2 + 26*x + 60. Let p be m(-6). Are 15 and p nonequal?
True
Let x(k) = 48*k**3 + 3*k**2 - 3*k - 12. Let u be x(-2). Is u less than -377?
True
Suppose -14*d + 79 - 289 = 0. Which is smaller: d or -8?
d
Let v(j) be the third derivative of j**6/120 - j**5/60 - j**4/8 + j**3/3 - 5*j**2. Let t be v(3). Let k = 13 - t. Which is greater: 5/3 or k?
k
Suppose -2*o + 4*a = a - 6, 3*o - 3*a - 9 = 0. Suppose 3*w - o = -9. Is 6 less than w?
False
Let d(g) = g**3 - 2*g**2 + g + 3. Let o be d(3). Suppose 0 = 2*h + q + o, h + 3 = 2*h - 3*q. Let p be (2 + h)*2/(-8). Does -2/17 = p?
False
Let m be (2/(-4))/(4/80*1). Let w = m + 11. Is 0 smaller than w?
True
Let n = 16.941 - 17. Let q = n - 4.041. Let p = q - -4. Which is greater: 17 or p?
17
Let h(c) be the third derivative of c**6/120 + 3*c**5/20 + 3*c**4/8 + 3*c**3/2 - 3*c**2. Let x be h(-8). Let z = -751 - -6763/9. Which is bigger: z or x?
x
Let k = -1 + 3.2. Let r = k + -2. Is r bigger than 41?
False
Let a = -0.0033 - -2.9333. Is a greater than -0.1?
True
Let k be (-3)/(-18) - (-1771)/(-11220). Let a = 3093/3740 - k. Which is smaller: a or 2?
a
Let c = -440 - -811. Which is smaller: 372 or c?
c
Let d be 3168/27 - ((-8)/(-6) + -1). Let f = 117 - d. Is f at most as big as 1.8?
True
Let n(z) = 2*z. Let q be n(-2). Let v(h) = h**2 + 4*h + 2. Let w be v(q). Which is greater: 1 or w?
w
Suppose -25 = 5*n - 5. Let i be 0*(51/12 + n). Which is bigger: 4/7 or i?
4/7
Let u(g) = -g + 7. Let x be 1/(-2 + 5/3). Let d be (-3 - (4 + x)) + 13. Let n be u(d). Is -5/3 bigger than n?
True
Let m be (1/32)/((-124)/(-124)). Let n(t) = t - 2. Let j be n(2). Is m less than or equal to j?
False
Let z be 3 - 4 - (1 - 1). Let u = 2558 + -2556.929. Let k = 0.071 - u. Do k and z have different values?
False
Suppose 4*u = -o + 53, -3*o - 2*o + 2*u = -287. Is o at most as big as 57?
True
Let m(z) = z**3 + z**2 - 3*z - 3. Let g be m(2). Let y = 2304 + -25320/11. Is y not equal to g?
True
Suppose 77 = -i + 4*d - 139, -2*d = -5*i - 1008. Let q be (2/6)/(i/66 - -3). Which is greater: q or -8?
-8
Let h be ((-2)/(-8))/(23/4). Let c(y) = -5*y**2 - 69*y + 15. Let p be c(-14). Which is bigger: p or h?
p
Let h = 7 + -17. Let r = -0.39 + 11.39. Let v = h + r. Which is smaller: -0.3 or v?
-0.3
Let g be -816*(-8)/16*-1. Which is smaller: -409 or g?
-409
Suppose 2*k - 8 = 6*k, 3*g - 14 = 4*k. Let u be ((-6)/(-2) - g) + 4. Which is smaller: 3 or u?
3
Let a = -0.2 - -0.07. Let j = -0.1 - a. Let k = -0.13 + j. Which is bigger: k or -0.3?
k
Suppose 3*g - 4*g + 78 = -i, -304 = 4*i - 2*g. Is -74 less than i?
False
Let w(m) = -7*m - 21. Let o(f) = 4*f + 11. Let x(n) = 5*o(n) + 3*w(n). Suppose -11 = r + i, -i - i - 46 = 5*r. Let l be x(r). Which is smaller: -2/71 or l?
-2/71
Let j be ((-1)/(-22))/(1115/4240). Let t = j - -2/223. Suppose -4*a + 2*a = 0. Is t less than a?
False
Let g be ((-84)/(-36))/(2/6). Let o be 38/2*(-7)/g. Is -19 at least as big as o?
True
Let z be (1*(-12)/8)/6. Let d be (7/14)/(7/(-4)). Which is smaller: z or d?
d
Let h = -3.04 - -0.04. Let r = 2.9 + h. Let o = 191 + -192. Is r at least o?
True
Let t(o) = -o**2 - 22*o - 57. Let r be t(-19). Which is smaller: -4/75 or r?
-4/75
Suppose -4*x = q - 2*x + 70, q + 5*x + 58 = 0. Which is smaller: -81 or q?
-81
Let m = 839603/10013 - 640/589. Let p = m - 83. Let v(o) = o**3 - 16*o**2 + o - 17. Let w be v(16). Which is smaller: p or w?
w
Let a = 229 - 228.9. Which is smaller: a or 178?
a
Suppose -73 + 318 = 5*m. Suppose -6*k - m = -1. Are -8 and k unequal?
False
Let x be 25/(-23) + ((-100)/115)/(-10). Is 7 equal to x?
False
Suppose -10 + 16 = -6*d. Which is smaller: d or 6/841?
d
Let x be 258/36 - 2