8. Let v = a + 0.12. Is u <= v?
False
Let n(s) = -6*s**2 + 6*s - 3. Let j be n(5). Let c(w) = 36*w + 560. Let m be c(-19). Which is smaller: j or m?
m
Let n = 2809 + -1894. Is n less than or equal to 917?
True
Suppose 314 = 5*w - 6*w. Let j = 338 + w. Let a = -2/521 + 49503/2084. Which is bigger: j or a?
j
Suppose 16*y + 68*y - 272 = -20. Which is smaller: 91/25 or y?
y
Let m = -190 - -494. Which is greater: m or 305?
305
Let z(m) = m**3 - 2*m**2 - 6*m. Let f = -417 + 420. Let c be z(f). Is c at most -3?
True
Let k = 94922 - 309160957/3257. Are -1 and k nonequal?
True
Let c(h) = 2*h**3 + 14*h**2 + 9*h - 19. Let v be c(-9). Suppose -30*u - 7091 = 5659. Which is smaller: u or v?
u
Let s = -2728 + 2701. Is -79/3 less than s?
False
Let w(q) = -3*q**3 + q**2 + 2*q + 1. Let x be w(-1). Suppose -5*t + 7 = -2*f, -x*t + 3*f + 6 = -0. Which is smaller: 5/77 or t?
5/77
Suppose 37*c + 598 + 845 = 0. Let u be (3/(-6))/((-2)/(-144)). Is c bigger than u?
False
Suppose -198 = -2260*d + 2326*d. Let h be (-9)/78*10/6. Is h bigger than d?
True
Let b = 20062 - 18639. Is b at most as big as 1423?
True
Let f be (10/7)/(29/406). Suppose 21*i - f*i = 4. Which is bigger: 0.03 or i?
i
Let k = 539.5 - 1408.8. Let m = -869 - k. Which is greater: m or -97?
m
Let o = -127 + 66. Let p = o - -79. Let j = p + -17. Which is bigger: j or 4/19?
j
Let f = 22131 + -18583. Are 7095/2 and f unequal?
True
Let i be (-8*(-4)/(-4))/(4/(-6)). Let x(p) = -p**3 - 12*p**2 - 14*p - 3. Let c be x(-11). Let v be i/c + 3/5. Is v <= 2/13?
False
Let k(j) = -9*j - 7. Let s be k(4). Let g = s + 76. Let m be (2/3)/((-11)/g). Which is smaller: 12 or m?
m
Let c(b) = b**3 + 25*b**2 - 18*b + 233. Let p be c(-26). Is p bigger than 177/7?
False
Let r = 651 + -96. Let y = 554 - r. Is y at least as big as 126?
False
Let m(v) = 1384*v - 89849. Let j be m(65). Suppose -294 = -2*l - 74. Which is bigger: j or l?
j
Let u be 55 - 0/(1*-2). Suppose 1519*t - 1524*t = 3755. Let r = 805 + t. Which is smaller: u or r?
r
Let r = 564 + -562. Let z be (-6)/(-10)*r*3445/13. Is z != 319?
True
Let b(j) = j**3 + 4*j**2 - j + 130. Let y be b(-7). Which is smaller: y or 68?
y
Suppose 12*s + 4*s = -7*s + 260981. Is s less than or equal to 11348?
True
Let q be (-63)/(-348) + 3/29*(-76)/(-114). Which is smaller: -858 or q?
-858
Suppose 4*b + 571 = -3*t, -181 = -17*t + 18*t - b. Is -4 less than or equal to t?
False
Let t = 28 + -93. Suppose -4*q + 4*u = 248, 2*q - 4*u + 3*u = -128. Which is greater: q or t?
t
Let q(t) = -1. Let a(f) = -f - 28. Let i(u) = a(u) - 4*q(u). Let d be i(10). Let m be d + 0 + (1 - 3). Which is greater: -37 or m?
m
Let t = 2021/65 + -187/5. Are -3/2 and t nonequal?
True
Let x = -61 + 60.56. Let g = 9.38 - 8.38. Which is greater: x or g?
g
Let a = 1.5538 - 1.55. Let m = 1.0038 - a. Is 17 at least as big as m?
True
Let g = -220.079 - -21.279. Which is greater: g or 2/5?
2/5
Let y = 4038 + -4032. Is y greater than 133?
False
Suppose 2*q + 4*y = q + 28, q - 5*y = -17. Let c be q + 6/(-6 - -4). Let b be 12/((-21)/(-9) + 1/(-3)). Is b at least as big as c?
True
Let d = 146 - 124.6. Let k = d + -19. Let b = 2.4 - k. Are b and 6 equal?
False
Let f be -16 - (-8 + -3241)/19. Is f <= 106?
False
Suppose 0 = -32*r + 5*j - 67, 0 = 2*r + 15*j - 20*j + 37. Is -7/913 greater than r?
True
Suppose -3*i + w - 9 = 4, -2*w = -3*i - 17. Let o be ((-14)/i + -3)/((-10)/(-12)). Suppose 46 = -q - 4*l, -o*q = -4*l + 6*l + 92. Which is bigger: q or -45?
-45
Let o = -219 - -211. Let h = -0.6 - -11.6. Is h less than o?
False
Let d be 264/(-16500)*10/(-7114). Which is smaller: 1 or d?
d
Let f be 3 - ((-84)/(-57) - -1). Let i = 77/38 - f. Let l = i + -1. Is -2/5 less than or equal to l?
True
Let x(t) = 66*t**3 + 2*t**2 - 66*t + 447. Let v be x(5). Which is greater: 1 or v?
v
Suppose -2*w + 18 = -134. Suppose -5*z - i = -355 - 36, 4*z + i - 313 = 0. Is w <= z?
True
Let i = -9.019 - -0.019. Which is smaller: -19/4 or i?
i
Let d = -6 + 10. Suppose -d*n + 31 = -5*v - 10, 4*v - 3*n + 33 = 0. Let l(c) = -3*c**3 - 28*c**2 - 23*c - 136. Let j be l(-9). Which is bigger: v or j?
v
Let f be (-6)/(-4) - 44/40. Let x = 1.53 - 1.64. Is x not equal to f?
True
Suppose -2*m + 24 = -5*v, 5 + 1 = 3*m. Let t be v/5*25/215. Let a be (-4 + 39/9)*(-5 - -2). Is a at least as big as t?
False
Let q = 27150 + -31996. Which is bigger: q or 3?
3
Let y be (-36)/15 + 7 + 99/(-15). Let n be (y/(-9))/((-208)/(-6396)). Is n <= 1?
False
Suppose -3*z - 28 = -55. Let o be 115/30 + -4 - 3/z. Let a = 0.16 - 0.01. Which is smaller: a or o?
o
Suppose -6*y = -11*y + 2380. Let q be 3*(-1)/(-6)*y/7. Suppose 0 = 5*f - 4*w + q, -4*f - 6 - 13 = 5*w. Is -6 at least f?
True
Let i be ((-1)/(-1) + 2)/(1406/(-304) + 5). Which is smaller: 650/73 or i?
i
Suppose 8*n - 2*k + 12 = 6*n, 0 = k. Let r be 7 + n/(30/25). Which is bigger: r or 7/3?
7/3
Suppose 4*f - 6 + 2 = 0. Suppose -27*s = -22*s + 60. Which is bigger: s or f?
f
Suppose 10 = -2*o + 2, 3*o + 15 = 3*m. Let j be (((-8)/2)/2)/((-894)/(-18)). Let c = j + -65/2086. Is m bigger than c?
True
Suppose 0 = 35*s + 16 - 51. Which is bigger: -1/1429 or s?
s
Let p be (-679)/(-49) + (-19)/57. Is p <= 13?
False
Let m = -8439 - -8542. Suppose -2*k - 5*o + 20 = 0, k + 3*k - 12 = -3*o. Which is greater: k or m?
m
Let r(v) = v**3 - 9*v**2 + 18*v - 8. Let j be r(10). Suppose -2*d + 112 = j. Let o = -95 - d. Which is smaller: o or -16?
-16
Let q = -141/4 + 35. Let n = 6.0257 + -170.0257. Is q > n?
True
Let j(k) = -5*k - 59. Let p be (630/60)/(3/(-4)). Let f be j(p). Which is bigger: 13 or f?
13
Suppose -3*y - 5272 = -4*g - 435, -3*y - 1198 = -g. Is g less than 1211?
False
Suppose -44 = -5*l + 2*a, 6*l + 5*a - 65 = l. Suppose -5*n - 9*u + 6*u = l, -4*n + 4*u = 8. Is n >= -5?
True
Suppose -3*g - 259 = 5*a, 5143*g = 5*a + 5141*g + 294. Let q = 29 - 83. Does q = a?
False
Suppose -43*g + 756 = -7*g. Let u be (-140)/g*(-21)/(-4). Which is bigger: u or -34?
-34
Let u = -60 - -36. Let y = -4.2 - -30.2. Let m = y + u. Does -6 = m?
False
Let x(u) = -3*u + 6. Let a be x(-7). Suppose -z + 5 = s - a, -4*z + 26 = s. Suppose 34 = -n + 2*n. Is s >= n?
True
Let d = -24028 - -17324190/721. Let i = 9 + -9. Is i at least d?
False
Let w be (-7 + 8)/(33/(-3) - -10). Is w at least as big as 5/32?
False
Let d be (11/(-26)*2 - -1)/10. Let y(r) = -2*r**2 + 3*r**2 - 3*r**2 - 6*r - 6 + r**2. Let i be y(-5). Is d bigger than i?
True
Let m = -7431 + 5009. Which is greater: -2427 or m?
m
Let b = -8804 - -8806. Which is greater: -789/10 or b?
b
Let f = -85.8 + 85.8. Which is bigger: -4087 or f?
f
Let r(u) = -u**3 + 8*u**2 + 10*u - 6. Let g be r(9). Suppose g*j + 2*z + 3 = -23, -j + 4*z - 18 = 0. Let n be (4/(-102))/(j/15). Which is smaller: 0 or n?
0
Let p be -2*((-285)/6 - 1)*-1. Let i = p + 67. Let l = i + 148/5. Do l and -9/5 have different values?
True
Let f = -7531 + 7531. Is 12/965 at most f?
False
Let t be 9/(-4)*4*2. Let q be (-6)/(-27) + 4/t. Let b = 2024 - 2029. Are b and q nonequal?
True
Suppose -10*b = -6*b + 2*n - 66, 0 = 5*b + 2*n - 84. Suppose 46 = -6*a + 29*a. Which is bigger: a or b?
b
Let a be -1 + -1 + 4 - -2. Suppose 4*p = a - 12. Let q be -2 - -7 - 9715/2030. Which is smaller: p or q?
p
Let w = 334.7 - 332.7. Which is greater: w or 7/90?
w
Let w = 1100587/214 - 5143. Is w less than -1?
False
Let s = -284.31 - -283. Let i = 0.31 + s. Let b = 0.115 - 0.155. Does i = b?
False
Suppose 3*x - k - 4 = 0, 2*k + 2 = -29*x + 32*x. Suppose 0 = 5*f - 2*h + 7, 3*f - 2*f + 7 = -h. Is f > x?
False
Let y be (6/(-5))/(18/(-300)). Let k(x) = -x**3 + 19*x**2 + 20*x + 5. Let j be k(y). Let i = 14 + -14. Which is smaller: j or i?
i
Suppose 0 = 13*s + 13*s - 52*s - 26. Let m = 12/31 - 5570/14229. Which is smaller: m or s?
s
Suppose 3*a - 9 = -0*a. Let u(r) = -r + 18. Let b be u(15). Let t be (10/b*-1)/((-176)/132). Is a greater than t?
True
Suppose 5*j + 4*a - 1 = -0, -4*a - 8 = -4*j. Let w = -16359 + 10191656/623. Do j and w have the same value?
False
Let v be (-4)/40*(-1386)/(-858). Which is smaller: 0 or v?
v
Let h = -0.01 + 9.81. Let n = 27 - h. Let a = n - 15. Is -0.1 at most as big as a?
True
Let h(u) = -u**2 - 4*u - 8. Let p be h(-2). Let b be (-3328)/(-544) - p/(-34). Let l = 7 - 1. Do b and l have the same value?
True
Suppose 65*r - 7936 = 193*r. Which is smaller: r or -9