he first derivative of 3*z**2/2 - 42*z + 24. Let v be c(10). Is ((-2835)/v - 2) + (-39)/(-52) a multiple of 9?
False
Let l(i) = i**2 + 6*i + 4. Let p be l(-6). Let f be p + (0 + -1)*-12. Let c = f - -12. Does 14 divide c?
True
Does 70 divide (900/(-120))/(((-1)/14)/((-4)/(-6)))?
True
Let f be 43/(2670/(-1338) + 2). Suppose -31*c + f + 10592 = 0. Is c a multiple of 21?
True
Suppose -1 = -4*g + 3, -q = 4*g - 20. Suppose -1494 = -q*u + 7*u. Suppose 8*c - u = 458. Is c a multiple of 6?
True
Suppose 12244*h + 166400 = 12309*h. Is h a multiple of 80?
True
Suppose 8*i = 3*i - 4*m + 9851, 3950 = 2*i + 4*m. Is i a multiple of 5?
False
Suppose 9*g = 12*g - 87. Suppose 30 = -5*v + t, -3*v - 3*t = -v + g. Is (-4422)/(-154) + (-2)/v a multiple of 16?
False
Let z = -2425 + 3125. Does 7 divide z?
True
Let n = -106 - -191. Suppose -5*h + 2*t + 140 = 4*t, 3*h = -t + n. Is (-3)/(-1 - (-28)/h) a multiple of 9?
True
Does 49 divide ((-135)/20 + (-11)/(-44))*-206?
False
Suppose -52*m + 2 = -154. Suppose -2*x + 6 = x. Suppose z + m*y = -3*z + 586, -2*z - x*y + 294 = 0. Is z a multiple of 29?
True
Suppose 3*t + 12 = g, 5*t + 2*g + 11 = 2. Let j be (2*159/(-6) + t)/(-1). Let z = j - 37. Is 3 a factor of z?
False
Let s = -95 + 115. Suppose -s*w + 16120 = -6980. Is 15 a factor of w?
True
Let v = 42 - 57. Let n be (30/(-25))/((-6)/v). Is 3 a factor of (1*2)/(6*n/(-243))?
True
Let z(f) = -f**2 + 18*f - 11. Let x be z(17). Let s(j) = j - 1. Let b be s(x). Suppose -4*g = 3*t - 310, -g - g + 142 = -b*t. Is 10 a factor of g?
False
Suppose -4*f = -1184 - 836. Let z = f + -435. Does 5 divide z?
True
Let s(a) = 94*a**2 - 8*a + 39. Let m be s(8). Suppose 27*h - m + 1401 = 0. Does 22 divide h?
False
Let q(w) = 4*w**2 - 9*w - 15. Suppose -5*g - 14 = 4*c + 7, -3*c = -g + 11. Is q(c) a multiple of 9?
False
Is 3 a factor of 80/(-35)*(-25536)/38?
True
Let w be ((-12)/4)/((-6)/4). Let i(h) = 2*h**3 - 22*h**2 - 25*h + 30. Let g be i(12). Suppose w*b = 5*b - g. Is b a multiple of 6?
True
Let p = 1751 + -695. Is 33 a factor of p?
True
Let b(y) be the first derivative of y**3/3 + 5*y**2/2 - 15*y - 9. Let n be b(-12). Let m = 93 - n. Is m a multiple of 4?
True
Suppose -73975 = 16*t - 102041 - 135886. Is t a multiple of 90?
False
Is 24 a factor of ((-16)/(-32))/(1*6/222624)?
True
Let c be (30/20)/((-2)/(-20)). Let d(f) = -f**2 + 17*f - 12. Let g be d(c). Is 23 a factor of 2/(-2) + (g - -71)?
False
Let w be 46320/75 + (17/5 - 3). Suppose 3*n = 561 + w. Does 33 divide n?
False
Suppose 4*f - 8111 + 3235 = 0. Suppose 5*x = 1121 + f. Does 39 divide x?
True
Let p = -1234 - -717. Let f = p - -862. Is f a multiple of 23?
True
Let l(i) = -3*i**2 - 323*i + 3*i**3 + 9 - 2*i**2 + 323*i. Let s be l(3). Let o = 70 - s. Is o a multiple of 9?
False
Is (-59612 + -5)/((-24)/24) a multiple of 41?
False
Let u = 8714 - 8129. Does 58 divide u?
False
Suppose 0*o + 10 = 2*o. Let z be (-4)/30 + 154896/720. Suppose -o*w - 4*s + z = s, -w = 5*s - 51. Does 10 divide w?
False
Let h = -221 - -226. Suppose h*u - 562 = 4*r, -3*u - 5*r = 28 - 380. Is 14 a factor of u?
False
Suppose y - b - 26007 = 0, -2*b - 14613 = -4*y + 89401. Is 104 a factor of y?
True
Let k(n) = 3*n**2 - n. Let g be k(-1). Suppose 5*a + 3*o - 10 + 1 = 0, 6 = 2*o. Suppose 5*d + g*r - 70 = 0, -d - 5 = -a*d - 3*r. Is d a multiple of 9?
False
Suppose 0 = -6*u + 9*u - 6. Suppose u*z - 4 = 2. Suppose -z*l + 2*l + 80 = -5*k, -l + 2*k = -65. Is l a multiple of 5?
True
Let p(u) be the second derivative of 17*u**4/6 + 5*u**3/6 + 15*u**2/2 - u - 4. Is 51 a factor of p(-3)?
True
Is 14 a factor of (3/2 + -2)/(227442/75816 + -3)?
False
Let r be (-288)/336 - (-6480)/14. Suppose -o + r = 13*o. Is 5 a factor of o?
False
Let f = -257 + 438. Suppose r = 2*j - 337, -j + f = -6*r + 3*r. Is j a multiple of 9?
False
Let p be (-12)/24 - 26/(-4). Suppose 34*h - 36*h - p = -z, 5*h + 20 = 3*z. Is 10 a factor of z?
True
Let a be -6*(-8 + (-2254)/21). Suppose -3*x + a = 4*v, 2*x - 4*v - 260 = 188. Is x a multiple of 38?
True
Is 186 a factor of 6877524/1479 + (-4)/34?
True
Let f = 88 - 79. Suppose 4*n + 111 = 6*n - 5*h, 0 = 3*h - f. Suppose 56*x + 119 = n*x. Is x a multiple of 17?
True
Is 25 a factor of ((40665/(-105))/((-4)/7))/(2/8)?
False
Let g = 9800 - 5639. Is g a multiple of 48?
False
Does 3 divide (-15)/(-90) - ((-2805)/18 - -4)?
False
Suppose 821 = -6*y - 955. Let k = y - -1136. Is 35 a factor of k?
True
Let j(n) = 15*n**2 + 2 - 4*n - 1 + 6 - 2. Let z be j(9). Suppose p - z = -7*p. Is 37 a factor of p?
True
Suppose 0 = -3*x - 10*x + 4056. Let c be ((x/20)/(-2))/((-3)/30). Let h = -75 + c. Is h a multiple of 2?
False
Let d be (-6)/(-36) + 682/12. Suppose -4*u = 0, -3*u - 43 - d = -5*x. Let q = x + 1. Is 7 a factor of q?
True
Let z(s) = 11*s - 5*s + 41 - 4*s. Let q be z(-19). Suppose -5*c + 0*c = q*p - 24, 5*p - 5*c - 40 = 0. Is p a multiple of 3?
False
Let j be 0*2/(-3*20/15). Suppose v + 105 = 4*a - j*a, -4*a + 2*v = -102. Is 4 a factor of a?
False
Suppose 5*j = -4*o + 437, -5*o - 65 = -j - 633. Let x = o + -101. Does 12 divide x?
True
Suppose -4*m = 5*c - m + 10, 4*c + 3*m = -8. Let y be -3 + c - (2 + 0). Is (4/y)/(-2) - (-495)/7 a multiple of 45?
False
Let x(n) = -7*n + 133. Let y(p) = -2*p + 44. Let s(w) = 3*x(w) - 8*y(w). Let b be s(9). Is 34 a factor of 11/b*(-4 + 20 + -4)?
False
Suppose -702 = -4*g + 2*g. Suppose 2*n - 5*m - g = 0, 0*n + m + 363 = 2*n. Does 54 divide n?
False
Let y(l) = 7*l**2 - 6*l - 4. Let b = 16 + -3. Let u be y(b). Suppose 5*k - 2*n = u, -3 = -3*n + 3. Is 17 a factor of k?
True
Let c be ((-620)/6)/((-118)/3717). Suppose -c = -20*o + 15085. Is o a multiple of 7?
True
Let f = 623 - 99. Let q = -317 + f. Does 69 divide q?
True
Suppose 7*c - 11*c + 19182 = 5*u, 5*u - 19173 = -c. Is 18 a factor of u?
True
Let n(m) = 2739*m + 6228. Is 13 a factor of n(8)?
False
Let h(c) = 82*c + 100. Let f be h(-6). Let l = 1018 - f. Is 94 a factor of l?
True
Let d(i) = -6*i + 81. Let l be d(13). Is 65 a factor of 526/6*(21 - (l + 9))?
False
Let x be 0 + 273/(-15) + 2/10. Let o be (2/(x/(-141)))/(2/12). Suppose 5*l - o = 536. Is 21 a factor of l?
True
Suppose -841 - 2782 = -5*i + 10112. Does 6 divide i?
False
Let m be (2 - (-12)/(-15))/(3/1170). Suppose m = -4*o + 8*o. Is 39 a factor of o?
True
Let c(z) = -z**3 + 5*z**2 - 6*z + 11. Let x be 1/((-4)/64*-4). Let m be c(x). Let n(f) = 23*f**2 + 4*f - 9. Does 41 divide n(m)?
False
Suppose 89*u - 45*u - 38*u = 49044. Is 61 a factor of u?
True
Let a = 34086 - 21579. Is 47 a factor of a?
False
Let w = 17677 - 9655. Is 43 a factor of w?
False
Does 35 divide (0 - -1)*((-112)/40)/(32/(-122800))?
True
Suppose 2*u = -8*u - 920. Let a = u + 98. Suppose -3*b = a*b - 1710. Does 28 divide b?
False
Let f(a) = 209*a**2 - 13*a - 114. Is f(-13) a multiple of 24?
True
Let c = -11 - 22. Let i be (-1 - 0)/(-3 + c/(-12)). Suppose 0*h + 3*h = 3*r - 168, i*r = 5*h + 220. Is r a multiple of 30?
True
Suppose -4*m = -28 - 12. Suppose -2*g - m = 0, 0*k + 512 = 2*k - 2*g. Does 9 divide k?
False
Let p(k) = 5*k**2 + 63*k - 210. Is 88 a factor of p(43)?
False
Let g be (-143)/(-55) - (-4)/10. Let t(z) = -13*z - 245. Let k be t(-37). Is (k/6)/((-16)/(-24)) - g a multiple of 26?
False
Does 26 divide (-16772)/(-4) - 1 - (8 + (2 - 4))?
True
Let n(y) = 6*y**3 + 70*y**2 - 4*y + 22. Let x be n(-13). Let l = -718 - x. Is 14 a factor of l?
True
Suppose -5*y + 16662 = -2*q, 3*y - 11*q = -15*q + 9992. Is y a multiple of 17?
True
Is 305 a factor of (-1)/(-13) + 35780019/1833?
True
Suppose 30*x = 49*x - 20*x + 2592. Is 18 a factor of x?
True
Let c be 0/(-2) + -1 + 4. Suppose 0 = -c*j + 11*j. Suppose j = x + 2*x - 195. Does 12 divide x?
False
Is (38 + 0 + 2)*((-2241)/(-18) - 1) a multiple of 247?
True
Let r(m) = 10 + m**3 + 0*m + 5*m**2 + 20*m + 16*m**2. Let a be r(-20). Is 19 a factor of ((-156)/a)/((-4)/10)?
False
Suppose -12*i = 14*i + 8*i - 6834. Is i a multiple of 3?
True
Let n = 7421 + -5706. Is n a multiple of 5?
True
Is (-21)/9 - 21054/(-198) a multiple of 4?
True
Let a = -154 - -199. Is 6 a factor of 48*((a/12)/1 + -3)?
True
Let s(q) = -q**3 - 11*q**2 - 17*q + 11. Let i be s(-9). Suppose 5*x + 480 = 5*n, -i*n + 186 = 3*x - 8*x. Is n a multiple of 4?
False
Let g = -51667 - -74297. Is 155 a factor of g?
True
Is 6*(-10435)/(-15) - -6 a multiple of 38?
True
Su