 x be (-1)/(134/(-8)) - v. Suppose c + 13 - 10 = -d, 5*d + 11 = -3*c. Which is smaller: d or x?
d
Suppose -5*j = -r - 218181, 278*j + 4*r = 283*j - 218184. Is 43636 >= j?
True
Let n(c) = -c**2 - 21*c - 103. Let b be n(-13). Is b at least as big as 36/41?
True
Let k be (-231 - (1 + 2/(-4))) + 4. Which is bigger: k or -229?
k
Let r(v) = 9*v - 158. Let q be r(51). Is q > 318?
False
Suppose -85*h = 195*h - 55*h + 5175. Let j be -19 + 1 + 0 + -1. Is j equal to h?
False
Let a be -38*(-9)/(-102) - (1 - 4). Let q = -46 + 45. Is a >= q?
True
Let n be 780 + 0*7/(-28). Suppose 48*d + n = 43*d. Which is bigger: -157 or d?
d
Suppose 2 = i - 2. Let k be (-115)/10 + 2/i. Let z = 186 + -196. Are k and z equal?
False
Suppose -183*h - 250 = -208*h. Is h equal to 1/5?
False
Let f be 32/(-17)*504/(-672). Which is smaller: f or 3?
f
Let b(c) = c**3 + 10*c**2 - 98*c + 18. Let m be b(-16). Let j be m/34 + 6/3 + 1. Which is greater: 4 or j?
j
Let f(l) = -12*l**3 + 3*l**2 + 27*l - 230. Let i be f(8). Is i >= -5964?
False
Suppose -269*b + 12489 = -4*d - 274*b, -2*d + 5*b - 6297 = 0. Is -3132 at most d?
True
Let v be (0 - (-2)/(-5))*-35. Let s be (-534)/14 + (-216)/56 + 4. Let j = s - v. Is -51 bigger than j?
True
Suppose 2*c - 2 = -2*m, 36 - 37 = 5*c - m. Which is greater: c or 1951?
1951
Let l = -13333/14430 + 1/1110. Which is bigger: -1 or l?
l
Suppose 5*d = -3*c - 187, 0 = -9*c + 13*c + d + 272. Which is smaller: 1.3 or c?
c
Let m be (2/18)/((-15)/(-45))*0. Suppose m = -i + 5*p - 45 + 18, 3*p = i + 17. Let s be (-10)/(-85)*-15 - 0. Which is smaller: s or i?
i
Let c be 155/310*(-20)/(-42). Are -6 and c non-equal?
True
Suppose -26 = -4*a + 2*a - 3*d, -3*a + 3*d + 24 = 0. Let h = -48657 - -48653. Which is smaller: a or h?
h
Let z be (1/5)/((-510)/23375). Suppose 45 = -2*s - 3*s. Is s < z?
False
Let x(h) = -6*h + 21. Suppose 32 - 27 = -q. Let v be x(q). Suppose -l + 3*n - v = 0, l + 4*n = -3*l - 172. Is l <= -45?
True
Suppose 2*b + 9 = j, 0*j - 20 = -2*j + 5*b. Suppose 14*t - 19*t = j. Let d be t/7 - (-197)/(-42). Do -5 and d have the same value?
False
Let y(c) = -c**3 + 2*c**2 - 5*c + 105. Let m be y(0). Let j be 12/(-8)*77/m. Is -1 greater than j?
True
Let l = 10935 - 10925. Is 161/17 >= l?
False
Suppose 3*q + 4537 - 694 = -s, -4*q + 19120 = -5*s. Which is smaller: s or -3829?
-3829
Let u = -449 - -515. Suppose -4*d + 17 = -o, 0 = 4*o - 7*o + 3*d - 15. Which is smaller: u or o?
o
Suppose 45 = -3*b + 57. Suppose 194 = -b*n + 90. Which is smaller: -24 or n?
n
Let p = -355 + 355. Suppose 5*y - 3*d + 389 = p, 4*y - 78*d + 73*d = -306. Is -399/5 at least as big as y?
False
Let i = 206.01 + 2.99. Let k = -210 + i. Which is smaller: -12 or k?
-12
Let p = 42 + -51. Let q be -4*1/(-2) + (-5 - -8). Suppose f = -2*w - q, 0 = -5*f - 15. Which is smaller: w or p?
p
Let b(x) = 7*x**3 + x**2 - 9*x - 18. Let c(g) = -6*g**3 - 3*g**2 + 9*g + 18. Let m(l) = 4*b(l) + 5*c(l). Let d be m(-6). Are d and 8/27 unequal?
True
Let h be (66/(-45) + 1)*-6. Let b = 13985493/110 + -127138. Let v = h - b. Does v = -1?
False
Let c = 43 + -38. Suppose -5 = -c*a + 5. Suppose -2*b + 50 = -5*p, -a*b = 5*p - 8 - 2. Are 27/2 and b equal?
False
Let z be -1*((-80)/60)/(2/(-3)). Which is smaller: -143 or z?
-143
Let n = -9068 - -9069. Is -3/374 less than n?
True
Let m = 596.518 - 596. Let r = 0.218 - m. Is r at least 7?
False
Let f be 10*1/(-33) + 0. Let v = 0.08628 + -0.28628. Is v < f?
False
Let o = 0.583 - -13.367. Let s = o - 14. Suppose -4*r + 5*a = 6, 5*a - 2 = 4*a. Is r at least s?
True
Let a be 1/((-4)/32) - (-3184)/(-128). Which is smaller: -32 or a?
a
Let m = 14.628 + -1.758. Let u = -13 + m. Let x = -338/7 - -48. Which is greater: x or u?
u
Suppose -23*m = -6*m + 31068 + 30030. Which is smaller: m or -3593?
m
Let m be (-2)/5 + 80/(-50) + (-2574)/(-52). Let g = 84 + -37. Which is bigger: g or m?
m
Let k(x) be the second derivative of 5*x**3/6 + 58*x**2 + 129*x. Let w be k(-16). Is w at least 0.1?
True
Let g(u) be the first derivative of 18*u**2 - 58*u + 69. Let w be g(2). Is 12 less than w?
True
Let n = 101/68 + -25/17. Let y = -53/136 + n. Are y and 14 equal?
False
Let u = -84 - -120. Let f be (-1 + -8)/(u/36). Let x(q) = -10*q**2 - q. Let w be x(-1). Is f at least as big as w?
True
Let r be (-1)/(95/545) + 3. Let i = r - -479/57. Is i greater than or equal to 3?
True
Suppose 4*h - 46*z - 154 = -49*z, 0 = z + 6. Which is smaller: h or 18.8?
18.8
Let v(d) = -d**2 + 26*d - 105. Let i be v(20). Let p be (i/10)/(18/(-420)). Which is greater: -8 or p?
-8
Let q be (((-108)/126)/(5/41))/(27/(-966)). Is q > 252?
False
Let v = 240 - 239. Let r be 1 + -1 + (-3001)/(-25). Let p = r + -120. Which is smaller: p or v?
p
Let w = -1208 - -1493. Is 284 less than or equal to w?
True
Let x(k) = 13*k + 63. Let a be x(-5). Let d be ((-1)/a)/(3/4). Which is smaller: -5/4 or d?
-5/4
Let c(u) be the third derivative of -35*u**4/24 - 209*u**3/6 - 9*u**2. Let n be c(-6). Do -5/52 and n have the same value?
False
Let n(k) = k**2 - 17*k + 1. Let i be n(17). Let m = 20 - 12. Let u be (-4)/106*4/m. Which is smaller: i or u?
u
Let o = 1/4019 + 84118/1129339. Which is bigger: o or 1?
1
Let z = 0.08707 + -0.18707. Is 6272/3 less than z?
False
Suppose -172 = -5*x - 4*k, 5*x = 34*k - 39*k + 170. Which is smaller: x or 20?
20
Let r(k) = -k**3 - 6*k**2 - 4*k + 9. Let z be r(-5). Suppose -6*a + 8*a = w + 20, -z*w - 71 = -5*a. Is -1 less than or equal to w?
False
Let y = -277/2 - -143. Let c(z) be the third derivative of -z**6/120 - 11*z**5/30 + 2*z**3/3 + 233*z**2. Let o be c(-22). Is y > o?
True
Suppose -2*f = 2*a + 1088, 2*f = a - 121 + 656. Let x = 967 + a. Is 427 >= x?
True
Let p be (-1)/(-6) - (-40945)/30 - -4. Let f = p + -12335/9. Let i(j) = -j**2 - 6*j - 7. Let h be i(-5). Which is greater: h or f?
f
Let y = -1027/11 - -3092/33. Is y at least as big as -645/8?
True
Suppose 0 = 8*s - 10*s + 16. Let p be 1142/13 + s/52. Let y = p + -89. Which is smaller: 1/53 or y?
y
Let v = 2 + -8. Let b = 491 + -495. Let s be (-1)/(b + (-26)/v). Is 0.15 less than or equal to s?
False
Suppose -79 = -57*m + 6533. Is m greater than 104?
True
Let i = 0.04 - 0.108. Let n = -109.91 + 110.91. Which is smaller: n or i?
i
Let l be 30/(-27) - (5 + 1). Let f = 338/45 + l. Which is smaller: f or 14?
f
Suppose -11 = -4*g - 5*k, 2*g + 0*k - 13 = -k. Suppose -2*c - c - g = 0. Let v(o) = 2*o + 29. Let i be v(-19). Is i >= c?
False
Let t = 692.7 + -646. Let w = 2.7 - t. Let i = w - -36. Is 0.3 smaller than i?
False
Let u = 2769 + -2755. Which is bigger: 26/3 or u?
u
Suppose -p + 4*u = 122, 8*u - 452 = 4*p + 4*u. Let w be 16/2 + p + -7. Is -110 at least as big as w?
False
Let l = 1888 - 1863. Which is smaller: 53 or l?
l
Let v = 354823/51 + -6977. Which is smaller: -21 or v?
-21
Let w = -0.2 - 0. Let u be 297/(-165)*5/(-30). Which is greater: u or w?
u
Let n = 32.9 - -50.1. Let m = 192 + -113. Let k = n - m. Are -3 and k unequal?
True
Let a = -10756 - -12206. Is a equal to 1453?
False
Let w = -1103327/161 + 6853. Let t be (-16)/22 - 126/462. Is t equal to w?
False
Let o = 0.2 - 0.2. Let j = o - -2. Let f(r) = -68*r - 1563. Let m be f(-23). Which is smaller: m or j?
m
Let x = 220325/29 + -7596. Which is greater: x or 0?
x
Let v = -10 + -175. Let i = v + 964/5. Let m = 0.6 + -0.5. Is m greater than or equal to i?
False
Let r = -584.22 + 585. Let b = 0.68 - r. Do b and 225 have the same value?
False
Let h = -2613 - 4133. Let t = h + 505957/75. Let u = -379/225 - t. Is -1 greater than u?
True
Let a(p) = 24*p**3 - 4*p**2 - 5*p - 1. Let m be a(-1). Let l(u) = -u**2 - 32*u - 180. Let i be l(m). Which is smaller: 22 or i?
i
Let y = 22149 - 177471/8. Is y not equal to -34?
True
Suppose 850 = -w - 4*w - 5*t, -3*w + 3*t = 480. Let g = w + 165. Is g at most as big as -4/337?
False
Suppose -5*w - 15 = -d, 2*w = -48*d + 53*d - 121. Suppose 2*z - d - 25 = -3*m, -3*z + m + 97 = 0. Are 156/5 and z nonequal?
True
Let d be -4*(3 - (-1677)/(-52)). Is d at least as big as 114?
True
Suppose 3*z + 2*h + 889 = 4*h, 0 = -6*z + 5*h - 1783. Is z greater than -299?
True
Suppose -11601 = -6*t - 5*c, 23*t - 27*t + 3*c + 7677 = 0. Which is greater: t or 21170/11?
t
Let n = -92/105 + 10/21. Let l = -1826 + 1717. Which is smaller: l or n?
l
Let i = -223.77 - -223.82. Which is smaller: -154 