Is p a multiple of 34?
True
Let g(d) = 22*d + 2359. Is g(-70) a multiple of 7?
True
Suppose 19*w - 15*w - 8 = 0. Does 23 divide 2926/8 + w/8?
False
Suppose -9*j + 63023 = -15187. Is 188 a factor of j?
False
Let k = 6161 - 2690. Does 14 divide k?
False
Let t be (-638)/(-12) + -1 + (-14)/84. Suppose -3*y = i - 100, -2*i + 5*i = -y + 340. Let q = i + t. Does 27 divide q?
False
Suppose 2*n - 420 = -4*a, -4*a = n + 3*n - 832. Let o = 326 - n. Let p = -44 + o. Does 16 divide p?
False
Let n(w) = -9*w - 208. Let b be n(-22). Is (3 - (-6 - b))*-29*16 a multiple of 28?
False
Let j be (3/((-90)/(-11436)))/(2/(-20)). Is j/(-18) - 4/(-54)*3 a multiple of 20?
False
Suppose 12*t - 8*t = g - 15644, -5*t = -20. Does 42 divide g?
False
Let c be 5/25 + (-2)/10. Suppose -l - l + 12 = c. Is 6 a factor of 2 + -4 + 4 + l + 1?
False
Let y = -157 - -108. Let b be -7 - -11 - 3*-51. Is 16 a factor of (y + 46)*(b/(-3) + -1)?
True
Suppose 7*v + 180 = 25*v. Let s = -105 - -345. Suppose -20*d + v*d = -s. Does 6 divide d?
True
Let m be 9007/(-11) + 0 - (-172)/(-946). Let d = -764 - m. Is 3 a factor of d?
False
Let u(k) = 5*k**3 - 2*k**2 + 2*k + 4. Let m be u(-2). Let g = m + 52. Suppose 5*n - g*b + 2*b - 194 = 0, -4*n - b + 150 = 0. Does 33 divide n?
False
Suppose 2*m + 2 = 3*r + 3*m, -4*m = -8. Suppose d + 7 = t - 0*t, r = -t - 4*d + 17. Suppose 3*o - 2*v + t = 49, -2*v + 30 = 4*o. Is 5 a factor of o?
True
Let a be (-1 - (-6819)/9)*30/25. Suppose -a = -7*s + 737. Let y = -139 + s. Is y a multiple of 16?
True
Let p = -27727 + 37438. Is p even?
False
Suppose 129*s + 7540 = 139*s. Does 4 divide s?
False
Does 73 divide 14718/7*(-2975)/(-850)?
False
Suppose 17*x + 415 - 7122 = 5227. Does 6 divide x?
True
Let j be 1 - ((-17484)/4 + -6). Suppose 29*n - 18*n = j. Does 15 divide n?
False
Let r(k) = -k**3 - 9*k**2 + 7*k + 9. Suppose 0 = -5*w - 5*o + 55, 4 = 2*o - 6. Suppose -3*h - 24 - w = 0. Is 3 a factor of r(h)?
True
Let i = -2458 + 3785. Does 14 divide i?
False
Suppose 4*q - 40 = 5*v, -9*q + 17 = -3*v - 8*q. Does 6 divide 50/v*(0 + (-32)/5)?
False
Let g(u) = -347*u + 9011. Is g(14) a multiple of 2?
False
Let s(m) = -m**2 + 16*m + 31. Let q be s(16). Suppose -12*l + 1161 + 1035 = 0. Let x = l - q. Does 19 divide x?
True
Let q be 3232/3 - (-22)/(-66). Suppose -5*c - v + q = 0, 204 = c + v + 3*v. Does 17 divide c?
False
Let g(r) = -2*r**2 + 8*r - 1. Let f(o) = -o**2 + 1. Let j(q) = -4*f(q) + g(q). Let m(h) = -4*h + 2. Let s be m(2). Is j(s) a multiple of 9?
False
Does 18 divide (-483333)/(-37) + 24/(-444)?
False
Let p(t) = -41*t + 13. Let l = -49 - -44. Let d be p(l). Suppose 0 = 2*f - d - 86. Does 19 divide f?
True
Let p be 6 - (-72)/(-6) - -339. Suppose -89 = -w + 5*n + 100, -2*w + n + p = 0. Is 26 a factor of w?
False
Let j be (2/(-3))/(8/492) - 2. Suppose -5*c = -9*c - 260. Let b = j - c. Is 6 a factor of b?
False
Does 6 divide (-619 - -599)/(10/(-2248))?
False
Let f(j) = j**3 - 5*j**2 + 6*j - 1. Let p be f(4). Let c be -18*(-12)/18 - 6. Suppose c*o - p*o + 40 = 0. Is 15 a factor of o?
False
Let m = 217 - 122. Let f = -4 - -10. Suppose -f*j + m = q - 3*j, 0 = 4*q + 5*j - 352. Does 23 divide q?
False
Let x = 228 + -90. Let b = x + -94. Let p = b + -38. Is 3 a factor of p?
True
Let r = -4538 + 11268. Is r a multiple of 136?
False
Suppose -3*r + 12 = 3*r. Let g be 9/12*(r + (-2 - 8)). Is 40/g*-6*6/24 a multiple of 3?
False
Suppose 2*s + 5*q - 1082 = 0, 0 = -5*s - 31*q + 35*q + 2738. Suppose -12*n = -2646 - s. Is 3 a factor of n?
False
Let f be (-2)/(-7) + (-427)/(-49). Suppose -3*x = 33 - f. Let g = 17 - x. Does 25 divide g?
True
Let h(i) = -6 + 9 - 3 - 10*i + 9*i**2 - i**3 + 16. Let c be h(8). Suppose 24*z - 21*z - 153 = c. Is 13 a factor of z?
False
Let b be (-3 + 344/(-12))/((-1)/6). Suppose 4*g + 5*k = b, -k + 4 = -3*k. Does 10 divide g?
True
Suppose -266801 - 22927 = -32*b. Is 14 a factor of b?
False
Let k = 58 + -17. Suppose k*n = 37*n + 248. Suppose 59*d + 603 = n*d. Is 25 a factor of d?
False
Let c(a) = a**2 - a - 136. Let p be c(12). Is -2 + 247 - (p + 3) a multiple of 11?
False
Let g(r) = -r**3 - 9*r**2 - 9*r + 9. Is 2 a factor of g(-10)?
False
Let n(t) = 11*t**2 + 54*t + 1599. Is n(-95) a multiple of 11?
True
Is 20 a factor of (16/(48/(-9)))/((-174965)/58320 - -3)?
False
Let c(w) = -9*w + 74. Let f be c(8). Suppose 0 = 4*i + 5*v - 557, f*i - 57 = 5*v + 184. Is 11 a factor of i?
False
Let k = -136 + -72. Let l = k + 835. Does 33 divide l?
True
Suppose -3*p = 2*y - 199297, -780*p + 11*y = -778*p - 132877. Does 35 divide p?
False
Let l be (-15106)/546 - (-1)/(-3). Let g be (-10)/25 - (-826)/(-10). Let r = l - g. Is 11 a factor of r?
True
Suppose -37*x - 2 = -35*x, 5*x + 78 = h. Does 27 divide h/6 - 12 - 2915/(-6)?
True
Suppose 0 = -4*x + 3 - 7. Let j = x - -57. Is 28 a factor of j?
True
Let p = -466 + 472. Suppose -3*r + 5*h = -1179, p*r - r - 2*h = 1965. Does 31 divide r?
False
Suppose -5*t = -x - 2*x - 2663, -t + 531 = x. Is t a multiple of 7?
True
Suppose 3*i = 14*i + 1771. Let z = i + -12. Let k = -45 - z. Does 32 divide k?
True
Suppose -22070 - 2716 = -27*z. Let n = z + -546. Is n a multiple of 31?
True
Suppose 5*q - 31 = -2*t, q + 6*t - 3*t = 14. Suppose -8*a + 2232 = -q*a. Is 31 a factor of a?
True
Let l(p) = 4 + 66 + 25*p + 29 + 18*p**2 + 11. Does 24 divide l(-7)?
False
Is ((-86972)/(-12))/(8/36)*4/6 a multiple of 92?
False
Suppose -n = -4*y - 3239, -190*n + 187*n + 9637 = 4*y. Does 37 divide n?
True
Let m(n) = -22 + 24 + 13*n - 12 - 40. Does 10 divide m(10)?
True
Suppose -4*v + 2*m = -72140, -5*v + 4*m - 14994 + 105181 = 0. Does 13 divide v?
True
Let d(r) be the second derivative of -5*r**3/6 + 27*r**2 + 36*r. Does 3 divide d(-15)?
True
Suppose -4*p = -6*p - 4. Let j be ((-6)/3)/(p/146). Let f = -48 + j. Does 14 divide f?
True
Let t = -37 + 40. Suppose -t*k + 43 = 31. Suppose -3*v + 508 = v + 4*m, v + k*m - 130 = 0. Is v a multiple of 14?
True
Suppose -53*w + 406913 = 141*w - 326601. Does 2 divide w?
False
Suppose -9110 = -4*t - 2*u, 23*u - 18*u = 4*t - 9145. Suppose 6*v - t - 270 = 0. Does 25 divide v?
True
Let u = 55 - 55. Suppose 4*v = 4*i - 780, u = 4*v + 7*i - 3*i + 740. Let g = 270 + v. Is 40 a factor of g?
True
Let n be 1*2 - (-4550)/10 - 0. Suppose 0 = -17*k + 1494 - n. Is 2 a factor of k?
False
Let r(h) = -h**2 + 8*h - 7. Let y be r(6). Suppose l = -3, -532 = -y*b - 4*l + 746. Is b a multiple of 9?
False
Let n(k) = -132*k + 6317. Is 19 a factor of n(-67)?
False
Let m(k) = -2*k - 5. Let g be m(-4). Suppose -44*r = -33*r - 55. Suppose g*s - d = 85, -3*s = -s + r*d - 85. Is 30 a factor of s?
True
Let s be -1*(-1)/(-3) - 406/(-21). Let i = 27 - s. Suppose -11*l + 168 = -i*l. Is 28 a factor of l?
True
Let s(q) = 163*q - 73. Let m be s(21). Let g = -2153 + m. Is g a multiple of 21?
True
Is 6 a factor of (-360)/(-40) + (5 - -7569)?
False
Let a be 3/(-2) - (-3 + (-916)/8). Suppose -a + 20 = -y. Suppose -6*w + y = 2*w. Is w a multiple of 3?
True
Let x(j) = 8*j**3 - 30*j**2 + 10*j - 6. Let k be x(4). Suppose q = 4*a - k, -3*a = -0*a + q - 53. Is 2 a factor of a?
False
Let t be ((-192)/(-224))/((9/(-14))/(-3)). Suppose 1052 = t*u - 2*b, 3*b + 4 = -2. Does 5 divide u?
False
Let h(a) = -5*a + 7. Let o be h(2). Let t be 4 + (-6)/(-9)*o/2. Is (0 - (-105)/6)*(t - 1) a multiple of 7?
True
Let d be (-1 + -7)/(4 - 2). Is 19 a factor of (1804 - 0 - (-49 + 53)) + d?
False
Is 2 - 4/(-10)*293670/78 a multiple of 29?
True
Suppose 14 = 2*r, r + 1859 = 3*a - 5856. Does 26 divide a?
True
Suppose 247*m + 50*m - 2393671 - 2222897 = 0. Is 29 a factor of m?
True
Suppose 4*z = 2*x + 248, 154 = 3*z + x - 32. Let g(h) = -h**3 - 19*h**2 - 20*h - 38. Let o be g(-18). Let v = z + o. Does 9 divide v?
False
Let r(c) = -761*c + 97. Is r(-3) a multiple of 68?
True
Let c(b) = 40430*b**2 + b - 7. Does 326 divide c(1)?
True
Let h = -229 - -228. Let m = 295 + h. Is 32 a factor of m?
False
Suppose 4*s = 3*s + 12. Let l = s + -10. Suppose j - l*z = 21, 5*z + 1 - 52 = -2*j. Is 4 a factor of j?
False
Let o(c) = 32*c + 1. Let w be o(-2). Let g = w - -61. Does 41 divide 4134/24 - g/(-8)?
False
Let y = -23760 - -27108. Does 20 divide y?
False
Suppose 3*c - 158 = -5*d, 10*d - 7*d - 94 = -2*c. Suppose -2*u + d = -30. Is 32 a factor of u?
True
Let q(u) = -u**3 + 35*u**2 - 32*u - 68. Let g be q(34). Is (g 