f 24?
True
Suppose o = -5*u + 20030, -o + 38*u - 37*u = -20066. Is o a multiple of 170?
True
Is ((-1589)/(-4) - (-56 + 59))*4 a multiple of 83?
True
Let y = 8078 + -2552. Does 4 divide y?
False
Let q(t) = -t**2 + 45*t + 30. Let f be (34/3 - -2)*(-12)/(-10). Does 42 divide q(f)?
False
Let b = -201 + 77. Let o = 565 + b. Does 63 divide o?
True
Suppose -29*v + 87123 = -85688. Does 123 divide v?
False
Let t = -41 - -43. Suppose -5*w - 194 = -2*m - 0*m, 5*m = -t*w + 543. Suppose 0 = d + 26 - m. Does 11 divide d?
False
Let b = -5433 + 5428. Let y(u) = 5*u**2 - u**2 - 2*u**2 + 4*u + 3. Is 11 a factor of y(b)?
True
Suppose -4*m + t = -0*m - 75, 2*m + 3*t = 55. Is 11 a factor of (-19)/(m/22 - 1)?
True
Let a(n) = 68*n**3 + 17*n**2 + 11*n - 48. Is 14 a factor of a(5)?
True
Suppose -72*q - 22*q + 680736 = -10*q. Is 4 a factor of q?
True
Suppose 35*x - 2216 = -186. Is x a multiple of 2?
True
Is 89 a factor of -2 + 4 + (2931 - -93)?
True
Suppose 2032 = 41*v - 4159. Is 16 a factor of v?
False
Let p(q) = 69*q**2 + 47*q + 11. Suppose -3*f = -j + 10, -8*f - j + 20 = -13*f. Is 110 a factor of p(f)?
False
Suppose -3*j + 152 = -2*s, 4*j + 0*j + 228 = -3*s. Let y be (-3)/18 + (-3685)/66. Let c = y - s. Is 2 a factor of c?
True
Suppose 5*b - d = -93, 2*b - 2*d + 45 = d. Is b/(11/(4510/(-15))) a multiple of 82?
True
Suppose 4*n = -2*a + 38, 2*a - 5*n = a + 54. Suppose 14*q - 132 - 232 = 0. Suppose a = t + 2*f, -5*f - q + 116 = 3*t. Is t a multiple of 7?
True
Let j = 422 - 340. Let v = j - -29. Is v a multiple of 13?
False
Let i(b) = b**2 + 85*b - 1759. Does 3 divide i(-164)?
False
Suppose -8*f + 148 = 92. Suppose -f*b - 6603 = -11*b - 3*r, -3*r - 8274 = -5*b. Is 29 a factor of b?
True
Suppose 993*j - 20280 = 983*j. Does 12 divide j?
True
Suppose -4*d + 547*s - 546*s = -42887, -21447 = -2*d + s. Does 29 divide d?
False
Suppose 27185 = 5*d + 3*v, 16317 = 28*d - 25*d + 3*v. Is 26 a factor of d?
True
Let l = 235 + -231. Does 8 divide l/1 + 3/3 + 155?
True
Let r be (-94)/(-8) + (-15)/(-60) + 1. Suppose -3*n - o = -0*n + r, 0 = -n + 4*o. Does 17 divide n/26 - 2*2463/(-78)?
False
Let l(j) = 26*j**2 + 57*j - 486. Does 8 divide l(15)?
False
Let v(q) = -20*q**3 - 2*q**2 - 3*q. Let a be v(-4). Let x = a + -675. Does 13 divide x?
True
Let t(c) be the first derivative of c**3/3 + 11*c**2/2 - 36*c - 11. Let y be t(11). Suppose -3*r + 4*r + y = 5*m, 4*r = 5*m - 194. Is m a multiple of 10?
False
Let u be 33/22*(-12)/9. Is 13 a factor of ((-2)/3 + 39700/(-120))*u?
True
Suppose 0 = 39*y - 57*y + 90. Suppose -3*l + 92 = y*r, -2*l - 35*r + 31*r = -62. Is 6 a factor of l?
False
Let u(i) = 2*i**2 + 31*i - 228. Let l(p) = -p + 1. Let f(o) = 3*l(o) + u(o). Is 21 a factor of f(12)?
True
Suppose -13832 = 16*o - 40488. Does 17 divide o?
True
Let x be (-9)/5*(-950)/285. Does 14 divide 795/212*464/x?
False
Suppose 0 = -13*g + 11*g + 12. Suppose 0 = m - 2*a - 314, 7*a = 5*m + g*a - 1579. Is 21 a factor of m?
False
Let g = -9236 - -16796. Does 27 divide g?
True
Let w(n) = 102*n + 16. Let x be w(2). Let u = x - 172. Does 6 divide u?
True
Suppose -u - 6 = 0, 75*q + u - 47354 = 71*q. Does 12 divide q?
False
Let z(u) = -148*u + 981. Is 8 a factor of z(-7)?
False
Suppose -5*j + 24 = -6. Let c(h) = -5*h**3 - 7*h**2 - 14*h - 7. Let t(l) = -6*l**3 - 7*l**2 - 15*l - 7. Let n(w) = j*t(w) - 7*c(w). Does 29 divide n(5)?
False
Suppose -4*w = -984*s + 988*s - 145800, -5*s + 3*w + 182242 = 0. Is 127 a factor of s?
True
Let h = 566 - 277. Suppose 3*g - h = 2*k, g + 3*k - 52 - 26 = 0. Let c = g - 57. Is c a multiple of 25?
False
Let w(c) = -4*c + c + 3*c**2 + c - 1. Let p be w(-2). Suppose -5*o = x - 44, -16 = -3*o + 4*x + p. Is 2 a factor of o?
False
Let d(t) = -6*t + 61. Suppose -8*q + 9*q = 0. Let m be d(q). Let g = 73 - m. Is 6 a factor of g?
True
Suppose 7 = -n + f + 23, 5*f + 44 = 3*n. Is (-3)/n*3*-6 - -305 a multiple of 25?
False
Let v(u) = -27*u + 90. Let k(x) = -10*x - 111. Let z be k(-10). Is v(z) a multiple of 45?
False
Let x(d) = -d**2 + 8*d + 5. Let n = 18 + -10. Let p be x(n). Suppose -142 = -p*g - 42. Is 3 a factor of g?
False
Suppose 568*o + 477757 = 5002445. Is 6 a factor of o?
False
Let o(r) be the second derivative of 4*r**4/3 - 29*r**3/6 - 5*r**2/2 + 16*r + 3. Is o(4) a multiple of 10?
False
Suppose -6*i = 33 - 9. Does 3 divide ((-1827)/42)/(2/i)?
True
Suppose 0 = -v + 3*v - j + 6, -4*j - 12 = 4*v. Let b(g) = -5*g**3 - 7*g**2 - 5*g - 6. Is 2 a factor of b(v)?
False
Let l(x) = -135*x - 204. Let n be l(-32). Suppose -195*u + 202*u = n. Is u a multiple of 42?
True
Let a(s) = 8*s**2 + 100*s + 93. Is a(-22) a multiple of 3?
False
Suppose -g - 2*o + 31047 = 0, 37*o - 155235 = -5*g + 42*o. Is g a multiple of 99?
False
Suppose 6*x + 2*x + 2*x = 0. Suppose -6*r - 2*r + 3040 = x. Is 38 a factor of r?
True
Let j = -107 - -156. Let a = 135 - j. Let k = a - -54. Is 21 a factor of k?
False
Suppose 2529 = -u + 5*u - 5*x, 2524 = 4*u - 4*x. Suppose -3*j = -6*w + w - 581, -3*j - 4*w = -u. Does 11 divide j?
False
Let y(j) be the third derivative of j**5/30 - j**4/6 - j**3/3 - 20*j**2. Let p be y(-1). Is 5 a factor of 366/p*(-4)/(-12)*2?
False
Let p(z) be the second derivative of z**3/2 - 25*z**2/2 + 16*z. Let m be p(10). Does 14 divide (74/6)/((10/12)/m)?
False
Let z = -40 + 44. Suppose 84 = 6*r - z*r. Suppose 2*j = 5*v - 6 + r, 0 = -5*j + 5*v + 60. Is j even?
True
Suppose 0 = -180*c + 70115 + 209004 - 23339. Is c a multiple of 29?
True
Let v(x) = 104*x + 1524. Is 12 a factor of v(63)?
True
Let n be (0 - -3)/((-2)/(-58)). Let q(z) = 2*z**3 - 11*z**2 - 8*z - 13. Let x be q(-2). Let y = x + n. Is y a multiple of 6?
True
Let m(k) = 251*k**2 + 6*k + 33. Does 66 divide m(3)?
True
Let n be 5/25*0 - 1. Let x be 140/4 - ((-3)/n)/(-3). Does 19 divide (34/(-51))/((-1)/x)?
False
Is 1486 + -2 + (2 - 105/15) a multiple of 51?
True
Suppose -53626 = 5*n - 2*r - 335232, 56323 = n - r. Is n a multiple of 110?
True
Let t(y) = y**3 + 31*y**2 + 191*y + 21. Let c be 22/8 + -3 - (-174)/(-8). Does 7 divide t(c)?
True
Let f(t) be the second derivative of t**7/2520 + t**6/72 + 7*t**5/60 + 29*t**4/12 - 7*t. Let b(z) be the third derivative of f(z). Is 10 a factor of b(-16)?
True
Let k be (-56)/(-6)*13158/68. Suppose 2*d + 3*c - k = 0, 0*d - 4515 = -5*d - 5*c. Is 13 a factor of d?
False
Let q(m) = 2*m**2 - 1. Let x(o) = o**3 + 20*o**2 - 6*o - 70. Let t(h) = 3*q(h) + x(h). Is t(-26) even?
False
Suppose 0 = -a - 62 + 196. Let w be (-4)/6 + 416/156. Suppose -s + 2*y = -a, -2*s - w*s - y = -518. Does 13 divide s?
True
Let j(z) = z**2 + 11*z + 14. Let r be j(12). Let h = 389 - 107. Suppose -2*k + h = -5*c - 0*c, 2*k - 3*c - r = 0. Is k a multiple of 14?
False
Suppose 4*g - 3*a = 2*a + 450, -2*a + 4 = 0. Let t(p) = 375*p - 3230. Let o be t(9). Suppose -2*c - g = -o. Does 15 divide c?
True
Let c(g) = 69*g**2 - g + 7. Let p(h) = 69*h**2 - h + 7. Let i(t) = -5*c(t) + 6*p(t). Let s be i(3). Suppose -4*q = q - s. Does 11 divide q?
False
Let b(o) = 7*o**2 - 7*o - 956. Is b(30) a multiple of 34?
True
Suppose g - 230 = 3*s, -2*g - 2*s = -g - 210. Suppose b - 204 = -3*b + 5*o, g = 5*b + 3*o. Is b a multiple of 4?
False
Let a(c) = 81*c**2 + 132*c - 623. Is 170 a factor of a(-32)?
False
Let n(s) be the second derivative of -s**6/120 + s**5/6 + 3*s**3/2 - 10*s**2 + 22*s. Let x(w) be the first derivative of n(w). Does 3 divide x(10)?
True
Let j be 20/(-3)*(-18)/15. Suppose 107*w + 1463 = 126*w. Suppose 653 - w = j*s. Is s a multiple of 24?
True
Let k be 4 - ((-8)/(-4) - (1 + -1)). Suppose -30 = 2*w + 3*a, -23 = k*w + 2*a + 9. Is 26 a factor of (-932)/w - (-46)/207?
True
Let k(j) = 3*j**2 + 2*j - 4. Let p be k(0). Let r(q) = -28*q - 80. Is 16 a factor of r(p)?
True
Let p be ((-14)/(-3))/((-120)/18 - -7). Suppose -p = -x - 102. Is (-94)/(4 + x/20) a multiple of 47?
True
Let j be 0/(2*3/(-6)). Let q be 2/(-14)*(-7 - j). Let m(c) = 152*c - 1. Does 16 divide m(q)?
False
Let c = 27876 + -18098. Is 67 a factor of c?
False
Let b(m) = -41*m**2 - 131*m - 4. Let k be b(-5). Let y = k - -459. Is 49 a factor of y?
False
Let y(z) = -z**2 + 10*z + 33. Let g be y(11). Does 25 divide (-24 + g)/(2/(-150))?
True
Let x be 26/8 + (-3)/12. Suppose 2*o = -3*r + 111, 13*o + 148 = 4*r + 10*o. Suppose y - r = -4*d + 52, 0 = -x*y - 5*d + 274. Is 12 a factor of y?
False
Let z(c) =