ide l(s)?
False
Is 24 a factor of (-10)/100*-1 - 389/(-10)?
False
Let o be (7 - 6)/(-2 + (-5)/(-2)). Suppose -5*z = -j + 107, j - 3*z = 103 + o. Is 17 a factor of j?
True
Does 17 divide 30/(-6) + 1384 + -4?
False
Let i(g) = -16 - 15 + 21 - 3*g. Let a be i(-8). Let y = 67 + a. Is y a multiple of 24?
False
Let h = 48 - 22. Suppose 0 = -k + 9 + h. Is 15 a factor of k?
False
Suppose 3*n = -4*a + 1077, -2*a + 11*n - 9*n = -556. Is 13 a factor of a?
True
Let x(l) = l**3 + 5*l**2 - 7*l - 4. Let h be x(-6). Suppose h*t = 19 + 7. Suppose -12*b + t*b = 39. Does 33 divide b?
False
Does 44 divide (132/(-10))/((-12)/640)?
True
Let o(l) = -l**3 + l**2 + 2. Let s be o(0). Suppose -3*y - s*x = -4*y + 8, -4 = -3*y - 4*x. Suppose b + 1 = -5*m, -4*b - y*m + 64 = -m. Is b a multiple of 6?
False
Let t(f) = 0*f**2 + f**3 - 4 + f**3 - 5*f**2 - 7*f + 1. Let o be t(7). Suppose -4*w - 97 = -o. Is w a multiple of 12?
False
Let s be 48/(-3) + (1 - 3). Let n be 2/s - 28/(-9). Suppose -n*x + 130 = 2*x. Is 4 a factor of x?
False
Let k = -26 - -39. Let p(t) = 21 - 2*t + 5*t - t - 15. Is p(k) a multiple of 15?
False
Let x(l) = -l + 0 + 8 + 3 + 1. Is x(-20) a multiple of 8?
True
Suppose 0*z = 3*z - 5*s - 1, -z + s = -3. Let r(a) = a**3 - 8*a**2 + 9*a + 8. Is r(z) a multiple of 22?
True
Let w(o) = 2*o**2 - 12*o - 98. Is 23 a factor of w(17)?
True
Suppose -9*p + 12*p - 1347 = 0. Is p a multiple of 5?
False
Suppose -3*s - 3*v + 11 = -31, -2*v + 58 = 4*s. Does 11 divide s?
False
Let h = -21 + 34. Is (-13)/h - (0 - 73) a multiple of 12?
True
Let t(b) = 637*b**3 - 2*b**2 + b. Let w be t(1). Suppose 3*z + u - w = 0, z + 2*u + 212 = 2*z. Let q = z - 134. Is q a multiple of 13?
True
Suppose 24 = 4*b - 8*b. Let t(l) = -3*l + 9. Does 9 divide t(b)?
True
Let y(w) = 21*w**2 + 12*w + 36. Is y(-6) a multiple of 6?
True
Let u = -18 + 22. Suppose -j - 2*j - 2*o + 110 = 0, 2*o + 156 = u*j. Is 19 a factor of j?
True
Suppose -4*v + 5*d = -1052, d - 6*d = -3*v + 784. Is 9 a factor of v?
False
Let g = -319 - -413. Does 3 divide g?
False
Let o(w) = -4*w - 6. Let r be o(-3). Suppose -196 = -r*k + 8. Does 34 divide k?
True
Let u(q) = 4*q - 49. Let o be u(0). Let r = o + 122. Is 17 a factor of r?
False
Let d(n) be the second derivative of -n**6/720 + 3*n**5/10 - n**4/4 - 5*n. Let h(l) be the third derivative of d(l). Is h(0) a multiple of 12?
True
Let j(f) = f**2 - f - 1. Let k(c) = -3*c**2 - 7*c - 4. Let b(y) = 5*j(y) - k(y). Let h be b(1). Let q = h + 40. Is 13 a factor of q?
False
Suppose -2 + 6 = f - 3*u, -3*f - 5*u - 16 = 0. Let n(w) = -9*w**2 - 3*w - 3. Let p be n(f). Is (-105)/p - (-6)/(-33) even?
False
Suppose -4*c - 23*k = -28*k - 645, -2*k - 475 = -3*c. Is c a multiple of 31?
True
Let p be (-18)/54 - 13/(-3). Suppose 2*c = -p*i + 200, 4*i = 4*c - 91 - 261. Does 12 divide c?
False
Suppose 0 = -88*b + 51*b + 25641. Is 5 a factor of b?
False
Let y = 1990 + -1364. Let x = -98 + y. Suppose 5*o + 3*h - h - x = 0, 5*o = 5*h + 500. Is o a multiple of 14?
False
Suppose -3*n + 5*a - 5 + 0 = 0, -3 = -3*a. Suppose -5*h + 175 - 30 = n. Suppose 5*x - 25 = 0, -2*x - h = -2*r - 3*x. Is r a multiple of 6?
True
Let r be (14 - -4)/(1 - 2). Let t = 46 + r. Suppose 5*s + 5*i = 7 + t, i - 4 = 0. Is 3 a factor of s?
True
Suppose f - 2*a - 78 = 0, 4*a + 378 = -5*f + 10*f. Does 3 divide f?
False
Let k(b) = 2*b**2 + 7*b - 6. Let q be k(-6). Let j = q - -78. Is j a multiple of 13?
False
Let o be ((-4)/(-10))/(6/30). Suppose -2*q - 5*z + 4 = 0, 0*z + 3*z = 5*q - 72. Suppose a = -o*a + q. Is a a multiple of 2?
True
Suppose -w - 89 = -4*g, -4*w + 0*g - 2*g - 374 = 0. Let a = 115 + w. Is a a multiple of 5?
False
Let f(i) = -i**3 + 13*i**2 - 23*i + 21. Let r be f(11). Suppose -r = 4*m - 78. Is 8 a factor of m?
False
Let v be ((-56)/6)/(6/(-63)). Does 3 divide (-56)/v + (-10)/7 - -55?
False
Let y = -246 - -532. Is y a multiple of 13?
True
Let n = -525 - -1039. Does 13 divide n?
False
Let p be (-9)/(-2 - 1) + -59. Let b = -8 - p. Does 48 divide b?
True
Let c(r) = 10*r**2 + 54*r + 14. Does 14 divide c(-7)?
True
Suppose 38*h = 35*h + 6. Does 14 divide 1 + h - -75 - -1?
False
Suppose -1322 = -9*s + 3808. Is 15 a factor of s?
True
Let f(b) = -3*b - 28. Let w be f(-12). Does 9 divide (-38)/(-4)*w + 4?
False
Suppose i = 5*i + 124. Let g = 36 + i. Is 4 a factor of g?
False
Suppose -3*b + 2*b = -5*y - 15, 0 = -4*y - 3*b - 31. Is 29 a factor of 26 + 5 + y/2?
True
Suppose -1460 + 3700 = 8*w. Does 7 divide w?
True
Suppose -s - 8 = -0*s. Let i(h) = -h**2 - 8*h + h - 12 - 3*h. Does 3 divide i(s)?
False
Let x = -119 - -60. Let j = x + 97. Is 18 a factor of j?
False
Suppose -j + 3*n = 2*j - 1203, 0 = -3*j + 5*n + 1193. Is 29 a factor of j?
True
Let d(p) = 3*p - 9. Let r be d(5). Suppose -4*m - 62 = -r*h + 3*h, m - 5*h + 7 = 0. Let t(k) = -k + 22. Is t(m) a multiple of 20?
False
Let c(q) = 11*q**2 + 2*q - 1. Suppose 4*a - 11 = -7. Is 3 a factor of c(a)?
True
Let v(b) = 224*b**2 - 5*b + 6. Is v(1) a multiple of 8?
False
Is (1740/(-8))/((-6)/40) a multiple of 38?
False
Let d = 41 - 26. Suppose -w + 3*x - 7*x = 0, d = -5*x. Does 3 divide w?
True
Let d be (12/(-5))/((-4)/(-20)). Let r = 62 + d. Is r a multiple of 10?
True
Suppose 0 = -3*v, 2*h - 20 = -3*v + 5*v. Suppose -54 = 7*q - h*q. Is 13 a factor of q?
False
Let s(d) = -d**3 - 19*d**2 - 21*d - 21. Suppose 22*r - 144 = 30*r. Is 6 a factor of s(r)?
False
Is 28 a factor of (-11)/(4/(-474)*(-3)/(-4))?
False
Let z(o) = 2*o**2 + 6*o - 2. Let y be (-28)/8*6/3. Is z(y) a multiple of 18?
True
Let y be -3 - (0 - 2*-1). Let i(q) = 2*q + 1. Let k(g) = -3*g - 1. Let x(p) = -5*i(p) - 2*k(p). Is x(y) a multiple of 17?
True
Suppose -9*j + 4*j + 240 = 0. Let x be 2/3*(-30)/(-4). Suppose t - j = x*i, -4*t + 2*i + 60 = -3*t. Is 20 a factor of t?
False
Let o(g) = -5*g - 65. Let l be o(-19). Let b = -12 + l. Is 5 a factor of b?
False
Let l = 120 + -186. Let n be 112/11 - (-12)/l. Is (-16)/3*(-15)/n a multiple of 8?
True
Does 7 divide 37560/56 + (-6 - (-88)/14)?
False
Is 25 a factor of 70/175 - ((-593)/5 + -1)?
False
Let q = 75 - 38. Suppose z + 0*z = q. Does 9 divide z?
False
Suppose -11 = 2*t + 13. Is 27 a factor of (-1240)/t - 2/6?
False
Let n(l) = 3*l - 4. Let c be -12 - (-3)/9*0. Let s = c + 17. Does 11 divide n(s)?
True
Suppose 0 = 4*p + 4*j - 4640, 824 = p - 2*j - 321. Does 12 divide p?
False
Suppose -8*k = -10*k + 14. Suppose 4*h + 65 = 5*y, k*y = 5*y - 3*h + 3. Is y a multiple of 2?
False
Let h(m) = 2*m**2 - 2*m**3 + 3*m**3 + 3*m**2 + 9*m + 5 - 8*m. Let i be h(-6). Let l = 93 + i. Is 28 a factor of l?
True
Let g = -157 - -285. Does 28 divide g?
False
Suppose 5*v - 16 = 2*k, -k = v - 4*k - 11. Suppose -2*c + 86 = 4*s, -4*s + v*c - 9 = -107. Is 23 a factor of s?
True
Let a(w) = 2*w**2 - 9*w. Let o(q) = -6*q**2 + 28*q. Let y(j) = 8*a(j) + 3*o(j). Let v be y(10). Let f = v + 137. Does 19 divide f?
True
Let w = -131 + 196. Is 13 a factor of w?
True
Suppose -5*w = -7*w + 12. Suppose -w*m + 233 = -5*m. Suppose -5*v = -5*a + 225, a - 6*a + 3*v = -m. Is a a multiple of 26?
False
Let s(u) = -u**2 + 18*u + 12. Let o be s(18). Is 195 - 3/o*0 a multiple of 15?
True
Does 11 divide -7 - -94 - (-5 + -1)?
False
Let x(s) = 4*s - 3. Suppose h - 5*a + 170 = 5*h, 0 = -4*h - 3*a + 166. Suppose 0 = 3*n + 2*n - h. Does 29 divide x(n)?
True
Suppose 19 = z - 4*x - 4, 2*z = 5*x + 52. Let k = -22 - -26. Suppose z = t - k. Does 16 divide t?
False
Let r be 27 - 1 - (-1 - 2). Suppose -r = 6*n + 277. Let q = n - -93. Is 7 a factor of q?
True
Let k(t) = t**3 - 17*t**2 + 16*t + 3. Let a be k(16). Suppose a*l = 5*y - 1111, -3*y - 5*l - 881 = -7*y. Is 33 a factor of y?
False
Let d = 826 + -476. Is 18 a factor of d?
False
Let a = 560 + -318. Is a a multiple of 7?
False
Suppose -1 = 9*r - 37. Suppose 60 = r*p - 12. Does 9 divide p?
True
Let a(o) be the third derivative of o**5/20 - o**4/8 - 2*o**3/3 + o**2. Let n be a(-2). Suppose -34 - n = -3*v. Is v a multiple of 16?
True
Suppose q - 2*g - 708 - 60 = 0, 0 = 4*q + g - 3072. Is q a multiple of 64?
True
Suppose -3*o + 7*p + 1214 = 2*p, o - 2*p - 404 = 0. Is 35 a factor of o?
False
Let f(s) = 2*s**2 - 34*s + 3. Let x be f(17). Suppose -x*b = -2*l + 196, 294 = 3*l - 5*b + 2*b. Is 16 a factor of l?
False
Let z(m) = 23*m**2 - 2*m + 3. Suppose -3*w + 5 = 2*w. Is z(w) a multiple of 4?
True
Le