10. Let a be w(5). Suppose 4*j - a = 64. Suppose -4*b - j = 37. Is -19 equal to b?
False
Let k = -50.94 + 50. Let m = k - 6.06. Let d = -6.83 - m. Is 3 <= d?
False
Let o = 29156189/1102574115 - 26/131337. Let u = o - -1/365. Suppose 0 = -9*y - 4303 + 4312. Which is smaller: y or u?
u
Let p be 0/1 + -2 + 1. Let n = 0.107 + 0.029. Let t = n + -10.136. Is p less than t?
False
Let k = -474/25 - -977812/51575. Is k <= -1?
False
Let n = -68.6 - -3.6. Let i = n + 6. Let p = i - -60. Which is bigger: p or 69?
69
Let v(g) = -2*g**2 + 31*g - 40. Let d be v(14). Let u be 13*(15 - d) + 8/4. Is u greater than or equal to 172?
False
Let a(h) be the third derivative of h**6/120 - h**5/12 + h**4/24 - 5*h**3/3 - 17*h**2. Let y be a(6). Let c = 36 - y. Which is bigger: c or 13/4?
c
Suppose 19*f - 46523 = -5445. Is f != 2/5?
True
Let s(y) = y**3 - 20*y**2 - 6*y + 12. Let d be s(6). Let c = d + 3694/7. Which is greater: 30 or c?
30
Let h = -2 + 5. Let w be 46/(-10) - (-9)/h. Let i be (((-9)/6)/(0 - 6))/(1/(-8)). Do i and w have different values?
True
Suppose -5*x + 43 = -s, -6 = 3*x - 3. Suppose 4*q - 110 = 2*u, -q + 113 = -2*u + 4*q. Is s bigger than u?
True
Let t(i) = -i**2 - 2*i + 9. Let b = -26 + 31. Suppose -b*o - 28 = -8. Let j be t(o). Is 3/2 smaller than j?
False
Suppose -4*v + 12 = 0, 9*n - 4*n - v = -33. Let q be n/(-9) - (-112)/12. Let j be 4/q*55/363. Which is greater: j or -1?
j
Let x(p) = 14*p**2 + p. Let m be x(-1). Let v be -1*(10 - -2) - 58/(-29). Let t = m + v. Is 4 bigger than t?
True
Let h be 0*(-2)/8*-2. Suppose 257 - 93 = -4*f + 4*d, 3*f + 93 = -3*d. Let w be (-8)/f - (4 + (-670)/225). Which is bigger: h or w?
h
Let t = 8857 + -8997. Which is smaller: t or -35?
t
Let o = -2071 + 3246. Suppose 17*x - 64*x - o = 0. Which is bigger: -22 or x?
-22
Let p = 801 - 1001.3. Which is smaller: 0 or p?
p
Let s = 22 - 23. Let b be s + (-8)/(-10) - 12151/145. Let z be 6/(-10) - (b/(-10) - -4). Which is smaller: -11 or z?
z
Suppose -316 = -2*r + h, -10*h - 328 = -2*r - 12*h. Suppose r*q + 40 = 155*q - 4*f, 2*q - 2*f = -34. Which is greater: -11 or q?
-11
Let v = -157.2 - -157. Let o = -513 + 455. Is v <= o?
False
Let z = 49 - 72. Let o be (-1089)/55 - 1*(3/15 + 0). Is z not equal to o?
True
Let l(f) = 5*f - 95. Let h be l(0). Let r = h - -102. Are r and 5 unequal?
True
Let s = -992.2 + 1096. Let f = s + -13.8. Let v = f - 90.13. Is 2/7 bigger than v?
True
Let n = 2582 + -9386. Which is greater: n or -2/3?
-2/3
Let h = -9 + 63. Suppose -140 = 2*a - 24. Let c = h + a. Is c >= -15/4?
False
Suppose -7*p - 137 = 66. Let a = 51 + -23. Let v = p + a. Which is smaller: 1/39 or v?
v
Suppose 76*p - 71*p + 15 = 0. Let c be (9/(-108))/(p/24). Let m = -0.17 + 0.27. Is m at least as big as c?
False
Let s(q) = 57*q + 134. Let z be s(11). Suppose z = 13*r - 110. Are 590/9 and r nonequal?
True
Suppose 23*s - 6944 = -19*s + 11*s. Let o = 87777 - 612874/7. Let a = o - s. Is -1 at most as big as a?
True
Let m = 6052/331 - 238914142/13066887. Is m less than 0?
False
Let x = -645 + 663. Let r be (-408)/x*(-6)/(-4). Are 7 and r equal?
False
Suppose -5 = 2*k + 1. Let a be -2 + 1/(k/36). Let y = 20269 + -20283. Is y at least as big as a?
True
Suppose -9*i + 12*i - 102 = 0. Let q = 88 + -82. Suppose 10 = q*u + i. Which is bigger: u or -8?
u
Let l(k) = -k**3 + 2*k**2 + 3*k - 3. Let o be l(-3). Suppose -7*a + 6*a + o = 0. Let w = 34 - a. Which is smaller: w or 1/3?
1/3
Let h be (2 - (-2)/3)/(16/24). Suppose 5*j - w = 7, -4*w = -h*j - 19 + 31. Is j <= -3/161?
False
Suppose 2*p - 64 = h - 6*h, -3*p + h + 79 = 0. Let i be (6/15 - -2)*-5. Let m be (39/(-2))/(9/i). Is m less than or equal to p?
True
Let w be 1*(-1 + 2 - -4) - -68. Let o be (w/730)/(2/(-3)). Let k be ((-12)/15)/((-6)/(-15)). Which is smaller: o or k?
k
Let g be (-21 - -23)/((2/1)/484). Suppose -3*i + g = 2*h + 74, -h + 1 = 0. Is i smaller than 135?
False
Let m be ((-2)/4)/((-4)/152). Suppose 0 = 4*b + 5*o + 60, -m*b + 23*b + 36 = o. Which is bigger: -14 or b?
b
Suppose -h = -n + 63, -6*n - 16*h + 15*h = -378. Are 66 and n non-equal?
True
Let b = -40 - -24. Let z = -12 + 16. Let t be 15/15 + (0 - z). Which is smaller: t or b?
b
Let j be (2*(-3)/(-6))/2*14404. Let a = 151120/21 - j. Is -6 <= a?
True
Let w = -51 - -54. Suppose 5*u - u - 8 = 2*d, -2*u = -w*d - 4. Suppose -2*p - o + 4 = -u*o, -4*p - 3*o = 12. Is p less than -1/2?
False
Let t = -333 + 533. Suppose 0 = -2*y + 4*u - 88, -5*y - 2*u - 32 = t. Suppose 3*f + 46 = 2*f. Is y > f?
False
Let n = 98 + -110.2. Let s = n - -11.95. Let u = -13 - -53/4. Which is bigger: s or u?
u
Let s(f) = 779*f - 6729. Let c be s(19). Which is greater: c or 8073?
8073
Suppose -405 + 387 = 2*h. Suppose -5*y + i = 29, 0*y - 4*y + 4*i = 20. Which is smaller: h or y?
h
Suppose -21*a = 4872 + 5250. Let r = a + 483. Which is bigger: -12 or r?
r
Let y(s) = s**3 + 6*s**2 - 10*s - 25. Let q be y(-7). Let t be (-16380)/(-1104) - q/(-46). Which is bigger: t or 14?
t
Suppose 0 = -3*u + 5*l - 0*l - 19, -2*u + 2*l - 18 = 0. Let f = -54457/4242 - -3/707. Are u and f non-equal?
True
Let s(l) = 2*l - 44. Suppose 0 = -5*x - 16*x + 462. Let t be s(x). Let m = -24 + 166/7. Is t != m?
True
Let r(m) = -2*m + 21. Let n be r(7). Let w be -13 + 6 + 30 + (-10)/1. Is n < w?
True
Let n = -8277 - -8286. Is n at most 1/20?
False
Let h be (248/(-155))/(-1 + (-7)/(-5)). Suppose -z + 3*w + 4 = 0, -4*z - 24 - 12 = w. Let s be (-6)/h + 10 + z. Which is bigger: s or 5?
5
Suppose -935*a - 75 = -938*a. Let c = -10 + 3. Let t = c - a. Is -34 at least as big as t?
False
Suppose -2*p + 3*u = -3871, 5*p - 2*u + 0*u - 9661 = 0. Let g = p - 44425/23. Let h = g + 179/299. Which is bigger: 1/2 or h?
1/2
Let g be (10/4)/(160/(-128)). Let r be (-3)/g*(-180)/1485. Which is greater: r or 0?
0
Let a be (-2)/(-12) + (-3)/21. Let r = -10/21 - a. Let h(c) = -c**2 - 4*c + 1. Let p be h(-5). Are r and p equal?
False
Let r be (-67 - 0)/(5/(-35)). Let x = r + -470. Which is smaller: x or 5/44?
x
Let u be (-11 - 707/(-63))/(1/(-3))*-3. Which is smaller: u or -267?
-267
Suppose 86688 = -4*j + 25*j. Suppose 0 = 41*y - 49*y - j. Which is bigger: 0 or y?
0
Let u be (-10772)/108*3*-3. Let d = u - 881. Let g = d - 451/27. Is g at least 1?
False
Let j = 22140 + -22194. Is -280 != j?
True
Let s = 16946 + -16912. Is s >= 75?
False
Let x = -21 + 35. Let n(f) = 18*f. Let m be n(1). Let c = m + -3. Which is greater: x or c?
c
Suppose 0 = 110*b + 3725 + 37635. Which is bigger: -374 or b?
-374
Let z = -4.9 + 4.791. Let r = z + -0.021. Let o = r - -0.03. Are 3/11 and o non-equal?
True
Let n = 333.079 + -333. Let y = 3.079 - n. Is -0.14 <= y?
True
Let k be 20/34 + 24/(-448)*7. Which is smaller: 0 or k?
0
Let j = -6908 - -7001. Let a be ((-1 - -95) + -3)/1. Is a greater than or equal to j?
False
Suppose 0 = -5*c - 0*l - l + 23732, 4*c - 18982 = -2*l. Let t = c + -270535/57. Let q = t + -2/19. Is q less than 1/2?
False
Suppose f = 4*p - 3*f + 112, 0 = 2*p + 2*f + 56. Let r(b) = -41*b + 13*b + 21*b**2 - 22*b**2 + 1. Let h be r(p). Which is smaller: h or 2/43?
2/43
Suppose -10*p + 3*p - 1694 = 0. Let y be -4 + (p - -1)/(1452/(-24)). Is y <= 1?
True
Let x(q) = q**3 - 4*q**2 - 5*q + 1. Let m be x(4). Let k be (7/1 + m)/(5*-1). Let f be (8/(-6))/(-1) + 1/(-3). Which is bigger: f or k?
k
Let p be ((-20)/105)/((-6)/(-7)) + (-78926)/(-370233). Is 0 greater than or equal to p?
True
Let t = 11214600797/26955 - 416049. Is 1 at most t?
False
Suppose -2*q + 7 = 29*l - 30*l, -4*l = -3*q + 13. Let c = 65 - 2016/31. Is c < l?
False
Let a be (-22)/4 - 7/14. Let w be a/(-33) + 69/44. Suppose 87 = 7*o + 21*o + o. Is w at most as big as o?
True
Let f be ((-2272)/(-80))/(1/25) - 3. Is f less than or equal to 707?
True
Suppose 4*l - 2 = -2*g, 146*l + g = 145*l. Which is bigger: l or 110/151?
l
Let h = -602 + 635. Let k be (2 - -1) + (-1683)/h. Which is bigger: -2/3 or k?
-2/3
Suppose 35 - 3 = 10*o + 22. Is -2/7911 > o?
False
Let r = 29777 - 29776. Which is smaller: r or -1/22415?
-1/22415
Suppose -56739 = -12*m + 1850 - 10481. Which is greater: 1 or m?
m
Let s(t) = t**3 - 6*t**2 - 16*t + 2. Let m be s(-4). Which is smaller: m or -1321/14?
-1321/14
Let x be (-106)/37 + 9 + (-75)/15. Which is smaller: 1 or x?
1
Let s be 2*(0 - (-28)/8). Suppose -6*v + 4*v - 4 = 0, -v - s = w. Let q = -