p + 44 = y + c*p. Is y a multiple of 29?
True
Let d = 25 - 8. Suppose -7*n + 15 = -4*n, 4*b - d = -n. Suppose -s = -2*s + b*p + 26, 2*p = 4*s - 54. Is 2 a factor of s?
False
Does 9 divide (-324)/(-8)*(0 + 5 - -13)?
True
Let q(x) be the third derivative of -19*x**4/24 - x**3/6 - 3*x**2. Let d be q(1). Let o = -11 - d. Is 4 a factor of o?
False
Suppose -1409 - 3895 = -6*c. Suppose 10*b - 226 - c = 0. Is b a multiple of 37?
True
Let b(s) = s**2 - 11*s + 19. Let z be b(11). Is 4 a factor of ((-8)/2)/(z/(-152))?
True
Suppose 7 = -a + 25. Suppose 2*t = t - a. Does 4 divide (t/(-15))/(1/10)?
True
Let g(p) = p**3 - p**2 - 25*p - 12. Does 58 divide g(10)?
True
Suppose -24 = 2*j - 10*j. Suppose 550 - 19 = j*w. Is w a multiple of 47?
False
Suppose -2*t = 2*o + 2*t - 12, -t - 60 = -4*o. Let c = o + -9. Suppose 3*b - 5 = -2*y + 30, 0 = 2*y - c*b + 5. Is 5 a factor of y?
True
Let r = 99 + 182. Suppose r = 8*m - 263. Does 17 divide m?
True
Suppose 3*r + 18 = 2*q - 25, 34 = -2*r - 4*q. Let h be ((-978)/5)/(3/r). Is 12 a factor of h/27 - (-2)/(-9)?
True
Let z be ((-68)/10)/((-4)/(-20)). Is 33 a factor of (-6647)/z - (0 + 3/2)?
False
Let c(k) be the third derivative of 7*k**5/60 + k**4/24 + k**3/6 + 24*k**2. Is 19 a factor of c(-5)?
True
Let u be 1007/5 - (-4)/(-10). Suppose 0 = -3*t + 4*y + 99 + u, -3*y - 489 = -5*t. Is t a multiple of 16?
True
Does 10 divide ((36/(-14))/9)/((-1)/5131)?
False
Let l = 11 - 5. Let d(h) = 16 - 10 + 9*h - h**2 - 12. Does 12 divide d(l)?
True
Let t(a) = 8*a + 4. Let y be t(2). Suppose 0 = -2*u - 5*g - 21, -5*g + 1 - y = 3*u. Suppose l - 4*m - 34 = 0, -u*m - 56 = -2*l + 3*m. Is l a multiple of 9?
True
Let o = 728 - 387. Is 31 a factor of o?
True
Let k = -315 - -222. Is 11 a factor of (4/(-2))/(2/k)?
False
Suppose r = -2*b + 295, -11*r + 869 = -8*r - 2*b. Is r a multiple of 28?
False
Let g be 3/(9/(-15)) - -2. Let h(j) = -4 + 6*j + 2*j - 7*j + 2*j**2. Is h(g) a multiple of 3?
False
Let l be (-10)/((-2)/8 + (-30)/72). Is 3 a factor of (57/l)/((-6)/(-15))*2?
False
Suppose -2*o = -6, 3 = -3*i + 3*o + 36. Let j be (90/(-21))/((-2)/i). Suppose 2*a - 3*a + j = 0. Is 10 a factor of a?
True
Suppose -2*n + 5 = 3. Let v be (-38*n)/(10 + -8). Let a = -12 - v. Is 6 a factor of a?
False
Let x = 171 - 66. Is 7 a factor of x?
True
Let b be (2/(-3))/((-1)/6). Suppose 0 = b*f - 4 - 12. Suppose -r = -f, -d - 2*r + 35 = 3*r. Is d a multiple of 15?
True
Let k(z) = 17*z**2 + 7*z + 79. Is 67 a factor of k(13)?
False
Suppose -22*s - 15698 = -59698. Is 16 a factor of s?
True
Suppose 2*l = g - 510, -5*g - 50*l + 49*l + 2528 = 0. Does 17 divide g?
False
Let w = 24 + -33. Let u = 40 + w. Is 17 a factor of u?
False
Let l(m) = -m**2 - m. Let i be l(1). Let q(h) = 12*h + 4. Let j(a) = 23*a + 7. Let v(y) = -3*j(y) + 5*q(y). Does 6 divide v(i)?
False
Suppose 40*t + 28035 = 47*t. Is 14 a factor of t?
False
Suppose -3*f + 27 = 39. Let o be (-2 + (-14)/f)*8. Is 8 a factor of 81/7 + o/28?
False
Let u be (-1 - -3)/((-16)/(-56)). Let s = u - 11. Is 20 a factor of ((-15)/9)/(s/96)?
True
Let c(i) = 2399*i - 38. Is 59 a factor of c(1)?
False
Let y = 45 + 147. Is 24 a factor of y/((-16)/4 + 7 - 2)?
True
Suppose 0 = -2*a - 4*z - 68, 0*z + 2*z = -2*a - 70. Is 11 a factor of (-24)/a + (-160)/(-3)?
False
Let m be (-197)/(-4) - 5/20. Suppose -m = -4*u + 63. Suppose 10 = 2*d - u. Is d a multiple of 4?
False
Let c(h) = h**3 - 2*h**2 + 2*h - 3. Let o(a) = -1. Let z(f) = c(f) + 3*o(f). Let j be (-6)/27 + (-38)/(-9). Is z(j) a multiple of 6?
False
Let o(m) = m**3 - 23*m**2 - 50*m + 50. Is o(25) even?
True
Let a(o) = o**3 + 11*o**2 - 13*o - 8. Let j be a(-12). Suppose -5*g - 3*f = -22, 9 = j*g + 5*f - 6. Is g a multiple of 2?
False
Suppose -162*j - 384 = -170*j. Does 16 divide j?
True
Suppose -4*s - 4*l = -5*s, -3*s - 4*l + 48 = 0. Let j = s + 61. Is j a multiple of 19?
False
Let a = 791 + 1677. Is 28 a factor of a?
False
Let w(a) = -2*a + 2. Let k be w(0). Suppose 202 = 5*l + k*t, 5*l - 151 - 46 = 3*t. Is 8 a factor of l?
True
Suppose -1212 = -4*d + 2*q - 298, -2*d = -3*q - 451. Suppose 688 = 9*k - d. Is 17 a factor of k?
True
Let g = 10 - 3. Does 11 divide (3 - (g + -2)) + 1 + 84?
False
Suppose 0 = u + 8 - 40. Is u/(-12)*-2*9 a multiple of 16?
True
Suppose -7632 = -41*s + 35*s. Suppose -12*k + 0*k + s = 0. Is 14 a factor of k?
False
Suppose g + 129 = -2*q, 11*g + 262 = 9*g - 3*q. Suppose 68 + 24 = -3*w + 5*u, -5*w + 4*u = 162. Let v = w - g. Is v a multiple of 13?
False
Let y = 250 - 169. Suppose 82*i - y*i = 53. Does 33 divide i?
False
Let r = 214 - 41. Is r a multiple of 42?
False
Suppose -2*y - 2 = 12. Let j = 21 + -14. Does 11 divide 3/j - 305/y?
True
Let k(r) = 58*r**3 + r**2 - 18*r + 36. Is k(2) a multiple of 18?
True
Let n(b) = b**3 + b**2 + b - 2. Let d be n(2). Let w(l) = -l**3 + l**2 + l - 23. Let r be w(0). Let i = d - r. Is i a multiple of 27?
False
Suppose -f = -a + 4, -3*a + 3 + 1 = f. Suppose -w = -3*k + 44, -k + a*k = 3*w + 28. Is k a multiple of 2?
False
Let d = 126 + -45. Is 1032/27 + (-18)/d a multiple of 11?
False
Let b(p) be the third derivative of -p**6/120 - p**5/60 - p**4/8 - 3*p**3/2 + 8*p**2. Does 18 divide b(-4)?
False
Does 88 divide (88/44)/((-4)/(-2112))?
True
Let s = 325 - 225. Does 10 divide s?
True
Suppose 0*a = -5*r - a - 19, a - 13 = 3*r. Is (10/6)/(r/(-1152)*2) a multiple of 35?
False
Let l be -1 + 8*(-4)/(-8). Suppose -7*s + l*b = -3*s - 37, -3*b - 9 = 0. Suppose -15 = -n + s. Does 12 divide n?
False
Let m be (-12)/(-30)*1*5. Suppose -4*r + 3*r = -m. Does 30 divide r - (-91 + 1 + 2)?
True
Suppose -4*z + 7*z - 600 = j, 5*z + 3*j = 1014. Suppose -4*w - f = -1118 + 317, -w - f + z = 0. Is w a multiple of 25?
True
Let r(t) = -4*t - 21. Let f be r(-6). Suppose -f*m = -0*m - 192. Does 15 divide m?
False
Suppose 0 = -4*s + 6151 - 551. Suppose -10*a + 3*a + s = 0. Is a a multiple of 35?
False
Let i(g) = 18*g + 6. Suppose 0 = -3*p + 8*p + 3*r - 13, 2*p - 4*r = 0. Suppose -5*h - 5*d = -0*d - 25, 19 = 5*h + p*d. Does 20 divide i(h)?
True
Let d(w) = w**2 + 16*w - 5. Let v be d(-16). Let k(i) = -i**3 - 5*i**2 - 2*i - 5. Let c be k(v). Suppose 51 + 19 = c*a. Does 3 divide a?
False
Let u(g) = 2*g + 2*g**2 - 2*g**2 + 2*g**2. Let b be u(-2). Suppose -2*a - 2*t = -b, -3*t = -4*a + 14 + 22. Is a a multiple of 2?
True
Let j(u) = 4*u**2 - 2*u - 9. Let b be j(7). Let x = b + -24. Is 16 a factor of x?
False
Let z(a) = 64*a - 26. Let b be z(4). Suppose 0 = -4*n + 2*g - 22 + b, -4*n + 3*g = -204. Does 7 divide n?
False
Let h = -287 - -408. Suppose -r + 3*r - 10 = 0, 3*t = -5*r + h. Is 17 a factor of t?
False
Let l be (-4)/(-8)*(1 + -1). Is 78 - (2 + l - 5) a multiple of 16?
False
Is 3 a factor of 24/10*(-400)/(-40)?
True
Let j(s) = 7*s**2 - 2*s - 7. Let w be j(3). Let x = w - 23. Does 4 divide x?
False
Let z(b) = 268*b**3 + 2*b**2 + 3*b - 3. Is z(1) a multiple of 15?
True
Let u = 15 - 11. Let q be 702/u + 5/10. Suppose 5*r = 2*k - q, r = -3*k - 3*r + 218. Does 22 divide k?
False
Let r(l) = -22*l - 8. Let o be r(-7). Suppose 0 = 5*j + c - o, -4*j + 5*c = -144 + 33. Is 7 a factor of j?
False
Let h(n) = -n**3 - 13*n**2 - 4*n + 41. Is 9 a factor of h(-13)?
False
Let a(d) = 5 - d**3 - 7*d**2 + d**2 - 5*d - 3*d**2 + 2*d**2. Let u be a(-6). Is 21 a factor of u + (53 - (-2 + 0))?
False
Is (-260)/7*2/(-4)*7 even?
True
Let o(w) = 3*w**2 + 5*w - 9. Let g(q) = -q**2 + 14*q - 7. Let p be g(14). Is o(p) a multiple of 21?
False
Is 3 a factor of (-12152)/(-32) - 10/(-8)?
True
Suppose 0 = -7*o + 1 + 6. Is o + 2 + -3 + 28 a multiple of 14?
True
Suppose -454 - 566 = -2*l. Is l a multiple of 11?
False
Suppose -1402 = -4*s - 0*f - 2*f, -2*s + 4*f + 676 = 0. Suppose 3*n - 72 - s = 0. Is n a multiple of 34?
False
Does 47 divide (-2)/(-2) + 31 + 1241?
False
Let g(k) = -k**3 - 22*k**2 + 20*k - 9. Is 20 a factor of g(-23)?
True
Let y(z) = 511*z**3 - z**2 + 2*z - 1. Let m be y(1). Suppose 0 = 2*w + 191 - m. Suppose -2 = 2*s + 4*j - 90, w = 4*s + 4*j. Is 12 a factor of s?
True
Let p = -205 + 197. Let i(w) be the first derivative of -w**3/3 - 10*w**2 - 16*w - 1. Is 21 a factor of i(p)?
False
Suppose 0 = -3*n - 34 - 68. Let b = 49 + n. Does 15 divide b?
True
Suppose -118 - 66 = -2*v. Suppose 17 - v = -g. Does 3 divide 3/(-9) + g/9?
False
Let g = 256 - 210. Is 44 a factor of g?
False
Suppose -4*h +