 o be r(3). Which is smaller: o or 1/14?
1/14
Let d be (28/8)/(((-56)/272)/7). Are -713/6 and d nonequal?
True
Let l(f) = 11*f**3 + 5*f**2 + 2*f + 7. Let t be l(-4). Let a be (-47)/36*5744/(-12). Let w = a + t. Which is greater: w or 0?
0
Let z = 0.5 + 1.6. Let d = 29.01 - 146.11. Let g = d + 117. Which is smaller: z or g?
g
Let k = 299 + -3291/11. Suppose f + 0*f = 1. Which is smaller: f or k?
k
Let t(g) = -g**3 + 7*g**2 - 7*g + 7. Let l be t(6). Let n = -1684 + 28590/17. Let s = -376/153 - n. Is l at most s?
False
Suppose 88 - 250 = -6*r. Let g = 28 - r. Let x be (-102)/(-63) - 2/7. Is g < x?
True
Let z = 1/1069 - -2069/73761. Let v(r) = -r**2 + 2*r + 2. Suppose t - 3*t + 6 = 0. Let g be v(t). Is g smaller than z?
True
Suppose -1202 = 5*c - 1197. Let a = -0.8 + -2.2. Let p = a + 2. Is p bigger than c?
False
Let g be 1044/(-8)*(15/(-9) + 1). Which is bigger: 83 or g?
g
Suppose 2*j - 4*j = 3*k - 4, j + 4*k = 7. Suppose 0 = -4*q + 5*b + 29, 3*q + 13 = 5*b + 36. Let d be (q/168)/((-2)/(-8)). Are j and d unequal?
True
Suppose 2*b + 10 = 4*w, -2*w + 5*w = 6. Let d = 65 + -53. Let o = 11.7 - d. Which is smaller: o or b?
b
Suppose -2*v = -2*o - 128, 7*o - 10*o - 196 = -2*v. Which is smaller: -415/6 or o?
-415/6
Let k be ((-2)/2 + 1)/1 + 8. Let w be 10/(-8) + 2/k + -1. Which is greater: -0.09 or w?
-0.09
Let a(n) be the first derivative of -n**6/120 + 11*n**5/60 - 3*n**4/8 + n**3 + n**2 - 2. Let q(z) be the second derivative of a(z). Let o be q(10). Is o < 16?
False
Let h = -165.9 + 172. Let a = h + -6. Which is smaller: a or 17?
a
Let p = -8108 + 5343170/659. Which is smaller: 1 or p?
p
Suppose 4*r - 6 = 14. Suppose 6*l - r = 1. Is 3 smaller than l?
False
Suppose -12*f = 15 + 9. Is f less than or equal to -22/9?
False
Let a(f) = f**2 - 2*f - 24. Let m be (-1)/(-2)*(-13)/(26/(-24)). Let x be a(m). Are x and 3/55 unequal?
True
Suppose 3*v = 5*g + 9, -v + 12 = -3*g + 3*v. Let c(d) = d**3 - 6*d**2 - 6*d - 5. Suppose 4*z = -0*z + 28. Let w be c(z). Is w at least g?
True
Let l(f) = f**2 + f. Let n(w) = -w**2 + w + 1. Let m be n(2). Let q be l(m). Let z be -3 - q*(-2)/(-4). Does -4 = z?
False
Let j = -4671/220 + 213/10. Let n = -1 + 1. Which is smaller: j or n?
n
Let v be (-52)/(-4)*(0 + 4 + -9). Is -61 less than or equal to v?
False
Suppose -4*n + 5 = -9*n. Suppose 0 = 5*j - 10, 6*z + 2*j = 2*z + 8. Let i be (z/2)/(n/24). Are i and -11 nonequal?
True
Let q be (-1 - 2) + (-12)/((-8)/2). Let s be (q + 1)*0*(-20 - -21). Which is smaller: -2/225 or s?
-2/225
Let h = 8 + 1. Let z = h - 13. Let c be (-15 - (5 - 5))/(3/2). Is z at least c?
True
Let r(q) = 37*q - 28. Let h be r(4). Let y = 114 - h. Which is bigger: y or -4/3?
-4/3
Suppose -261*c - 235 = 26. Suppose 3*z + 105 + 0 = 0. Let s be 4/10 - (-29)/z. Is s at least c?
True
Let n = 6 - -10. Let j = n - 10. Suppose 0 = -p + 6*p + 2*h - 10, 0 = 2*h. Which is smaller: p or j?
p
Let y = 18 + -27. Let h = y - 2. Let k = -0.436 + 0.436. Is h less than or equal to k?
True
Let k = -5566 + 5565. Let d = 49 - 25. Which is smaller: d or k?
k
Let h(d) = d**2 + 7*d + 3. Let k be h(-7). Suppose -k*u + t + 3 = -0*t, u = -4*t - 12. Is 0 < u?
False
Suppose -2*h - 15 = -3*h. Let t = 20 - h. Suppose 0 = t*m + m. Is m < -2/23?
False
Let o be ((-4)/(-8))/((-1)/2). Let m = 4 + o. Suppose -b + 48 = m*b. Which is greater: 11 or b?
b
Let z = 322 - 326. Which is bigger: z or 8?
8
Let t = 2 - -5. Let b(n) = 574 + 567 - 1138 + n**3 - 6*n**2 - 7*n. Let d be b(t). Is d <= 1?
False
Let q be (0 + 2)*(497/56 - 9). Which is greater: q or 0.7?
0.7
Let w(s) = s + 2. Suppose 3*z + 2*b + 8 = -0, 0 = -5*z + 3*b - 7. Let l be w(z). Let t be (-22)/(-2) - (2 - l). Is 10 greater than t?
True
Suppose 0 = 5*n - 9*n - 220. Let t = 44 + n. Suppose 2*h = -3*h - 40. Which is smaller: t or h?
t
Let f = 1580 + -6319/4. Which is smaller: f or -4/11?
-4/11
Suppose -105 = 5*k - 3*r, -3*r - 59 = 5*k + 16. Let j = 24 + k. Let m be 210/(-220)*(-8)/j. Are m and 2 non-equal?
True
Let x be 11*(-3)/6 + 2. Let t be 2*(1*-10)/(-2). Suppose 2*j - 2 = -t. Which is greater: j or x?
x
Suppose -4*n - 70 + 10 = 0. Let l = n + 32. Let i be (-13)/52*-22*3. Do l and i have the same value?
False
Let o = 1754/5 - 177169/505. Is o equal to -1?
False
Suppose 8 = -2*w, -8 + 0 = 4*c + w. Which is greater: -2/105 or c?
-2/105
Let x be 516/42 - 6/21. Let i be x/21 - (-184)/(-420). Do -1 and i have the same value?
False
Let z = 0.61 - 0.3. Let n = z + -0.21. Which is smaller: n or -22?
-22
Let v = -17 - -33. Suppose k - 4*k + 36 = -4*o, -2 = 3*o + 4*k. Let r = o - v. Is -22 != r?
False
Suppose -8 = -u - 12. Let v(q) be the second derivative of -q**4/12 - 5*q**3/6 - 3*q**2/2 - 7*q. Let h be v(u). Which is greater: h or 2/13?
h
Let j = -940 - -940.326. Is 2 < j?
False
Let x be 1/(((-3)/(-2))/((-6)/4)). Which is smaller: -22/5 or x?
-22/5
Suppose -4 = -5*u - 0*u + 4*t, -2 = 5*u + 2*t. Let z be (-3)/(-3)*(u - 3). Is -3 at most z?
True
Let a be (-324)/312*2/3. Which is smaller: -2 or a?
-2
Suppose 0 = 4*f - 0*f - 16, 0 = 2*l + f - 12. Suppose -o + b - 22 = -l, -3*b - 78 = 3*o. Let m be -1*(62/o - -3). Which is smaller: m or 1?
m
Let g = -0.792 + 0.619. Is g < -0.5?
False
Let q = -13793309/164 - -84107. Let h = q + 12/41. Which is smaller: 1 or h?
1
Let n be 0/((1 - 2) + -1). Let b = 1753/5 - 92904/265. Which is bigger: n or b?
b
Let l be (-2599)/184 + (-2)/(-16). Let v(w) = -w**3 - 14*w**2 + w + 4. Let s be v(l). Which is smaller: -11 or s?
-11
Let u = 45.12 - -0.88. Let x = u - 4. Is x greater than 1?
True
Let r = 1216525/259 + -4697. Which is bigger: -1 or r?
r
Suppose 10*m - 13*m - 27 = 0. Let i be (-1)/(-2) + m/(-2). Suppose 2*q - i = p, -p = -3*q - 5*p + 13. Is 1 less than or equal to q?
True
Suppose 374*b = 369*b - 5. Is b < 1/805?
True
Suppose 0 = -5*h + 4*f - 211, 4*h = -0*f - 5*f - 136. Which is smaller: h or 6?
h
Let w(l) = -l**3 + 5*l**2 + 6*l + 9. Suppose -2*z + 6 + 6 = 0. Let o be w(z). Suppose p - 9 = v - 0*p, o = -v - 2*p. Is v not equal to -10?
True
Let q(m) = m**3 - 6*m**2 + 5*m - 6. Let j be q(4). Suppose -6*k + 8*k = 4*y + 78, 4*y + 4*k = -60. Is j at least as big as y?
True
Let v = -305 + 332. Is 18 >= v?
False
Suppose -32 = 4*q - 0*q. Let m be 8*(8 + -3 - (4 - -2)). Is q smaller than m?
False
Let r be ((-612)/119)/(-6) - (-22)/(-42). Which is greater: r or 0.76?
0.76
Let m be (-4)/(-8 - -4) - 639/645. Which is greater: m or 1?
1
Let k = 334 + -294. Is k at least 41?
False
Let g be (21/(-6))/(4/(-8)). Let v(p) = 2*p - 1. Let y = 23 + -19. Let l be v(y). Is l less than or equal to g?
True
Suppose 4*n = 29 + 15. Let u(s) = s - 2. Let q be u(10). Let c be (-5)/((8/(-12))/(q/6)). Which is bigger: c or n?
n
Let x(a) = -23*a + 122. Let q be x(4). Is 32 smaller than q?
False
Let c be (-3 - 21/(-9))*(1 + -7). Suppose 5*k - 215 = 5*o, -5*o - 25 = -c*k + 150. Is 39 greater than k?
False
Let w be ((-97 - -4) + -1)/(-2). Let s = -326/7 + w. Let k be ((-2)/(-3))/(2/3). Which is greater: k or s?
k
Let x be (5 - 0)*(-110)/25. Let g be 2/(9 + 836/(-92)). Which is smaller: g or x?
g
Let j = -88 - -73. Suppose 6*c - c - 80 = 0. Let g = c + j. Are 1 and g unequal?
False
Let r = -3.715 + -0.285. Is 0.41 bigger than r?
True
Let v = 31/102 + 1/34. Let q = v + 1/6. Let w = 0.2 - 0.21. Are w and q equal?
False
Suppose 9*y + 14 = -4. Let t(r) = 3*r - 6. Let h(n) = n - 1. Let j(k) = y*h(k) + t(k). Let u be j(2). Is -9/5 bigger than u?
True
Suppose -3*x = 3*y - 4 + 13, 0 = -5*y - 15. Which is smaller: x or 1/12?
x
Let j = 0 + 8. Let f(l) = l - 3. Let q be f(j). Suppose -q*u = -3*n - 1, -u - n + 5*n = 10. Which is greater: u or 6/5?
u
Suppose -4*m - 3*x = -2*m + 31, 0 = -2*m + x - 27. Are m and -115/8 non-equal?
True
Let b(p) = -p**2 - 10*p - 35. Let x be b(-8). Which is smaller: x or -216/11?
-216/11
Let z = -315 - -316. Is 30/19 > z?
True
Suppose 2*w = -2*c - 0*w + 38, -5*c + 3*w + 55 = 0. Let i = 17 - c. Let n be (2/i)/(20/50). Is 2 not equal to n?
True
Let k(z) = -33*z**2 + z + 1. Let a be k(-1). Let g = a - -30. Is g <= -3?
True
Suppose 0 = 24*k - 30*k - 372. Which is smaller: k or -61?
k
Suppose 4*u - u = -6. Let j = 1 + u. Let n = 132 + -139. Is j at most n?
False
Let x be 190/(-60) + 3/(-2). Let y = -13/3 - x. Is -0.08 bigger than y?
False
Suppose 2*c - 62 = h - 15, -27 = h + 2*c. Let o