of d?
False
Let d = 378 + 18705. Does 75 divide d?
False
Does 134 divide (1 + (-13276)/10)*(-140)/42?
True
Let d = -1 - 5. Let t = -4 - d. Suppose -t*u - 320 = -7*u. Does 16 divide u?
True
Suppose 0 = 3*p - 5*l - 53606, 3*p - 53582 = l - 2*l. Is p a multiple of 25?
False
Let g(n) = n**3 + 6*n**2 + 6*n + 9. Let m be g(-5). Suppose 2197 = m*p - 2155. Does 13 divide ((-1)/(-3))/(p/(-1092) - -1)?
True
Let f(n) = n**3 + 31*n**2 - 3*n - 3. Let q be f(-31). Is ((-855)/q)/(182/92 - 2) a multiple of 9?
False
Suppose -3*a = -15*s + 10*s - 145352, 0 = 3*a + 3*s - 145320. Does 240 divide a?
False
Let i(n) = n**3 + 10*n**2 + 16*n + 49. Let w be i(-8). Suppose 0 = w*t - 17*t - 11520. Does 36 divide t?
True
Let z be ((-105)/(-14))/(2/108). Suppose z = r + 372. Is r even?
False
Let j = 42 + -34. Let h(g) = 0*g**3 - 28*g + 22*g + g**3 + 6 - 5*g**2. Is h(j) a multiple of 16?
False
Suppose -276 = 5*w - 676. Does 10 divide 2310/(-140)*w/(-6)?
True
Suppose -13*x = -8*x + 4*n - 811, 5*x - 810 = -5*n. Let f = x - 136. Does 21 divide f?
False
Suppose 2*v + 12513 - 31541 = -4*c, 6*c - v - 28566 = 0. Does 136 divide c?
True
Let t(l) = -7360*l - 23. Is t(-1) a multiple of 23?
True
Let f(j) = -2543*j + 4369. Is 77 a factor of f(-10)?
True
Let g(r) = 5*r**2 + 15*r + 18. Let l be g(12). Let w = l - 666. Does 36 divide w?
True
Let g = -8853 - -15981. Is g a multiple of 27?
True
Let v(j) = -50*j**3 - 14*j**2 + j + 8. Let m be v(-4). Suppose 21*n - m = n. Does 38 divide n?
False
Let o(l) = 4*l**3 - 5*l**2 + 101*l - 45. Is 45 a factor of o(9)?
True
Let f(i) = 380*i**2 + 894*i + 5360. Does 24 divide f(-6)?
False
Let i(x) = 15*x**2 - 79*x + 32. Is i(10) a multiple of 71?
False
Suppose -6*c = -223 - 209. Suppose -6*j = -4*j - c. Suppose j = -t + 145. Does 25 divide t?
False
Let u(i) = -51*i + 12. Let b be u(-1). Let a = b + 33. Does 8 divide a?
True
Let t = -65 + 75. Suppose n = -v + 424, 3*n - t*v + 5*v - 1312 = 0. Does 4 divide n?
False
Let h(r) = 720*r - 5032. Does 33 divide h(25)?
False
Suppose 3*a + v - 10 = -0*v, -2*v = 5*a - 18. Suppose -277 = -a*i - 125. Is i a multiple of 2?
True
Let k(a) be the first derivative of -a**4/4 - 5*a**3/3 - 5*a**2/2 - 24. Let u be k(-4). Suppose 0*p = -u*p - g + 321, 2*g + 330 = 4*p. Is p a multiple of 14?
False
Suppose 0 = 12*f - 8*f. Suppose -5*c + 4*c - 45 = f. Does 10 divide (-27)/4*600/c?
True
Let q(k) = 158*k + 5 + 16 - 31. Does 18 divide q(2)?
True
Suppose 5*n + 298 = -3*o, 3*n = -3*o - 37 - 263. Let t be 3*(-1 - 0) - 27/1. Let i = t - o. Is i a multiple of 16?
False
Let k(p) be the first derivative of -p**4/4 + 17*p**3/3 + 6*p**2 - 28*p + 144. Does 19 divide k(12)?
True
Is 78 a factor of 6/(50/120712*-2414 + 87/87)?
False
Suppose 0 = -10*d - 1801 + 7061. Let z = d - 348. Is 15 a factor of z?
False
Let k(u) = -u**2 - 47*u - 336. Let g be k(-37). Let f = 191 + -71. Let b = f + g. Is b a multiple of 25?
False
Let r(k) = -2*k + 42. Let d = 0 - 6. Let l = -25 - d. Does 9 divide r(l)?
False
Suppose -3738 = -6*s - s. Suppose s = 12*x - 1386. Does 16 divide x?
True
Let t = -2 - -5. Suppose 10 = 168*q - 163*q. Suppose -z + 13 = w, 0*w - q*w - t*z = -21. Is 6 a factor of w?
True
Let u(f) = -325*f - 32. Let t be u(1). Let k = t + 753. Is 37 a factor of k?
False
Let o be 4/(-20)*-5 + -1. Is 160 + (o/(-6) - -3) a multiple of 54?
False
Let x(d) = -23*d - 1. Let m be x(-2). Let u be -5*240/(-25) + 1. Let l = u - m. Is l a multiple of 3?
False
Suppose 20*z - 95 - 5 = 0. Suppose -z*f = -4*r + 650, 2*r + 5*f = -0*f + 310. Is r a multiple of 5?
True
Let b = -241 - -9198. Is 33 a factor of b?
False
Let t(a) = -5*a - 16. Let h be t(-8). Suppose -16 = y - 4*l, -4*y = l - h + 3. Is 15 a factor of (0 - 3) + 164/y?
False
Suppose -6*b + 1879 = -1577. Is 2 a factor of b?
True
Let g = 264 + -81. Suppose -2*t - 5*u + 375 = 0, -g = 2*t - u - 552. Let a = -102 + t. Is 27 a factor of a?
False
Let l(w) = -28*w - 53. Let p = -65 + 4. Let y = p + 54. Is l(y) a multiple of 13?
True
Suppose 0 = 1317*q - 1315*q - 4*n - 65662, 5*q - 2*n = 164131. Is 65 a factor of q?
True
Let o(s) = -s**3 + 22*s**2 - 7*s + 8. Let k be o(9). Let f = -582 + k. Is f a multiple of 16?
True
Let z be (6/(-5))/(10/(-25)). Is 1 + 51 - z/6*0 a multiple of 4?
True
Suppose 0 = -64*a + 66*a - 8, 0 = 3*b + 4*a - 9577. Is 21 a factor of b?
False
Let o = 125 - 107. Let f(y) = y**2 - 5*y + 4. Let i be f(4). Suppose i = -4*k - j + o, -j = -k + 2 + 5. Does 3 divide k?
False
Let z(s) = -13*s**2 + 163*s**2 + 46*s**2 + 1 - 2*s. Is 39 a factor of z(1)?
True
Is 5 a factor of (-84 - 58)*-3*(-10)/(-4)?
True
Let r be (-638)/88*(55 - -1). Let s = r + 646. Is 8 a factor of s?
True
Let s be 3/(-5 - -2 - -4). Let g be 0*-2*s/6. Suppose g = 2*z - d - 1 - 32, -5*z = 2*d - 87. Does 5 divide z?
False
Let u(j) = -401*j**3 + 8*j**2 + 16*j + 10. Is u(-2) a multiple of 50?
False
Suppose -7*t + 4*w + 266 + 411 = 0, 5*t = -5*w + 515. Does 9 divide t?
True
Suppose -x - u + 2 = -2*u, -3*x = 5*u + 26. Does 24 divide 210/x*80/(-50)?
True
Let x(v) = 7*v + 9. Let s be x(-1). Let c be -7 + s + 20/2. Suppose j = 3*r + 2*r - 496, -2*r = -c*j - 203. Does 4 divide r?
False
Suppose -2*g = 4*r - 63966, -4*r = -4*g - 6*g + 319806. Is g a multiple of 19?
False
Let l = 351 - 348. Does 20 divide (42/(-18) - -1) + 484/l?
True
Let m(x) = 42 - 131*x - 17*x + 76*x. Is m(-3) a multiple of 43?
True
Does 14 divide 362286/57 - 356/(-3382)?
True
Let m be (-138)/23 - (-4)/((-4)/(-9)). Suppose -5*f = -0*f - 10. Suppose 0 = d - 0*j + m*j - 32, 0 = 4*d - f*j - 72. Is d a multiple of 10?
True
Let v(i) = 3*i**3 + 12*i**2 + 35*i + 16. Let j be v(-12). Is 4 a factor of -3 + (20/(-25))/(8/j)?
False
Suppose 7*l - 7653 = 6816. Let g = -1443 + l. Is g a multiple of 104?
True
Let z(k) = -425*k - 1825. Is z(-33) a multiple of 61?
True
Let t(g) = -g**2 - 7*g - 9. Suppose f = -0*f + s - 3, -3*s = 3. Let y be t(f). Suppose -a - 310 = -y*i, 2*i + 8*a - 3*a - 184 = 0. Does 17 divide i?
True
Let w(u) = -3*u**2 + 24*u - 5. Let q be w(7). Is 221 + (-12)/q*4 a multiple of 21?
False
Suppose -93*z = -188*z - 158*z + 7308664. Is 47 a factor of z?
False
Let r = 43 - 168. Let c = r - -240. Is 5 a factor of c?
True
Let y(h) = -5746*h + 3305. Is y(-8) a multiple of 125?
False
Suppose 324 = 4*y + 2*j - 6*j, j = -3*y + 223. Let q(c) = c - 41. Let x be q(0). Let w = y + x. Is w a multiple of 14?
False
Let r be 10/((-22)/6 + 3). Let z(a) = -4 - 1 - 12 - 33 - 12*a. Is 6 a factor of z(r)?
False
Suppose 5*d - 77592 = -l + 33173, 0 = 4*d + l - 88613. Is d a multiple of 39?
True
Let x = -26351 + 32943. Does 32 divide x?
True
Suppose 2*u = -14, -2*x + 46*u = 41*u - 62729. Is x a multiple of 43?
True
Let c(j) = 106*j**2 - 367*j - 39. Is 12 a factor of c(9)?
True
Suppose 5*c + 3*a + 166 = 6*a, c + 3*a = -44. Let w = c + 32. Does 7 divide -1 - 9/w - (0 + -13)?
False
Let p be 4 - -8*(1 + -5). Let i = 28 - p. Is 7 a factor of (i/(-140))/((-2)/100)?
False
Let x(w) = -w**2 - 12*w - 33. Let n be x(-8). Is 22 a factor of 308*((4 - n) + -4)?
True
Suppose 9065 + 3805 = 10*b. Suppose -2*m - m + 3*c = -b, 4*m - 1704 = -2*c. Does 61 divide m?
True
Suppose -4*a - m - 4 = -20, -4*a + 5*m = -16. Suppose -12 = a*g - 10*g. Suppose 5*b = -w + 34, 0 = -g*b + 1 + 3. Is 3 a factor of w?
True
Suppose 111*a - 64614 = 78*a. Does 11 divide a?
True
Let s(t) = 9*t**2 + 14*t - 59. Let r be s(7). Let c(p) = 4*p - 11. Let h be c(7). Suppose h*w = w + r. Is 7 a factor of w?
False
Suppose v + v = -46. Let s = -21 - v. Suppose 0 = s*d + 5*k - 49, d - 2*k - 28 = -k. Is 9 a factor of d?
True
Let b(i) = -8921*i - 3014. Does 128 divide b(-3)?
False
Let p = 7135 + -513. Is 43 a factor of p?
True
Let t(g) = -179*g + 3533. Does 14 divide t(-75)?
False
Suppose 36258 + 17334 = 87*w. Does 7 divide w?
True
Suppose 26*w = 96155 + 13019. Suppose 24*g = 3697 + w. Does 6 divide g?
False
Is 213 a factor of 9661275/1080 + (-6)/(-16)?
True
Let u(z) = 32*z - 260. Let p be u(31). Let o = p + -619. Does 3 divide o?
False
Suppose 2*c + u = 2977, 4*u + 6970 = 5*c - 466. Suppose c = 4*o + 3*p, 0 = 4*o + 4*p - 1631 + 139. Does 9 divide o?
True
Let u be 0 - 5 - (-20 + 12 - 2). Suppose 441 = l - 5*q, u*l - 915 = 3*l - q. Is 22 a factor of l?
False
Let w(l) = l**2 - 2*l - 49. Let r be w(9). Suppose -13*y - 598 = -r*y. Is y a multiple of 23?
True
Let 