 s + j = -4*z, z - 2*s = 28. Is 4 a factor of z?
True
Let j(x) = 5*x + 7. Suppose -3 = -d + 4*o + 1, -3*d - 4*o + 44 = 0. Let t(y) = -y + 21. Let q be t(d). Is j(q) a multiple of 19?
False
Does 12 divide ((-44)/5 - -8)*-1115?
False
Suppose 0 = 13*r - 2682 + 550. Is r a multiple of 4?
True
Let q be (-13)/(-2) - (-10)/20. Let t(n) = n**3 - 6*n**2 + 4*n + 10. Does 29 divide t(q)?
True
Suppose 6*x + 3*w - 603 = 5*x, 2*w - 3002 = -5*x. Is 12 a factor of x?
True
Does 54 divide 2429 - (10 - (4 + 7))?
True
Suppose -3*k + 0*k + 441 = 0. Let r = k - 97. Is 28 a factor of r?
False
Suppose 80 = -3*l + 5*l. Suppose -10*h + 5*h = -l. Is 3 a factor of h?
False
Let m = -18 + -12. Does 24 divide ((-8)/(-3 - m/9))/(-1)?
True
Let z(a) = -a**3 + 5*a**2 + 8*a + 2. Let w be z(6). Let x = w - 12. Suppose -4*s + 5*d = -211, -d + 95 = x*s - 0*s. Does 13 divide s?
False
Suppose 0 = -4*j + 3 - 15, -2*b - j = 197. Let p = 207 + b. Suppose 5*n - 3*n = -3*v + 80, -3*n + p = 2*v. Does 17 divide n?
True
Let x = -152 - -1256. Suppose 65*b + x = 71*b. Is b a multiple of 23?
True
Let x = 12 - -6. Suppose g - 76 = -x. Suppose t - 2*t - 3*z = -7, 2*t - g = 5*z. Is 7 a factor of t?
False
Suppose 3*l - 122 = 2*h, -l = -5*h + 13 - 71. Does 3 divide l?
False
Let o = 982 + -737. Is o a multiple of 35?
True
Let t(q) = 4 - 3*q + 2*q - 5*q + 5. Is t(-12) a multiple of 9?
True
Let l(b) = -18*b. Let j be 1*4/12*-3. Is l(j) a multiple of 2?
True
Let v be 30/120 - 54/(-8). Suppose v*l - 11*l = -360. Is 15 a factor of l?
True
Suppose w = -5*c + 43 + 22, 2*c = w + 33. Let r = 140 - c. Does 42 divide r?
True
Suppose 2*q - 50 = -9*y + 4*y, 0 = -y + 5*q + 10. Is y a multiple of 4?
False
Suppose 77*j - 68*j = 4347. Is 23 a factor of j?
True
Suppose 0*u = u + 2*o - 18, -5*u - 2*o + 98 = 0. Does 10 divide u?
True
Suppose -4*x = -34 - 194. Let b = 90 - x. Is b a multiple of 11?
True
Let f(s) = s + 1. Suppose 0*o + 4*o = 0. Suppose -q + 3*q - 14 = o. Does 3 divide f(q)?
False
Let l(z) = -z**3 + 4*z**2 - 1. Let k be l(2). Does 4 divide 0/5 - -4*k?
True
Is (-8001)/84*(-16)/6 a multiple of 17?
False
Let s(j) = 5*j**2 + 2*j. Let d be s(-2). Suppose d = -x + 3*x. Let t = 16 - x. Is 5 a factor of t?
False
Suppose -5*r - 20 = 0, 0 = -5*s - 5*r + 229 - 699. Let d = s + 186. Does 32 divide d?
True
Suppose -6*l = -2*l + 120. Let o = 5 - l. Is 7 a factor of o?
True
Let v = 137 - 141. Is (-1964)/(-8) + 6/v a multiple of 20?
False
Let o(v) = 38*v - 20. Is 60 a factor of o(10)?
True
Suppose 3*z - 142 = -3*g + 4*z, g - 54 = -3*z. Suppose 5*f - 8 = -g. Does 4 divide ((-2)/5)/(f/80)?
True
Let k(x) = -x**3 + 2*x**2 - 16*x + 15. Does 15 divide k(-9)?
True
Suppose -9*t + 12*t = -5*p + 993, 2*t = -5*p + 657. Is t a multiple of 9?
False
Suppose -6*u - 12 = -42. Suppose 5*v - 4*b = 32, -2*v + 9 = u*b - 17. Suppose -v*q + 19 = -13. Is 3 a factor of q?
False
Let h = 34 - 3. Is (2/3)/(h/3441) a multiple of 4?
False
Suppose -179*u + 176*u + 9 = 0. Suppose -39 + 97 = j - u*l, -113 = -2*j + 3*l. Is j a multiple of 16?
False
Let b be (-16)/(-12)*(-6)/(-4). Suppose -b*x - x = 0, -x = 5*u - 975. Is 13 a factor of u?
True
Is 48 a factor of (33/(-9))/(9/(-4239))?
False
Let c = 2013 + -797. Is c a multiple of 14?
False
Let y(d) = -d**3 - 5*d**2 - 4*d - 1. Let w be y(-4). Let z = 2 - 1. Does 8 divide (-8 + -1)*z/w?
False
Does 17 divide (0 + -1)/((-4)/680)?
True
Let a(q) = 2*q - 9. Let f be a(6). Let w(o) = -2*o**3 - 8 + f*o**3 + 0*o**3 + 10*o**2 - 17*o. Does 27 divide w(-11)?
False
Let l = 781 + -271. Is l a multiple of 30?
True
Suppose -3*i + 3*c - 132 = 0, -2*c = -4*i - 215 + 47. Does 5 divide -2 + (-2 - -4 - i)?
True
Suppose 2*f + z - 3 - 10 = 0, 5*f - 2*z - 10 = 0. Suppose -f*y = y - 10. Is (-16)/(-3)*6/y a multiple of 8?
True
Let j(g) = -4*g**3 - 21*g**2 + 13*g + 17. Is j(-9) a multiple of 5?
True
Suppose -3*p + 310 = -5*a, -37*p - 312 = -40*p + 3*a. Is 13 a factor of p?
False
Let p(x) be the second derivative of x**5/20 - x**4/12 + x**3/6 + 3*x**2 + 2*x. Let i be p(0). Does 20 divide (1045/(-33))/((-2)/i)?
False
Suppose 34*a + 12024 - 36504 = 0. Is a a multiple of 6?
True
Suppose 25*j - 22*j = 15. Suppose -2*c = j*r - 459, 0*c + 108 = r - 5*c. Is r a multiple of 31?
True
Let k = 681 + -315. Is 6 a factor of k?
True
Let k be ((-3)/9)/(1/(-12)). Let n(q) = 4 + 0 + k*q**2 - 5*q**2 - 5*q + 4*q**2. Is n(3) a multiple of 9?
False
Let q(h) = -2*h**3 - 4*h**2 + 3*h + 4. Does 2 divide q(-4)?
True
Suppose 4*t + u - 703 = 0, -2*u - 3*u = 5. Does 16 divide t?
True
Suppose 399 + 152 = r - 2*f, f = 2. Does 37 divide r?
True
Suppose -2*n + 25 + 283 = 0. Let k = n + -93. Is 15 a factor of k?
False
Let y = 356 - -729. Is y a multiple of 31?
True
Let t(w) = w**3 - 5*w**2 + 5*w - 23. Let u be t(5). Suppose -4*p - 16 = 0, 3*a - 4*p - 366 = -u*a. Does 10 divide a?
True
Let m(b) = -b**2 - 27*b + 880. Is m(-40) a multiple of 30?
True
Suppose 0 = f - 5, 4*b - 2*b - 4*f = -200. Is 4 a factor of b/(0 + -3) - 2?
True
Suppose 11*u = 24*u + 286. Let a = 17 - u. Is a a multiple of 6?
False
Is (3 - -762)/(-5)*21/(-3) a multiple of 118?
False
Let i be -10*(-3 + (-15)/(-6)). Suppose -i*h + 20 - 5 = 0. Suppose -3*r + 4*d + 112 = -0*d, h*r = -d + 92. Is r a multiple of 9?
False
Let i = -26 - -36. Suppose l = -4*l + i. Suppose -5*u - 9 = -l*g, 5*u + 2 + 14 = 3*g. Is g a multiple of 4?
False
Let g(f) = 3*f**3 + 3*f**2 - 5*f + 5. Is g(5) a multiple of 21?
False
Suppose -p = -2*f - 500, 4*p - 2674 + 710 = -4*f. Is 13 a factor of p?
True
Suppose 8*a + 1800 = 5*h + 3*a, 1452 = 4*h - a. Is 26 a factor of h?
True
Is -34 + 35 - (1 - -3)*-1 a multiple of 4?
False
Suppose 11*r - 708 = -202. Suppose h = -4*y + r, 0 = 2*h - 2*y + y - 74. Is h a multiple of 8?
False
Suppose 526 = -3*s + 4*u, 0*u = -3*u + 12. Let x = -94 - s. Is 8 a factor of x?
False
Let x = 41 + 30. Suppose -s - s - 3*v = -x, -4*s + 149 = -v. Let p = s + -17. Does 5 divide p?
True
Suppose 0 = -3*m - p + 19, -4*m + 3*p = -2*p. Suppose -w + 5*q + 62 = 0, 2*q = m*w - 0*q - 402. Is w a multiple of 14?
False
Let b = 3 + -2. Let y = b - -4. Suppose 0*i + y*i - 435 = 0. Does 29 divide i?
True
Let m(o) = -6*o**3 - 3*o**2 - o - 3. Let s(n) = -n**3. Let h(i) = m(i) - 5*s(i). Let y be h(-3). Suppose y*l = 2*l - 54. Is l a multiple of 9?
True
Suppose u - 2*g + 165 = 0, 0 = -3*u + 4*u - g + 160. Suppose 3*i + 2*k = 677, 3*i - k = i + 449. Let y = u + i. Is 14 a factor of y?
True
Is 4 a factor of (-25)/((-200)/(-112))*(-105)/6?
False
Suppose 4 = 2*g, -2*q + 147 = -g - 91. Is q a multiple of 9?
False
Let o = 613 - -1. Is o a multiple of 26?
False
Let s be (-363)/4 + ((-57)/(-12) - 5). Let a = s - -151. Is 20 a factor of a?
True
Let i be -5 + 8 - (3/3 - -6). Suppose -4 = -o - 5, n - 2*o = 0. Does 11 divide 34/i*n*1?
False
Let l(d) = 224*d + 140. Is 63 a factor of l(5)?
True
Let g(n) = 44*n - 1. Is 7 a factor of g(1)?
False
Suppose -35*w + 454 = -33*w. Suppose 4*r = -4*s + 184, 5*r - 25 + w = 4*s. Is s a multiple of 4?
True
Let x be (-20)/40 - 10/(-4). Is 12 a factor of 28/7 + 4*x?
True
Let f = -16 - -20. Suppose -f*i - o = -198, -3*i - 102 = -5*i + o. Is 10 a factor of i?
True
Let r be (-2)/3 - (-1761)/9. Suppose -33*f + 30*f + r = 0. Does 10 divide f?
False
Does 4 divide ((-234)/(-36))/((-1)/(-24 - -2))?
False
Let f = -15 + 15. Suppose f = -b + 3*b. Is 6 a factor of 0 + b - (-46 + -1)?
False
Suppose -27*o + 6*o = -21420. Is 51 a factor of o?
True
Is 20 a factor of (4/(-5))/(90/(-254250))?
True
Let v(m) = -2*m + 6. Suppose l + 2*x - 10 = 0, -4*x + 24 = 3*l - 0*l. Let t = l + -9. Is v(t) a multiple of 11?
False
Suppose -5*a + 0*a = -20. Let l(s) = -s + 4 - 2 + 2*s**2 - a. Is l(-2) a multiple of 7?
False
Let g be 1557/12 + 4/16. Suppose p + 2*l = 2*p - g, l = -5*p + 595. Is p a multiple of 24?
True
Let q(i) = -i**2 + 26*i + 35. Let n be q(27). Suppose n*u - 722 = 1294. Is 36 a factor of u?
True
Let n(q) = q**2 + q. Let u be n(5). Let k be (-2)/7 + u/7. Suppose 0 = -v + 4*j + 28, 2*v - k*v + 83 = j. Does 9 divide v?
False
Suppose 5 = -o + 6. Is 12 a factor of (-2)/o*-1*(2 + 28)?
True
Let j = 5 - 3. Let z(i) = -10*i + 101. Let b be z(8). Is 8 a factor of b*j*3/6?
False
Suppose 3*w - 5*d - 1492 = 0, w - 9*d = -5*d + 488. Is 18 a factor of w?
True
Let g(l) = l**3 + 3*l**2 + 4*l + 14. Let j be g(-4). Let h be 4/(2 + (-15)/6). Is