alse
Let i(y) = -225*y - 70. Let g(b) = 32*b + 10. Let p(m) = -20*g(m) - 3*i(m). Let t be p(-4). Is 13 a factor of t/4*(-16)/10?
True
Suppose 19*y - 29*y = -1190. Is 7 a factor of y?
True
Suppose -9579 = -3*z - 1419. Is 16 a factor of z?
True
Suppose -12 = -3*g - g + 5*s, -12 = -4*g - s. Suppose 624 = 5*c + 2*b, g*c - 467 = -3*b - 98. Does 14 divide c?
True
Suppose 185 = 2*g - g. Suppose g - 626 = -7*j. Is 10 a factor of j?
False
Let t be ((-60)/75)/(1/(-115)). Suppose -x + t = x. Is x a multiple of 12?
False
Suppose -3*n + 4*x = -4*n + 12, -6 = -2*n + x. Suppose -134 = -n*d + 38. Is d a multiple of 43?
True
Let d be 0 + -50 - (-3)/(-1). Let z = d - -102. Does 5 divide z?
False
Let f = 393 + -171. Let i = f + -149. Is i a multiple of 30?
False
Let b(w) = -224*w - 351. Is b(-12) a multiple of 37?
False
Suppose v + 60 = -u, 3*v + 86 = -u - 94. Let y = -108 - v. Let w = -8 - y. Does 19 divide w?
False
Let k(o) = o**2 - 4*o - 1. Suppose 32 = 5*j - 3. Let r be k(j). Suppose -i - i + r = 0. Is 10 a factor of i?
True
Let l = -50 - -622. Is 29 a factor of l?
False
Let m(x) = 5*x**2 - 4 + 2*x**2 + 5*x**2 - 4*x**2 + 4*x. Is m(4) a multiple of 7?
True
Let t(o) = 3003*o**2 + 11*o - 6. Does 15 divide t(1)?
False
Suppose -4*d = 3*t - 1933, -6*t + t + 1458 = 3*d. Is 13 a factor of d?
True
Let i be (18/5)/3*-90. Suppose 0 = -2*x + 275 + 151. Let t = i + x. Is 21 a factor of t?
True
Suppose 13 = n + 6. Let i = n - -1. Suppose 34 = 2*h + q + 4, -i = 4*q. Is 4 a factor of h?
True
Let b be 88/(4 + -6 + 3). Suppose 232 = 4*g + b. Is (2/(-3))/((-2)/g) a multiple of 7?
False
Is 4 a factor of 706/6 - (-210)/(-126)?
True
Let h = 9 + 12. Let v be h/35 + 206/(-10). Let t = 37 + v. Does 15 divide t?
False
Let i(a) = a**2 - 24*a - 19. Is i(-8) a multiple of 10?
False
Let p be 3*((-40)/6)/(-5). Let u be p/18 + 1436/18. Suppose 2*y - 4*y = -u. Is y a multiple of 9?
False
Let g(w) = w - 19. Let n(s) = -s + 10. Let u(j) = 3*g(j) + 5*n(j). Suppose -8*m = 67 + 5. Does 10 divide u(m)?
False
Suppose 0 = -i + 1 + 4, 2*q = 5*i + 473. Let l = q + -133. Suppose -r + l = 5*x, 4*r + 88 = 3*x - 0*x. Is 8 a factor of x?
True
Suppose -26*l + 4539 + 18237 = 0. Is 3 a factor of l?
True
Let u = 46 + -107. Let b = 113 + u. Is b a multiple of 13?
True
Let v be ((-4)/(-6))/(7/42). Suppose 0 = u + q - 4*q - 37, -3*u - v*q + 111 = 0. Is u a multiple of 7?
False
Suppose 2*l - 2*u = -72, 7*l + 3*u = 4*l - 108. Let p = 47 + l. Is p a multiple of 4?
False
Let r be 8/(-12)*6*2. Let g be (-3)/(-12) + 50/r. Is 12 a factor of 1/(-3) + (-134)/g?
False
Suppose -5*c = 5*s - 100, -s - 2*c = 2*s - 57. Let b = -13 + s. Suppose 9 = -b*n + 289. Does 14 divide n?
True
Is -28*4/(-16) + 122 a multiple of 8?
False
Suppose -q + 5 = 2*s - 13, -3*q - 5*s = -50. Suppose -10 - q = -5*l. Is 15 a factor of (70/((-8)/l))/(-1)?
False
Suppose 1308 = 2*c + 396. Is 47 a factor of c?
False
Let v(u) = 4*u**3 - u. Let y be v(1). Suppose 2*l = 3*l - y. Is l a multiple of 3?
True
Let o(c) = c**3 - 2 + 16 - 15*c + 0*c**3 + 2 + 10*c**2. Is o(-11) a multiple of 12?
True
Suppose 3*a + 9*a = 4428. Does 14 divide a?
False
Suppose 0 = 28*o - 19*o - 4752. Is o a multiple of 33?
True
Let q(w) be the second derivative of -w**5/20 + 13*w**4/12 + w**3/6 - 15*w**2/2 - w. Let j be q(13). Does 5 divide 15/(j*(-3)/16)?
True
Let r be (-133)/4 - 36/48. Let a = -36 - r. Is 15 a factor of -4*235/20*a?
False
Let c be 238/(-10) + 2/(-10). Let p be 4/c + 579/18. Let q = 6 + p. Is 8 a factor of q?
False
Suppose -8*j + 4 = -7*j. Let o(a) = 2*a**2 - 3*a - 5. Is o(j) even?
False
Let m = -32 - -37. Suppose -3*a = -5*y + 896, -a + 33 - 305 = m*y. Does 16 divide a/10*80/(-32)?
False
Suppose -61*j = -47*j - 3766. Is 12 a factor of j?
False
Let i(q) = 3*q**3 + q**2 - 1. Suppose 0*w = 2*w - 2. Let x be i(w). Suppose 0 = -2*o - 0*o - 8, x = 3*p + 3*o. Does 5 divide p?
True
Suppose 0 = 9*j - 5*j - 12. Is 34 a factor of 64 + (1 + j - 0)?
True
Suppose 5220 - 1860 = 16*w. Does 35 divide w?
True
Let j(g) = -24*g**3 - 13*g**2 - 49*g - 6. Does 16 divide j(-3)?
True
Suppose 4*p - 3*f + 8*f - 1357 = 0, 3*f = 2*p - 673. Is 7 a factor of p?
False
Let c(m) = 2*m - 16. Let v be (-2)/(-3) - (-148)/12. Let h be c(v). Suppose -5*y = -h, 0*y + y - 52 = -5*w. Is 10 a factor of w?
True
Let s(y) be the second derivative of -11*y**3/6 - 15*y**2 + 8*y + 2. Is s(-16) a multiple of 25?
False
Let g = -11 + 13. Suppose -g*i = -i. Suppose -2*r + 56 = -i*r. Is 14 a factor of r?
True
Let x = 4215 + -2469. Is 9 a factor of x?
True
Let v = -75 - -145. Let f = v - -206. Is f a multiple of 32?
False
Let i(q) = q**2 + 11*q + 5. Let h be i(5). Suppose 0*k + 5*k = h. Is 5 a factor of k?
False
Let t = 1 + -2. Let w(d) = 75*d**3 - 2*d**2 - d - 1. Let f(m) = -149*m**3 + 3*m**2 + 2*m + 2. Let y(k) = 3*f(k) + 5*w(k). Does 15 divide y(t)?
False
Let a(n) = -3*n**2 + 5*n**2 - n + 3*n**3 + 1 + 0*n**2 - 4*n**2. Let i be a(2). Let b = i - -9. Is 6 a factor of b?
True
Let g = -252 - -2668. Is 16 a factor of g?
True
Let j be (0 + -1)*-23*-1. Let n be 2/(-17) + 1480/(-136). Let y = n - j. Does 7 divide y?
False
Let n(b) = 3*b + 0*b**3 - 3*b**2 + 4 - 6*b**2 - b**3 - 9*b. Does 43 divide n(-9)?
False
Let l = -33 - -39. Suppose 0 = -3*b + 5*i + 4, -b = -4*i - 0 - l. Is ((-57)/(-2))/(-3)*b a multiple of 19?
True
Let g = 46 - 41. Suppose 0 = -4*x + g*c + 225, -c - 117 = 2*x - 4*x. Is x a multiple of 6?
True
Let b(k) = 2*k - 18. Let r(i) = i - 1. Let s(q) = b(q) - 6*r(q). Is 4 a factor of s(-10)?
True
Let n = -1565 - -2582. Is n a multiple of 23?
False
Does 25 divide (-940)/376*3/((-30)/8816)?
False
Let j(d) = d**3 - 4*d**2 - d + 2. Suppose 4*n = 2*g - 34, -10 = -5*g - 5*n - 0*n. Let s be j(g). Let w = -90 + s. Is 26 a factor of w?
True
Suppose 12*j - 9*j = 12. Suppose -l = -0*i + i - 113, 2*l = j*i - 458. Is i a multiple of 17?
False
Let m(k) = -5*k - 4. Let u = -14 + 13. Let q be (14/(-35))/(u/(-10)). Does 7 divide m(q)?
False
Let m = 28 + -28. Suppose w + 4 + 15 = 3*u, -w - 3*u + 11 = m. Is w/(-22) - (-3354)/66 a multiple of 19?
False
Let l(o) = -30*o**2 + o - 2. Let z be l(2). Let q be 1/(6 - 4052/676). Let b = q + z. Is 7 a factor of b?
True
Let t = 1277 - 895. Is 35 a factor of t?
False
Suppose -2*y + h = -0*y - 12, -2*h = -3*y + 20. Let m = y - 10. Is 21 a factor of m/(-4) - 159/(-6)?
False
Suppose 0 = 2*z - 212 - 126. Is 19 a factor of z?
False
Suppose 0 = 11*l - 13*l - 304. Let i = -103 - l. Is 11 a factor of i?
False
Let c = -167 + 258. Does 9 divide c?
False
Let s = -14 - -19. Suppose -k + s*k - 452 = 0. Is 27 a factor of k?
False
Suppose 5*h + 4*z = -18, 3*z = 2*h + 2*z + 2. Let d be (-4)/18 + h/(-9). Suppose -r - 4*r - 4*g + 28 = d, -2*r = -g - 19. Does 4 divide r?
True
Let f(s) be the first derivative of s**3 - s**2/2 - s - 2. Let k(y) be the first derivative of f(y). Does 13 divide k(3)?
False
Let m be (6/3)/((-10)/5). Let f(c) = -98*c + 1. Let d be f(m). Suppose -9*r + d = -6*r. Is r a multiple of 7?
False
Let i(n) = -10*n. Let y be i(-1). Let g = 33 - -27. Suppose 5*m - y = g. Is m a multiple of 7?
True
Let s(a) = a**3 - 12*a**2 + a - 14. Let m be s(12). Let b be (-8 - m)/(6/(-4)). Suppose -3 = b*p - 43. Is 8 a factor of p?
False
Is 6 a factor of (-7)/(-8) + -1 - 118625/(-200)?
False
Let a(w) = w**3 - w**2 - 2*w. Let y be a(0). Suppose 3*s = 2*i - y*i + 83, 3*i = -3. Does 4 divide s?
False
Suppose -2784 = -7*p - 488. Is 30 a factor of p?
False
Suppose 0 = -6*n + 4*n + 36. Suppose -n = -z - a + 7, 4*a - 8 = 0. Does 6 divide z?
False
Let o be 2/(-2)*12/12. Is ((-12)/8)/(o/6) a multiple of 9?
True
Suppose -y + 0 + 4 = 0. Let d be (-1)/(1/y*2). Does 2 divide d/(-6)*(14 + 1)?
False
Let o be 3 - 3/(3/2). Is 12 a factor of 32/(6/12*o)?
False
Let h(q) = -q**3 - q**2 + 34. Let t(x) = 2*x + 4. Let f be t(-2). Let b be h(f). Suppose -5*n - 165 = -5*s, -5*n + b = 5*s - 91. Is s a multiple of 10?
False
Suppose 0 = -5*o - 4*z + 186, 0*o + o - 5*z = 14. Suppose -o*b + 31*b = -111. Does 7 divide b?
False
Suppose -4*p + 568 = -4*o - 0*o, -2*o - 143 = -p. Let v = 308 - p. Is 17 a factor of v?
False
Let d(g) = g**3 - 3*g**2 + 9*g + 1. Let k be d(8). Let b be 1/3 - k/(-9). Suppose m = -5*f - 2, b = 3*m - m - 2*f. Does 18 divide m?
True
Suppose -7*h = 5*m - 2*h + 320, -5*h = 2*m + 134. Let y be 18/(-42) - m/14. Suppose y