True
Let q(p) = 2*p**2 + 18*p + 14. Let u be q(-7). Let h = 32 - u. Is h a multiple of 22?
False
Let c(t) be the third derivative of t**5/30 + t**4/6 + 15*t**2. Does 24 divide c(-6)?
True
Suppose j + 4*p = 4, p - 10 = -4*p. Let m be j - 2*(-6)/4. Does 3 divide 5 + 0 - m/(-1)?
False
Let d = -16 + -5. Let c = d - -41. Is 3 a factor of (-34)/(-4) + 10/c?
True
Suppose 235 = 2*z + 3*z. Suppose -2*a = 3*t - 6*a - 70, 2*t = 3*a + z. Is t a multiple of 4?
False
Let d(f) = -f**3 - 6*f**2 + 5*f - 2. Suppose -8*s = -4*s + 28. Let b be d(s). Suppose -17*p + b*p = -230. Is 23 a factor of p?
True
Suppose -59*g + 61*g + 2*y - 1422 = 0, -g - 4*y = -723. Is g a multiple of 7?
True
Let w be (-3484)/(-10)*15/6. Suppose 0 = 4*j - z - 2*z - w, 15 = 5*z. Does 55 divide j?
True
Let d be (0 - 1)/((-10)/(-130)). Let n = d - -9. Let g(c) = 4*c**2 + 7*c + 4. Does 20 divide g(n)?
True
Let u be ((-136)/(-4) - 1) + -3. Let a be (-60)/2*36/u. Let k = -20 - a. Is 4 a factor of k?
True
Let l(q) = 11*q - 12. Let n be l(-5). Let m = 187 + n. Is m a multiple of 15?
True
Let s(h) = 7*h**2 - 52*h + 49. Is s(14) a multiple of 11?
True
Suppose -u = 4*u + 20. Let n be -1*(-3 + (-12)/u). Suppose 2*c + 29 = 4*r + c, n = -2*r + 5*c + 1. Is 6 a factor of r?
False
Let b(z) = -z**3 + 7*z**2 - z + 4. Is 5 a factor of b(5)?
False
Suppose 3*j + 544 = -4*z - j, z = 4*j - 131. Let w = z - -267. Is w a multiple of 12?
True
Suppose 0*v - 5*v = -3*f - 237, 5*f = -20. Let j(g) = -g - 1. Let c be j(-4). Suppose -108 = -c*k - v. Does 5 divide k?
False
Let h = -23 + 23. Suppose -7*y + 10 + 46 = h. Is 14 a factor of ((-14)/y)/(3/(-84))?
False
Let k = -79 - -40. Let l = k + 24. Let f = l - -41. Does 7 divide f?
False
Let n be 60 + 2 + (-13 - -11). Suppose 0 = -5*j + 325 - n. Is j a multiple of 8?
False
Let n be -1 + 18/6 - -1*250. Suppose n = 9*g - 2*g. Is g a multiple of 24?
False
Let w = 53 - -5. Suppose 3*f + 6*g - w = g, 2*g = -5*f + 84. Let c = f + 41. Does 14 divide c?
False
Let z be 76/16 - 3/4. Does 31 divide (-1364)/33*(1 - 10/z)?
True
Let s be (-1)/(3/(-72)*-2). Let w be s/42 + 464/7. Let b = w - 23. Is b a multiple of 18?
False
Suppose -3*z = -398 - 64. Does 11 divide z?
True
Let s(p) = -5*p**2 - 9*p - 3. Let d(a) = 15*a**2 + 26*a + 0 + 0*a**2 + 8. Let k(u) = 6*d(u) + 17*s(u). Is k(-3) a multiple of 11?
True
Let j(c) = c**3 - 5*c**2 - 9*c + 3. Let z be j(7). Let n be 4 + (z*4)/2. Suppose n = -15*o + 17*o. Is o a multiple of 22?
False
Suppose -1395 + 282 = -21*x. Is 53 a factor of x?
True
Let s = 2431 - 1927. Is 24 a factor of s?
True
Is 20 a factor of ((-220)/30)/((-5)/1350)?
True
Let f = -29 - -11. Let u be (-4)/f + (-284)/(-18). Let c = u + -5. Does 9 divide c?
False
Let f be (220/6)/(5/(-15)). Let t = f - -156. Does 7 divide t?
False
Suppose -3*n = -5*i - 6*n - 150, 0 = -n - 5. Let c = -14 - i. Is 5 a factor of c?
False
Suppose -3*k = -14*k. Let z(a) = -a**2 + 266. Is 19 a factor of z(k)?
True
Let w be 0 + -3 + (-7 - -12). Let j(m) = 7 + 0*m**2 + 2*m - 2*m**2 + m**2 + 2*m**w. Does 11 divide j(-5)?
True
Let l(k) = -k + 2. Let f(u) = u + 3. Let h be f(2). Let w be l(h). Does 26 divide w/(3/4)*-9?
False
Is 27 a factor of 303 + (100/4)/(-5)?
False
Is ((-4)/10)/(-2 - (-3497)/1755) a multiple of 54?
True
Let g(a) = -a**3 + 12*a**2 - 12*a + 14. Let k be g(11). Suppose -h + k*h = 166. Does 17 divide h?
False
Let d(r) = 16*r**2 + 6*r - 30. Is d(6) a multiple of 3?
True
Let p = -13 - -14. Suppose x - 7 = p. Is (-2 + -94)/((-12)/x) a multiple of 27?
False
Let s(a) = a**3 - 5*a**2 + 5*a - 11. Let f = 23 - 18. Does 14 divide s(f)?
True
Let j(u) = 88*u - 6. Let g be j(3). Let v = g + -143. Is 13 a factor of v?
False
Suppose -5*g - 4*m + 767 = 0, -738 = -4*g + 5*m - 149. Does 2 divide g?
False
Let m(s) be the second derivative of -3*s**5/20 - s**4/12 - s**3/2 - s**2 - 15*s. Is m(-2) a multiple of 8?
True
Let g = 300 + -245. Is g a multiple of 2?
False
Suppose -6*w + 394 + 128 = 0. Suppose -g - 141 = -2*q, g - w = -q - 24. Is 34 a factor of q?
True
Let b be ((-2)/5)/((-4)/20) + 5. Suppose b*g - 642 = g. Is g a multiple of 12?
False
Let x = 10 - 9. Let j be (-47)/(1 + (x - 3)). Let s = j - -5. Does 11 divide s?
False
Let b(i) = i**2 + i - 16. Let g be b(9). Suppose g = 2*f - 2*q, 0 = -4*f - 3*q + 2*q + 143. Does 20 divide f?
False
Suppose -3*c + 2*b + 9 = -1, c - 2*b - 6 = 0. Suppose -45 + 201 = c*o. Does 39 divide o?
True
Let m(j) = 139*j - 45. Does 25 divide m(5)?
True
Let y(r) = -3. Let a(l) = l - 3. Let m(t) = 2*a(t) - 3*y(t). Let b be m(0). Suppose -2*c = -10, -2*q - c + 30 = -b*c. Is q a multiple of 14?
False
Suppose 7*v + 19 = -51. Is (62/v + 2)/(1/(-5)) a multiple of 19?
False
Suppose 0 = -2*x + x + 88. Suppose 2 = 3*r - x. Is r a multiple of 4?
False
Suppose b = -4*o + 236, 2*b = -3*o + 7*o - 248. Let q(l) = l**2 - 4*l. Let u be q(4). Suppose u*z = -z + o. Does 15 divide z?
True
Let z(m) = -5*m**2 - 6*m + 7. Suppose -5*v + 15 = -w, -8*v = -3*v - 5*w + 5. Let n be z(v). Let q = 145 + n. Is q a multiple of 10?
False
Let d be (-44)/(-12) - 1/(-3). Suppose -n + d*w + 21 = 0, 4*w + 4 = -12. Is 4 a factor of (168/20)/(2/n)?
False
Suppose 4*o = 2*o. Suppose 0 = -z - 1, 4*d + 2*z - 29 - 101 = o. Does 12 divide d?
False
Suppose -d - 4*s - 1 = -18, 0 = -4*s + 12. Suppose m + 2 = d. Suppose m*l = -l + 300. Is l a multiple of 27?
False
Let y be 4/10 + (-36)/(-10). Suppose y*t - 9 = -j + 5, -10 = 5*j. Suppose -t*d = -5 - 103. Is d a multiple of 27?
True
Does 18 divide (-8765)/(-3) - (-385)/(-231)?
False
Suppose 0 = 7*j - 2*j. Suppose j = 4*h - 4*m - 196, 237 = 5*h - 5*m + 2*m. Is 8 a factor of h?
False
Suppose 2*g = -w + g + 2, 5*g = 2*w - 4. Suppose 230 = -w*x + 7*x. Does 7 divide x?
False
Suppose 0 = 3*q - 5*j - 2417, -12*j = 5*q - 14*j - 4060. Is q a multiple of 9?
False
Let x(w) = w**2 - w - 4. Suppose 11*k = 6*k + 20. Let g be x(k). Let d = -4 + g. Is 4 a factor of d?
True
Suppose 5*s - 264 = 576. Suppose 37*b - s = 35*b. Is 44 a factor of b?
False
Let q(l) = -39*l**3 - 3*l**2 + 4*l - 6. Is q(-3) a multiple of 28?
True
Suppose -1912*t - 4312 = -1919*t. Is 28 a factor of t?
True
Let w be 48/36*3/2. Does 30 divide 4 + -2 - (w + -39)?
False
Let f(c) = -c**2 - 21*c + 34. Let i be f(-20). Let p = i - 28. Does 13 divide p?
True
Suppose 0 = 11*b - 12*b + 6. Let k(h) = h**3 - 6*h**2 + 12. Does 12 divide k(b)?
True
Is (336/18)/(2/12) a multiple of 14?
True
Let v = 1880 + 727. Is v a multiple of 58?
False
Suppose -144 = -13*m + 5*m. Is m a multiple of 3?
True
Suppose 2206 = 4*c - 4*h - 18, 4*h + 2776 = 5*c. Is 46 a factor of c?
True
Suppose 0 = -0*a - 2*a - 2*s + 12, -a = -4*s + 4. Suppose x - 161 = -m + 5, 0 = -m - a. Is x a multiple of 15?
False
Let n = 84 + -81. Suppose 2*i = -n*c + 254 + 59, 2*i + 305 = 3*c. Does 7 divide c?
False
Let j(y) = -488*y - 4. Is j(-2) a multiple of 54?
True
Is 4 a factor of 3 + 310/(-110) - 8572/(-44)?
False
Let l(n) = 3*n**2 - 8*n + 2. Let a(r) = r**3 - 7*r**2 + 6*r - 4. Let s be a(6). Let o be 28/s*(-3)/3. Does 31 divide l(o)?
True
Suppose -4*k = -2*f - 614, 5*k + 5*f = k + 593. Does 6 divide k?
False
Let k(z) be the second derivative of -z**5/5 - z**4/3 - z**3/2 - z**2 + 2*z + 2. Does 6 divide k(-2)?
False
Let c(o) = 51*o**2 - 1. Let t be (-30)/(-9)*9/(-6). Let j = -4 - t. Is c(j) a multiple of 26?
False
Let v = -381 + 554. Is v a multiple of 23?
False
Is 28 a factor of (141/(-4))/(1*(-12)/32)?
False
Let i(t) = 2*t**2 - 40*t + 16. Does 14 divide i(-5)?
True
Suppose -f = 5*v - 2933 - 1477, 4*f + 2623 = 3*v. Does 21 divide v?
False
Let j = -22 + 39. Suppose 0 = q - j - 57. Is q a multiple of 8?
False
Let s(f) = -f**3 - 3*f**2 + 18*f + 18. Does 12 divide s(-7)?
False
Suppose -2*u = -4 + 20. Is 23 a factor of 1/u - 370/(-16)?
True
Let p be 300/(-6)*(-2 + (-35)/(-10)). Suppose 0 = 2*b - 0*b + 2*n + 12634, b + 5*n + 6325 = 0. Is b/p - (-2)/(-10) a multiple of 28?
True
Suppose 3*r + 30 = 9*r. Suppose r*t - 4*w - 592 = 0, -5*t - 17 + 594 = w. Is 13 a factor of t?
False
Suppose 0 = -4*j + 2*j + 4*i - 8, 39 = 4*j + 3*i. Is 9 a factor of (-2)/(-3) + 1688/j + -3?
True
Let l(h) = 8*h + 2. Let r(m) = -33*m - 7. Let g(z) = 9*l(z) + 2*r(z). Suppose 2*w - 8 = -2*a, 7 = 5*a - a - 5*w. Is 21 a factor of g(a)?
False
Is 2 a factor of 20/(-180) + 361/9?
True
Suppose -f = -4*f + 489. Let a = f + 26