es 224 divide y(-15)?
False
Suppose -2*a = 8*c - 7*c - 4171, 10427 = 5*a + 2*c. Is 48 a factor of a?
False
Let d be (-2 - (-25)/15)/(2/(-18)). Let z(n) = -n - 44 + n - n - d*n. Does 45 divide z(-28)?
False
Is 196 a factor of 12 - (-13 - 14923) - 1?
False
Suppose -1548 = -3*x - 3*o, -16*o = 3*x - 21*o - 1508. Does 3 divide x?
False
Suppose -10150 = -315*w + 314*w. Is w a multiple of 58?
True
Let p(k) = 4*k - 13. Let b be p(6). Suppose -b*x + 2*x + 117 = 0. Is x a multiple of 10?
False
Let u = 8804 - 4098. Does 21 divide u?
False
Let y be (-4)/(-9)*(-171)/(-38). Suppose 5*t = 3*a + 8700, -2623 = -t + y*a - 883. Does 12 divide t?
True
Suppose 0 = -105*j - 496 + 2701. Is j a multiple of 5?
False
Let t(f) = f**2. Let u(k) = -k**3 + 8*k**2 - 10*k + 14. Let v(i) = t(i) + u(i). Let a be v(8). Is 1/(-3) + 1045/(-15)*a a multiple of 19?
False
Let t = -1035 - -2210. Is 20 a factor of t?
False
Let g(l) = -l**2 + 24*l - 13. Let o be g(19). Suppose -o*m + 728 = -75*m. Does 10 divide m?
False
Let r be -10 - ((-5)/25 - (-42)/(-15)). Does 78 divide (10 - (-49)/r) + 1455 + -3?
False
Suppose 192*l - 127702 - 192938 = 0. Does 10 divide l?
True
Suppose 20*m = 13*m. Suppose m = 16*p + 31*p - 43710. Is p a multiple of 31?
True
Suppose h = -3*f - 404, -5*h - 2120 = -8*f + 3*f. Let d = h + 834. Does 43 divide d?
False
Let f be (-4 + 11 + 20/(-5))/(-1). Is 24 a factor of (32/f)/((-2)/9)?
True
Does 167 divide 25602/(1/((-10)/(-30)))?
False
Suppose -9*i - 2255 = 2*i. Let p = 319 + i. Is 16 a factor of p?
False
Suppose -5*a - 30907 = -3*x + 9703, -3*x - 5*a + 40540 = 0. Is 25 a factor of x?
True
Let z(q) be the third derivative of -31*q**4/24 + 55*q**3/6 + 69*q**2 + q. Is 17 a factor of z(-5)?
False
Let o be ((-2416)/(-6))/((-4)/12). Is (o/(-16) + -6)*6 a multiple of 12?
False
Suppose 4*l = -5*q - 54, -q + 7 = -2*q + 3*l. Is 4 a factor of (-1850)/q - (1 - 0 - 2)?
False
Is ((60/21)/(-5))/(16/56) + 7364 a multiple of 6?
True
Let k = 3 - -19. Let d(f) = -f - k + 38 - f**2 + f**3 + 5*f. Does 9 divide d(0)?
False
Let w = -1494 - -3317. Is 9 a factor of w?
False
Suppose -2*p + 3282 = -5*x + 13733, 2*x - 4*p = 4190. Suppose 0 = -4*b + 20, -b - x = -3*m - 0*b. Does 36 divide m?
False
Let n(b) = -b**2 + 5*b - 2. Let t be n(4). Suppose -5*k + t*u + 1876 = 0, -4*k + 3*u = -5*k + 382. Is 20 a factor of k?
False
Let i = -11 - -14. Suppose 7*z = 3*z - 60. Does 5 divide (z/(-5))/(6/34) + i?
True
Suppose 131*p - 51 = 128*p. Suppose p*x = 19 + 15. Suppose 107 = j + t, -x*j - 4*t = -56 - 166. Does 16 divide j?
False
Let r = 4349 + -3041. Is 14 a factor of r?
False
Let d be (8/(-4))/(4/6). Let q be -1 + 142 + d + 0/5. Let z = q + -76. Does 15 divide z?
False
Let g be (2/6)/((-2)/(-12)). Let q be 2/(-2) + 121/(g/2). Suppose -10*k + 440 = q. Does 9 divide k?
False
Let v(r) = r**3 - 16*r**2 - 12*r - 49. Let m be v(12). Let c = -43 - m. Is 12 a factor of c?
False
Let n be 34/(-119) - 80/14. Let m(r) = 39*r + 270. Does 6 divide m(n)?
True
Is 28 a factor of (4 - 3)/((-12)/(-21) - (-1173)/(-2065))?
False
Suppose -47*a + 4*t = -43*a - 44788, a - 11209 = -3*t. Is a a multiple of 28?
True
Let a be (3*2/(-10))/(3/(-270)). Is 2/(-9) - (-5196)/a a multiple of 26?
False
Suppose -34 = -2*i + 46. Let x be 2/(((-9)/(-3))/6). Suppose -i = -x*y - 8. Does 4 divide y?
True
Suppose 2*u + 2*u = -5*w - 110, -10 = 2*u. Let g be (0 - -1)/(6/w). Is 9 a factor of (2 + -1 + 20)/(g/(-4))?
False
Let r be -12 + 9 - 52/(-2). Let z = r + -21. Suppose -3*c = z*n - 26, -c + 3*n = 2 + 4. Does 6 divide c?
True
Let j(d) = d**2 - 3*d - 40. Let r be j(9). Let m(n) = 5*n**3 - 69*n**2 + 7*n + 16. Is m(r) a multiple of 10?
True
Suppose 4*m - 1 = l - 15, -8 = 2*l + 4*m. Let v(f) = 4*f**l + 6*f + 3*f - 3*f + 2. Does 15 divide v(4)?
True
Suppose -465 - 3205 = -5*k. Suppose 20074 = 24*o - k. Is o a multiple of 13?
False
Let q be -3 - 140/(-44) - (-1729)/(-11). Let i = -45 - q. Is i a multiple of 14?
True
Does 11 divide (2 - (-2)/(-6))/((41 + -28)/35217)?
False
Let r = 238 + -194. Suppose r*g - 37*g = 203. Does 18 divide g?
False
Let q(s) = -s**2. Let r be q(-4). Let b = r + 39. Let p = -6 + b. Is p a multiple of 4?
False
Let l = -50 + 87. Let g(s) = 26*s - 103. Let n be g(6). Let b = n - l. Is 6 a factor of b?
False
Let a be 268*(-8)/(-96)*-6. Suppose -5*u + 1025 = 5*f - 0*f, -u = -3*f - 197. Let m = a + u. Is 10 a factor of m?
False
Let h = 7253 + -563. Does 30 divide h?
True
Suppose -59*l + 791 = -58*l. Suppose -l + 4743 = 19*t. Is 26 a factor of t?
True
Let y(c) = 9*c**2 - 10*c + 14. Let i be y(6). Let z = 157 - i. Let m = z - -427. Does 45 divide m?
False
Is 22 a factor of (-43 - (39 + -94)) + 1*17174?
False
Suppose 28813 = 11*x - 4243 - 7600. Is x a multiple of 16?
True
Let y(v) be the second derivative of v**4/4 + 4*v**3/3 - 7*v**2/2 - v. Let w be -1 + -2 - (53 - -3)/(-7). Is y(w) a multiple of 27?
True
Let g = 1683 + 445. Is 7 a factor of g?
True
Does 20 divide (-25)/2*(72578/(-40) - (-81)/(-108))?
False
Suppose -3*n = -3*x - 228, -5*x - 79 = 4*n - 347. Let y = n - 69. Suppose y*f = -5*f + 1368. Does 34 divide f?
False
Suppose -4*h = -h - 3*q + 69, -4*h - 5*q - 74 = 0. Let l be (-6)/4*238/h. Suppose 119 = c + l. Is c a multiple of 17?
True
Let h(u) = 4*u**3 + 6*u - 6*u**3 - 2 - 5 + 22*u**2. Does 23 divide h(10)?
True
Suppose -9*g = -137 + 767. Let v = 155 + g. Is v a multiple of 9?
False
Suppose 34*t - 30*t - 8 = 0. Suppose 0 = 3*q + k - 7, -t*k = q - 5*q + 6. Let u(a) = 25*a**2 - 2*a + 7. Is u(q) a multiple of 43?
False
Suppose 24764 = 28*o - 123328. Is o a multiple of 123?
True
Suppose c + 360 = 46*c. Let m(z) = 5*z**2 - 2*z + 39. Is m(c) a multiple of 49?
True
Let d be 18/(-12)*-4*3. Suppose -4*w + d = -22. Suppose i = -i + w. Is 3 a factor of i?
False
Suppose 2*t - 19378 = 6*r - 11*r, -9688 = -t - 2*r. Does 43 divide t?
False
Let d = -81 - -17. Does 3 divide (-5 + d/4)*16/(-12)?
False
Let p(d) = 110*d**3 + d**2 - 4*d - 1. Let x(v) = -v + 5. Let h be x(3). Let t be p(h). Suppose -m - t = -6*m. Is 42 a factor of m?
False
Let g(k) = -k**2 - k - 2. Let a(h) = -4*h**2 - 7*h + 47. Let l(p) = -a(p) + 3*g(p). Is 64 a factor of l(19)?
True
Let c = 69 - 66. Suppose -598 = -2*s + c*d, 0 = -0*s - 4*s + 5*d + 1196. Is s a multiple of 13?
True
Does 15 divide 16 + -9 + -20 + 3 - -3010?
True
Suppose 50028 = 5*y - 3*x, 50060 = 5*y - 5*x + 10*x. Does 18 divide y?
True
Let d = -13 + 7. Let g be d*(0 - (4 + -5)). Let u(h) = -10*h. Is u(g) a multiple of 8?
False
Let d(x) = 2*x**3 + 76*x**2 + 138*x - 4. Is 20 a factor of d(-35)?
False
Suppose -17428*x + 17439*x = 21175. Does 65 divide x?
False
Is (14910/175)/(10/1525) a multiple of 13?
False
Let f(l) = 2*l**3 + 18*l**2 + 9. Let b be f(-9). Does 9 divide (-16)/(-6) - 2 - (-5016)/b?
True
Let j(s) = 230*s**2 - 297*s - 16. Is j(5) a multiple of 36?
False
Let z(x) = x**2 - 9*x + 8. Let c be z(8). Suppose 4*t - v - 50 = c, -3*v = -t - 0*v + 18. Is (-270)/t*12/(-10) a multiple of 9?
True
Suppose 20135 = 44*k - 40717. Is k a multiple of 15?
False
Let u(b) be the third derivative of b**7/5040 + 17*b**6/360 - 11*b**5/60 + 16*b**2. Let t(p) be the third derivative of u(p). Is t(-14) a multiple of 10?
True
Let x(z) = -4*z**2 + 143*z + 41. Does 90 divide x(31)?
True
Let v be (-336)/(-280) - (-21)/(-5). Let q(t) = 197*t**2 + 42*t + 136. Is q(v) a multiple of 25?
False
Let b = 41554 - 41421. Does 4 divide b?
False
Suppose -32 = -4*u + 16. Suppose -u*m = 28 + 200. Let w(a) = -a - 8. Does 11 divide w(m)?
True
Let i(n) be the second derivative of -3*n**5/10 - n**4/12 + n**2/2 - 17*n. Let x be i(1). Does 9 divide 8/x*1206/(-12)?
False
Suppose 0 = -3068*z + 3042*z + 122070. Does 5 divide z?
True
Let b be 8/((-20)/5) - 3. Is (-2)/b - 35660/(-100) a multiple of 22?
False
Let g(r) = 275*r**2 - 464*r + 59. Is g(15) a multiple of 17?
False
Suppose 74*u - 75*u + 7268 = -5008. Is 62 a factor of u?
True
Let g(v) be the third derivative of v**4/8 - 23*v**3/3 + 35*v**2. Let o be g(17). Suppose -o*j - 58 + 183 = 0. Is j a multiple of 6?
False
Does 69 divide 1 + 20467 - 162/((-360)/20)?
False
Is 81 a factor of ((-237)/(-6))/(12410/(-1380) - -9)?
False
Suppose 334*f - 2*a + 1546 = 335*f, 3*f + a = 4643. Is f a multiple of 9?
True
Let f(r) = 243*r + 84. Let m be f(9). Suppose 5*v - 4*k - m = 0, 2*v + k - 456 = v. Does 13 divid