- i**2 + 0*i - 10 + 0*i**2. Is y(q) a multiple of 3?
True
Is 77 a factor of (-5412)/(-36)*(-2 + 5)?
False
Does 13 divide (-8 + -5)*(-624 + -6)?
True
Let y = 4825 - 4774. Is y a multiple of 2?
False
Suppose -47*i = -42*i + 2880. Let y = -199 - i. Is y a multiple of 11?
False
Let z = 4450 - 3252. Is 4 a factor of z?
False
Suppose 40*k = 37*k + 12. Suppose 2*h + 4 = 0, a - 5*h = k*a - 6080. Does 58 divide a?
True
Let p(v) = 10 - 4 + 21 - 2 - 7*v. Let i be p(3). Suppose u - 292 = -4*u + i*h, -2*u + 3*h + 121 = 0. Is 10 a factor of u?
False
Suppose -4*n + 14 = -6. Let l(s) = s**3 + 5*s**2 - 7*s - 3. Let i be l(-6). Suppose 4*p = -4*z + 324, i*z - 297 = -z + n*p. Is z a multiple of 13?
True
Let d(h) = -h**2 + 44*h + 89. Let s be d(45). Is s*(-21)/(-18)*18 a multiple of 21?
True
Let z = -84 - -150. Let s = 147 + z. Suppose -s = -4*x - 49. Does 25 divide x?
False
Let c(g) be the third derivative of g**6/24 - g**5/60 + 2*g**3/3 - g**2. Let d = 854 + -851. Does 14 divide c(d)?
False
Suppose -2*k + 8 = 0, 38*w - 33*w + 3*k - 77947 = 0. Is 13 a factor of w?
True
Let g(x) = x**3 + 4*x**2 - 4*x - 7. Let v be g(-5). Let u be (v/10)/(3/105). Is (((-30)/5)/(-2))/((-9)/u) a multiple of 2?
True
Let a = 904 - 611. Let s = 401 - a. Does 12 divide s?
True
Is ((-23)/46)/((-2)/(-4))*-97 a multiple of 15?
False
Suppose 0 = -22*d + 28761 + 2501. Is 49 a factor of d?
True
Suppose -2*j - 6644 + 26283 = g, 2*g = -6. Is 45 a factor of j?
False
Let q(c) = -c**3 + 9*c**2 - 19*c + 10. Let w be q(6). Let z(y) = -143*y - 5. Let b be z(-4). Suppose -w*v + 0*t = -3*t - b, 700 = 5*v + 5*t. Does 47 divide v?
True
Let k(f) = 41*f**2 + 7*f + 10. Let y = -10 + 8. Let g be k(y). Suppose -2*c + j = -15 - 49, -5*c + 3*j + g = 0. Is c a multiple of 16?
True
Suppose -4*i - 10 = -2*t, 3*t + 1 + 2 = 0. Let s be i/15*-5*4. Suppose -3*b - s*u = -74, 5*b + 5*u - 108 = 17. Is b a multiple of 26?
True
Suppose 2*n - 24 = 5*c, -2*n - 2*c + 39 = -13. Suppose -14*d + 2376 = n*d. Does 4 divide d?
False
Let w(k) = -48*k - 3. Let c(g) be the third derivative of -g**4/12 - 7*g**3/3 - 8*g**2. Let a be c(-6). Is 13 a factor of w(a)?
False
Suppose 63*l = 60*l. Suppose y - 5*c = -0*c + 321, c = l. Let k = 511 - y. Does 14 divide k?
False
Suppose -39*h + 2390294 = 623165. Is 10 a factor of h?
False
Let k(j) = -2*j**2 - 29*j + 187. Let y be k(-19). Let l(m) = 86*m**2 - m. Let w be l(-4). Suppose -w - 444 = -y*t. Is t a multiple of 38?
True
Let q be (110/(-8) - -2)/(6/(-48)). Let d(o) = o + 13. Let r be d(-11). Suppose 0 = 4*m + 2*n - 179 - 39, r*m - 4*n - q = 0. Is m a multiple of 9?
False
Let d be ((-12)/(-15))/(2/185). Let n be 2 + 24/(-2 - -1). Let l = d - n. Is l a multiple of 12?
True
Is (-48)/(-30)*(3166 + (0 - -4)) a multiple of 3?
False
Let a(l) = -12*l - 57. Let f be a(-15). Let r = f + -60. Does 9 divide r?
True
Let y = 17 - -79. Let j = 97 + y. Does 6 divide j?
False
Let d(z) = z**3 - z**2 + 4*z - 750. Let v be d(0). Let j = v + 1035. Is 11 a factor of j?
False
Let v(m) = -300*m**3 - 9*m**2 - 6*m + 1. Is v(-1) a multiple of 56?
False
Suppose 4057 = 3*k - w - 1549, 9338 = 5*k - 3*w. Does 187 divide k?
True
Suppose -201*c = -208*c - 63. Let i = c - -119. Is i even?
True
Suppose z + 1376 = b, 3*b + z = 2*z + 4126. Is b a multiple of 6?
False
Does 162 divide ((-22)/33)/(1/4 + 735/(-2916))?
True
Suppose -2*y = 5*h - 22, -5*y - 11*h = -12*h - 1. Does 11 divide 13/(-15) + y + 507908/615?
False
Let g(s) = -6*s - 9. Let y be g(-4). Suppose -7*z + y + 20 = 0. Suppose 0*d - z*d + 780 = 0. Does 26 divide d?
True
Suppose 5*n + 10 = 0, -5*n + 18688 = -3*y + 5*y. Does 40 divide y?
False
Suppose 0 = 116*r - 1249563 + 125871. Does 119 divide r?
False
Let o = 14426 + -3270. Does 4 divide o?
True
Suppose -2894 + 8093 = 20*q - 5721. Does 6 divide q?
True
Let f be 20/(-25)*-5 - (-9 + -1). Suppose 0 = 2*z + f*z + 32. Is 13 a factor of (-12)/(-4) - 384/z?
True
Suppose 0 = -5*j + 4*w - 143, -w + 3*w = 5*j + 149. Let d = 39 + j. Is d a multiple of 8?
True
Let b be 220/35 + 8/(-28). Suppose -b*c - 180 = -9*c. Is 15 a factor of (18/8)/(9/c)?
True
Let r(w) = 3*w**2 + 24*w + 10. Let i be r(-9). Does 6 divide i/111 - 1502/(-3)?
False
Let z = -23 + 12. Let x = z - -13. Does 12 divide 66 + -6 + 2 - x?
True
Suppose 0 = 23*i - 19*i - 1036. Suppose -536 - i = -4*x - 5*o, -2*x - 5*o = -395. Suppose 3*u + 2*u - x = 0. Is 20 a factor of u?
True
Suppose -3 = -t, 3*i + 3*t = 7*i - 19. Let v be (0 + -1)*(-9 + i). Suppose 0 = v*y - 57 - 87. Is y a multiple of 8?
True
Is 31 a factor of ((-1)/(-4) + 1)/(3*(-1)/(-11940))?
False
Suppose 0 = d + 5*h + 11, 3*h = -4*d + 3*d - 3. Does 14 divide (-12)/d + 21/9 + 234?
False
Does 15 divide 3305 - (14 - 13)/((-1)/7)?
False
Suppose 21*f + 773846 = 87*f - 186520. Is 41 a factor of f?
False
Suppose 0 = -3*v - 3*r + 351, -25*v - 242 = -27*v - 4*r. Is 24 a factor of v?
False
Let z = -29 - -31. Suppose -3*b - 1566 = -3*s - 7*b, 0 = -z*b. Does 6 divide s?
True
Suppose 605 = 4*r - 3*b - 2025, r - 646 = -5*b. Is 4 a factor of r?
True
Suppose -110436 = -4*a + 4*t, 0 = 5*a + 5*t - 125830 - 12135. Is a a multiple of 32?
False
Let v(g) = 2*g**2 + 3. Let p be v(6). Suppose -73*u - 6 = -p*u. Suppose 138 = u*w - 3*q, -5*w = 2*q - 322 + 99. Is w a multiple of 4?
False
Let c be -7 + -337*(7 - 5). Let w = c + 967. Does 13 divide w?
True
Does 9 divide (-50)/(-60) + (1051870/(-60))/(-1)?
True
Suppose 112*z - 110*z - 3*w = 13430, -5*z + 33550 = 5*w. Is 3 a factor of z?
False
Suppose 24*a = -57 + 489. Is (-8)/3*(-891)/a a multiple of 6?
True
Let l(w) be the second derivative of -w**8/3360 - w**7/420 - w**6/240 + w**5/120 - w**4/12 + 9*w. Let q(n) be the third derivative of l(n). Does 9 divide q(-4)?
True
Let j(s) be the second derivative of -s**5/20 + s**4/3 + s**3 + 3*s + 716. Let d = -7 - -11. Does 5 divide j(d)?
False
Suppose 0 = 20*s - 53 - 27. Suppose -2*m - 5*p + 34 + 964 = 0, 5*p = s*m - 1966. Is m a multiple of 49?
False
Suppose 4*m + 5706 = 2*x, -11*m = 2*x - 6*m - 5652. Does 32 divide x?
False
Suppose 84*i - 76*i = 1872. Let q = 414 - i. Is q a multiple of 30?
True
Let i(k) = 32*k + 30. Let v be i(-1). Is v - 6*(-945)/7 a multiple of 8?
True
Let i = 76 - 77. Suppose -o = -28 + 24. Is 6/o*(65 - i) a multiple of 13?
False
Let y = 1405 - 598. Suppose -6*u = -9*u + y. Does 41 divide u?
False
Let s be ((-48)/(-20))/(9/1935). Suppose 0 = 5*w + 36 - s. Is w a multiple of 4?
True
Let i be 10/(-25) - (-14)/10. Suppose -135*d = -133*d - h + 26, -2*d + 5*h - 34 = 0. Is ((-2288)/d)/4 + i/3 a multiple of 12?
True
Let n = -677 - -1269. Suppose -2*u - 586 = -5*j, -5*j + u = -3*u - n. Is 18 a factor of j?
False
Suppose -5*d = -t + 19, 2*d = 2*t - 3*t - 9. Is (-1010)/d + 2/4 a multiple of 35?
False
Let h(z) = 3*z**2 - 7*z + 12. Let f(x) = x**2 - 5*x + 6. Let m be f(5). Let a be h(m). Suppose -2*t + c = -135, -t + a = 8*c - 5*c. Is t a multiple of 25?
False
Suppose 0*s - 603 = -4*n - 5*s, 5*s + 765 = 5*n. Let b = -26 + n. Is b a multiple of 27?
False
Let u(h) = 66*h - 285. Let x(i) = 5*i - 22. Let w(s) = 2*u(s) - 27*x(s). Let n be w(5). Suppose 0 = -n*m + m + 1000. Is 13 a factor of m?
False
Let r(u) = u**3 - 30*u**2 + 16*u + 325. Does 9 divide r(30)?
False
Let z = 20242 - 17600. Is z a multiple of 5?
False
Let w = -39 + 55. Is 7 a factor of 150/400 - (-1)/(w/2490)?
False
Let o be 18/(-171) - 804/(-57). Let z(a) = 3*a**2 - 13*a + 14. Is 60 a factor of z(o)?
True
Let o = 24 - 14. Let f be ((-5)/(-2))/(o/8). Suppose -86 = -f*i + 2. Is i a multiple of 11?
True
Suppose -2*f + f + 16508 = -2*o, -3*f - o = -49580. Is 108 a factor of f?
True
Let u(d) = 27*d + 4948. Does 173 divide u(41)?
True
Suppose 30*g - 177744 - 84906 = 0. Is 85 a factor of g?
True
Let w be (-1*2 - -4)/((-9)/63). Let r(b) = -24*b - 27. Does 10 divide r(w)?
False
Suppose 3*p - p - 5*b = -4, p = -4*b - 2. Let z be (-4)/(-2)*5/p. Let y(q) = 3*q**2 + 9*q + 2. Is 8 a factor of y(z)?
True
Let j(c) = -789*c - 264. Is j(-8) a multiple of 18?
True
Let m = 87 + -82. Suppose -3*n - 2*r + 38 = -n, n - m*r - 49 = 0. Is n a multiple of 4?
True
Suppose 297*f - 36495 = 72855 + 67662. Is f a multiple of 189?
False
Let r = 182 - 182. Suppose 0 = -2*t - 3*y + 90, -t - 9 = -3*y - 72. Suppose r = 4*s - t - 313. Does 7 divide s?
True
Suppose 3*d + 2*c = 83, 0 = d - 2*c - 24 - 17. Let i