 18 divide q?
True
Suppose -s - 4 = 2*q, 0*s + q = 3*s - 9. Let g = 6 - s. Does 9 divide g*-18*1/(-4)?
True
Let t(p) = -7*p + 4*p**2 + 14*p**2 + 2*p + 2. Suppose -2*d - 80 + 62 = 4*a, 3*a + 4*d = -26. Is 17 a factor of t(a)?
False
Let l(h) = -h**3 + 2*h**2 + h + 324. Let a(p) = -p**2 - 14*p - 24. Let d be a(-12). Is l(d) a multiple of 18?
True
Suppose -6*k + 0*k = -0*k. Suppose -7*b + 12*b = k. Suppose b = -0*p - 10*p + 400. Is 10 a factor of p?
True
Suppose -2*t - 3 = 5, 5*g + 2*t = 112. Suppose -623 = -g*b + 457. Is b a multiple of 6?
False
Let s be 2 + (3 - (9 + -6)). Suppose -3*p = 2*p - 20, -s*p = a - 129. Is 11 a factor of a?
True
Let j be 0 + (2 - 62) + 3 + -3. Let x = j - -125. Suppose 4*a + x = 9*a. Is 13 a factor of a?
True
Let p(r) = -r - 44. Let l be p(-47). Let v(c) = -c**2 - c. Let j be v(3). Let d = l - j. Is 13 a factor of d?
False
Suppose -46681*g + 46693*g = 206496. Is 9 a factor of g?
True
Suppose 0 = 291*m - 3484154 - 6334186. Is m a multiple of 20?
True
Let i be 112/(-24) + (-2)/6 - -2. Is (i*(-146)/(-12))/((-4)/24) a multiple of 4?
False
Suppose -4*w = -0*w - 12, -w - 9407 = -5*m. Is 17 a factor of m?
False
Suppose 3*v = -3*j - 9, 3*v = -0*v - 9. Let m be 2/(-1)*-47*1. Suppose j = -b - b + m. Is b a multiple of 9?
False
Suppose 17574 + 939 = 51*r. Suppose -r*v + 26730 = -345*v. Is 15 a factor of v?
True
Suppose -3*w + b + 49497 = 0, 4*w - 65949 = -9*b + 26*b. Is 55 a factor of w?
True
Let w be 8 + -5 + (1 + -1 - 3). Suppose y + h = w, -4*y = -h - 5 - 10. Suppose -5*o = 2*r - 121, -2*r - y*r + 2*o + 346 = 0. Is 17 a factor of r?
True
Suppose -4*q + 108 = 84, -5*q + 34350 = 4*v. Is 130 a factor of v?
True
Suppose -12*h = -14*h - 3*t + 4965, 5*h - t - 12387 = 0. Does 14 divide h?
True
Let g(p) = p**3 - 4*p**2 + 7. Let h be g(3). Let x be -7 - (-3)/((-3)/h). Is (-20)/3*54/x a multiple of 12?
True
Let v be (-10)/((-9)/((-45)/(-10))). Suppose -6*t + v*t = 31. Let y = -24 - t. Is y a multiple of 4?
False
Let o(g) = -185 + 3*g + 16*g + 57. Is o(14) a multiple of 46?
True
Let y(g) = -g**3 + 22*g**2 + g - 5. Let r be y(22). Suppose r*s - 14*s - 612 = 0. Is s a multiple of 7?
False
Let t = -16071 - -16637. Is 5 a factor of t?
False
Let a(x) = 83*x**3 - 12*x**2 + 20*x - 8. Is 54 a factor of a(2)?
True
Let d = 17 - 14. Let w be (-2)/d - 235/(-15) - -1. Suppose 2*h + w = 3*h. Is 3 a factor of h?
False
Let r = 399 + -402. Let f(k) = 100*k**2 + 5*k + 3. Is f(r) a multiple of 12?
True
Suppose 162*c - 4165388 - 1120510 = 0. Is 150 a factor of c?
False
Suppose -6*o + 15794 = 5*t - 3*o, -5*t + 15790 = 5*o. Is 79 a factor of t?
True
Suppose -2 - 10 = s - 5*c, -4*c = s - 15. Let a(t) = 24*t**3 + t**2 + 12*t - 9. Is a(s) a multiple of 13?
False
Suppose 0 = a + 4 - 4. Suppose 5*d - 5 = g, 0 = g + d - 1 - a. Suppose g = -2*q + 42 + 132. Does 5 divide q?
False
Let w(l) = 239*l**3 - l**2 - 26*l + 40. Is 8 a factor of w(4)?
True
Suppose 0 = 5*x + 4*z + 207, 11*z - 10*z = -3. Let b = 99 - 36. Let j = x + b. Is j a multiple of 6?
True
Let r be ((-1020)/18)/((-2)/3). Let b be 47 - 9/((-9)/(-2)). Let f = r - b. Is f a multiple of 7?
False
Suppose -5602 = -35*r + 33*r. Does 37 divide r?
False
Let y be (4/(-10))/(2 + 3022/(-1510)). Let t = 505 - y. Is 8 a factor of t?
False
Let d = -28 - -23. Let q = 30 + d. Let g = q + 32. Is g a multiple of 24?
False
Suppose 21 = 3*m + 4*m. Suppose 15 = 2*c - m*n, 3*c - n - 12 = -0*n. Suppose c*k - 7*k = -300. Does 31 divide k?
False
Suppose -28*n + 33115 + 70933 = 0. Suppose -5*u = m - n, -2*m + 2059 + 165 = 3*u. Does 41 divide u?
False
Let z = -151 - -165. Suppose -z*i + 12 = -11*i. Suppose 5*y = b - 4*b + 217, -3*b + i*y = -199. Does 40 divide b?
False
Suppose -102*u - 108 = -103*u. Suppose -3*f - u + 525 = 0. Is f a multiple of 13?
False
Suppose 15*l + 3845 = 5*y + 10*l, -5*l = -20. Suppose -2*w + 3*p = -y + 140, 2*p - 608 = -2*w. Is 24 a factor of w?
False
Let r(q) be the first derivative of -q**3/3 + 14*q**2 - 43*q - 29. Does 34 divide r(12)?
False
Let p be ((-4)/26 + (-67)/(-13))/1. Suppose 31 = 4*q - p. Let s = q - -5. Is s a multiple of 3?
False
Let i(o) = 395*o**3 - 9*o**2 + 9*o + 6. Let z(b) = 198*b**3 - 4*b**2 + 4*b + 3. Let q(u) = 3*i(u) - 7*z(u). Does 20 divide q(-1)?
True
Let j = 3 - 20. Let a be j/(-4) - 1/4. Suppose a*f = s - 42, 4*s - f - 308 = -80. Is s a multiple of 18?
False
Let v(m) = 311*m**2 + 14*m - 12. Is 45 a factor of v(-3)?
True
Let f(j) = 7*j**3 + 7*j**2 - 5*j + 96. Does 135 divide f(13)?
False
Let m = 75 - 69. Suppose -9*w + m*w + 690 = 0. Is 46 a factor of w?
True
Suppose 373870 = 34*l + 3*l + 12*l. Is 7 a factor of l?
True
Is 11 + 0 - 13988/(-13) a multiple of 13?
False
Suppose 0 = -3*z - 5*u + 275, 0*z - 5*z = 2*u - 452. Let i = 64 - z. Does 17 divide (i/4)/(-1*(-1)/(-12))?
False
Let w(u) = 11*u + 105. Let h be w(-6). Suppose -h*i = -27*i - 612. Does 3 divide i?
True
Is 15/(-2)*-1084*(-506)/(-110) a multiple of 23?
True
Let n(j) = -2*j**2 + 9*j - 5 - j**2 - 5 + 2*j**2. Let v be n(15). Is (-470)/(-3) + v/(-75) a multiple of 49?
False
Let f(n) = 4*n + 36. Let m be f(15). Let r = m + -92. Does 6 divide (2/r)/(1/72)?
True
Is (-18695)/(-15) - (-44)/(-132) a multiple of 178?
True
Suppose 4*b - 30715 = -2995. Is (-1)/(1 - 0)*b/(-21) a multiple of 5?
True
Let r be (-6*(-3)/72)/(1/8). Is 4 a factor of 4354/91 + r/13?
True
Let s be 3682/(-49)*-7*1. Suppose -3*b - 2*o + s = 0, -523 = -b - 2*b - 5*o. Is 22 a factor of b?
True
Let f(n) = -5*n - 11. Let w be f(5). Let g = 44 + w. Suppose -o - 16 = -g*m + 5*m, 4 = -4*o. Is 2 a factor of m?
False
Let g(k) = k**2 - k + 119. Let u(s) = s**2 - s + 120. Let n(q) = 4*g(q) - 3*u(q). Let r be n(0). Suppose -18*x + r = -14*x. Does 22 divide x?
False
Let c(l) = 16*l**2 - 12*l + 17. Suppose -2*n = 3*g + 2*g - 24, 5*g - 26 = -3*n. Does 15 divide c(g)?
True
Let y(z) = -2*z**2 + z - 9. Let v be y(-4). Let f be 1006/(-10) + 18/v. Let a = 184 + f. Is 12 a factor of a?
False
Suppose 2770*r - 411560 = 2730*r. Is r a multiple of 18?
False
Let r = -2745 + 8281. Is 29 a factor of r?
False
Let h(r) = r**2 + 13*r - 338. Let f be h(-26). Suppose f - 990 = -5*k. Does 10 divide k?
False
Suppose 2*n - 5*a = -2 + 14, 5*n - 2*a = 72. Let m(r) = 0*r + 4*r + 7*r + 0 + n. Does 23 divide m(9)?
True
Suppose -6*f = 2*w - 5*f - 14989, 5*w + 3*f - 37470 = 0. Does 119 divide w?
True
Let w(r) = 5*r**3 - 3*r**2 - 144*r + 1319. Is w(9) a multiple of 28?
False
Suppose l = -x - 5, 5*x + 3*l = -15 - 8. Is 31 a factor of 526 - ((-22)/18 + x/(-18))?
True
Let y = 171 - -54. Suppose 3*n - 147 = y. Suppose n = 3*p + 46. Is p a multiple of 3?
False
Let z = 7 + 0. Does 14 divide (1073 + 8 - z)/(3/2)?
False
Suppose -6*w + 2*s + 23 = -5*w, 5*w - 55 = -5*s. Suppose -w*l + 11*l - 28 = 0. Let k = 37 + l. Does 5 divide k?
True
Let s = 5 - 13. Let z(k) = 29*k + 320. Does 7 divide z(s)?
False
Let p be 0 - (0 + 9/(-3)) - 1. Suppose -p*v + 596 + 142 = 0. Let a = -177 + v. Does 48 divide a?
True
Let d(q) be the second derivative of -q**5/20 + q**4/6 - 2*q**3/3 - 5*q**2/2 + 22*q. Let k be d(3). Does 21 divide -3246*1/k + 4/26?
False
Let a be 4/5 + -33*3/(-45). Suppose -3*f - 40 = 3*b - 10, 5*b = a*f + 30. Is 5 a factor of 88/12*(-15)/f?
False
Let u = 52 - 188. Let h = 219 + u. Suppose -w + 0*w = -h. Is w a multiple of 17?
False
Suppose 2*z + 8 = 0, 11*z + 44 = -4*a + 8*z. Does 41 divide ((-24)/a - -307)/1?
False
Suppose -110*v = -143*v + 572220. Is 51 a factor of v?
True
Let p be 0/2 + 4 + -2. Suppose p*z + 18 = 8*z. Suppose -6*s = -2*s + 2*f - 110, z*f = -5*s + 136. Does 8 divide s?
False
Let g = -615 + 616. Does 10 divide 898 - g - (-4 + 1 + 0)?
True
Let l(h) = 2*h**3 + 10*h**2 + 2*h + 16. Let q be l(-5). Suppose 0*d - q*d = -2364. Is 17 a factor of d?
False
Let d(u) = 2*u**2 - 148*u + 830. Is d(73) a multiple of 32?
False
Let b be 4/(-22) + (-17)/(1683/(-72486)). Suppose b = 14*m - 780. Does 3 divide m?
True
Suppose -12 = 9*w - 5*w. Let z be (2/((-24)/(-18)))/(w/(-376)). Suppose j - 2*j = -z. Does 22 divide j?
False
Let l(q) = 33*q**3 - 5*q**2 + 2*q + 4. Let n be l(2). Let c = n - 51. Does 41 divide c?
False
Let h = -268 + 268. Let y(j) = j**3 - 3*j**2 - 2*j + 72. Is 6 a factor of y(h)?
True
Let x be (6 + -1)/(12/48). Let s = x + 50. Suppose -4*r = -2*r - s. Is r a multiple of 7?
True
Suppose 806*w - 808*