a multiple of 10?
False
Suppose -3*z = -a - 11, -2*z = 3*z - 3*a - 21. Suppose -11 = -z*k + 4. Suppose k*l + 8 = 78. Is l a multiple of 14?
True
Let y(f) be the second derivative of -f**5/20 + 29*f**4/12 - 7*f**3 - 127*f**2/2 + 79*f - 3. Is 97 a factor of y(25)?
False
Suppose -27*j + 6*j + 82*j - 40626 = 0. Is j a multiple of 116?
False
Let v be (-69310)/(-55) + ((-6)/11)/3. Suppose -10*i + v = -5*i. Does 10 divide i?
False
Suppose -71*v + 65749 + 71849 = 0. Is 102 a factor of v?
True
Suppose -y + d = 3*y + 14, 3*d + 10 = -y. Let w(v) = -v**3 - 4*v**2 - 4*v + 20. Is w(y) a multiple of 3?
True
Let r(x) = x. Let b(a) = -a**2 + 2*a + 5. Let o(w) = -b(w) + 3*r(w). Let s(d) = -11*d**2 + d + 2. Let c be s(-1). Is o(c) a multiple of 19?
False
Let s(l) = -561*l - 19584. Does 13 divide s(-94)?
True
Let p = -70 + 127. Suppose 0*b = -2*b - 2*h - 86, 0 = 5*h - 10. Let k = p + b. Does 5 divide k?
False
Suppose 2*b = 0, a + 4*b + 3 = 2*b. Let x be (1/(-3))/(3*a/54). Does 13 divide (174/9 - x)/(3/9)?
True
Is 12 a factor of (-88011)/495*5/((-2)/2)?
False
Let r(b) = -b**3 - 11*b**2 + 13*b + 16. Let p be r(-12). Suppose -35 = 9*y - p*y. Let x(m) = 4*m + 50. Is x(y) a multiple of 4?
False
Let p(j) be the first derivative of 8*j**3/3 - j**2 - 20*j - 213. Does 16 divide p(6)?
True
Suppose -4*t = -20, -2*q + 1068 = t - 14431. Is q a multiple of 10?
False
Suppose 350 - 90 = 4*a. Is 75/125*(0 + a) - -3 even?
True
Suppose 3*b + 2 = 6*b + 2*g, -12 = -5*b + g. Let v be ((-9)/b)/(3/(-28)). Suppose -47*p + 85 = -v*p. Is p a multiple of 17?
True
Let a = -1244 + 2245. Suppose 0 = -u + 14*u - a. Let t = u + -32. Is 15 a factor of t?
True
Let h(z) = -11*z**2 + z - 2. Let j be h(2). Let m = j - -60. Is m/(-2 + 3 + 1) even?
True
Is 4 a factor of 136/102 - (-2067)/(7/((-28)/(-9)))?
True
Suppose -26*g - 24282 = 7*g - 51*g. Is g a multiple of 5?
False
Let a(b) be the first derivative of -b**2/2 + 12*b + 2. Let h = -3075 - -3071. Does 4 divide a(h)?
True
Let n(u) = 3147*u**2 - 262*u + 533. Is n(2) a multiple of 11?
False
Suppose 0*b = -2*b - 4*r + 48, 2*b - 36 = -r. Suppose -b*a = -18*a + 28. Suppose -3*x = -1 - a. Is 5 a factor of x?
True
Suppose -x + 2*x - 49 = 0. Suppose 0 = -4*f + 4*z + 76, 2*f - x = -3*z + 14. Let s = f + -16. Is s even?
True
Let i be (3 + -2)*(-1 + 1 + 88). Let m = 93 - i. Suppose 30 = -2*q + 3*q + 3*c, 0 = -m*q + c + 214. Does 21 divide q?
True
Does 6 divide (11529/6)/((-243)/(-324))?
True
Does 5 divide (135/(-5) + 12)*-1*452?
True
Let l(g) = -g**3 - 2*g**2. Let n be l(0). Suppose n = z - 10 - 25. Is 21/z + (-2451)/(-15) a multiple of 23?
False
Let d = -614 - -674. Suppose 2*y + 2*y - 1504 = 5*a, a + 4*y = -320. Does 16 divide a/(-5) + (-48)/d?
False
Let v = -107160 + 159777. Is 262 a factor of v?
False
Does 8 divide (2 - 2) + (6/4)/((-31)/(-37200))?
True
Let i be 6*(1 - 8/16). Suppose -i*x - 5*u + 733 = 0, 5*u - 208 = 3*x - 981. Does 23 divide x?
False
Suppose l + 0 = -4. Let n(r) = -r**3 - 5*r**2 - 7*r - 8. Let t be n(l). Is 9/18 - (-166)/t a multiple of 8?
False
Suppose -2*o + 66 = -2*j, -4*j - 97 = o - 4*o. Let y = o + -26. Suppose -3*k = -3*w + 141, 7*w - y*w + 4*k = -92. Is 24 a factor of w?
True
Let x(v) = -64*v**2 + v + 4. Let k be x(2). Let p = 333 + k. Is 12 a factor of p?
False
Let i = 42 + -42. Suppose i*p = n + 5*p - 207, 4*p - 396 = -2*n. Does 16 divide n?
True
Let u(w) be the second derivative of w**5/20 - w**4 + 5*w**3 - 11*w**2 - 22*w. Is u(14) a multiple of 37?
False
Suppose 178*x + 1357211 = 3*x + 8408661. Does 13 divide x?
False
Suppose -1392 = 32*x - 20*x. Let z = x + 157. Is 5 a factor of z?
False
Is (33440/(-228))/(2/(-69)) a multiple of 71?
False
Suppose h - 4*a + 13 = 3, 5*a - 19 = -2*h. Let m be 5 + -9 - -2*h - -95. Suppose -m = -5*g + 4*g. Does 15 divide g?
False
Suppose -5*p + 123494 = -2*q, -5*p - 1542*q = -1545*q - 123491. Does 76 divide p?
True
Let j(m) = -2*m + 28. Let w be j(14). Suppose -7*t + w*t = -28. Suppose 2*y - 5*s = 94, 5*y - 41 = t*s + 194. Is 4 a factor of y?
False
Suppose 0 = t + d + 136, 2*d = -3*d - 20. Let h = 165 - t. Is h a multiple of 33?
True
Suppose -2*x = -81 - 533. Let m be 9 - (-4)/10*-290. Let y = x + m. Is y a multiple of 13?
False
Let t(i) = -45*i**3 - 34*i**2 - 459*i + 7. Is t(-10) a multiple of 29?
True
Suppose 0 = z - 4*a + 14, -5*a = 11*z - 6*z - 30. Is 46 a factor of (-28*46/(-2))/z?
True
Suppose 7 = -3*m + 22. Suppose 0 = -h - m*p - 17, 0*p = 5*h - 4*p - 2. Does 9 divide (0 - -1)/(h/(-108))?
True
Suppose -25 = -4*t - 5*a, 0*t + 5*t + 10 = 2*a. Let u be t + 0 - (-482)/2. Suppose 3*w + w - 3*f - u = 0, 2*w + 5*f - 127 = 0. Is 5 a factor of w?
False
Let a(p) = 770*p + 989. Does 17 divide a(9)?
False
Let c(p) = -35*p**2 + 33*p + 33. Let x(i) = -17*i**2 + 16*i + 16. Let g(u) = 4*c(u) - 9*x(u). Let y be g(6). Suppose 0 = 6*z - y - 192. Does 15 divide z?
False
Let y be 3/2*320/30. Let u(x) = 24 + 9 + y*x - 3 - 15*x. Does 11 divide u(14)?
True
Let c = 2200 - 1070. Let v = -795 + c. Is v a multiple of 71?
False
Suppose 4*w = -3*a - 5297, 5*w = 5*a + 1857 + 6948. Let h = -647 - a. Is 18 a factor of h?
True
Suppose -73*n = 3*g - 78*n - 27172, -n = 2. Is g a multiple of 5?
False
Is (-119807)/184*-4*3/((-3)/(-2)) a multiple of 9?
False
Let k(l) = -19*l + 21. Let y be k(-5). Suppose -y*w + 180 = -111*w. Is w a multiple of 12?
True
Let b(w) = -w + 36. Let h(c) = c + 34. Let m be h(-24). Is b(m) a multiple of 3?
False
Let c(d) = 43*d + 6551. Does 12 divide c(0)?
False
Let y = -14628 - -22774. Is y a multiple of 41?
False
Let u(q) = -387*q + 927. Is u(-5) a multiple of 10?
False
Let q(x) = 28*x - 1. Let g be -22*(36/8 + -3). Let u = 37 + g. Is 13 a factor of q(u)?
False
Let l(x) = -402*x + 153. Is 15 a factor of l(-1)?
True
Suppose 21*f + 26543 = 32*f. Is 19 a factor of f?
True
Let n(a) = 2*a**3 + 4*a**2 + 3*a - 5. Let j be n(-4). Let w = -49 - j. Let d = -30 + w. Is 2 a factor of d?
True
Suppose 236*m - 14 = 238*m, 0 = -2*n + 3*m + 2727. Is 3 a factor of n?
True
Suppose -5*z + 14484 - 45059 = 0. Is 25 a factor of (-6)/(-21) - z/35?
True
Let s(c) = c**3 + 3*c**2 - 4*c + 6. Let y be s(-4). Let v(n) = 9*n**2 - n + 9*n + n**2 - y*n. Is v(-2) a multiple of 3?
True
Suppose 3*r = r + 23*r - 16044. Is r a multiple of 19?
False
Suppose 2628 + 4440 = 3*c. Is 38 a factor of c?
True
Suppose 3*v - 37*o + 35*o - 482 = 0, 4*o = -4. Does 3 divide v?
False
Let b(t) = -2*t**3 + 2*t**2 + 2*t - 2. Let k be b(-1). Suppose -35*p + 3506 + 344 = k. Is p a multiple of 7?
False
Suppose -15 = 5*d, -35*r + 3*d = -33*r + 1. Let u(z) = -7*z**3 - z**2 - 4. Does 47 divide u(r)?
True
Let o be (-2 - (-2 + 2))*(-4)/(-8). Let r be -3*1 - (2 - (73 + o)). Let l = r + -55. Is l a multiple of 2?
True
Let v be (54/81)/(2/6). Let c be ((-36)/27)/(v/24). Let j = 133 + c. Is 13 a factor of j?
True
Let o = -62 - -147. Let d = 94 - o. Does 4 divide d?
False
Let z = -3184 - -6066. Is z a multiple of 17?
False
Let m(u) = -4*u - 65. Let k be m(-10). Let f = k + 389. Is 28 a factor of f?
True
Let d = 76 - 64. Suppose -d*w = -9*w - 18. Suppose -h = -w*h - 3*t + 84, t = 3. Is 15 a factor of h?
True
Let k(o) = -o**3 + 21*o**2 - 2*o + 42. Let a be k(21). Suppose -3*g + 2 + 1 = 5*c, a = c + g - 1. Is (c - (-102 - 1)) + 0 a multiple of 7?
False
Let q(u) = -u**3 + 38*u**2 - 130*u + 98. Does 7 divide q(33)?
True
Suppose 7 = 22*g - 21*g. Let y be (-27375)/(-35) - 1/g. Is 6 a factor of (-5)/(-6) + y/12?
True
Let s be 2/(((-72)/9)/(-8640)). Does 4 divide (s/135)/(2 - (-2 + 2))?
True
Suppose 2*j = -v + 79, -3*v = -5*v - 2*j + 154. Let f = 153 - v. Does 18 divide f?
False
Let i(n) = -n. Let j(o) = 27*o**2 + 3*o + 4. Let k(q) = -2*i(q) + j(q). Let u be (-3836)/(-274) - (-2 + 18). Is 6 a factor of k(u)?
True
Suppose 4*z - j + 164 = 5*z, -3*j = -z + 156. Suppose 5*l + 2*r = z, 5*l + 4*r - 182 = 7*r. Is 9 a factor of l?
False
Let w(g) be the third derivative of g**5/20 - 19*g**4/24 + 23*g**3/6 + 21*g**2. Let n(k) = k**2 - k + 1. Let v(p) = 2*n(p) - w(p). Is v(15) a multiple of 7?
False
Suppose 0 = 17*z - 83 - 121. Does 16 divide z/15 + (-5)/((-50)/8152)?
True
Suppose -1725 = -3*j + 5784. Is j a multiple of 4?
False
Suppose -159*k = -167*k + 217040. Does 53 divide k?
False
Suppose 12 = 4*c - 4, 0 = -4*w + 4*c + 3372. Is 7 a factor of w?
True
Suppose -17 = r + 4*i, 2*r + 4