373, -3*d - 83 = 4*p - 293. Is d even?
True
Suppose 2*c + 4 = -4. Let t(u) = -7 + 1 + 0*u - 3*u. Does 6 divide t(c)?
True
Let x(p) = 17*p**2 + 2*p + 30. Is x(-4) a multiple of 7?
True
Let i be (1 - 1/1) + 0. Let x(n) = -11*n - 10. Let c be x(-6). Suppose -7*v + i*v + c = 0. Is v a multiple of 3?
False
Does 4 divide (2*1)/(-15*14/(-33285))?
False
Suppose -p + 72 = 3*w, -5*w - 3*p = -2*w - 72. Is w a multiple of 19?
False
Let p be 1*(1 - -4 - 0). Suppose 2*g - 4*o - 108 = 0, -g = o - 2 - 55. Suppose p*b - 2*a = -0*b + g, 5*b - 62 = -a. Is b a multiple of 4?
True
Let u be 4/(16/(-12)) + 7. Suppose -4*l = 2*w - 274, -u*l + 5*w + 335 = l. Let k = -34 + l. Is k a multiple of 18?
False
Let q = -1072 - -3048. Is q a multiple of 52?
True
Let a(w) = -9*w - 78. Is 19 a factor of a(-21)?
False
Is 4036 - (80/(-24) + 3)*0 a multiple of 22?
False
Let u(l) = -2*l + 6. Let m be u(-7). Let a = 24 - m. Is 2 a factor of ((-4)/a)/((-2)/4)?
True
Suppose k + 3 = 0, -k - 451 = 5*i - 1538. Let w(y) = y**3 + 10*y**2 - 6*y + 18. Let x be w(-10). Suppose -i + x = -5*l. Does 14 divide l?
True
Suppose 31*f = 34*f. Suppose 2*g = f, 6*o - 4*o - 138 = g. Is o a multiple of 34?
False
Let j(q) = q**2 + 6*q - 7. Let f be j(-7). Suppose -5*n + f*n - 4*x = -12, 0 = -n - 2*x + 6. Is 6 a factor of 16/(-32)*(-26 - n)?
False
Let i be (3 - 1)*20/8. Suppose -i*w + 11*w = 660. Does 55 divide w?
True
Let l(n) = 66*n**2 - 3*n - 6. Does 35 divide l(-2)?
False
Let w(z) = z**3 + 28*z**2 - 69*z - 30. Does 12 divide w(-30)?
True
Suppose 592 = -4*o - 4*o. Let t = 137 + o. Does 17 divide t?
False
Let a = 51 - 47. Suppose -a*z = 10*z - 5768. Is z a multiple of 60?
False
Suppose 4*f = 5*a - 16, 7*f = 5*f - 8. Let l(h) = 7 - 2*h**3 - h + h**3 - h**2 + 2. Is 9 a factor of l(a)?
True
Let z(p) = -7*p**3 + p**2 + p - 1. Let v be z(2). Let o = v - -75. Does 12 divide o?
True
Does 9 divide (-2044)/42*(-1 - 8)?
False
Suppose -4*d = 2*j - 582, -5*d + 3*j + 721 = -j. Let w = d - 13. Is 22 a factor of w?
True
Suppose 3*i + 0*i = 3. Let b be (-7 + i)*1/(-2). Suppose -g + b*g + 5*s = 30, -4*s + 60 = 4*g. Is g a multiple of 5?
True
Suppose 5*h = 4*k + 49, -2*k = -2*h + 3*h - 7. Suppose h*f - 265 = 4*f. Is f a multiple of 13?
False
Suppose 4*z + 1220 = w, -4*z = -3*z - 5*w + 324. Is 38 a factor of (15/2)/5*z/(-6)?
True
Let c = -11 - -12. Let w be ((-21)/9)/(c/(-51)). Suppose -319 = -5*m - w. Is 9 a factor of m?
False
Suppose n + 4*p + p = 166, 3*n - 508 = -5*p. Is 16 a factor of n?
False
Suppose -476 = -7*a + 4809. Does 29 divide a?
False
Let i be -1 + (-7)/((-28)/(-80)). Let r be (9 + i)*2/(-4). Does 23 divide (-112)/(-36)*3*r?
False
Suppose 5*p = 15 + 5. Let m be (-131 - (0 - -11))*2/(-4). Suppose 0*g - 4*v = -2*g + 74, 3*g + p*v = m. Does 5 divide g?
False
Suppose -16770 = -12*q - q. Does 26 divide q?
False
Suppose -3*i + 0 = -15. Suppose -3*l + i*l + 14 = 0. Let n = 5 - l. Does 10 divide n?
False
Let w be 1214/16 + 12/96. Let y = -16 + w. Is 10 a factor of y?
True
Let t(p) = p**2 - 5*p - 4. Let z be t(6). Suppose 0 = -v - 5 + z. Let a(q) = -20*q - 5. Does 16 divide a(v)?
False
Let f = 139 - 89. Suppose 5*q = -10, -3*q = r - 16 - f. Is r a multiple of 6?
True
Let r be ((-1)/3)/(8/(-96)). Suppose -10 - 6 = -r*w. Is (44/(-4))/((-2)/w) a multiple of 11?
True
Let y be (-280)/6 - (-4)/6. Let p = 150 + -169. Let n = p - y. Is n a multiple of 9?
True
Is 34 a factor of (10388/16 - 3) + 2/(-8)?
True
Let n(s) = -6*s - 17. Let p(b) = b - 1. Let a(c) = -n(c) - 2*p(c). Is 11 a factor of a(8)?
False
Suppose 0 = -19*v + 14*v + 11050. Does 65 divide v?
True
Suppose 0 = w - 2*w - 45. Let a = -25 - w. Is a a multiple of 3?
False
Let t(j) = -10*j - 10. Let m be t(-7). Suppose -c + m = 9. Is c a multiple of 17?
True
Let p(r) = 37*r + 17. Does 6 divide p(5)?
False
Let n(a) = a**3 - 16*a + 44. Let t be (-24)/(-72) + (-22)/(-6). Is 4 a factor of n(t)?
True
Let k = 2 - 28. Let i be (-481)/k - 6/(-4). Suppose -10 - i = -a. Does 6 divide a?
True
Let x = 107 + -104. Suppose 4*g - 4*r = 168, -5*r - 16 = -x*g + 104. Is g a multiple of 30?
False
Is 17 a factor of 2/(-6) - (-8890)/30 - 1?
False
Suppose -8989 - 23311 = -38*c. Does 17 divide c?
True
Let y(z) = -96*z + 28. Does 11 divide y(-2)?
True
Suppose 5*z = 4*s - 82, -49 = -2*s + 3*z - 7. Let t(w) = w**2 - 9*w + 55. Is t(s) a multiple of 21?
False
Let d be (-11 - -12)*(40/1 - 2). Suppose -2*a - 292 = -2*c, -102 - d = -c - a. Is 25 a factor of c?
False
Let g(d) = -28*d**3 - 13*d**2 - 37*d - 56. Let x(r) = -7*r**3 - 3*r**2 - 9*r - 14. Let f(j) = -2*g(j) + 9*x(j). Is f(-3) a multiple of 19?
False
Let c(o) = o - 7. Let i be c(6). Let h be (-14)/(-4)*-2*i. Let y(f) = 5*f + 13. Is 28 a factor of y(h)?
False
Let r = 2050 - 1217. Does 7 divide r?
True
Suppose 5*n + 5 + 15 = 0. Does 7 divide -4 - n - -1 - -32?
False
Suppose 1 = -c - 15. Let x = c + 34. Is x a multiple of 18?
True
Suppose -4*c = -9 - 19. Suppose -c*q + 308 + 182 = 0. Suppose -5*x + 350 = q. Does 14 divide x?
True
Let j(y) = 3*y + 298. Is j(0) a multiple of 26?
False
Let z = -26 + 41. Let k = z + 27. Is 14 a factor of k?
True
Does 6 divide (291 - -102) + (4 - 2) + -4?
False
Does 20 divide 21/49 - 13985/(-35)?
True
Let v(f) = 2*f - 15. Let p be v(9). Is 10 a factor of (2 - (-10)/p)*12?
False
Suppose 0 = 4*s - 38 + 6. Let f(d) = 6*d + s*d - 1 - 4*d. Is f(2) a multiple of 7?
False
Let g(p) = 3*p**2 - 11*p + 20. Let b be g(5). Suppose 53*c + b = 57*c. Is 7 a factor of c?
False
Let x = -21 - -42. Suppose 5*m + 2 = 4*o + x, -m + 8 = -5*o. Is 3 a factor of o + (1 - (-7)/1)?
False
Does 6 divide 87/(-29) + -22*-1*2?
False
Suppose -5*t + 56 = 21. Suppose 3*i = 3*x - 3, 4*i - t*i + 32 = 4*x. Suppose -i*u + 45 = 4*p - 27, 4*u = 3*p + 79. Is u a multiple of 19?
True
Let z(y) = -3*y**2 - 5*y + 9. Let q(w) be the second derivative of w**4/12 - w**3/6 + 2*w. Let s(j) = 4*q(j) + z(j). Does 25 divide s(15)?
False
Let x(t) = t**3 + 10*t**2 - 4*t + 37. Does 6 divide x(-10)?
False
Let m = 20 - 22. Let u be -39 + 4 + (-1 - m). Is u/(-2) - (-3)/(-3) a multiple of 7?
False
Let m = 493 + -203. Is 7 a factor of m?
False
Let s = 359 - 58. Is 57 a factor of s?
False
Let t = -939 - -952. Does 6 divide t?
False
Suppose -3*m - 3*m = 0. Suppose m*y + 147 = 7*y. Is y a multiple of 2?
False
Suppose 2*w = 5*r - 2296, 4*r - 1986 = -w - 144. Is r a multiple of 10?
True
Suppose -6 = 3*y - 33. Let s(c) = 23*c - 39. Let v(b) = 11*b - 20. Let t(r) = -2*s(r) + 5*v(r). Is t(y) a multiple of 30?
False
Let g = 1128 - 123. Does 15 divide g?
True
Suppose 2*u = 16 - 12. Does 3 divide ((-78)/91)/(u/(-14))?
True
Is 1/1 + 0 + (40 - -24) a multiple of 5?
True
Suppose -3*n + p - 6*p = 5, 2*p + 3 = -n. Let i(v) be the second derivative of v**5/10 - 7*v**4/12 - v**3/6 + v**2 + 2*v. Is i(n) a multiple of 12?
True
Suppose -10*m = -7490 + 1910. Does 32 divide m?
False
Does 12 divide (-1644)/(-1*(-7 - 120/(-16)))?
True
Let j(v) = v**3 - 4*v**2 - 26*v + 35. Is j(10) a multiple of 15?
True
Suppose -3*x + 70 = -10*x. Does 10 divide ((-15)/x)/((-3)/(-66))?
False
Suppose -c - 5*l = 20, 2*c + 70 = c + 5*l. Let x = 120 - 134. Let h = x - c. Is 19 a factor of h?
False
Is 17 a factor of 34/(-4)*(3 - 4)*2?
True
Suppose 2*c - 72 + 14 = 0. Suppose m - c = -0*m + o, m = -o + 23. Suppose k - m = -2*w, 7*k - 2*k = 3*w + 169. Is 16 a factor of k?
True
Let x = 42 - 4. Let z = 41 + x. Is 17 a factor of z?
False
Let s(v) be the third derivative of v**6/180 + v**5/20 - v**4/2 - v**3/3 - 5*v**2. Let r(l) be the first derivative of s(l). Is r(-6) a multiple of 12?
True
Let g be -42*2/(-12)*-9. Let s be g/(-13) + (-14)/(-91). Suppose 25 + 140 = 2*d + 3*u, -5*u + 410 = s*d. Is 27 a factor of d?
True
Suppose 5 = 5*s + 5. Suppose 0 = 2*j + 5*b - 186, -2*j + b + 174 = -s*j. Is 13 a factor of j?
False
Let d(n) = 0 + 2*n - 29*n**3 - 2*n**2 + 31*n**3 - 1. Let p be d(1). Is 9 a factor of 12*(p + (-27)/(-12))?
False
Let t be (-3)/2*50/(-15). Suppose 0 = -t*s + 28 + 32. Is 4 + s/(-4) - -66 a multiple of 13?
False
Let s = 32 - 4. Suppose i = -25 + s. Is 2 a factor of i?
False
Suppose 3*s = -3*a + 10335, 6697 = 2*s - 4*a - 223. Does 61 divide s?
False
Suppose 3*p = 2*n - 0 + 15, -3 = -3*p - 2*n. Suppose 24 = -b + p*b. Is 6 a factor of (-6)/4*(-80)/b?
False
Let h = -34 - -49. Suppose 0 = g - h. Does 15 divide g?
True
Su