s - 20. Is h(23) a multiple of 20?
False
Let v(x) = 16*x**3 + 4*x**2 + x - 3. Let p be v(2). Let b = p - 27. Is 29 a factor of b?
True
Let z(v) = 26*v + 6. Suppose -3*o = 4*r - 3*r - 16, -4*r + 4*o = 0. Does 11 divide z(r)?
True
Suppose 27*c = 10*c + 5508. Is 27 a factor of c?
True
Let r = 1435 - 366. Is r a multiple of 36?
False
Let g(y) = -8*y**3. Let p(a) = -a**2 - a + 2. Let w be p(0). Suppose -3*t = -4*o - 4, -4*o - w = -2*o - 3*t. Does 3 divide g(o)?
False
Suppose 4 = -d - 4. Let g be (91/(-28))/(2/d). Suppose 2*a - 15 = g. Is a a multiple of 3?
False
Let x(h) = 43*h**3 - 2*h - 1. Suppose -2*i + 5 = 5*p, 0*p - 3*i + 13 = 2*p. Let j be x(p). Let s = -21 - j. Is s a multiple of 21?
True
Let u be -117 + (2 - 1 - -2). Let g = u - -163. Is 30 a factor of g?
False
Let w(l) = -l**3 - 17*l**2 - 8*l + 38. Let c(p) = -p**2 + 1. Let a(v) = 3*c(v) + w(v). Does 14 divide a(-20)?
False
Let l = -119 + 120. Is 59 a factor of (0 + (l - -1))*4715/46?
False
Is -9 + 11 + 1129 + 7 a multiple of 5?
False
Let q be (44/(-8) - -5)*-12. Suppose -q*z + 383 = 77. Does 29 divide z?
False
Let a be (8/(-20))/((-1)/5). Suppose 3*x = a*x + 31. Suppose 3*i = 187 - x. Is 9 a factor of i?
False
Let z = -19194 - -8626. Let b be z/32 + (-2)/(-8). Is 3 a factor of (-3)/7 + b/(-35)?
True
Suppose u + 3 - 6 = -2*r, -5*u = -4*r - 71. Suppose 4*j = 2*h - 5*h + 12, 0 = 4*h. Suppose 0 = -j*x - u + 167. Does 23 divide x?
False
Let n be 2*(4 - (1 + 1)). Does 25 divide (((-882)/n)/(-9))/(1/6)?
False
Does 18 divide (0 - -2)/((-4)/(-360))?
True
Let a be (60/14)/((-12)/(-252)). Suppose -3*v + 2*j = 2*v - 116, 4*v - 3*j = a. Suppose -2*c + 2*s + v = 0, 2*c - 4*s = -s + 25. Is 4 a factor of c?
False
Let i = 4 + -4. Suppose 3*q - 226 = 4*w, 3*q + 2*w - 201 - 55 = i. Let x = -19 + q. Is 16 a factor of x?
False
Let i(k) = -k - 18. Let l be i(-18). Suppose 3*x + 3*u = -2*u + 148, l = -x - u + 46. Is 7 a factor of x?
False
Suppose -2*u + 4*u - w - 838 = 0, 0 = u - 4*w - 426. Does 37 divide u?
False
Let i(z) = z**3 + 5*z**2 - 4*z + 3. Let l be i(-5). Suppose -q + l = -17. Is q a multiple of 10?
True
Let m(z) = -z**3 + 7*z**2 - 5*z - 9. Let h be m(5). Let r = 42 + h. Does 19 divide r?
False
Let v(i) = 7*i**2 + 7*i - 6. Let s be v(-6). Suppose -12 - 2 = -7*g. Suppose -g*n = 2*n - s. Is n a multiple of 13?
False
Let m = -112 + 292. Suppose 5*i = -0*i + m. Suppose -2*z + 6*z + i = 2*r, -2*r - 4*z = -36. Is r a multiple of 18?
True
Suppose -165*u = -163*u - 16. Is u a multiple of 8?
True
Suppose 2*n = 2*r - 340, -3*r - n + 45 = -449. Let c = 254 - r. Is c a multiple of 8?
True
Suppose -6*r - 6 - 60 = 0. Let d be r/(-2) - 27/18. Suppose d*o = -2*o + 384. Is 8 a factor of o?
True
Does 73 divide (-9)/36 - 35346/(-8)?
False
Suppose 2*m = 5*c + 57, -m - 8 = -2*c - 34. Let p = m - 16. Let q = p - -8. Does 3 divide q?
False
Suppose -28*q + 31*q = 4641. Does 91 divide q?
True
Let a = 63 - 60. Suppose -2*l + 153 = d + a*l, -2*d = 3*l - 306. Is 9 a factor of d?
True
Let k be 7 + (-8 - -14) - 3. Let p(u) = u - 5. Let y be p(4). Is (-25)/k*(y + -1) a multiple of 5?
True
Let f be 4/(3/((-3)/(-2))). Suppose 19 + 41 = 3*c. Suppose -6*j = -f*j - c. Is j a multiple of 3?
False
Let p be ((-6)/(-9))/(2/129). Suppose -p = -7*l + 13. Suppose -2*f - 80 = -2*r, l = -r - 4*f + 28. Does 13 divide r?
False
Let b = 1147 - 449. Is b a multiple of 45?
False
Suppose 2*y - 4*u - 92 = 0, 0 = -5*y + 4*u + 57 + 203. Let m(f) = f + 26. Let d be m(-4). Let h = d + y. Is h a multiple of 14?
False
Let r(z) = 14*z - 13. Let m be r(5). Does 5 divide 4/(-38) - (-861)/m?
True
Suppose 2*i - 144 = -p + 459, -p = -4*i - 621. Is p a multiple of 29?
True
Suppose -5*b = 29 + 31. Let q = b + 12. Suppose q = -3*n + 93 - 15. Is n a multiple of 5?
False
Let u(w) be the third derivative of -17*w**4/24 - 8*w**3/3 + 30*w**2. Is u(-4) a multiple of 5?
False
Let a = 25 - 21. Let w = 1 + a. Suppose -5*d + 59 = 2*f, -w*f - d + 0*d + 136 = 0. Is f a multiple of 9?
True
Let q be (-1008)/40 + (-2)/(-10). Let l = q + 37. Suppose -68 = -2*y - l. Is 14 a factor of y?
True
Let h be -1 - 1/(2/(-6)). Suppose h = 4*u - 6. Does 3 divide u/(-3)*(-162)/9?
True
Let r be (2 - 1) + 0 - -14. Let g = r - 39. Is 16 a factor of (-6*1)/(g/64)?
True
Suppose 0 = -5*s - 2507 + 817. Let p = -203 - s. Is 9 a factor of p?
True
Suppose 2*j + u - 857 = 0, -287 = 4*j - 4*u - 2019. Is j a multiple of 10?
True
Is 9 a factor of (-12)/(37/(-6) - -6)?
True
Let r = -34 + -15. Let t be 110/14 + (-7)/r. Let w(l) = l**2 + l - 5. Does 33 divide w(t)?
False
Let s(t) = -t**3 - 3*t**2 - 3*t + 11. Is s(-5) a multiple of 4?
True
Let q(b) = 2*b**2 + 9*b + 2. Let l be q(-6). Suppose -2*p = 2*p - 4*g - 20, -l = -2*p + 4*g. Suppose -2*z = -p*z - 12. Does 3 divide z?
True
Let w(p) be the second derivative of -11*p**4/12 - p**2/2 + 5*p. Let f be w(-1). Does 4 divide (-237)/f + 2/8?
True
Is 27 a factor of ((-2)/(-4))/(23/6946)?
False
Let h(x) = -x**3 - 9*x**2 + 14*x + 15. Let a be h(-11). Suppose -3*m + a = -188. Is 14 a factor of m?
False
Let v(w) = 2 - w**2 + 9*w**2 - 6 + 4*w - 3*w. Let i be v(-2). Is i - 5 - 6/2 a multiple of 4?
False
Suppose 2*s + 16 = 14. Is s + 1 + 282/3 a multiple of 24?
False
Let n(l) = -153*l**3 + 16*l**2 + 29*l - 5. Is n(-2) a multiple of 17?
False
Let d be (3/(-2))/(-3)*4. Is 2 a factor of 46/(-2)*(0 + (d - 3))?
False
Suppose 0*g - 4*h = 3*g - 8, 1 = g + 3*h. Suppose 2 - 10 = -g*k. Suppose -k*p + m + 7 = 0, 2*m - 7 = -p - m. Is 2 a factor of p?
True
Suppose -3*o = -5*o + 10. Let z = -9 + o. Let k = z - -13. Does 3 divide k?
True
Is 10 a factor of (2/(-8))/((-2)/1832)?
False
Suppose i = -3*i + 12. Suppose 4*f + 24 = -n - n, 4*n = -i*f - 58. Is 2 a factor of 8/n + 9/2?
True
Let a be ((-456)/18)/((-1)/(-3)). Is a/(-2) - (-5 + 3) a multiple of 7?
False
Let v be -3 + 5/((-10)/2). Is 10 a factor of 55 + v/(-1) + -4?
False
Let v(y) = 3*y**2 - 25*y + 4. Let g(l) = 2*l**2 - 13*l + 2. Let a(k) = 7*g(k) - 4*v(k). Is 18 a factor of a(-10)?
True
Suppose -4*n + 22 = 2. Suppose n - 17 = -4*o, -41 = 4*z + 5*o. Let u = z - -42. Is u a multiple of 7?
True
Let r = 804 + -509. Let j = -110 + r. Is 37 a factor of j?
True
Suppose -17 + 2 = -5*i. Suppose -i*r = 272 + 4. Let o = -14 - r. Does 20 divide o?
False
Suppose 8*r - 12*r + 8 = 0. Let l(x) = 16*x**3 - x**2 + 4*x - 3. Is l(r) a multiple of 20?
False
Suppose -4*d + 3*n + 9089 = 0, -d + n + 2274 = 2*n. Is 10 a factor of d?
False
Let m = -57 + 137. Is 6 a factor of m?
False
Suppose 0 = 2*g - 11 - 5. Is 4 a factor of g?
True
Suppose -d = d + 2, 37 = 4*q - 5*d. Suppose -3*g + q = -g. Suppose -g*l + 282 - 102 = 0. Does 19 divide l?
False
Suppose 2*g = g. Suppose g = -t + 2. Suppose -5*q - 3*c + 611 = 0, 3*q - t*c + 6*c = 360. Is 23 a factor of q?
False
Let l = 71 + 37. Does 18 divide l?
True
Is (-8)/20*-3161 - (-12)/20 a multiple of 55?
True
Let l(r) be the third derivative of r**4/24 + 29*r**3/6 + 30*r**2. Is l(-15) a multiple of 7?
True
Suppose -2*q = -q - 13. Let f = q - -9. Is 11 a factor of f?
True
Let c = -17 - -185. Does 28 divide c?
True
Let b = 133 - 125. Suppose 0 = -s - x + 27, -12*s + 63 = -b*s - 5*x. Is 2 a factor of s?
True
Let o(l) = 2*l - 4. Let n be o(0). Is ((-10)/(-5) - -94) + n a multiple of 23?
True
Suppose 10*c = -5*c + 90. Is (c/5)/((-14)/(-1260)) a multiple of 15?
False
Suppose -8 = 5*x - 3*l - 22, 2*x = -l + 10. Suppose 0*u + x*g = -4*u + 700, 5*g = 2*u - 385. Is 12 a factor of u?
True
Suppose -2*i - 3*o - 71 = 0, -5*o = 3*i + 2*i + 190. Suppose v + 5*g = 14, -1 = -v + 5*v + g. Does 17 divide (7 - i) + (v - -2)?
True
Let p(c) = -3*c**2 + 4*c - 4. Let r be p(3). Let v = 35 + r. Does 3 divide v?
False
Suppose 0 = -6*q - 13*q + 1653. Is 13 a factor of q?
False
Let q be 5 - 8 - (-2 + 0). Is (-6)/(-15)*(-110)/q a multiple of 7?
False
Suppose 0 = i + 2*i - 3*v - 1107, 3*v = 5*i - 1839. Is i a multiple of 13?
False
Is 18 a factor of (-41454)/(-140) + (-7)/70?
False
Let k(a) = 68*a - 55. Does 24 divide k(9)?
False
Suppose -205*y + 210*y - 3245 = 0. Is y a multiple of 10?
False
Let d(b) = 2*b**3 - 5*b**2 - 9*b + 14. Does 49 divide d(7)?
True
Suppose -q - 5*p = -471, 5*p - 1102 - 281 = -3*q. Is 38 a factor of q?
True
Does 47 divide ((-94)/8)/((1 - 2)/16)?
True
Let y(p) = -17*p**3 - 3*p**2 - p + 1. Let z(v) = -v**3 + 13*v**2 - 12*v - 1.