(10). Do z and s have the same value?
False
Let x be 8/36*(-6)/(-4). Is 14 <= x?
False
Suppose -2*l - 4*y + 71 - 23 = 0, -7*l = y - 90. Let u be (10 + 0 - 2)*1. Do u and l have the same value?
False
Let c = -0.043 + 24.043. Let h = 25 - c. Which is smaller: -17 or h?
-17
Let v be (-510)/(-60) - 1/(-2). Suppose -4*j + 11 = -21. Which is smaller: j or v?
j
Let m = 3 + -5. Suppose -3*x + z = 2, -x + 5*x - 5*z = -10. Suppose -n - 4*b = 14, 2*b + 28 = -x*n - 4*n. Which is bigger: n or m?
m
Let p = -20681/269 + 8448171/20713. Let c = p + -331. Do 1 and c have the same value?
False
Suppose -3*k + 8*k + z = 9, 4*k - 12 = -2*z. Let c be ((-16)/7)/((-2)/3). Which is smaller: c or k?
k
Let o(a) = 38*a - 6. Let j be o(-6). Let f be (-15)/(-25) + j/(-10). Let h be (-20)/f + (-2)/12. Which is smaller: -4 or h?
-4
Let l(t) be the third derivative of t**6/30 + 5*t**2. Let w be l(1). Suppose 0*s - 17 = -3*p - w*s, -20 = -4*s. Which is smaller: p or -1/2?
p
Let h be (-4)/48*(-3)/4. Let l(k) = k**3 - 2*k**2. Let t be l(2). Let w be (0 - t)*4/(-4). Is h equal to w?
False
Let w(y) = -y**3 + 2*y**2 + y. Let v be w(3). Let k be v/(-27) - 5/27. Which is bigger: -1 or k?
k
Let b be 0 - 6*(2 + 1 - 4). Let k(a) = -a**3 + 5*a**2 + 8*a - 7. Let r be k(b). Is r equal to 2?
False
Let z be ((-1)/(1/1))/(-1). Let q be (-7)/(-1)*z + 1. Let l = -3 + q. Is l smaller than 3?
False
Let l be -2 + (4/2 - 0). Let j = 20 + -20. Suppose -4*q = -2*q + z, 2*q - 3*z = j. Is l less than or equal to q?
True
Let v be 1131/2465 + 0 + 2/(-5). Which is smaller: 0.06 or v?
v
Let r(w) = 3*w**2 + w - 5*w**2 + 5*w**3 + 0*w**3 + 4*w**3. Let v be r(1). Let n = 159 + -153. Which is smaller: v or n?
n
Let i(y) = -y - 6. Let m = -43 + 38. Let x be i(m). Which is greater: x or -6?
x
Let k be (2/5)/(20/800). Which is smaller: k or 13?
13
Let u be ((-35)/49)/((-1)/7). Suppose -4*n = x + 3*x - 12, 5*x - 7 = 3*n. Suppose x*d = 5*g - 26, 2*g + 2*d - 14 = 4*d. Is g less than or equal to u?
True
Suppose 82*i + 88 - 6 = 0. Is -18/181 equal to i?
False
Let i(o) = -2*o**2 - 4*o + 12. Let n be i(-5). Let t(b) = -b**3 - 19*b**2 - 18*b + 13. Let s be t(n). Which is smaller: 16 or s?
s
Let c(a) = a**2 + a. Let o be c(1). Let y = o - 2. Is 2/45 >= y?
True
Let u be 1/(-3) + (-13)/33. Let p = 68 + -56. Suppose -p*h = -16*h - 8. Which is smaller: u or h?
h
Let s(i) = -7*i**2 + i - 1. Let d be 2*((-15)/3)/(-10). Let q be s(d). Which is greater: q or -10?
q
Let n be (36/(-14))/((-3)/14). Suppose 4*k = n + 12. Let x = 70 - 66. Which is smaller: x or k?
x
Let d(k) = k - 2. Let h be d(0). Which is smaller: -36/11 or h?
-36/11
Suppose -23*r + 41 = 248. Are r and 0 equal?
False
Let y = 14.85 + -15. Let f = -3.45 - y. Let b = 3 + f. Which is greater: 1 or b?
1
Let l be ((-20)/(-15) - 14/(-6)) + -4. Let j = 7 - 23. Let z = j + 33. Are z and l equal?
False
Suppose 3*j - 2*d = -7*d, -2*d = 0. Let y(v) = v**3 - v. Let l be y(j). Is -1 > l?
False
Let o be (-5 - (-10)/(-6))/(1/3). Let t = o - -19. Which is smaller: -3 or t?
-3
Let x = 34 + -19. Let a be (84/8 - 3 - 2)*10. Let m = a - 55. Is x >= m?
True
Suppose 2*o - 52 = -2*o. Suppose -5*i = 7 + o. Suppose 43 = 131*d - 156*d - 32. Is d at most as big as i?
False
Let p(m) = 32*m. Let i be p(1). Suppose -127 = 5*a - 5*o + 18, -a - 2*o - i = 0. Suppose 2*y + 3*y + 3*k = -135, 4*y - 4*k = -140. Are y and a unequal?
False
Let b = 143/70 - 641/322. Is b at least as big as -1?
True
Suppose 4*q + 5*d = 6, 3*q - 5*d + 15 = -2*q. Let l be (q - 0)/((-1)/4*-4). Is l > -5/7?
False
Suppose -5*m = -8 - 407. Which is greater: m or 81?
m
Let g(k) = 137*k - 29. Let d be g(1). Which is greater: d or 102?
d
Let k = 0 + 0. Let n = 0.47 + -0.611. Let r = 0.041 + n. Is k greater than r?
True
Suppose 0 = -d - 32 + 46. Let j be d/(-4) - 1/((-3)/9). Is 3/8 >= j?
True
Suppose 0 = -29*v + 858 + 1230. Which is smaller: v or 357/5?
357/5
Let b(a) = a**2 + 3*a - 2. Let y be b(1). Let x be 2*y*4/(-8). Which is bigger: -4 or x?
x
Let o be (45/18)/(1/(-20 - 2)). Let w be 0 + 1/(-33)*(o + 4). Is 2 at most as big as w?
False
Let p = -1117 - -2107. Is 989 > p?
False
Suppose 0 = 537*t - 545*t - 640. Does -241/3 = t?
False
Let j = -16 - -30. Suppose -9*x + 14 = -8*x. Do j and x have the same value?
True
Let z be ((-27)/(-81))/((-10)/(-6)). Is -127 <= z?
True
Suppose -4*u + 34 = 5*m, u = -3*m + 20 - 8. Let n = 117/7 - 197/21. Which is bigger: n or u?
n
Let b(l) = l**3 + 9*l**2 - 5*l - 38. Let n be b(-9). Let f(a) = -a**2 - 4*a + 2. Let z be f(-4). Is z at most as big as n?
True
Let a be ((-1)/3)/(2/(-378)). Let l be 2/7 + 486/a. Which is greater: l or 9?
9
Let x = -0.4 + -5.1. Let z = x - -9.5. Which is greater: -12 or z?
z
Let u be (-399)/231 - 3/11. Which is smaller: u or -50/21?
-50/21
Let f = -14.94 - -15. Let g = 1.06 - f. Are 25 and g unequal?
True
Let m = -499 - -500. Which is bigger: 2/453 or m?
m
Suppose -23 = -9*l + 32*l. Is -2/687 not equal to l?
True
Let s = 165/76 - 43/19. Which is bigger: s or 1?
1
Let n(g) = -2*g + 7. Let k(l) = 1. Let p(j) = -3*k(j) + n(j). Let v be p(2). Which is greater: v or -2?
v
Let m be (1/(-27))/(1 - 0). Let c = 478/959 - -3/1918. Which is greater: c or m?
c
Suppose -5*y + 1 = -2*p, -51 + 40 = -y - 5*p. Let i be ((-6)/16)/((-21)/(-6)). Is i <= y?
True
Suppose -42*i + 4 = -38*i. Which is smaller: 10/219 or i?
10/219
Let s = 143/285 + -1/570. Is s < 1/14?
False
Let z be 3*87/9 + -2. Let y = z - 15. Let d(l) = l**2 - 10*l - 26. Let q be d(y). Is 3 greater than q?
True
Let i(o) = o**2 - 11*o + 4. Let u be i(11). Suppose b = -u*b. Which is greater: -10/7 or b?
b
Suppose 10*f - 4624 = -1244. Suppose 9*s - f = 49. Is s equal to 43?
True
Let z(t) = -10*t + 50. Let u be z(12). Is -67 less than u?
False
Let h = -19 + 24. Let b be 107/(-27) - (1 - h). Are 1 and b nonequal?
True
Let s be (-20)/90 + (-32)/54. Let z = s + -14/27. Which is bigger: z or -2/9?
-2/9
Let h = -203 + 176. Is h > -0.4?
False
Let t = 5 - 3. Suppose -5*j - 10 = 0, -7*x - 4*j - 23 = -2*x. Let i be (-8)/x*(-30)/(-20). Is i greater than or equal to t?
True
Let r = 2.31 - 5.31. Is r not equal to -60?
True
Suppose -5*i - 861 = -d + 49, 895 = -5*i - 2*d. Which is bigger: -180 or i?
-180
Let o be 5 + -5 - (-5)/20*-1. Is o >= -712?
True
Suppose 13*l = -5*p + 18*l - 10, -p - 6 = -5*l. Is 17/47 <= p?
False
Let l be (-4)/(-18) + (-372)/1431. Suppose 0*n + n - 13 = -2*m, 4*n - 39 = 5*m. Let d = n - 12. Is d smaller than l?
True
Let a = 570 + -569. Is a > 2/883?
True
Let b(k) = -20*k - 4. Let w be b(-2). Let j be ((-74)/6)/(7280/w). Let n = 1/91 + j. Is n less than or equal to 1?
True
Let h = -5874 - -540413/92. Which is smaller: h or -1?
-1
Let n(a) = -a**3 - 2*a. Let y be n(0). Which is smaller: y or -6/19?
-6/19
Let f(k) = -15*k - 9. Let n be f(-7). Suppose -5*s - 2*o - n = 0, 2*s + 4*o + 63 - 15 = 0. Which is smaller: s or -19?
-19
Let k be 16/6 + 14/(-21). Let z be 8/44 - k/11. Let n be (z/(-1))/(1*-1). Which is smaller: 2/23 or n?
n
Let q = 18.2 + 2.8. Let h = -19 + q. Suppose -6*d + 3*d + 8 = -4*j, 0 = -3*j - d + 7. Which is greater: h or j?
h
Let p = -212 - -209. Is -0.22 at most as big as p?
False
Let p = -0.022 - 27.978. Let d = p + -7. Which is smaller: d or -1/3?
d
Suppose 3*j + 3*u - 113 = 8*u, 0 = j + 2*u - 45. Let x = j + -42. Which is greater: -1/14 or x?
-1/14
Let n = -1971 + 2793. Which is smaller: -1 or n?
-1
Let y = -1.18 + 2.18. Are -22.3 and y equal?
False
Let m = 333 - 326. Which is greater: -0.08 or m?
m
Suppose y - 1 - 4 = 0. Suppose y*g + 449 = 29. Is g at least -85?
True
Suppose 6*n - n = -35. Suppose 6*p - 24 = 4*p. Suppose -4*b - p - 12 = 0. Which is greater: n or b?
b
Let t be (-2)/(-16) + (-336)/128. Is t > 0.14?
False
Let v = -3 + 21. Let z be (-4)/v + 11/9. Suppose 0 = -4*s + 4*g - 8, -4*s = -g - 9 + 2. Is s at most as big as z?
False
Let y = 6342235 - 18766673612/2959. Let h = -2/269 + y. Let g = 0 + -0.1. Which is smaller: h or g?
g
Let s = -43 - -93. Is s greater than or equal to 1?
True
Let p(o) = -o**3 + 9*o**2 - 5*o - 8. Let y be p(8). Suppose 0 = -3*g - 8 - y. Let c be (80/(-10))/((-1)/(-1)). Are c and g nonequal?
False
Suppose -19 = -5*l - 3*n, l = 5*n - 33 + 20. Which is smaller: 32 or l?
l
Let b(f) = 21*f + 148. Let h be b(-7). Is 28/19 < h?
False
Let d = 0.7 - 0.46. Let f = 0.64 - d. Which