18 a factor of c?
False
Let z = -39 + 44. Suppose 0 = z*a - 2*s - 35, 0*a + 5*a + 2*s = 15. Suppose 0 = 4*o - 3*o - b - 89, 307 = 3*o + a*b. Is o a multiple of 47?
True
Suppose 3*g - 29 = 4. Suppose -12*m - 73 - g = 0. Is 33 a factor of 36*(-2)/(8/m) + 3?
True
Suppose 28 = 2*c - p, -2*p = -c + 3 + 8. Is (-288)/c*(-135)/6 a multiple of 72?
True
Let c(q) = q**2 + 17*q - 18. Let n be c(-18). Let m(x) = -x**2 + 8. Let y be m(n). Is (180/y)/(4*6/160) a multiple of 15?
True
Let s(a) = -a**3 - 57*a**2 + 46*a + 207. Is s(-59) a multiple of 8?
False
Suppose -75*f = -241*f + 665465 + 1637785. Is 111 a factor of f?
True
Is 5 a factor of (276/(-299))/((-2)/5603)?
False
Let q = -451 + 748. Suppose -q = 8*x - 1425. Suppose -2*a = y - 42, -3*a = 3*y + 30 - x. Is y a multiple of 8?
True
Let d be (-2630)/(-4) - (468/(-24))/13. Let p = d - 166. Is 17 a factor of p?
True
Suppose 0 = -n + 9*n - 1072. Suppose -n = 6*r + 64. Is 12 a factor of 102/2*(-44)/r?
False
Let p = -6188 + 12404. Is 27 a factor of p?
False
Suppose 0 = 5*t + 2*h - 36, -5*h + 17 = t - 4. Suppose -t*p + 1849 = -317. Is p a multiple of 15?
False
Suppose -9*n + 2 = -7*n - 2*l, -2*l = -n + 4. Let z be 0/(3 - 4 - n). Suppose -4*u + 403 - 43 = z. Is 9 a factor of u?
True
Let z be -1 + 1 - 12*6/24. Is (130/z)/(-2 - 15/(-9)) a multiple of 10?
True
Suppose 0 = -v - z + 12, -z = v + 3*v - 42. Suppose 2*h - v = -4*j, 2*h + h - 7 = 2*j. Suppose h*r - 5 = 85. Is 6 a factor of r?
True
Let k(h) = 2*h + 8. Let m be k(15). Suppose 0 = -5*a + m - 13. Suppose a*v - 71 = -y, -4*v + 3*v = -3*y + 293. Does 16 divide y?
True
Suppose -j - 213 = -2*q - 0*j, 5*q - 510 = -5*j. Let n = -49 + q. Let t = n - 50. Is t a multiple of 5?
False
Suppose -44*k + 9 = -41*k. Suppose k*v + 1 = 7. Suppose -95 = -v*s + 7. Is s a multiple of 17?
True
Is 152 a factor of (-692654)/(-41) - (-9 + 16)?
False
Suppose -2*t - 3*j + 495 = 3*t, j = t - 107. Suppose 0 = -3*i + l - 4*l + t, 4*i - 136 = -3*l. Suppose 4*f = -i + 146. Is 6 a factor of f?
False
Suppose t = -11*q + 7831, 3*t - 4*q = q + 23455. Does 92 divide t?
True
Suppose -4*l = -c - 17, 76*c = 3*l + 78*c - 21. Suppose -r + 1815 = 4*r + l*p, 10 = -2*p. Is 23 a factor of r?
True
Let p(o) = -292*o**2 + 6*o - 4. Let n be p(-2). Let v = -638 - n. Is v a multiple of 21?
True
Let q(r) = -6*r - 33. Let h be q(-7). Let o(a) = a**2 - 8*a - 5. Let d be o(h). Suppose 132 = g - d*i, -g - 3*g + 495 = -5*i. Is g a multiple of 20?
True
Suppose -32*z - 1795376 = -205*z - 29*z. Is 101 a factor of z?
True
Let s(g) = 7*g**2 - 20*g - 774. Is 14 a factor of s(-52)?
True
Let r be (55 - (-1 - (-1 - 1))) + 0. Suppose r*f = 51*f + 9. Is 10 a factor of 55 - (-2 + (f - -1))?
False
Let h(t) = 8 + 8 + t + 14*t**2 - 7*t. Is 10 a factor of h(5)?
False
Let b(q) = -2*q**3 + 9*q**2 + 3*q - 2. Let y be b(4). Let d = y - 46. Is (d/(-50))/(2 - 58/30) a multiple of 6?
True
Suppose 3*k - 3833 = 4*v, -15*v + 2540 = 2*k - 10*v. Is k a multiple of 13?
False
Let h be (4 - (18 - 4)) + (2 - -1). Let z = 231 + h. Is z a multiple of 32?
True
Suppose -6*k - 19 = -31. Does 2 divide (15/3)/(207/(-105) + k)?
False
Let r(n) = -n**3 + 13*n**2 + 12*n + 33. Let w be r(14). Suppose 2*y + 86 = -j + w*j, 3*y + 3*j = -120. Let k = y - -105. Is k a multiple of 16?
True
Let a(n) = -15*n - 167. Suppose -32*w + 24*w - 224 = 0. Is a(w) a multiple of 11?
True
Suppose -21*w - 55 = 155. Is (-12)/(-96)*w - (-1402)/8 a multiple of 29?
True
Let s(i) = -37*i**3 - i. Suppose -7*g - 3 = 4. Let q be s(g). Suppose -o = y - q, -4*o = -2*o + 6. Does 9 divide y?
False
Let a(s) = s**3 + 46*s**2 + 31*s - 14. Does 78 divide a(-10)?
True
Let b = 212 + -202. Suppose -b*l = -2*l - 5040. Does 63 divide l?
True
Let d be -156*8/(160/(-15)). Let j be (d/(-6) + 3)*-14. Suppose 0 = -3*g + 3, -g + 30 = -2*a + j. Does 7 divide a?
False
Let h(i) = -i**2 + 3*i + 3. Let d be (1/(-5)*0)/(-3 - -1). Let l be h(d). Suppose -127 = -4*o - l*r, 13*r = 12*r - 3. Is 34 a factor of o?
True
Suppose -90*i = -93*i. Let z(m) = -2*m**2 - m + 52. Is 13 a factor of z(i)?
True
Let w(f) = 7*f + 2 - f + 3 + 2 + f**2. Let o be w(-3). Let t(g) = 20*g**2 - 5*g - 7. Is t(o) a multiple of 17?
False
Suppose -27*k = -8530 - 86589 - 18281. Is 100 a factor of k?
True
Let o be (-15)/(-12)*(0 - -4). Suppose -5*q = -2*r - 465, 2*r - 469 + 4 = -o*q. Suppose 5*g - q - 22 = 0. Is g a multiple of 5?
False
Let d = -1044 + 562. Let w = -290 - d. Is 6 a factor of w?
True
Suppose -1 = b + 2*u, -4*u = -0*b + 4*b + 20. Let i be (-284)/(-12) + (0 - 3/b). Let s = -8 + i. Is 4 a factor of s?
True
Suppose 217 = -7*l + 14*l. Suppose -l + 85 = 2*v. Suppose -5*g - 5*t = -285, 0 = g + 5*t - v - 18. Does 13 divide g?
False
Let r = 756 - 436. Is 15 a factor of (-9 - 135/(-18))*r/(-3)?
False
Suppose 68 = 16*z - 492. Is 4 + (-7)/(z/(-110)) a multiple of 3?
False
Suppose -3*c - 2*c - 5 = -4*q, 2*q - c - 7 = 0. Let z = 122 + -118. Suppose -5*j + 93 = q*h - 7*j, 2*h = z*j + 50. Does 3 divide h?
False
Let q be (-5 - (0 - 4))*-7. Suppose -p = 4*a - q, p = -p + 4*a + 2. Suppose 0 = -0*h - h + m + 21, -4*m + 63 = p*h. Does 7 divide h?
True
Let z = 316 - -88. Let d = 1348 - z. Is 58 a factor of d?
False
Let z(q) = 10*q + 1886. Is z(49) a multiple of 18?
True
Let c(y) = 29*y**2 + 53*y - 62. Is 19 a factor of c(-7)?
True
Suppose 0*m - 6 = -2*y - m, -5*y + 26 = -3*m. Suppose f - 5*c = 8 - 3, y*f = 4*c + 84. Let r = 176 + f. Is 18 a factor of r?
False
Suppose 0 = -4*c - 5*g + 291, -2*c - 2*c = -2*g - 298. Suppose -q - 4*i = -40, -c - 236 = -5*q + 2*i. Is q a multiple of 12?
True
Let s(h) = 2*h**2 + 4. Let d be s(-4). Suppose -l = -7*l + d. Let k = l + 62. Is 17 a factor of k?
True
Let q(i) = -113*i - 22. Let g be q(-3). Let n = g - 293. Is n a multiple of 8?
True
Let m(z) = 15*z + 92. Let u be m(-6). Suppose -u = n - 51. Is n a multiple of 6?
False
Let x(o) = 222*o**3 - o**2 + 9*o - 11. Does 5 divide x(2)?
False
Let z be -2*60*18/45. Is z/(-40) + (-4398)/(-10) a multiple of 27?
False
Suppose -220 = -4*o + 2*n, -5*o + 3*n + 2*n = -265. Let x = o - 61. Let i = 30 + x. Does 6 divide i?
False
Let b(z) = 6*z - 8. Let g be b(2). Suppose 5*d - 4*d + 15 = 5*s, g*s - 18 = 2*d. Suppose -3*x + s*m + 452 = -0*x, m - 588 = -4*x. Does 9 divide x?
False
Let t be (95/76)/(((-14)/120)/(-7)). Suppose 75 + t = 5*m. Suppose -28*b + m*b = 44. Does 10 divide b?
False
Let h(v) = 302*v + 12. Let s(p) = -p**2 - 8*p - 10. Let x be s(-8). Let a be h(x). Does 14 divide (-4)/(-6) + a/(-24)?
True
Let d = -518 + 2080. Let x = d + -691. Does 13 divide x?
True
Let f = 132 - 108. Suppose -f*w - 1928 = -32*w. Suppose -2*u + m = -w, 3*u - 4*m - 372 = m. Is 36 a factor of u?
False
Suppose -14022 = -4*h - 2*u, 10*u - 7*u = 9. Suppose 14*n - h = -2*n. Is 11 a factor of n?
False
Let s = -4092 + 7827. Is s a multiple of 143?
False
Let s = 7641 + -6735. Does 5 divide s?
False
Let t(j) = 18 + 4*j**3 + 27*j**2 + 18*j**2 - 3*j - 47*j**2 - 5*j. Does 7 divide t(3)?
True
Let x be ((-20)/6 - (1 - 5))*6. Suppose -x*g = -3*w + 254, -2*w = g + g - 188. Is 15 a factor of w?
True
Suppose 5*n - 12 - 28 = 0. Suppose c + c - n = 0. Suppose -c*g + 20 = -2*g. Is g a multiple of 7?
False
Suppose -3*p = p - 3*z + 24, -3*z = 0. Does 13 divide (-1)/(-12)*606 - p/4?
True
Suppose -90*o - 819 = 441. Let j(k) be the first derivative of -21*k**2/2 - 63*k - 1. Does 33 divide j(o)?
True
Let k = 393 + -389. Let l = 162 + 26. Suppose -2*y - 4*w = -72, w - 4*w - l = -k*y. Does 9 divide y?
False
Let n = 12 - 6. Let u be n/15 + (-92)/(-20). Suppose -u*m + 183 = 18. Does 18 divide m?
False
Suppose -119*t - 81077 = -445812. Does 2 divide t?
False
Is (2/(-4)*(-4 + 25135))/((-321)/214) a multiple of 191?
False
Suppose -2*h - h - 4*w + 20234 = 0, 0 = 5*h - w - 33731. Is 99 a factor of 10/4 - (h/(-4) + 6)?
True
Let k be -1 + (0 + -1)*-6. Suppose 0 = 5*v + g - 426, k*v + 3*g - 377 = 51. Suppose 26*j - 25*j - v = 0. Does 16 divide j?
False
Suppose -329*a + 238*a + 1183273 = 0. Does 30 divide a?
False
Suppose -2*v + n + 8 = 0, 4 = 2*v + 2*n - 4. Suppose -3*m + v*m = 123. Is m a multiple of 10?
False
Suppose 238*f - 241*f + 3008 = 20. Is f a multiple of 77?
False
Let p(s) = 4*s**3 - 5*s - 9. Let u be 65*(-7)/(-140) - (-6)/8. Does 28 divide p(u)?
False
Let o be 3/9 + (-1148)/(-12). Is 2*o/(-14)*-5*7 a multiple of 16?
True