?
True
Suppose 64 = 5*s - s. Suppose 0 = 11*b - s*b + 145. Is b a multiple of 16?
False
Let p = 286 - -44. Is 33 a factor of p?
True
Let y = 1287 + -1257. Is y a multiple of 2?
True
Let k = 220 - 202. Is k a multiple of 7?
False
Let f = 147 - 102. Suppose -3*p - 3*x + 22 = -7*x, 2 = 5*p + 2*x. Suppose 3*g + p*g = f. Does 3 divide g?
True
Let l(o) = -o**3 + 11*o**2 - 4. Let x be l(11). Let c = 13 + x. Let y(d) = d**3 - 10*d**2 + 12*d - 4. Does 23 divide y(c)?
True
Let n be 0 + (0 - -1)*-10. Let x be (-4)/((-1)/n*-4). Is 632/40 + (-8)/x a multiple of 15?
True
Let z be (-6 - -6) + (-6)/(-2). Suppose 202 + 53 = z*p. Let o = p + -49. Is o a multiple of 12?
True
Suppose -3*k - 2050 = -4*q - 657, -q + 4*k + 345 = 0. Is 4 a factor of q?
False
Let w = -413 + 488. Is 25 a factor of w?
True
Let d be 70/22 + (-4)/22. Suppose 0 = d*o - 6*o. Suppose o*h + 5*h = 175. Does 29 divide h?
False
Suppose 2*z = -h + 431, z = -3*h - 0*z + 1278. Is 18 a factor of h?
False
Let y(c) = c**3 + 10*c**2 - 8*c + 2. Suppose 10 + 0 = -b. Is 20 a factor of y(b)?
False
Let x = 416 - 367. Is x a multiple of 5?
False
Suppose h - 3*v - 4 + 2 = 0, 0 = 5*v. Suppose -h*d = -g - 9, -2*g - 6*d - 26 = -2*d. Let q = 38 + g. Is 9 a factor of q?
True
Suppose 0 = -7*u + 6*u + 4. Suppose 5*w + 13 = r, 2*r + 2*r - 20 = u*w. Suppose -23 = -5*t - r. Is t a multiple of 4?
True
Suppose 3548 - 767 = 3*f. Does 13 divide f?
False
Let v be 0 + (-3)/4*-4. Suppose r - 28 = -v*m - 1, -3*m + 42 = 2*r. Is 5 a factor of r?
True
Suppose -5*k = -16 + 36. Let x(f) = 3*f**2 + 8*f + 2. Does 18 divide x(k)?
True
Suppose -133 - 617 = -3*u. Suppose 2*y = -8*y + u. Is 25 a factor of y?
True
Let u(m) be the second derivative of 5*m**3/3 - 7*m**2 + 20*m. Does 19 divide u(9)?
True
Let n be (13 - 10)/(3/52). Let s = n - 37. Is 2*s*(-1)/(-2) a multiple of 15?
True
Suppose 3*b = -5*v + 57, 5*b + 13 = 5*v - 12. Suppose v*i + 5*h = 4*i + 70, -2*h - 62 = -3*i. Is 8 a factor of i?
False
Let v(s) = -27*s + 1. Let z(u) = -13*u. Let g(f) = -2*v(f) + 5*z(f). Is g(-4) a multiple of 21?
True
Let r = -88 - -193. Does 15 divide r?
True
Suppose 2*o = 2*w - 586, -w - w = -4*o - 592. Does 29 divide w?
True
Let z(k) = -k**3 + 12*k**2 - 6*k - 13. Let s be z(11). Let a be (35/21)/(2/s). Let l = a + -7. Is 14 a factor of l?
True
Let w = 1146 - 165. Is 91 a factor of w?
False
Suppose -p - 2*t + 22 = -3*t, 8 = -4*t. Suppose 0 = -w + p - 15. Does 15 divide (-76)/(-5) - 1/w?
True
Suppose 2*g - 5*j - 939 = 0, -2*g + 915 = -5*j + 8*j. Is 21 a factor of g?
True
Let z = 54 + -36. Suppose 6*p + 20 = 7*p. Suppose o - 4*n - z = 2, 0 = -4*n + p. Does 13 divide o?
False
Suppose 0*u = -u + r + 2, 0 = 3*r - 6. Suppose -4*j = -u*v + 88, 4*v - 80 - 32 = -2*j. Is v a multiple of 10?
False
Does 124 divide 15/(-12)*(-11 - -15) + 3973?
True
Let m = 4 - 0. Let t be (m/(-20) + 1)*5. Suppose 5*g = -2*i + 317, 4*g + t*i + i - 257 = 0. Is g a multiple of 21?
True
Let h be ((-24)/10)/((1 - 0)/(-25)). Let g = h - 8. Does 8 divide g?
False
Suppose 2*b - 942 = -2*l, 3*l - 367 - 106 = -b. Does 10 divide b?
True
Suppose 0 = -16*s + 44*s - 10332. Does 8 divide s?
False
Let b be 96*(24/(-9) - -3). Let v = b + 61. Is v a multiple of 31?
True
Let o(l) = -l**2 - 4*l + 9. Let h be o(-7). Let c = h + 40. Is c a multiple of 14?
True
Suppose -216 = -75*j + 69*j. Does 6 divide j?
True
Suppose -2*y = j - 14, -3*j - 4*y = 12 - 44. Suppose l + 2 = 5*k, -3*l - 3*k + 34 = j. Is l a multiple of 3?
False
Let x(r) = 15*r**2 + 17*r + r**3 - r**2 - 3*r. Does 40 divide x(-9)?
False
Suppose 0*a + 5*a - 10 = 0. Suppose -13 = 3*r + 2*x - 4*x, 5*r = 3*x - 21. Is 13 a factor of (-52*(r + a))/2?
True
Suppose 4*k + 3*f - 9239 = 0, -11*k + 3*f = -13*k + 4615. Is 41 a factor of k?
False
Let s be (-12)/(-24) - 18/(-4). Suppose -c + 10 - s = 0. Suppose c*h - h = 4*b + 80, -b - 50 = -3*h. Is h a multiple of 5?
True
Suppose 13*j = 11*j + 3*l + 2507, j - 1236 = -2*l. Is 9 a factor of j?
False
Suppose 3*c = 11*c - 24. Suppose -v + x + 32 = 0, -14*v - c*x + 54 = -12*v. Is v a multiple of 10?
True
Let j(o) = -170*o + 208. Does 106 divide j(-10)?
True
Suppose 2*a - 1 = 7. Suppose a*i + 49 + 7 = 0. Let z(b) = -2*b - 14. Is 14 a factor of z(i)?
True
Suppose 13 + 67 = -4*v. Is 10 a factor of v/(-15) + (-466)/(-6)?
False
Suppose -2*r + 194 = 2*g, 9*r - 7*r - 214 = 3*g. Is 7 a factor of r?
False
Is 17 a factor of (408/2)/(-2 - 72/(-30))?
True
Suppose 3*p - 1597 = q, 4*q = 4*p + 6*q - 2136. Is p a multiple of 7?
False
Let w(n) = 47*n**2 + 1. Suppose f + 2*f - 54 = 0. Let u be (-2)/(-7) - f/14. Is 16 a factor of w(u)?
True
Let y = -2046 - -2470. Is 19 a factor of y?
False
Suppose -2*g + 7*g = 5. Let z be g*(-5)/(25/(-5)). Does 6 divide 6 + (z - -3) + -4?
True
Let w = -234 - -358. Is 12 a factor of 4/(-2 - (-256)/w)?
False
Suppose 3 = 4*b - 3*i - 2, -7 = -5*b + 3*i. Suppose b*y + 423 = 5*q, y - 324 = -4*q - y. Is 15 a factor of q?
False
Let l = -773 - -914. Is 3 a factor of l?
True
Is 28 a factor of 4/4 + -5 + (230 - 3)?
False
Let m(g) = -g**3 + 7*g**2 + 3*g - 14. Let w be (14 - 2)/(-7 + 9). Is m(w) a multiple of 16?
False
Suppose -3*u - 6*a = -4*a - 25, -13 = -2*u - 5*a. Suppose -3*w = -2*f - 196, -320 = -u*w + 4*w + 5*f. Does 17 divide w?
True
Suppose -6*k + 15 = -3. Suppose 64 = k*u - 119. Is 21 a factor of u?
False
Let b(j) = -2*j**3 - 5*j**2 + 12*j + 6. Let p be b(-8). Suppose 0 = -3*g + p - 110. Is g a multiple of 24?
True
Suppose 3 = f + 7. Is (-9 + 0)*(f - 2/(-6)) a multiple of 33?
True
Suppose 197 + 41 = -4*l - g, 4*l = 3*g - 230. Let a = 119 + l. Is 10 a factor of a?
True
Suppose -x - 33*y + 37*y = 7, 2*x + 7 = y. Let s = -1 + -1. Is s/x + (-49)/(-3) a multiple of 7?
False
Let h(g) = 141*g - 49. Is 22 a factor of h(3)?
True
Suppose 37*j - 411 = 40*j. Let t = -78 - j. Does 12 divide t?
False
Is ((2415/(-30))/((-1)/2))/1 a multiple of 7?
True
Let i = -123 - -293. Does 5 divide i?
True
Let w(z) = -z**2 - 4*z + 8. Let j be w(-4). Is 29 a factor of 965/20 + (30/j)/5?
False
Let d = -109 + 220. Is d a multiple of 5?
False
Let t(z) = -13 - 3*z - 4*z - 15*z. Let b be t(-4). Let r = b - 51. Is r a multiple of 14?
False
Let m(d) = 29*d + 8. Is 19 a factor of m(3)?
True
Let k(c) = 4*c + 76. Is k(9) a multiple of 48?
False
Let w(l) = 13*l**2 + 2*l + 1. Is 12 a factor of w(-6)?
False
Let c = 358 - 292. Is 11 a factor of c?
True
Let o = 13 - 21. Let h be 7/28 + (-54)/o. Suppose 0 = -h*s + 3*s + 32. Is s even?
True
Suppose -15*u = -21*u + 384. Is 16 a factor of u?
True
Let p = 7397 + -3137. Is 41 a factor of p?
False
Suppose 4*i + h = -0*h + 57, 3*i = -3*h + 36. Let f(a) = a + 24. Let k be f(-8). Suppose i*s - k*s = -39. Is 13 a factor of s?
True
Suppose 4*q + 81 = -3*f - 0*f, 33 = -2*q - 3*f. Let k = -25 - q. Is 14 a factor of k/(2/(-88)*2)?
False
Suppose 4*x = -2*x - 1302. Let v = 339 + x. Suppose 0 = 4*b - v + 34. Is 22 a factor of b?
True
Suppose -2073 = -3*m + 453. Is m a multiple of 32?
False
Let p(d) = 3*d**2 + 4*d - 4. Let n be ((-36)/(-20))/(6/40). Let w = n + -10. Does 16 divide p(w)?
True
Suppose -4*t + i = 4*i - 337, 5*t - 420 = -5*i. Suppose 0 = t*m - 87*m + 54. Is 5 a factor of m?
False
Suppose 4*y + 6 = 2*v, -2*y + 0*v - 18 = -4*v. Let j(x) = 100*x + 1. Is j(y) a multiple of 38?
False
Let q(j) = 5*j + 57. Does 15 divide q(37)?
False
Suppose 9*f + 1075 = 4*f. Let m = f + 383. Does 28 divide m?
True
Is ((3 - 1) + -891)/(-1) a multiple of 108?
False
Suppose -4*c = -4*l - 2680, 0*l = l - 2. Does 14 divide c?
True
Let i(b) = -10*b - 2*b**2 + 0 - 8*b**2 - 3 + 2 - b**3. Let w be i(-9). Is 8 a factor of 4/w + (-15)/(-2)?
True
Let m(r) = -r**2 + 29*r + 15. Does 27 divide m(27)?
False
Suppose 4*m = 4*u + 804, 4*u = -0*m + m - 192. Is 6 a factor of m?
True
Let n(f) = -2*f - 10. Let d(t) = -t**3 + 9*t**2 + 9*t + 3. Let l be d(10). Let u be n(l). Suppose 5*k = 5*r + 49 + 21, -r + 31 = u*k. Is k a multiple of 9?
True
Let v = -520 - -646. Is v a multiple of 5?
False
Let h be 12/(-8) + (-41)/2. Does 17 divide 11/((-605)/(-10)) - 1118/h?
True
Let b(f) = -1 - f**2 - 6 - 4 - 9*f + 3. Let s be b(-9). Let q(d) = -3*d + 5. Is 5 a factor of q(s)?
False
Suppose 2925 = 24*w - 9*w. Does 22 divide w?
False
Suppose -2*c - 1 = -c - 2*i, -i - 4 = 0. Let o be (-6)/c*2*9. Let y(z) = 4*z + 5. Is y(o) a multiple of 11?
False
Let l(w) be