t o(b) = 2*b - 3*b + 40 - 46 + b**2 + 0*b. Does 4 divide o(p)?
True
Is 7 a factor of (-2)/6 + (-152496)/(-162)?
False
Let x(o) = -o**2 + 4*o - 1. Let c be x(3). Suppose -c*b = -2*k - 342, 2*k - 214 + 728 = 3*b. Suppose -184 = -4*a + b. Does 26 divide a?
False
Let f be 56/(-6) + (-6)/(-18). Let z be (6/(-5))/(f/150). Suppose 2*w - 38 = z. Is w a multiple of 26?
False
Let l be (5 - 23)/9 + (-173)/1. Let j = 435 + l. Is j a multiple of 10?
True
Let a = 119 + 35. Is a a multiple of 4?
False
Let z(b) = -184*b + 144. Is 75 a factor of z(-6)?
False
Let x = 2967 + -1979. Is 20 a factor of x?
False
Suppose 4*y - 1101 = -5*w, 4*y = 4*w + 611 + 517. Does 12 divide y?
False
Let d(m) = 3*m**2 - 40*m + 82. Does 7 divide d(15)?
False
Let t(z) = 2*z + 1. Let v be t(-3). Let k be ((-6)/v)/(3/10). Let g = k - 1. Is g a multiple of 3?
True
Let h = 461 - 263. Is 9 a factor of h?
True
Suppose 3*y - 399 = 2*i, 0 = 16*y - 15*y + 2*i - 125. Does 3 divide y?
False
Let h be (324/15)/((-4)/(-20)). Suppose 4*b - 12 = -4*c, 5*b - 4 = 1. Suppose c*k - 6*k + h = 0. Is 9 a factor of k?
True
Let p(b) = -b**3 + 4*b**2 + 4*b + 8. Let f be p(6). Let t = f + 67. Let h = 15 + t. Does 10 divide h?
False
Let i = 982 - 359. Is i a multiple of 57?
False
Let o = -13 - -5. Let i = o + 14. Let n = i - -6. Is 9 a factor of n?
False
Suppose -1445 = -43*x + 4317. Is x a multiple of 67?
True
Let t = 310 + 50. Is 12 a factor of t?
True
Suppose 20*v = 10*v + 4590. Is v a multiple of 6?
False
Suppose -2*k - 11*a + 9*a = -1798, 4*a = 12. Does 30 divide k?
False
Suppose -x - 18 = -3*z, 0*x - x + 17 = 4*z. Suppose -3*f + z = -157. Does 9 divide f?
True
Suppose -3885 + 51935 = 50*w. Does 8 divide w?
False
Suppose 0 = -3*t + 35 + 175. Let a = t - -45. Is 23 a factor of a?
True
Let t(k) = -8*k + k**2 - 11*k + 12*k. Let j be t(4). Let n = -2 - j. Does 5 divide n?
True
Suppose -360 - 256 = -h. Is 27 a factor of h?
False
Suppose -9*t + 7 = -8*t. Suppose 0 = -t*k + 285 - 54. Is 3 a factor of k?
True
Let r = 490 + -371. Suppose 0 = 2*i + i - 651. Suppose r = 8*a - i. Is a a multiple of 14?
True
Let l(x) = 37*x + 2. Suppose 0 = -0*h - 5*h + 5. Let w be l(h). Let t = w - 1. Does 11 divide t?
False
Let y(x) = 4*x**3 - 2*x**2 - x - 7. Suppose 1 - 3 = -l. Let f(j) = -3*j**3 + j**2 + 2*j + 8. Let q(g) = l*y(g) + 3*f(g). Is q(-4) a multiple of 7?
True
Let k = -2154 - -3425. Is 9 a factor of k?
False
Suppose -11*m + 129 = -8*m. Suppose -4*d - 3 = -m. Is 10 a factor of d?
True
Does 27 divide -52*(158/(-8) - 3)?
False
Suppose c - 3 = -3*v + 1, v = 3*c - 12. Suppose 162 + 206 = c*k. Is 24 a factor of k?
False
Suppose 4*k + 2 = 5*k. Let x(q) = 22*q**2 - q - 4. Is x(k) a multiple of 41?
True
Let x(g) = -g**2 - 34*g + 138. Is x(-25) a multiple of 2?
False
Suppose 2*d = 2*q + 596, -d - q + 400 - 102 = 0. Suppose 1077 = -7*a - 302. Let g = d + a. Is 16 a factor of g?
False
Let t(m) = -m**3 - 6 + 0*m + 6*m**2 + 8*m + 3*m**2. Let q(r) = r**2 + 7*r + 19. Let u be q(-5). Is t(u) a multiple of 33?
True
Let f(q) = -q**3 + 2*q - 1. Let i be f(2). Let t be (-4)/20 + (-126)/i. Let j = t - -10. Is j a multiple of 13?
False
Let v(j) = -j**3 + j**2 - 2*j + 1593. Is 59 a factor of v(0)?
True
Let l(k) = k**3 + 12*k**2 - 12*k + 15. Let v be l(-13). Suppose -v*h - 3 = -17. Let m = h + 0. Is m a multiple of 5?
False
Suppose 3*y + 4 = 5*r, 0 = 3*y + 1 - 7. Suppose 3*z = -r*u - 8, -3*u + z = 3*z + 2. Suppose -2*w + u*c - 37 = -3*w, -5*c + 15 = 0. Is 9 a factor of w?
False
Let k(n) = -n**2 - 18*n + 58. Is 15 a factor of k(-16)?
True
Suppose 550*v = 545*v + 3705. Is v a multiple of 39?
True
Let z(p) = 2*p**2 + 6*p. Let m be z(-3). Suppose -5*h - 4*b + 152 + 115 = m, 2*h = -3*b + 104. Is h a multiple of 18?
False
Suppose -k - 3*l + 4 = -5, -3*k + 11 = l. Does 10 divide (-1 + -143)/2*(-10)/k?
True
Let i(t) = 2*t**2 + 15*t + 18. Is i(-10) a multiple of 36?
False
Does 14 divide 1 - (-1 + 4) - -70?
False
Let u = -240 + 1439. Does 35 divide u?
False
Let v = -516 - -2147. Is v a multiple of 19?
False
Let k(z) = -z**2 + 25*z. Does 11 divide k(11)?
True
Does 12 divide 96 + (-1 - (-8 + 4)) + -3?
True
Suppose -2*m - 10 = -4*o + 14, 2*o - 3*m - 20 = 0. Suppose o*v = -16, 0 = u + 4*v - 72 + 8. Does 8 divide u?
True
Let z(i) = -73*i**3 + 2*i - 16. Is 21 a factor of z(-3)?
False
Suppose -3285 = -15*c - 1125. Is c a multiple of 8?
True
Is 20 a factor of 22*(2/(-9) - 1196/(-117))?
True
Suppose 0 = 9*x + 182 - 128. Suppose 603 - 2276 = 5*t - 4*v, t - 3*v = -339. Does 19 divide t*(0 + 2/x)?
False
Let z = 236 + -5. Does 3 divide z?
True
Suppose -3*r = -2*l, 4*l - 5*r = -0*r. Suppose 2*t - 226 = -d, l*t - 895 = -4*d + t. Is d a multiple of 43?
False
Let y = 864 - -467. Is 11 a factor of y?
True
Let l = -49 - -138. Let w = -36 + l. Does 13 divide w?
False
Let o(t) = 6*t**2 - t - 28. Does 4 divide o(-4)?
True
Let r(b) be the third derivative of -b**5/24 + b**4/3 + 7*b**3/6 - 7*b**2. Let c(t) be the first derivative of r(t). Is c(-9) a multiple of 18?
False
Let v = -147 + 121. Is v/65 + (0 - 544/(-10)) a multiple of 6?
True
Let c(u) = -6*u + 10. Let s(d) = 12*d - 19. Let l(y) = -7*c(y) - 4*s(y). Does 9 divide l(-7)?
False
Let y = -31 + 28. Is 26 a factor of (1 + -59)/(2 + y)?
False
Let h = 9 - 21. Let m = 17 + h. Suppose 2*u = 2*f - u - 29, 0 = 4*f + m*u - 3. Is 3 a factor of f?
False
Let q(i) = -238*i**2 - 42*i - 42. Let j(f) = -28*f**2 - 5*f - 5. Let w(z) = 42*j(z) - 5*q(z). Suppose 0 = 2*m - 13 + 15. Is w(m) a multiple of 7?
True
Let c be -3 - (1 - (5 - 1)). Let s(q) = q + 131. Let i be s(c). Let o = i + -87. Is 16 a factor of o?
False
Suppose 3*k + 14 = 5*k. Suppose -13 = -2*u - k. Suppose 0 = u*x + 2 - 14. Does 3 divide x?
False
Suppose -23*h + 24*h + 2341 = 4*o, 5*o - 2923 = -2*h. Is 13 a factor of o?
True
Let c be (2 + 0 - 2)/(-4). Suppose -5*r + 3*s - 69 = c, -12 = -3*r + 4*s - 49. Is (-4 - -3)/(1/r) a multiple of 5?
True
Suppose 7*g = -4*g. Suppose 2*q + g*q = 290. Is 27 a factor of q?
False
Let k(x) be the third derivative of 41*x**4/24 - x**3/3 + 2*x**2. Suppose -w + c + 0*c - 2 = 0, -2*c + 6 = 0. Does 13 divide k(w)?
True
Let n(j) = 16*j + 23. Does 9 divide n(25)?
True
Let q = 133 + -20. Is q a multiple of 46?
False
Suppose -2*w + 4 + 11 = -3*b, -4*b = 5*w - 3. Suppose w*v = 4*v. Suppose v = -4*y + 56 + 28. Is 7 a factor of y?
True
Suppose 706*f - 701*f = 2550. Does 3 divide f?
True
Let r = -31 + 34. Does 27 divide (107 + -2 - (-5 - -5)) + r?
True
Let t(c) = 2*c**3 - 5*c - 2. Let w be t(2). Suppose 8 + 16 = w*b. Is b a multiple of 6?
True
Let q be ((-3)/6)/((-1)/38). Suppose 2*f - q = f. Does 4 divide -1 + 0 + f + 0?
False
Suppose 4*w + 101 = 21. Let u = -1 + w. Let t = -5 - u. Is 10 a factor of t?
False
Is 5 a factor of (-624)/(-14) + (-87)/(-203)?
True
Suppose -2*w + 569 = 3*r, r = -w + 5*w - 1117. Does 7 divide w?
True
Let v = -35 + 145. Suppose -v + 14 = -5*f - 2*p, 2*p + 12 = f. Does 2 divide f?
True
Let j = -85 + 87. Let c(o) = 21*o - 10. Is c(j) a multiple of 12?
False
Let a be 200/32 - 2/8. Does 14 divide (1 + 2)/(a/56)?
True
Suppose 127 + 93 = 5*l. Is l a multiple of 3?
False
Suppose 78 = 15*v - 21*v. Suppose s - 3*s + 32 = 0. Let k = s + v. Is 2 a factor of k?
False
Let t(k) = -33*k - 5. Does 20 divide t(-2)?
False
Let g be 14/(-35) - (-1254)/10. Let o = -69 + g. Suppose -5*l + l + o = 0. Is 7 a factor of l?
True
Suppose 0*f + 27 = 4*s - 5*f, -9 = 2*s + 5*f. Let u be ((-10)/4)/(s/(-6)). Suppose 31 = u*r - 4. Is r a multiple of 7?
True
Let w = 98 + -95. Is w a multiple of 3?
True
Let s(t) = 4*t**3 - 4*t**2 + 2*t. Let v be s(2). Let j(z) = 13*z + 43. Let u be j(-4). Let o = u + v. Does 2 divide o?
False
Let b = 129 - 132. Is (4/b)/(11/(-33)) even?
True
Let o(c) = -99*c**3 + 2*c + 3. Let s be o(-1). Does 21 divide 2/(1/3*24/s)?
False
Let x(d) = d**2 - 7*d + 41. Is 31 a factor of x(7)?
False
Suppose 0 = 4*a - 625 - 191. Is 34 a factor of a?
True
Does 13 divide (-25)/5 + (56 - 1)?
False
Suppose 8*a - 96 = 5*a. Let g = a - 19. Does 13 divide g?
True
Let l be ((-20)/3)/((-40)/540). Suppose 5*n - l = 45. Does 16 divide n?
False
Let u(a) be the second derivative of a**5 - a**4/6 + a**2/2 + 3*a. Let n be u(-1). Let h = 37 + n. Is 13 a factor of h?
False
Suppose 0 = r - 2*p - 0 - 4, 5*r + 3*p + 6 = 0. Suppose u - f - 124 = 24, -4*f + 16 = r. Is u a 