p - 34. Is v a multiple of 18?
False
Is 0 + 1534 + -12 + 13 a multiple of 36?
False
Suppose 1338 = 4*m - 2*r, -6*m + 2*r + 330 = -5*m. Does 21 divide m?
True
Does 10 divide (-40)/(-21) - 2 - (-3786)/63?
True
Let t(v) = -4*v - 15*v + 17 + 4*v - v**2. Let j = 32 + -44. Is 30 a factor of t(j)?
False
Let g = -51 + 71. Let j = g + -15. Suppose j*s = 87 + 78. Is s a multiple of 14?
False
Suppose -3*f - 4*o + 2148 = 0, f + 6*o - 708 = 2*o. Is 20 a factor of f?
True
Let k be (7 - 7) + -6 + 2. Let i be k/(-1 - 0)*-1. Does 8 divide (-22 - 4)*-2 - i?
True
Let f(m) be the third derivative of -m**4/8 - 2*m**3 - 2*m**2. Let y be f(-5). Suppose -168 = -6*u + y*u. Does 14 divide u?
True
Suppose -70 = 9*c - 16*c. Suppose 0 = -k - c*k + 792. Is k a multiple of 18?
True
Suppose 4056 = 28*z - 4*z. Is 13 a factor of z?
True
Suppose 1 - 21 = -5*c. Suppose 216 = w - 3*l, c*w - 3*l = 610 + 209. Suppose w = -t + 4*t. Does 18 divide t?
False
Suppose 0 = 5*z - 8 + 83. Is (-8)/3*(z - 54) a multiple of 16?
False
Let i(r) = r**2 - r + 5. Let z be i(0). Suppose 128 = 2*k - p, -z*p - 82 = -k - 0*p. Does 6 divide k?
False
Suppose k = 10 - 14. Let n be -2 + 3 - 1*k. Let v = n + -1. Is v a multiple of 4?
True
Is 66*(-3)/45*-5 a multiple of 8?
False
Let a(w) be the second derivative of w**3/6 + 3*w**2/2 + 2*w. Let n be a(-9). Is (-38)/(-1) + 4 + n a multiple of 9?
True
Let j(y) = -4 + y**2 - 6*y + y + y + 2*y. Let r be j(3). Does 18 divide ((-8)/12)/(r/54)?
True
Let f = 531 + 96. Is f a multiple of 12?
False
Let x = -1644 + 2841. Does 41 divide x?
False
Suppose -5*h - 196 = 5*j - 636, 2*j - 177 = -h. Let t = -53 + j. Is (1*-1)/((-6)/t) a multiple of 6?
True
Let v = 35 + 51. Suppose -183 - 223 = -5*i + s, -i + 5*s = -v. Does 9 divide i?
True
Let h(q) = -3*q**3 - 82*q**2 + 33*q - 14. Does 15 divide h(-28)?
True
Suppose 20 = 4*k + 4. Suppose 0 = 5*a - 5*p, 7*a + 3 = 4*a + k*p. Suppose -y - 92 = -4*n, a*n + 3*y - 132 = -2*n. Is n a multiple of 7?
False
Let h = -430 - -1198. Does 28 divide h?
False
Suppose -6*b + 5*b = 9. Let v be (5 + -13)*b/6. Suppose -k + v = 2*k. Does 4 divide k?
True
Let s = -127 + 179. Suppose 58 = o - 5*f + 2, -2*o - 5*f + s = 0. Is 13 a factor of o?
False
Let p(s) = 72*s**2 - 7*s - 14. Is p(-2) a multiple of 9?
True
Let s(f) = 2*f**2 + 9*f + 4. Let d be s(-4). Suppose d = -0*q - 5*q + 125. Is q a multiple of 4?
False
Let c = -137 + 137. Suppose p + 4*i - 85 = c, -4*p = -3*p + 5*i - 90. Does 5 divide p?
True
Let i = -416 + 490. Does 3 divide i?
False
Let d be 3/3*(1 + 2). Suppose -3*u + u + 69 = 3*k, d*k + 4*u = 75. Suppose -3*w + k + 27 = 0. Is 5 a factor of w?
False
Suppose 0 = 83*p - 31*p - 29016. Is 155 a factor of p?
False
Let x(n) = n**3 - 10*n**2 - 12*n + 20. Let z be (-1 - 0)*(5 - 8 - 8). Does 9 divide x(z)?
True
Suppose 3*w = 3*m - 1557, -w - 2085 = -0*m - 4*m. Is 58 a factor of m?
True
Let v = 7 - 1. Let p(z) = 15*z - 3. Is p(v) a multiple of 10?
False
Let l be ((-402)/4)/((-42)/56). Suppose 5*k = 4*o - 332, 54 + 20 = -k - 3*o. Let z = l + k. Does 22 divide z?
True
Suppose 20*i = 46003 + 10837. Does 86 divide i?
False
Let g be (-6)/21 + (-12)/7. Let t be 25 + (g - 2/(-2)). Suppose -2*f + t - 2 = 0. Is f a multiple of 11?
True
Let u = -485 + 535. Is 5 a factor of u?
True
Let u(q) be the first derivative of q**2 - 4*q**2 + 2*q**2 + q + 6*q**3 - 8 - 3*q. Is 11 a factor of u(2)?
True
Let c(l) be the second derivative of 2*l**3/3 + 7*l**2/2 - l. Let h be c(-8). Let s = 67 + h. Is 14 a factor of s?
True
Let s be 2/(-8) - (-28)/(-16). Let c be -1 + 5 - s/1. Is -2 - (c/2 - 14) a multiple of 9?
True
Let u = 16 - 21. Is 15 a factor of (2/(4/(-5)))/(u/210)?
True
Let l(m) = m**2 + 15*m. Let v be l(-16). Suppose -3*f + 7*f - v = 0. Suppose -s - 5*k + 59 = 0, 2*s - k = -f*k + 111. Is 13 a factor of s?
False
Suppose -75 - 13 = -11*i. Does 18 divide 1161/15 - i/100*5?
False
Suppose 5*n - 53 = 102. Let r = 16 - 12. Suppose -l - 48 = -2*i + n, -r*i + 178 = 2*l. Does 14 divide i?
True
Does 21 divide (-320)/15*-1*249/4?
False
Let k be (-1)/4 + ((-1863)/(-12) - -1). Suppose k = 6*t - 3*t. Is t a multiple of 8?
False
Let x(j) = -21*j**3 + 2*j**2 - 8*j - 7. Is x(-3) a multiple of 14?
True
Suppose -56*m + 49*m = -10626. Is m a multiple of 23?
True
Suppose -85*g + 12111 = -74*g. Is 3 a factor of g?
True
Suppose 0 = 2*v + 6, 334 = -2*x + 4*v + 14. Let b = -110 - x. Suppose -8*u + 504 = b. Is u a multiple of 19?
False
Let i = 341 - 172. Is 27 a factor of i?
False
Suppose 3*c + 0*c - 403 = -5*m, -c + 106 = -4*m. Does 42 divide c?
True
Is (10/(60/(-9)))/(3/(-232)) a multiple of 10?
False
Is ((-20)/140 - (-8744)/7) + -3 a multiple of 78?
False
Suppose 3*y - 139 = -f, -y - 4*f - 23 = -73. Let m = -18 + y. Let p = -12 + m. Does 4 divide p?
True
Suppose -3*r + 816 - 288 = 0. Suppose 5*i - 34 = r. Does 6 divide i?
True
Let l(q) = -3*q**2 + 11 + 3*q + 2*q**2 - 5*q - 3*q. Let n be l(-6). Suppose -o + 5*i + 10 = 0, -3*i - 71 + 21 = -n*o. Is 5 a factor of o?
True
Suppose -3*f + 4*i = -1968, 3*f - 656 = 2*f + 2*i. Is f a multiple of 41?
True
Let s = 11 + -4. Is (-11 - s)/(2/(-8)) a multiple of 24?
True
Suppose 2*q - 3*x + 2 = 0, -2*q = -4*q - 3*x + 10. Is 0/7 + (q - -119) a multiple of 24?
False
Let l = 1934 - 1135. Is l a multiple of 17?
True
Suppose 5*a = r + 226, 0 = -2*a + 5*a - 2*r - 130. Is a a multiple of 2?
True
Let c(k) = -5*k + 7. Let r be c(3). Let j(t) = -2*t - 12. Let a be j(r). Suppose 2*x = 4*d - 22, -a*d - 1 = 3*x - 8. Does 3 divide d?
False
Let d(v) = -v**3 + 17*v**2 - 19*v + 14. Let t be d(12). Let k = t - 323. Does 36 divide k?
False
Suppose -6*d + 848 = -9718. Is d a multiple of 19?
False
Let k be 89/(-1) - (-13 + 8). Let h = -33 - k. Is h a multiple of 37?
False
Suppose 3*y - 40 = 4*x, x = -2*x - 5*y - 30. Suppose -51*u = -49*u + 1192. Does 15 divide 2/5 + u/x?
True
Let c(m) = m**3 + 11*m**2 + 10*m. Let k be c(-10). Suppose 8*w - 6*w - 20 = k. Is w a multiple of 5?
True
Let w(b) = 173*b + 46. Is w(8) a multiple of 22?
True
Suppose 207 = 3*u - 3*d, 2*u - 69 = u + 4*d. Is u a multiple of 66?
False
Let t be (15/(-4))/5*-4. Let x be 3/(1/(t - 4)). Let n(o) = -o**3 - 3. Is n(x) a multiple of 13?
False
Is 44/11*(-1198)/(-8) a multiple of 11?
False
Let g(c) = 6*c - 4*c + 2*c - 3*c. Let v be g(8). Is 27 a factor of 2/(-4) - (-652)/v?
True
Let s(o) = 18*o**2 - 17*o + 49. Is s(5) a multiple of 14?
False
Suppose 0 = -433*k + 431*k + 200. Does 10 divide k?
True
Let c(f) = 7*f**2 - f. Let l be c(-1). Suppose 0 = -5*d + 4*d + l. Suppose -3*u + d*u - 240 = 0. Is u a multiple of 24?
True
Let w(n) = -18*n**2 - 124*n + 4. Does 3 divide w(-6)?
False
Let u(s) = -60*s + 12. Let p be u(-7). Suppose -p + 180 = 4*t. Is 14 a factor of (-8)/(-3)*t/(-12)?
True
Does 28 divide (-168)/(-20)*(-140)/(-6)?
True
Let g(t) = -t**2 - 11*t + 8. Let s be g(-12). Let a be (-14)/s*(-2 - -4). Let c(w) = -w**3 + 6*w**2 + 8*w + 4. Does 5 divide c(a)?
False
Let s = 613 + -329. Does 7 divide 0 - (-5)/(20/s)?
False
Let k = 1561 - -309. Is k a multiple of 55?
True
Suppose -8 = 4*b - 2*b, -2*t + 4*b = -406. Does 13 divide t?
True
Suppose 3*s = -3*s + 3000. Suppose -5*q = 5*x - 900, -5*q - s - 229 = -4*x. Does 29 divide x?
False
Suppose -6*q - 91 = -523. Does 6 divide q?
True
Suppose 0 = g - 5*t - 171, -4*g - 3*t = -7*t - 764. Does 8 divide g?
False
Suppose -7*f = -3*f - 20. Let v = 53 - f. Is 7 a factor of v?
False
Suppose -2*k - d + 6 = -2*d, 0 = 2*d + 4. Suppose 195 = -5*y + 2*b + 850, -5*y - k*b = -635. Is y a multiple of 17?
False
Suppose b = -b + 5*y + 2741, -4*b = -2*y - 5474. Is 18 a factor of b?
True
Let h(a) = a**3 + 20*a**2 + 14*a - 27. Let z be (2 - 21)/(3/((-6)/(-2))). Is 17 a factor of h(z)?
True
Is 34/187 - (-4330)/22 a multiple of 39?
False
Suppose 13*u - 13 - 1677 = 0. Is 3 a factor of u?
False
Suppose 3042 - 26100 = -54*h. Is h a multiple of 5?
False
Is 543 - -7*12/42 a multiple of 5?
True
Let r(u) = -14*u + 1. Let j be (-2)/5 - (-16)/(-10). Is 3 a factor of r(j)?
False
Let h be 3/(3/2) + -2. Suppose -y = -3*q + 4*y + 41, -5*q - y + 31 = h. Is 0 + q + 1 + 1 a multiple of 5?
False
Does 3 divide -6 + (-12 - -8) + 70?
True
Suppose 5*r - 57 + 42 = 0. Suppose 4*a = r*q + 99, 3*q - 1 - 8 = 0. Is a a multiple of 19?
False
Suppose -2*l = 5*z - 432, 358 = 2*l - 3*z - 74. Is l even?
True
Let m = 26 + -21