r of f(74)?
False
Suppose 1627 = 444*h - 440*h + 5*r, -5*h + 5*r + 2000 = 0. Does 2 divide h?
False
Let y(h) = -23*h**2 - 10*h - 17. Let a be y(6). Is (23/115)/((-1)/a) a multiple of 53?
False
Let x(y) be the first derivative of -y**4/4 - 22*y**3/3 - 21*y**2/2 - 4*y + 10. Let b be x(-21). Does 14 divide 156/(-3)*b - (-3 + 1)?
True
Let d(b) = 44*b - 2007. Does 6 divide d(59)?
False
Suppose 11*b - 6*b = 0, -2*i + 6556 = -b. Does 29 divide i?
False
Suppose -136*b + 37*b = -901098. Does 37 divide b?
True
Let j = -3136 + 5065. Is j a multiple of 16?
False
Let h(k) = 588*k - 2490. Is 102 a factor of h(45)?
True
Suppose 2*k - 2 = -0*k. Let a be -4 + 1000/4 + k*3. Suppose -a*r - 384 = -253*r. Is 24 a factor of r?
True
Suppose 191*k - 190*k = -5*v + 3495, 0 = -5*k + 5*v + 17565. Is k a multiple of 8?
False
Let d(j) = j**3 + 2*j**2 - 5*j - 21. Let u be d(7). Suppose 5*s + 0*q + 4*q - 385 = 0, 3*q + u = 5*s. Is s a multiple of 11?
True
Suppose -5*x + 10*x - 5 = 0. Is 24 a factor of 1/(-2) + x - (-27081)/54?
False
Suppose -100*m - 655869 = -2825369. Does 13 divide m?
False
Let v = 4598 + 1119. Is 25 a factor of v?
False
Let p(l) = 6*l - 18*l**2 + 5*l + 88*l**3 + 24 - 178*l**3 + 88*l**3. Is 19 a factor of p(-10)?
True
Suppose 72614 - 772538 = -46*z + 12*z. Is 17 a factor of z?
False
Suppose 34732 = 30*z - 11*z. Let i = 2689 - z. Is i a multiple of 21?
True
Let v = 192 - 201. Does 49 divide 1/(v + 3) - (-1381)/6?
False
Suppose h - 16 = -4*s, 4*s = h - 0*h + 8. Suppose -2542 + 604 = -h*v + g, 5*v - 5*g - 2430 = 0. Is 54 a factor of v?
False
Let z be (904/(-16))/((-1)/6). Let r = 571 - z. Suppose 6*l = 2*l + r. Is 9 a factor of l?
False
Let o = -230 + 349. Let v = 128 - o. Is (10 - -1)*(v - -3 - 0) a multiple of 33?
True
Let y(m) = 3908*m**2 + 59*m + 103. Is y(-2) a multiple of 9?
False
Let c(y) = y**3 + 3*y + 140. Let i(n) = n**3 - 8*n**2 + 8*n - 7. Let g be (1/4)/((-2)/4)*-14. Let f be i(g). Does 20 divide c(f)?
True
Let d(b) be the first derivative of -b**4/2 + 14*b**3/3 - 2*b**2 + 3*b - 640. Let y(s) = -2*s - 2. Let c be y(-4). Is 17 a factor of d(c)?
True
Let j(y) = -9*y - 72. Let u be j(-8). Suppose 7*r - 461 - 190 = u. Is r a multiple of 31?
True
Suppose 3*v - 18970 = -o, 15*v - 78993 + 3128 = -4*o. Does 4 divide o?
False
Let t be 8/6 - (-88)/(-3). Let o be -6 + t/(-4) - (73 - -1). Let r = o + 148. Is r a multiple of 15?
True
Suppose 5*a = 2*a + 5*f - 579, f = -3*a - 561. Let k = -62 - a. Does 13 divide k?
False
Let l(o) = 4*o**3 - 82*o**2 + 32*o + 160. Is 149 a factor of l(28)?
False
Suppose 4*w - w = 3*m - 16863, -2*m = -3*w - 11244. Suppose -12*o = -13839 + m. Is 46 a factor of o?
False
Suppose 4*f - 2*w = 2185 + 16975, -f = 2*w - 4805. Is f a multiple of 70?
False
Suppose 4*p + 0*p = 8. Let q = 635 - 631. Suppose -p*z = -q*z + 48. Does 6 divide z?
True
Let g = -5070 - -7595. Is g a multiple of 18?
False
Let r(b) = 86*b**2 - 35*b - 24. Is r(7) a multiple of 15?
True
Let a be (22/(-33))/((-1)/15). Suppose 7*k + 792 = a*k. Is k a multiple of 22?
True
Suppose 2*t + 451 = -3*x + 2780, -t + 1168 = -2*x. Let n = -880 + t. Is 26 a factor of n?
True
Suppose 3003 = 6*v + 603. Does 50 divide (3 - -4)/(8/v)?
True
Let j = 1693 + -1315. Does 20 divide j?
False
Suppose 0 = -15*k + 74078 + 73267. Is k a multiple of 105?
False
Suppose -4*u - 379 = 5*o - 79, -u - 58 = -3*o. Let s = -75 - -152. Let p = u + s. Is 5 a factor of p?
False
Suppose -216 - 16 = -8*o. Suppose -o*a - 1160 = -39*a. Does 4 divide a?
True
Let w be (3930/(-120))/(2/(-16)). Suppose 3*u - 50 = w. Is 4 a factor of u?
True
Let r = -75 + 81. Suppose -508 - 212 = -r*f. Is f a multiple of 10?
True
Suppose -5*k = 4*v - 394, -v = 2*v + 12. Let o = 170 - k. Is o a multiple of 11?
True
Let s(w) be the second derivative of 0 - 11/2*w**3 - 1/2*w**2 + 34*w. Is s(-3) a multiple of 14?
True
Let o = 18 + -14. Suppose -5*c + 273 = o*k, 0*c - 4*c + 214 = k. Suppose -7*g = -3 - c. Is 8 a factor of g?
True
Let n = -23 + 102. Suppose 5*m + 49 - n = 0. Suppose -100 = -m*t + 86. Is t a multiple of 11?
False
Suppose 28940 = -2020*l + 2040*l. Is 11 a factor of l?
False
Let h = -91 - -96. Suppose -5*w - 3*f = -97, -3 = h*w - 5*f - 68. Does 4 divide w?
False
Suppose -94*s - 91*s + 5582580 = 64*s. Is 20 a factor of s?
True
Let q(g) = -24*g + 20. Let c be q(9). Let r = c - -378. Is 13 a factor of r*5*(-3)/(-30)?
True
Let u be (-3 - 0) + 21 + -7. Let b(h) = -3*h**3 - 14*h**2 + 7*h + 13. Let k be b(-5). Suppose k*y - 32 = 5*v, 12*v - u*v = -2*y + 43. Does 8 divide y?
False
Suppose -1048*u + 1085*u - 287638 = 0. Does 26 divide u?
True
Does 33 divide (3 - (-3)/(-2))*((-15348)/(-9) - 8)?
False
Let a(i) = 10*i**2 - 2*i + 13. Suppose g - 3 = -0*g. Let c be a(g). Let p = c - 10. Is p a multiple of 29?
True
Let c(i) = -234*i**3 - 66*i**2 - 254*i + 34. Does 31 divide c(-4)?
False
Let v = -7363 - -20387. Is v a multiple of 26?
False
Let x = -32204 + 44551. Is 74 a factor of x?
False
Suppose 5*f - a = 82221, -2*a = 4*f - 6504 - 59284. Is f a multiple of 13?
True
Is 6 a factor of 987 + -17 + 5 + 4?
False
Let k = 372 - 362. Is 25/k*(-6780)/(-75) a multiple of 56?
False
Let i be (6 - 300/18)*3. Is i/64*-4*44 a multiple of 11?
True
Let j be (-5 + (-14)/(-6))*6/(-4). Let w be ((-16)/j)/(-1) + -5. Is w/4 + 966/24 + 0 a multiple of 5?
True
Let v be 13/(-3)*(0 + -3). Let p(q) = -q**3 + 14*q**2 - 14*q + 16. Let c be p(v). Suppose -2*r - c*r + 5*d = -1315, r + 2*d - 275 = 0. Is 16 a factor of r?
False
Let j be (48/(-10) + -37 + 41)*-2340. Suppose -111*h - j = -114*h. Is h a multiple of 13?
True
Suppose 0 = -5*l - 3*a + 38284 + 10931, 0 = 3*l - 2*a - 29510. Is l a multiple of 82?
True
Let c be 19/(95/(-4))*-5. Suppose 1108 = c*x + 84. Does 55 divide x?
False
Let p(r) = r**3 - 116*r**2 - 96*r + 192. Is p(117) a multiple of 116?
False
Let h(y) = 59*y**2 - 296*y + 166. Is 23 a factor of h(-30)?
True
Let v(s) = -1 - 3 - 4 + s**2 + 2 - 3*s. Let z be v(5). Suppose 5*k - 127 = -2*u, 3*u = -0*u + z*k + 179. Is 12 a factor of u?
False
Let g = 10372 + -700. Is 52 a factor of g?
True
Let f be ((-96)/20)/(3/(-10)). Let d(i) be the third derivative of i**6/120 - 4*i**5/15 + 5*i**4/24 - 2*i**3/3 + 10*i**2. Is 38 a factor of d(f)?
True
Let x = 154 - 153. Is 1570/x + ((-72)/9 - -2) a multiple of 53?
False
Let x(m) be the second derivative of m**6/72 - 7*m**5/40 + m**4/12 - 15*m**2/2 + 4*m + 5. Let p(l) be the third derivative of x(l). Does 25 divide p(11)?
False
Let h = -5377 + 6567. Is 34 a factor of h?
True
Let s(x) = -11*x**3 + 15*x**2 + 38*x + 86. Does 34 divide s(-10)?
True
Let h = 116 + -50. Let s = 46 - h. Does 11 divide -3 + -69*2*10/s?
True
Let y = 1320 + 2442. Does 66 divide y?
True
Suppose -15*n + 153 = -27. Suppose n*x - 533 = 583. Is x a multiple of 31?
True
Let c(k) = -3107*k**3 + 7*k + 8. Does 15 divide c(-1)?
False
Does 3 divide (0/(-2) - 0) + ((-52)/(-13) - -1033)?
False
Suppose 5*y - 10 = 10*y. Does 9 divide (1/y)/(3/(97*-12))?
False
Let f = -121 + 112. Let p(x) = -x**2 - 23*x - 8. Is p(f) a multiple of 27?
False
Suppose -4*m + 16495 = 5*a, -11*m = -9*m - 10. Does 29 divide a?
False
Let j(w) = -6*w**3 + w + 1. Let x be j(-1). Suppose -f + x*k - k = 0, 0 = -5*f + 2*k - 46. Is 9 a factor of (-271)/f - (-4)/(-40)?
True
Suppose -5*j - 450 - 980 = 0. Let r = j + 358. Is r a multiple of 14?
False
Is 128 a factor of (-1*(-25)/(-30))/((-1)/10110)?
False
Let a = 98 - -24. Suppose 3*w - 642 = -2*w - 4*c, 4*c - a = -w. Is w a multiple of 26?
True
Suppose -5*y - 15*p + 70030 = -10*p, 0 = -y + 2*p + 14003. Is y a multiple of 23?
False
Let b(w) = -2*w**3 - 16*w**2 - 17*w - 4. Let i be b(-7). Let k(d) = -2*d**3 + 32*d**2 + 35*d + 16. Is 3 a factor of k(i)?
True
Suppose 16 = 4*g, -2*g + 1376 = 3*v - 3*g. Suppose 4*q - 20 = 0, -3*q - v = -8*o + 3*o. Does 34 divide o?
False
Suppose -4*j + 7*s + 382 = 9*s, -4*s = -2*j + 196. Suppose 0 = 19*p - 25*p + j. Does 8 divide p?
True
Let c = 2 - 11. Let m be (-1096)/12*c*(-1)/(-2). Let u = m + -226. Does 20 divide u?
False
Suppose -3*n + 25 = -5*o + 138, -3*n = 5*o - 107. Let f be 0 + 0 - (-2249 - -4) - -4. Suppose -9*z = -o*z + f. Does 28 divide z?
False
Suppose 3*a = 2*b - 3171, 113*b - 5*a - 6347 = 109*b. Is 3 a factor of b?
True
Let s be 27/(-6)*(-4)/(-3). Let d(o) = 6*o**2 - 2*o - 13. Let z(f) = -6*f**2 + 2*f + 13