r of t?
True
Let l(u) = 4*u**2 - 7*u - 9. Suppose 0 = 4*j + j - 50. Suppose 2*p = -0*p - j. Does 14 divide l(p)?
True
Let n(v) = -4418*v - 65. Does 179 divide n(-2)?
True
Let m be 80/3*1692/470. Suppose -752 = -5*u + i, -5*i = -5*u + 3*u + 310. Let x = u - m. Does 27 divide x?
True
Let k(f) = 3*f**2 + 10 - f**3 - 4 - 11 + 6*f. Let l be k(4). Suppose 2*r - 409 = -3*q, q - 424 = -2*r + l*q. Is r a multiple of 11?
True
Let t be 2 - (-2744 + -2 + 2). Suppose -29*f = -1024 - t. Is 4 a factor of f?
False
Let k(z) = 40*z + 377. Is 3 a factor of k(9)?
False
Let s(d) = 49*d + 31. Let l be (9/72)/(2/16 + 0). Is s(l) a multiple of 5?
True
Suppose 14688 = 17*j + 3015 - 3287. Is j a multiple of 11?
True
Let p(y) = 488*y**2 - 29*y + 24. Is 14 a factor of p(6)?
False
Let s(f) = -957*f - 15. Is s(-1) a multiple of 2?
True
Let s(l) = 22358*l - 428. Does 51 divide s(1)?
True
Let l be 0/(8/10*(-5)/(-2)). Suppose l*i = 9*i - 45. Suppose 180 = i*h - 0*h. Is h a multiple of 18?
True
Let j be 84/(-8) - 35/14. Does 3 divide (j/2)/((-343)/168 + 2)?
True
Suppose -3*t - 47209 = -5*r, -r - 3*t - 4*t = -9457. Is 7 a factor of r?
True
Let w = 22467 - 45420. Is 90 a factor of (-3)/4 - w/28?
False
Suppose -b = 7*b - 6*b. Suppose b = 9*s - s - 8168. Is 44 a factor of s?
False
Let x be ((-2)/(-5)*-1)/(10/(-300)). Let g be ((-16)/12)/((-2)/x). Suppose -30 - 18 = -g*d. Is 2 a factor of d?
True
Is 192 a factor of -395*(-15 - 37) + (-8)/(0 - 2)?
True
Suppose 35337 = 11*g - 59043. Is g a multiple of 195?
True
Is 38 a factor of (9/18)/(-4 + 137046/34260)?
False
Let g = -71 + 75. Suppose -g*o - 4*h = -780, 2*h = -o - 0*h + 198. Suppose -o = -6*d + 2*d. Is d a multiple of 12?
True
Suppose 12*g + 86 = -10. Let b be 3 - g/(-2) - 80. Let v = b - -222. Is 24 a factor of v?
False
Is 52 a factor of (1 + 2503 + (-3)/(-3))*360/200?
False
Let m(l) = l + 17. Let j be m(-12). Is 9 a factor of 307 - ((j - 8) + -2)?
False
Let y(p) = 251*p - 378. Does 9 divide y(9)?
True
Suppose 360 = 3*v + v. Suppose 5*z = -2*u + v, z - 4*z + u = -43. Is 476/z + (-68)/(-16) + -4 even?
True
Let a = 95886 - 46718. Is 17 a factor of a?
False
Let p(c) = -c - 36. Let l(d) = -d. Let v = 127 + -128. Let m(s) = v*p(s) + 3*l(s). Does 14 divide m(-3)?
True
Let p = -2180 - -2504. Is p a multiple of 81?
True
Let x be (-4)/(-8) + (-5874)/(-12). Suppose -4*i - i + x = 0. Suppose w - i = -2*m + 6*w, m + 2*w = 40. Is 11 a factor of m?
True
Let u(f) be the first derivative of -f**3/3 - 12*f**2 - 59*f - 52. Does 3 divide u(-10)?
True
Suppose 0 = 25*a - 28*a + 6. Suppose -2*w - a*v = -3*w + 53, 3*w - 2*v = 179. Is 9 a factor of w?
True
Is 51 a factor of (-2)/8 - -1 - (14090744/(-32))/83?
False
Suppose 3*n - 13*q + 15*q - 1834 = 0, 4*n = -5*q + 2457. Is 12 a factor of n?
False
Let c(w) = -7*w**3 + 12*w**2 + 6*w + 4. Let f be c(7). Is -1*(-838)/19 + 186/f a multiple of 5?
False
Suppose 5*x + l - 28 = 0, 4*x - 13 = -x + 4*l. Let f(n) = 5*n**2 + 5. Let j(i) = 1. Let s(a) = f(a) - 10*j(a). Is s(x) a multiple of 10?
True
Suppose -17*h = -20*h - 756. Let y = h - -262. Does 10 divide y?
True
Suppose 1509 + 691 = 11*d. Is 50 a factor of d/6*6/4?
True
Suppose 5*t + 3 = -f + 4*f, -2*f - 5*t = -2. Let a be (430 - 7) + 1 + f. Suppose -5*m + 3*d = -d - 1037, a = 2*m - 5*d. Does 41 divide m?
True
Let l(h) = -18*h + 879. Is l(-6) a multiple of 5?
False
Let o = 37 + -28. Suppose 3*w = -a + 163, -4*w = -4*a - o*w + 659. Let h = -102 + a. Is h a multiple of 32?
True
Let i(p) = -p**3 - 3*p**2 + 15*p + 12. Let n be i(9). Let z = n + 2042. Suppose -4*j = d - 188, -5*d = 4*j - z + 213. Does 17 divide d?
True
Suppose 0*u = -2*u + 6. Suppose 6*d = u*d + 2*p + 1627, 2168 = 4*d - 4*p. Suppose -3*q + l = q - d, q - 150 = 5*l. Is q a multiple of 10?
False
Suppose 114911 + 230003 = 74*k. Does 59 divide k?
True
Let m(c) = c**2 - 5*c + 40. Let a(w) = 4*w - 1. Let h(q) = -6*a(q) - m(q). Does 25 divide h(-7)?
True
Let l be 1/((25/(-50055))/5). Let b be l/(-12) + (-3)/12. Suppose -5*g = -b + 189. Is 17 a factor of g?
False
Let x(s) = -104*s + 14. Let g be x(6). Let f = -549 - g. Does 26 divide f?
False
Suppose 35 = -21*v - 7. Is 101 a factor of v/(-7) + 3*(-23764)/(-84)?
False
Suppose 0 = 2*z + 3*z - 3*n + 17, 0 = 4*z - n + 15. Is ((-18)/z)/(171/39786) a multiple of 48?
False
Suppose -539 = -4*z - 135. Let h = z + -64. Suppose -b + h = -47. Is b a multiple of 12?
True
Is 6 a factor of 62412/63 + 8/(-12)?
True
Suppose -16*u = -42*u - 12*u + 114. Let o = 4 - 1. Suppose -2*s + u*w + 6 = -0*w, -16 = -o*s + w. Is 3 a factor of s?
True
Is ((-7)/(42/640))/((976/(-576))/61) a multiple of 96?
True
Suppose 3*k = -20*k + 46. Suppose 0 = 5*c + k*i - 534, 76 + 146 = 2*c + 5*i. Does 21 divide c?
False
Let k(z) = -2*z**3 + 20*z**2 + 24*z - 2. Does 9 divide k(-13)?
False
Suppose k + 102742 = 2*i, 3*i - k - 153288 = 821. Is i a multiple of 9?
False
Let t = -783 - -782. Let k(n) = -192*n - 51. Is 2 a factor of k(t)?
False
Let g(n) = -12*n + 50. Let v be g(4). Is (-6 - -48)*(1 - (-29)/v) a multiple of 20?
False
Suppose 0*s - 128 = 2*h - 2*s, s = 4. Let j = 113 + -220. Let v = h - j. Does 12 divide v?
False
Let h(t) be the first derivative of -7*t**2/2 + 11*t - 112. Is h(-11) a multiple of 11?
True
Suppose -3*v + v = -3*n + 1304, n - 428 = 4*v. Let r = -136 + n. Is r a multiple of 18?
False
Suppose 0 = -105*y - 185*y + 20457307 - 1889477. Is 11 a factor of y?
False
Suppose 5*j + 5*z - 121345 = 0, j - 4*j + 2*z + 72842 = 0. Is j a multiple of 84?
True
Let g(m) = -m**3 - 21*m**2 - 42*m - 87. Let d be g(-19). Is 93 a factor of 3346/4 + d/(-22)?
True
Let q be (5 + 7)/((45/6)/5). Suppose -q*z + 4*z = -708. Suppose 2*k - 395 = z. Is 13 a factor of k?
True
Let q(d) = 46 + 27 - 9*d - 4*d - d + 22. Is q(6) even?
False
Let m be 4/10 + (-506)/(-110). Let o(c) = 9*c - 12. Let f(v) = -v**2 + 10*v - 13. Let r(z) = -5*f(z) + 6*o(z). Does 38 divide r(m)?
False
Let u(f) = 2*f**2 - 14*f - 6. Let h(z) = 4*z + 12. Let o be h(10). Let b be o/(-6) - (-4)/(-12). Is 48 a factor of u(b)?
False
Let c = -8877 - -45259. Is c a multiple of 13?
False
Let y = 180 + -209. Let u = y + 46. Is u a multiple of 4?
False
Let n(r) = -208*r + 40. Let j be n(-2). Let a = -211 + j. Does 17 divide a?
False
Let h(q) = 8*q**3 - 10*q + 9. Let f be h(1). Let x(w) = 5*w**2 - 3*w - 35. Is 63 a factor of x(f)?
True
Suppose 4*d = -5*u - d + 15, -4*u + 36 = -4*d. Suppose u*s + 24 = 4*n + 3*s, 3*n + 3*s = -3. Is n*1*(4 - (-84)/18) a multiple of 3?
False
Let c be (3 + -2)/(3/(-12)). Suppose 2 = b - 6. Let m = b - c. Is 7 a factor of m?
False
Suppose -320864 = -15*v + v - 58350. Is v a multiple of 197?
False
Let i(a) = 0*a + 0*a**3 - a**3 - 21 - 8 + 2*a. Let u be i(0). Let t = u - -124. Does 20 divide t?
False
Let o(z) = -z**3 + 71*z**2 - 24*z - 312. Does 24 divide o(68)?
True
Suppose -4*x + 80 = -2*x. Is 691 - (4 - (x/5 - -1)) a multiple of 12?
True
Let y = -5004 - -6623. Does 21 divide y?
False
Let i = -109 + 125. Suppose -i*n + 13*n = -378. Does 9 divide n?
True
Let t(q) = q**3 + 8*q**2 - 5*q + 89. Let k be t(-8). Let l(o) = 75*o**3 + 1. Let p be l(-1). Let c = k + p. Is c a multiple of 21?
False
Let u be (-54)/8 - (-6)/(-24). Let x be (-3)/((-6)/21*12/8). Does 19 divide -1 - -20 - (x + u)?
True
Suppose 28*y - 5*r - 36 = 24*y, 4*y - 12 = -r. Suppose 0 = -3*f - 49*x + 51*x + 1505, -2*f - y*x = -998. Is 8 a factor of f?
False
Suppose 10*x = 20368 + 17072. Is 24 a factor of x?
True
Let f be (-2 + 2)/4 - 6/(-1). Let k(h) = -4 + 5*h**2 - 3*h + 1 + 1. Is k(f) a multiple of 32?
True
Is 3 a factor of 25412/44 + (-318)/583?
False
Suppose 136*y - 32632 = 252832. Is 114 a factor of y?
False
Let r = 957 + 1330. Does 20 divide r?
False
Let z = -3827 + 24527. Is z a multiple of 100?
True
Suppose 0 = 3*t + 14*p - 9*p - 13650, 4*t - 18192 = -4*p. Suppose n = -44*n + t. Does 20 divide n?
False
Suppose 4*d - 65 + 1 = 0. Suppose -212 = d*n - 20*n. Is n a multiple of 29?
False
Let v(o) = 85*o + 47. Let c be v(-3). Let m = -108 - c. Is 52 a factor of m?
False
Suppose -3*b = -2*b - 2. Let s be (1690/(-15) + b)*-18. Is 29 a factor of (-5)/25 - (s/(-10) + -2)?
False
Let u be (38/4 - -2) + 21/(-14). Is 1475/45 + u/45 a multiple of 8?
False
Suppose 4*u = 2*x + 3780, 5*x - 10 - 10 = 0. Does 33 divide u?
False
Let j(s) = -1943*s - 32. Does 21 divide j(-1)?
Tru