alse
Let h(s) = -3*s**3 + 4*s**2 - 4*s - 7. Let r be h(6). Let g = 730 + r. Does 8 divide g?
False
Let d = 18 - -12. Suppose 3*u + i = d, 0 = u + 5*i - 15 - 9. Suppose -n - 4 = -u. Is 2 a factor of n?
False
Suppose -5*s = b + 5, 4*b - 18*s + 20*s = 16. Suppose -6*l - 290 + 1316 = 0. Suppose b*a + l = 556. Is a a multiple of 9?
False
Let o be 20/70 + 80/14. Let g be 68/o*63/6. Suppose g*y + 264 = 121*y. Is 44 a factor of y?
True
Let m(s) = -s**2 - 119*s + 8507. Does 78 divide m(0)?
False
Let j(t) = -3 + 31*t**2 + 1 + 59*t**2 - 2*t. Suppose -1238*c = -1257*c + 1 - 20. Does 10 divide j(c)?
True
Does 61 divide ((-1)/(6/1746))/((-6)/354)?
False
Suppose -7*p + 80 = -3*p. Let n(m) = -m**3 + 13*m**2 + 28*m - 8. Let j be n(15). Let r = p - j. Does 11 divide r?
False
Let b = 49 - 47. Suppose b*j = -j + 27. Suppose -243 = -7*u + j. Does 18 divide u?
True
Let f(z) = 303*z**2 + 126*z + 367. Does 19 divide f(-3)?
False
Is (-13)/(9/(-9288)*4) a multiple of 78?
True
Let r = 31 - 31. Suppose 14*a - 9*a - 560 = r. Suppose -2*n + a = -212. Is 27 a factor of n?
True
Let l = 259 - 389. Let x = 206 - l. Is x a multiple of 8?
True
Let u be 1*(-1 - -1)/(-2). Suppose -3*n - 1989 = q - 2002, 0 = -n + 5*q - 1. Suppose b + n - 41 = u. Is b a multiple of 17?
False
Suppose -2*f = 10*c - 8*c - 4888, 4*f - 9776 = 3*c. Is f a multiple of 47?
True
Let p(t) = 226*t**2 - 116*t - 530. Does 46 divide p(-10)?
True
Is -7 + (-112298)/(-26) + 4*5/(-130) a multiple of 44?
True
Let a be (2 - 5) + 1 + 4. Suppose 0*h - 6 = -a*h. Suppose 29 = 5*u + 3*p, 3*u - 1 - 14 = -h*p. Is 5 a factor of u?
False
Let j be -59*(-1 - 2)*-1. Suppose -1305 = 14*i - 6429. Let y = i + j. Is 29 a factor of y?
False
Suppose 3*l = -27*l + 4*l + 61100. Is 5 a factor of l?
True
Let r(b) = 4*b**2 + 2*b + 2 - 95*b**3 - 4 + 0*b. Let z be 33/(-22)*(-1)/(12/(-8)). Does 6 divide r(z)?
False
Suppose 0 = 11*n - 3*n - 16. Suppose -4*p + 3*r + 408 = 0, 3*p - p + n*r = 190. Let l = p + -81. Is l a multiple of 9?
True
Let j = 9023 + -7790. Is j a multiple of 13?
False
Suppose 0 = 123*n - 147*n + 196200. Is n a multiple of 7?
False
Suppose 10*o - 1199 = -o. Let b = -36 + o. Does 35 divide b + 0 + (-6)/12*6?
True
Suppose -363 = -4*y + 2*k + 51, 202 = 2*y - 2*k. Suppose -2*z - 2*c = -134, y = 2*z - 10*c + 5*c. Is z a multiple of 9?
True
Let d(m) = 3*m + 14. Suppose -2*n - n + 17 = 4*k, 4*k - 23 = 3*n. Let h be d(k). Suppose -4*s + h + 19 = 0. Is s a multiple of 4?
True
Suppose -39 = -5*n + 7*i - 9*i, 16 = 2*n + i. Suppose -2220 = -n*d + 1140. Is d a multiple of 36?
False
Suppose 899 = -3*j + 13*q - 18*q, 2*q = -j - 301. Let p = j + 349. Is 8 a factor of p?
True
Let x(p) = -22*p + 146. Let h be x(7). Is 1*4*(-18)/h a multiple of 9?
True
Is ((-9360)/(-1365))/((-2202)/(-2198) + -1) a multiple of 12?
True
Suppose -5*d + 26 = -3*d. Let k = d + -8. Suppose -k*w + 132 = -2*w. Is 11 a factor of w?
True
Let h(b) be the first derivative of b**3/3 + 37*b - 44. Is 70 a factor of h(-15)?
False
Let f(r) = -63*r - 15. Let u = 322 + -330. Is f(u) a multiple of 27?
False
Let r(j) = -64*j - 870. Is 3 a factor of r(-23)?
False
Let t(n) = -n**3 + 0*n**3 + 17*n - 190*n**2 - 196*n**2 + 381*n**2. Is 3 a factor of t(-8)?
False
Suppose -15 = -12*i + 9*i. Suppose -4*z + 640 = -2*c, -i*c + 1110 - 340 = 5*z. Suppose -z = -5*j + 172. Is j a multiple of 23?
False
Let f(n) = -39*n**3 - 12 - 9*n - 4*n**2 - 2*n**2 - 9*n + 37*n**3. Is 14 a factor of f(-8)?
False
Let f(q) = -1443*q - 3927. Is f(-14) a multiple of 93?
True
Let x(q) = 10452*q**3 - 2*q**2 - 36*q + 36. Does 55 divide x(1)?
True
Let y(u) = 29*u + 10. Let m be y(-4). Let f = 124 + m. Is f a multiple of 6?
True
Let h(g) = -2*g**3 - 18*g**2 - g - 5. Let d be h(-9). Does 8 divide (-1)/(d/(-677 - -5))?
True
Is (-12)/18*-1*1892/8*90 a multiple of 11?
True
Suppose d - 3*v = -12, -4*d + v - 1 - 3 = 0. Suppose 4*h - 11125 - 488 = -3*m, d = 5*h - 5*m - 14560. Does 16 divide h/45 - 6/10?
True
Let t(b) = -115 + 6*b + 206 + b. Is t(-7) a multiple of 29?
False
Let c be -4 + 2 + -2 - -9. Suppose -3*x + 9*g + 519 = 14*g, 5*x - 865 = -c*g. Is x a multiple of 14?
False
Let n be ((-455)/(-10) + -3)*(3 - 5). Is (5 - n)*(-2)/(-6) a multiple of 2?
True
Suppose 12*y + 106*y = 1062. Let z = -2 + 7. Suppose -y*x + 4*m + 836 = -z*x, 4*x + 2*m = 836. Does 11 divide x?
True
Let r(a) be the first derivative of a**4/2 - 2*a**3/3 + 3*a**2/2 - 2*a - 104. Does 8 divide r(2)?
False
Let c(h) = -41*h - 16. Suppose 0 = -8*b + 9*b, 12 = -2*s - 2*b. Does 10 divide c(s)?
True
Suppose 0 = -0*j + 5*j + 1405. Suppose -4*m - 719 - 87 = 2*w, 4*w + 1585 = m. Let d = j - w. Is d a multiple of 21?
False
Let d = 939 - 489. Does 40 divide (4*4)/((-4 - -14)/d)?
True
Is 10 a factor of 15802 - (-24 - -449)/25?
False
Let x = -23588 - -45570. Is 29 a factor of x?
True
Let c = -1895 - -2795. Is 45 a factor of c?
True
Let u = -29 + 32. Let y(p) = 18*p**2 - p**u - 3*p**2 + 3 - 2*p**2 + 2*p. Is 9 a factor of y(13)?
False
Does 83 divide 8/(-20) - ((-2171774)/385 + (-3)/7)?
False
Let r = -24895 + 36604. Is 74 a factor of r?
False
Suppose 3*r = r + 80. Suppose -r = 2*s - 4*s. Suppose -s*g + 17*g = -684. Is 15 a factor of g?
False
Let z = -1416 - -755. Let o = -540 - z. Does 5 divide o?
False
Suppose -2*n + 2102 = t, t + 0*t - 2093 = -5*n. Suppose 0 = 2*z - 2*m - 2108, 5*z - 3*z = 3*m + t. Is 62 a factor of z?
True
Let r be (4899/(-15))/(1/(-5)). Suppose 0 = 9*p - r - 77. Is 10 a factor of p?
True
Let n = -157 - -368. Let v = n - 109. Does 6 divide v?
True
Let p = -12 + 47. Suppose 17*d = p*d - 12960. Is 30 a factor of d?
True
Suppose 10*t + 27 = -473. Is 7/((-1)/t*32/16) a multiple of 14?
False
Let q(b) = 640*b**2 - 8*b - 9. Let p be q(-1). Let r = p + -420. Does 2 divide r?
False
Let t be ((-649)/22)/((-1)/(-2)). Let q = 48 + t. Let m = q - -59. Does 24 divide m?
True
Suppose 0 = -5*w + 4 + 6. Suppose -r + 3*r + w*s = 36, -4*s + 33 = r. Let n = r + 1. Does 14 divide n?
True
Suppose -4*o - 944 = -2*o + 4*a, -a = 3*o + 1396. Let t = 960 + o. Is t a multiple of 62?
True
Let g be 5/(-25) + (-222)/(-10). Suppose g*l - 26*l = -168. Suppose 38*n + 448 = l*n. Is 23 a factor of n?
False
Let y(c) = -12*c - 85. Let z be y(-7). Let w = z - -31. Is w a multiple of 8?
False
Is ((-2)/(-20)*25154)/((-272)/(-1360)) a multiple of 26?
False
Suppose 0*u = -4*u + 80. Suppose u*a - 228 = 18*a. Is a a multiple of 17?
False
Let w(s) be the second derivative of -s**5/20 + 7*s**4/12 + 7*s**3/3 + 3*s**2/2 - 27*s. Is w(-3) a multiple of 15?
False
Let a(t) = -t**3 - 13*t**2 - 16*t - 6. Suppose 4*r - 5*b = -38, 5*b = -5*r + 13 - 83. Is a(r) a multiple of 6?
True
Let p be (-1)/(1/2)*(-989)/(-46). Let d = -43 - p. Suppose b + o - 178 = d, -3*b + 4*o = 67 - 622. Is b a multiple of 15?
False
Let w = -15500 + 23993. Is 9 a factor of w?
False
Suppose -4*x = -63*i + 60*i - 45900, x - 11475 = -3*i. Is x a multiple of 15?
True
Let o(k) = 20*k - 75. Let r be o(4). Suppose 0 + 15 = -r*s, -3*y + 4*s + 3288 = 0. Is 21 a factor of y?
True
Let q = -476 + 737. Suppose 0*u + 4*y = 2*u - 160, 3*u + y = q. Let v = -46 + u. Does 8 divide v?
True
Let a = -33608 + 55858. Does 43 divide a?
False
Let i(u) = -18 - 17*u - 97*u - 12*u. Does 40 divide i(-3)?
True
Let k = -453 + 651. Is k a multiple of 42?
False
Let h = -45 + 45. Let q be (h - 40/14)/(10/(-35)). Is 865/q - (-3)/(-6) a multiple of 14?
False
Let l be 6*2/16 + 36/16. Let o(w) = -47*w - 1. Let m be o(-7). Suppose -m = -l*a - a. Does 30 divide a?
False
Let v(b) = b**3 + 7*b**2 - 2*b + 4. Let y(f) = -f**3 - 3*f**2. Let m be y(-4). Let n = m - 23. Does 3 divide v(n)?
True
Does 74 divide 364089/68 + 4 - 6/(-8)?
False
Let c = -31 + 289. Let k = 263 - c. Does 2 divide k?
False
Suppose 0 = -0*x - 5*x + 90. Let h be 3/x*3 + 27/6. Suppose -2*o - h*v - 46 + 188 = 0, -5*o + 3*v + 386 = 0. Does 15 divide o?
False
Let t(p) = -13*p**3 - 3*p**2 - 5*p - 1. Suppose -24 = 5*o - 7*o. Suppose -2*g = o - 8. Is t(g) a multiple of 20?
False
Suppose 16*w - 15*w = 6. Suppose -662 - 496 = -w*y. Let c = 273 - y. Is 20 a factor of c?
True
Let k be (-1)/1 - (-281 - -16). Suppose -k*d + 256*d = -8008. Does 24 divide d?
False
Suppose 2*o + 2*r + 2 = 0, 5*r = -8*o + 9*o - 5. Suppose o = 6*b - 4201 + 49. Is b a multiple of 19?
False
Let z(n) be the third derivative of n**6/120 + 2*n*