 - 2*l + 227163, 2*m + 2*l + 15787 = 106645. Is m a multiple of 13?
True
Let t = 15376 - -873. Does 9 divide t?
False
Suppose -4*o - r - 115 = 37, -4*o + 4*r - 172 = 0. Let u = -32 - o. Let b(q) = -q**3 + 8*q**2 - 7*q + 8. Is b(u) a multiple of 8?
True
Let j be 811/9 - (-44)/(-396). Suppose 352 = -j*g + 98*g. Does 2 divide g?
True
Is 32 a factor of -54*(-264 - 120/15)?
True
Let o = 2634 + -183. Does 57 divide o?
True
Suppose -38 = -3*z + 40. Suppose -2*i = -14 + z. Let h = 103 + i. Is h a multiple of 11?
False
Let g(m) = 11*m + 8. Let i(d) = 22*d + 16. Let r(l) = 5*g(l) - 3*i(l). Let z be r(-1). Suppose -228 = -b - 4*c, -z*c + c - 1074 = -5*b. Is 24 a factor of b?
True
Suppose 4*h + 79 = -2625. Let g = -456 - h. Does 56 divide g?
False
Let r = -1719 - -5663. Is 180 a factor of r?
False
Suppose p - 343 = -2*a, -2*p - 2*p = 2*a - 340. Suppose -a*m = -178*m + 432. Is 24 a factor of m?
True
Let q be 3/4 + (-26727)/(-236) + 2. Suppose 5*t + 4*f = 31, -2*f + 23 = 6*t - t. Suppose t*l - 115 = q. Is l a multiple of 11?
True
Let d(k) = 26*k - 26. Let g be d(-6). Is 26 a factor of ((-6 - -4) + 0)*g/2?
True
Let g(h) = h**2 - 7. Let l be g(-3). Suppose -l*j + 13 = 3*t - 37, -j - 4*t = -15. Let c = 25 + j. Is 7 a factor of c?
True
Let b(d) be the third derivative of d**6/120 - 2*d**5/15 + 5*d**4/8 + d**3/2 - 258*d**2. Let c be 5/10*2*6. Is b(c) even?
False
Does 42 divide (-28 + -2 + 2)*(2 - (-2 - -163))?
True
Let o = 354 + -270. Suppose 47*q = 48*q - o. Does 9 divide q?
False
Suppose -4*f = -3*z - 6, 3*f + z + 13 = 8*f. Suppose -2*d - 8*a + 107 = -f*a, -3*a = -d + 37. Does 13 divide d?
False
Suppose -3*y - 5*g + 8125 = 2*y, 5*g - 4871 = -3*y. Is y a multiple of 15?
False
Suppose -z = r, 0 = 2*z + z. Suppose 5*n - 2*i - 1616 = r, -334 = -4*n + 3*n + 4*i. Is 46 a factor of n?
True
Let o be ((-170)/5*5/2)/1. Let u be 1/(-2 - 175/o). Suppose 316 = -u*r + 4362. Is r a multiple of 34?
True
Let w = -146 + 136. Is ((-75)/w - 7) + 735/6 a multiple of 38?
False
Suppose -12*q + 9239 = -7645. Is 14 a factor of q?
False
Let s(n) = 10*n + 35. Let l(b) = 4*b + 18. Let y(h) = 5*l(h) - 3*s(h). Is 14 a factor of y(-12)?
False
Suppose 3*i = -32 - 190. Let n = i + 75. Is 14 a factor of ((-14)/n)/((6/(-3))/10)?
True
Is 11 a factor of (12754/(-4) + 4)*(32/(-6) + 4)?
True
Suppose 859 = 3*k + r, 3*k = -6*r + 7*r + 857. Suppose 2*i + 2*u = 230, 3*i - 27 = 5*u + k. Is 16 a factor of i?
False
Suppose 24*y - 22*y = 4. Let k be ((-7)/(-14))/(y + 618/(-308)). Let x = -8 - k. Is 23 a factor of x?
True
Suppose 0 = 14*w - 643 - 673. Let x = w - 91. Suppose 415 = 3*d - 0*y + 2*y, x*d + 5*y - 412 = 0. Is 13 a factor of d?
False
Suppose -11*r - 1193 + 12569 = -2*r. Is r a multiple of 158?
True
Suppose -15 = -3*r - 6. Suppose 0 = -4*u + 5*i, 0 = 3*u + i - 19. Suppose 4*v = r*v + x + 12, -28 = -v + u*x. Is v a multiple of 4?
True
Let x(i) = -i**3 + 15*i**2 + 21*i - 45. Let b(a) = a**3 - 11*a**2 - 10*a - 20. Let l be b(12). Suppose -q = -l*s + 8*s, q + 5*s + 4 = 0. Is 35 a factor of x(q)?
True
Let f(o) = -5*o**2 - 29*o + 6. Let x be f(-6). Is 24 a factor of 188 - (-1)/(x - 1/(-4))?
True
Suppose 0 = -5*b + 5149 - 63 + 1154. Does 23 divide b?
False
Suppose 88473 = -32*q + 538137. Is 82 a factor of q?
False
Is ((-666)/(-5))/(1359/135 + -10) a multiple of 42?
False
Let i(z) be the third derivative of -43*z**4/8 + 7*z**3/6 - 8*z**2. Let w be i(3). Does 17 divide ((-6)/4)/(((-18)/w)/(-3))?
False
Let x be -1 - 450 - 375/(-125). Let c = 552 + x. Is 8 a factor of c?
True
Let y be (-2 - 84/(-8)) + 5/(-2). Suppose y*r - 844 = 4*r. Is r a multiple of 94?
False
Let k be 1 - 5/((-20)/12). Suppose 0 = k*y + 2*s - 256, 0*y - 3*y - 3*s + 189 = 0. Suppose -b + 55 + y = 0. Is 30 a factor of b?
True
Suppose c = 11*l - 6*l + 5253, 0 = -c - 4*l + 5217. Is 110 a factor of c?
False
Let g(h) = 159*h - 504. Is g(27) a multiple of 29?
False
Suppose 5*x + 2*z - 94 = 4*z, -3*x = -2*z - 58. Suppose 0 = -4*i + s + x + 7, -4*i = 4*s. Suppose 0 = 2*h + i*j - 97, h - 46 - 1 = -2*j. Does 4 divide h?
False
Suppose -18*c = -30*c + 10464. Suppose 16*v = 8*v + c. Is v a multiple of 15?
False
Let r(v) = 2*v**3 - 3*v**2 - 100*v + 201. Is r(13) a multiple of 82?
True
Let n be (-8 - (-135)/20)/(2/16). Does 38 divide (-228*((-15)/(-3))/n)/1?
True
Suppose -3*f - 3*l + 2*l = -3, f + l - 3 = 0. Suppose f*x - d = 2*x - 25, 23 = x - 3*d. Let v(i) = 2*i - 10. Is v(x) a multiple of 7?
False
Let y(v) = 2*v + 20. Suppose 1383 = 4*w + 3*g, 0*w - 2*g = w - 347. Let s be w/39 + (-4)/(-26). Is y(s) a multiple of 37?
False
Does 37 divide ((-27)/((-972)/3330))/(-2*(-1)/52)?
True
Suppose 774*g - 8055 = 769*g - 5*c, -2*g + 5*c = -3215. Does 7 divide g?
True
Suppose -121720 = -1162*i + 1142*i. Is 34 a factor of i?
True
Is (-220)/30*-9*-24*(-85)/5 a multiple of 11?
True
Let m(p) = 3*p**3 - 72*p**2 + 105*p. Is m(35) a multiple of 175?
True
Let v(k) = 4*k + 15. Let h be v(-3). Suppose -4*c + h*t = -5409, 0 = 7*c - 10*c - t + 4060. Does 28 divide c?
False
Suppose 9*u - 3*u + 18 = 0. Let x be u + 8*39/6 - 1. Let s = 16 + x. Is 8 a factor of s?
True
Let u(c) = -1704*c + 365. Does 20 divide u(-3)?
False
Let y(z) = -z**3 + 4*z + 1. Let u be y(-2). Suppose -7 = -2*j - u. Suppose -2*g - 3*i = j*g - 72, 4*g - 3*i = 63. Is g a multiple of 3?
True
Is ((-2398635)/1412)/(1 + (-38)/32) a multiple of 13?
False
Let l be (-2)/28*-74 - (-38)/(-133). Suppose -3*j + u + 313 = -0*j, -l*u = 4*j - 411. Does 50 divide j?
False
Suppose 3*r - 126 = -3*t, 5*t - 2*r - 43 = 195. Let u = 127 - t. Let f = u + -54. Does 14 divide f?
False
Let f(t) = -t**3 - 15*t**2 - t - 11. Let i be f(-15). Let p be i/4 + -2 + -2. Is 14 + 0/(p + 7) a multiple of 4?
False
Let n(c) be the third derivative of -c**6/120 - 3*c**5/20 - 23*c**4/24 - 17*c**3/6 + 13*c**2. Let x be n(-11). Let z = -341 + x. Does 8 divide z?
False
Let b be (1 - 0)/((44/8)/11). Suppose b*z = 360 + 368. Is 50 a factor of z?
False
Suppose 519180 = 123*l - 154440 - 77664. Is 12 a factor of l?
True
Let q(g) = 9*g**3 + 4*g - 6. Let d be q(3). Suppose 0 = -2*i + i + 372. Suppose -d = -9*u + i. Is u a multiple of 23?
True
Let w = -16 - -129. Suppose -3*l + w = t - 2*t, 3*l - 3*t = 123. Let q = l - 6. Does 10 divide q?
True
Let y be 24/6 + (19 - 4/(-4)). Let v(j) = -j**3 + 24*j**2 + 5*j - 60. Is v(y) a multiple of 15?
True
Let o(f) be the first derivative of -3*f**4/4 - f**2 - 5*f + 4. Let z = -99 + 95. Is o(z) a multiple of 39?
True
Suppose -5*w + 21 = 4*z - 24, -5*w = 2*z - 45. Let t be 2/w + 2 + (-52)/(-9). Is 13 a factor of (3 + -23)*(-52)/t?
True
Does 12 divide (10/(-6))/(-27 + 187586/6948)?
False
Suppose u = 2*h - 2001, 7*u - 3007 = -3*h + 3*u. Suppose h = 5*v + 241. Is 30 a factor of v?
False
Let n = 11280 - 11593. Let l(j) = -9*j**2 + 5*j + 5. Let f be l(-4). Let b = f - n. Is 22 a factor of b?
True
Let h = 64 + -61. Suppose -h*u - 125 = 2*u. Is 7 a factor of 5/u - 712/(-10)?
False
Let g(o) be the third derivative of 11*o**6/360 - o**4/24 + o**3/6 + 30*o**2. Let k(x) be the first derivative of g(x). Is k(1) a multiple of 10?
True
Let m = 46 - 36. Let d(n) = 5*n + 35. Let i be d(m). Let r = 135 - i. Is 18 a factor of r?
False
Let u = -15 - -18. Suppose -5*o - u*j = -386, 4*j + 198 = 4*o - 98. Is o a multiple of 4?
True
Let v(r) be the second derivative of -r**5/20 - 5*r**4/3 + 14*r**2 - 7*r + 1. Is v(-20) a multiple of 7?
True
Suppose 4840580 = 574*l - 5959230. Does 6 divide l?
False
Suppose -5*j + c - 14 = 0, -2*j + 0*j = -3*c + 3. Let m be (-2)/(3/9*j). Suppose 0 - m = -o. Is o a multiple of 2?
True
Let i(s) = 67*s**2 + 5*s - 4. Let q be i(-2). Let x = 307 - q. Does 53 divide x?
True
Let v = -3 - -6. Suppose 2*q + 2*x = 34, -4*q - 4 = -5*x - 45. Suppose -b = -w - q - 20, v*b = -w + 102. Is 20 a factor of b?
False
Let x(o) = 4*o - 6. Let z be x(2). Let i(d) = 0 + 21*d**3 - 10*d + 4 - 22*d**3 + 10*d**z. Is i(8) a multiple of 9?
False
Is 11777344/1121 - (-10)/(-95) a multiple of 102?
True
Let i(d) = d**3 + 41*d**2 + 35*d + 92. Is i(-40) a multiple of 2?
True
Let q = 1792 + -1226. Let w = -322 + q. Is w a multiple of 61?
True
Suppose 0 = -5*f - 43*p + 40*p + 6482, 0 = -4*f - p + 5194. Is 20 a factor of f?
True
Suppose -5*u - 8*j = -7*j - 22571, 0 = j + 4. Is u a multiple of 7?
True
Let a = 987 + -973. Is 19 a factor of 5052*2/a - 