
Suppose 48*y = 42*y + 3342. Is y a multiple of 9?
False
Suppose -102 = 5*j + 13. Let v = 25 + j. Suppose 243 = v*z - l, l = z + 3*l - 134. Is z a multiple of 36?
False
Let y(u) = 3*u**2 + 12*u + 20. Let z(l) = -2*l - 14. Let w be z(-7). Suppose 2*s + 2*r + 4 = 0, 4*s + w*r = -r - 20. Is 14 a factor of y(s)?
True
Let y = 13 + -13. Is 11 a factor of 81 - 14 - (1 + y)?
True
Let x be (-6)/24 - (3 + 4564/(-16)). Suppose -x = -10*n + 198. Is 3 a factor of n?
True
Let u = -42 + 39. Is 17 a factor of ((-2)/(16/(-340)))/(u/(-6))?
True
Let o = 1235 - 1124. Is 2 a factor of o?
False
Let a = -32 - -22. Let p = a - -14. Suppose -5*c - 3*j + 2 = -45, -p*j + 26 = 3*c. Does 4 divide c?
False
Let n(d) = 15*d**2. Let a(w) = 2*w**2 + 1. Let b be a(1). Suppose -4*t = -b - 1. Is n(t) a multiple of 15?
True
Let u(y) = 19*y + 112. Let f be u(-5). Let w = 1 - 3. Let c = w + f. Does 3 divide c?
True
Let n(r) be the first derivative of r**3 - 5*r**2 - 7*r - 7. Let p(o) be the first derivative of n(o). Is p(12) a multiple of 31?
True
Let s(w) = 40*w**2 + 54*w. Does 58 divide s(3)?
True
Let q(n) = 2*n**3 - 9*n**2 - 11*n + 9. Suppose 5*m = 2*g + 11, -3*m = 3*g - 0*m - 36. Let v be q(g). Suppose 4*x + 13 = v. Is 18 a factor of x?
False
Let c be (44/12)/(1/(-6)). Let x = c + 25. Suppose 4*d = -4*k + 160, -d = -0*d - x*k - 36. Does 13 divide d?
True
Let g(p) = 10*p**2 - 26*p + 119. Does 74 divide g(11)?
False
Let d = 61 - 43. Is 42 a factor of (d/4)/(4/(704/6))?
False
Suppose 4*y = -2*l + 239 + 337, 1435 = 5*l + 5*y. Is l a multiple of 11?
True
Suppose -15*b + 7*b = -112. Is b a multiple of 6?
False
Let p = 420 - 194. Is 13 a factor of p?
False
Suppose 5 - 47 = -3*w. Suppose -w*q + 11*q = -444. Is q a multiple of 15?
False
Suppose 2*h - 760 = -5*z + z, -1502 = -4*h - 2*z. Is 22 a factor of h?
True
Let x = -1915 + 2243. Is x a multiple of 4?
True
Suppose 3470 = 24*s - 1114. Does 7 divide s?
False
Let j be -4*1*(-25)/20. Suppose s - 11 - 75 = -j*b, 2*s - 165 = -3*b. Let m = s - 55. Is 22 a factor of m?
False
Is 4 a factor of 1*(-12)/10*(-2340)/24?
False
Suppose s - 2 = 0, k = -7*s + 2*s + 12. Let v(q) = 4*q**3 - 2*q - 3. Is v(k) a multiple of 7?
False
Let x = 78 + -72. Does 2 divide x?
True
Let s(n) = 14*n**2 + 31*n - 22. Let b(p) = -5*p**2 - 10*p + 7. Let r(y) = 17*b(y) + 6*s(y). Does 10 divide r(7)?
True
Suppose -5*b - 5*l - 4 = 1, -b = -l + 1. Let g be (0 + b)/((-2)/46). Suppose h + g = d, -5*d + h + 51 = -48. Is 6 a factor of d?
False
Let w(t) = 6*t**3 + 3*t**2 - 2*t + 11. Is w(5) a multiple of 59?
True
Suppose -6*u = -9 - 387. Let j = -24 + u. Is j a multiple of 6?
True
Suppose 3*s + 22 = 28. Let a(w) = -w**3 + 4*w**2 - w + 2. Let c be a(s). Suppose c*i - 19 = 7*i. Does 19 divide i?
True
Let l = -1040 - -2345. Is 15 a factor of l?
True
Let t(n) = 6*n**3 - 4*n**2 + 14*n - 4. Let r(y) = y**3 + y**2 + y. Let f(k) = -5*r(k) + t(k). Suppose 6*b = d + 2*b - 20, -4*b = -3*d + 36. Does 2 divide f(d)?
True
Suppose -3*w + 4*y = -415, -4*y + 28 = 8. Let u = w + -77. Is 17 a factor of u?
True
Suppose 2*l + l = 2*f + 244, -4*f - 88 = -l. Does 8 divide l?
True
Let z(k) = -43*k + 2. Let o be z(-2). Let y = -43 + o. Let f = -30 + y. Is f a multiple of 15?
True
Suppose 6*d + 9139 = 19*d. Is d a multiple of 37?
True
Let s(o) = 16*o - 1 + 26*o + 2*o - 4. Let f be s(2). Suppose 3*j + 5 = f. Does 10 divide j?
False
Suppose 3*s = -s + 36. Let q be s/(3 + (-12)/8). Is (-14 + 11)*q/(-2) a multiple of 2?
False
Let k be (-2)/(-3)*81/18. Suppose 5*d - 148 = k*d + 3*w, 3*w = 12. Does 20 divide d?
True
Let i = -123 + 205. Let p = 104 - i. Is p a multiple of 7?
False
Suppose -2*a - 6*g = -2*g - 1352, -3348 = -5*a - 2*g. Is 59 a factor of a?
False
Suppose 4601 - 1576 = 5*r. Is 13 a factor of r?
False
Let r(f) = 6*f + 173. Is r(6) a multiple of 5?
False
Let k = 81 - -167. Is k a multiple of 12?
False
Let j(h) = -h + 27. Suppose -4*d + 18 = -42. Let v be j(d). Suppose -4*q + v + 116 = 0. Is q a multiple of 16?
True
Suppose l - 8 = -j - 0*j, 5*j + 3*l = 34. Suppose -3*g = -5*o - 59, 5*g + j*o - 47 - 118 = 0. Is 14 a factor of g?
True
Let w be (12/4)/6*0. Let j(q) = q**3 + q**2 - q + 26. Let p be j(w). Does 9 divide -1 + p*(0 - -2)?
False
Let j be 0 + 0 - (3 - 11)*6. Suppose 5*k - 64 = 7*k. Let v = k + j. Does 8 divide v?
True
Suppose 345 = -r + 6*r. Let s = -45 + r. Does 12 divide s?
True
Does 27 divide (-4)/46 + 678120/920?
False
Let w be (-127)/5 + (-2)/(-5). Let g = w - -25. Suppose -10*f + 7*f + 147 = g. Is 32 a factor of f?
False
Let g(z) = -z**3 - 7*z**2 - 3*z + 4. Let k be g(-7). Suppose 6*v - k = v. Suppose 48 = v*n - 2*x + 5, -2*n - 2 = 4*x. Does 2 divide n?
False
Let o(v) = v**3 + 16*v**2 + 2*v + 86. Is o(12) a multiple of 21?
False
Suppose -3704 = -5*v - 4*w, 0*v + 736 = v + 2*w. Is 62 a factor of v?
True
Let i be (-60)/(-18)*18/10. Let w(f) = -i*f + 2*f**2 + 0*f + 8*f - f. Is w(-3) a multiple of 15?
True
Let m(l) = 5*l - 23. Let i be m(-13). Let d = i - -199. Is d a multiple of 12?
False
Let v(b) = -6*b**3 - 3*b**2 - 2*b - 4. Let y(j) = j**2 - 4*j - 5. Let g be y(5). Suppose g = -p - 4*p - 10. Is v(p) a multiple of 26?
False
Let j = -8 - 12. Let u = j + 22. Suppose 5*z + w - 289 = 5*w, 0 = -5*z - u*w + 313. Does 15 divide z?
False
Suppose -5*y - 11 = b - 4*b, -14 = -2*b + 5*y. Let u(d) = d**2 + 1 - 2*d + 0*d - 2*d. Is 9 a factor of u(b)?
False
Does 19 divide -2 + 8 + (-15741)/(-27)?
True
Let w = 13 - 4. Let p be 9/(-36) + w/4. Suppose 0 = p*u + 53 - 161. Is u a multiple of 15?
False
Let d(n) = -n**3 - 3*n**2 + 2. Let i be d(-3). Suppose -94 = -l - 3*j, 0*l + i*j = 2*l - 172. Suppose 3*f + f - l = 0. Is f a multiple of 22?
True
Let o = -62 + 195. Does 19 divide o?
True
Let q(f) = 4*f**2 - 4. Let l be -8 + (-4 - -9)/1. Is q(l) a multiple of 6?
False
Let x(z) = 3*z - 15. Let g(a) = -a**3 - 9*a**2 - 10*a - 10. Let h be g(-8). Let l be x(h). Suppose -4*m + l*q = -41, 3*m + q - 3 = 44. Is 14 a factor of m?
True
Let r = 45 - 55. Is 2 a factor of (-1 + (-4)/r)/(25/(-375))?
False
Let z = 127 - 39. Is z a multiple of 3?
False
Suppose 16 = y + 3*y. Suppose 0 = -3*k + y*d + 17 + 60, 0 = 4*k - 3*d - 91. Suppose -k*m - 164 = -21*m. Does 22 divide m?
False
Is 11 a factor of (6 + 122/10)*25?
False
Suppose -3*i = -5*i. Suppose 162 = 2*q - 6*r + 2*r, i = -q - 4*r + 51. Let z = 141 - q. Is 14 a factor of z?
True
Let n(w) = w**3 + 5. Let c be n(0). Suppose -3*q + 632 = -h, -2*q + 5*q = 5*h + 640. Suppose 5*s = c*t + q, 0*s - 4*s - t = -148. Is s a multiple of 11?
False
Let a = -173 + 601. Is a a multiple of 6?
False
Let s(g) = -g**3 + 4*g**2 - 2. Let d be s(3). Suppose d*j = 3*j - 348. Let p = -57 - j. Does 13 divide p?
False
Suppose 10 = 6*w - 2. Suppose -3*s + 5*r + 222 = 0, -w*s - 2*r = -46 - 102. Is 13 a factor of s?
False
Suppose 0*m + 23 = 3*s + m, -s = -2*m - 3. Let b(v) = 3*v + 9. Let a be b(s). Does 34 divide a*(132/5)/6?
False
Suppose 14*m = -10*m + 7776. Is m a multiple of 13?
False
Suppose -31*g = -30*g + 427. Let j = -179 - g. Does 33 divide j?
False
Let w = 21 - 16. Suppose -w*p + 320 = -5. Suppose 0 = 5*l - 2*u - p + 14, u - 35 = -3*l. Does 3 divide l?
False
Let b = 52 + -1. Suppose 0 = b*z - 56*z + 130. Is z a multiple of 6?
False
Let g = -876 + 948. Does 4 divide g?
True
Suppose 12*t - 5*t = 952. Does 43 divide t?
False
Let a be (0 + 0)/(1*4). Suppose 2*b + z = 3*b - 24, a = -z. Is b a multiple of 12?
True
Let o = 13 - 12. Let p(r) = -6*r**2 + 4*r - 2*r - 3 + 16*r**2 + o. Is 29 a factor of p(-3)?
False
Suppose 25*l = 24*l - 6. Is (-20)/6*l/4 a multiple of 3?
False
Let u(q) = -q**3 + 10*q**2 - 10*q. Let p be u(7). Let r = p - 45. Suppose -r = -2*c + 4*j, -4*c - 53 = -7*c + 5*j. Is 16 a factor of c?
False
Is 38 a factor of 77/(-5)*-37 - 293/(-1465)?
True
Let m(k) = -11*k - 16. Let t(f) = -f. Let i(y) = m(y) - 3*t(y). Let o be i(8). Let n = o - -124. Does 11 divide n?
True
Suppose -132*y + 120226 = -38*y. Is y a multiple of 16?
False
Suppose -1488 = -10*f + 582. Is f a multiple of 69?
True
Let h = -7 - -605. Does 11 divide h?
False
Suppose -22769 + 729 = -19*m. Is 10 a factor of m?
True
Let i = 133 - 71. Let a(h) = -42*h + 3. Let q be a(1). Let z = i + q. Is z a multiple of 6?
False
Suppose -2*c + 6 = 0, 4*g - c - 44 = 9. Is 7 a factor of g?
True
Suppose -25 = 4*x - 5*x. Let t = x + -30. Let g