a be ((-24)/(-16))/((-1)/(-8)). Suppose 12 + a = -3*y. Let f = 48 - y. Is f a multiple of 31?
False
Let j(f) = 488*f**2 + 150*f + 553. Does 39 divide j(-4)?
True
Let n be ((-3 - 0) + 4)*(1 - 11). Let y be (-5*4/(-50))/((-2)/n). Suppose -y*q + 3*z = -376, -4*q + 931 = q - 3*z. Does 54 divide q?
False
Let j(a) = -5*a - 16. Let s be j(-6). Is 1340/s + (-92)/(-322) a multiple of 5?
False
Let w = 1161 - 592. Suppose 0 = 4*j + 9 - w. Suppose -2*q - 3*q = -j. Is q a multiple of 4?
True
Is 21 a factor of (970*60/350)/(((-48)/441)/(-8))?
True
Is (((-1600380)/40)/51)/(6/(-104)) a multiple of 13?
True
Let u = -39 + 41. Let d(w) = -10*w - 91. Let c be d(-11). Suppose -c = -b - u. Is b a multiple of 17?
True
Let l = 55 - 17. Suppose -8*q + 126 - l = 0. Suppose v - 60 = -q*v. Is v even?
False
Suppose 39*h - 61*h = -2046. Is h a multiple of 11?
False
Let z(f) = -59*f + 151. Let j be z(3). Let a(l) = l**2 + 14*l - 108. Is a(j) a multiple of 14?
False
Let t(d) = 2*d**2 + 12*d + 18. Suppose 69 = 16*a - 91. Is 26 a factor of t(a)?
True
Let p(g) = -15 + 19 + 6*g - 17 - 2. Let t be (10*1)/(-2 + 4). Does 4 divide p(t)?
False
Suppose 394*b = 49*b + 25543696 - 9935896. Is b a multiple of 290?
True
Suppose -6*r + 14 = 20. Let p(h) be the first derivative of -60*h**2 - 2*h - 4. Is 29 a factor of p(r)?
False
Let w be (-2 + 1)/(19/(-57)). Suppose 2*t + j + 33 = 280, 3*t + w*j - 366 = 0. Does 28 divide t?
False
Let f = 194 + -535. Let z = f - -409. Is z even?
True
Let f(g) = 6*g**2 - 111*g + 622. Is f(26) a multiple of 16?
True
Suppose 0 = k + d + 2*d - 37214, 74416 = 2*k + 3*d. Does 178 divide k?
True
Suppose 0 = 5*g - 9*g + 1752. Let s = g - 70. Is s a multiple of 33?
False
Let w(l) = 25*l**3 + 8*l - 7. Let m(p) = -p**2 + 14*p - 23. Let i be m(2). Is 13 a factor of w(i)?
True
Let t = -72 + 59. Is 2910/8 - 5*t/260 a multiple of 13?
True
Let l(v) = -873*v + 558. Is 14 a factor of l(-6)?
True
Let o = 57 - 55. Is 19 a factor of 36 - 0*o/8?
False
Let w(s) = 23*s**2 - 32*s - 195. Does 9 divide w(-5)?
True
Let p = 2180 + 472. Does 51 divide p?
True
Let m(t) = -t**3 + 24*t**2 - 39*t + 32. Let y be m(17). Suppose -4*o - 6*q + 2749 = -9*q, 2*q - y = -2*o. Does 28 divide o?
False
Let t(q) = 77*q - 1. Let d(l) = -34*l + 68*l - 35*l + 1. Let y(p) = -4*d(p) - t(p). Is y(-1) a multiple of 22?
False
Let a = 229 - 444. Let w = a - -521. Does 32 divide w?
False
Suppose l + 26*m = 28*m + 6993, -6984 = -l + m. Is l a multiple of 66?
False
Suppose 475*h = 442*h + 11352. Does 2 divide h?
True
Suppose -3*c - 3*i + 2443 = 169, -2*c + 1512 = i. Does 7 divide c?
False
Suppose -4*w + 2*h + 34 = 0, -5*w + 5 = 3*h + 2*h. Suppose -t - 9*f = -5*f + 2, -t = -4*f - w. Suppose 3*k - 15 = 0, -4*n + 686 = -4*k + t*k. Does 30 divide n?
False
Let n = -2 - 15. Let x = n - -19. Suppose -5*y + 2*d + 504 = 0, x*y + 3*y = d + 507. Does 11 divide y?
False
Let l be 317/(-9) + 36/162. Let i = 83 + l. Is 8 a factor of (-50)/(-15)*i/10?
True
Let y = -553 + 283. Let r = 429 + y. Does 25 divide r?
False
Suppose -7*i + 1 + 34 = 0. Suppose 4*o - 456 - 326 = -5*m, i*m - 2*o = 764. Suppose 4*p - m = 230. Is p a multiple of 24?
True
Does 15 divide (52/39)/((-1)/(-1047)) - 1?
True
Let z = 2822 + -1972. Is z a multiple of 5?
True
Suppose 0 = -0*i - i + 3. Let l = i + -18. Is (((-80)/l)/8)/(4/474) a multiple of 19?
False
Let m = -329 + 1153. Let t = -670 + m. Does 14 divide t?
True
Let h = 9738 - -762. Does 4 divide ((-8)/(-10))/(50/h)?
True
Is ((-273)/(-1092))/((-2)/16792*-1) a multiple of 20?
False
Suppose 25 = 5*b, 0*b - 69 = a - 4*b. Let x = a + 117. Let n = 107 - x. Does 3 divide n?
True
Suppose -5*v + u = -3*u - 552, 5*v = 3*u + 549. Suppose 223*r + v = 225*r. Is 9 a factor of r?
True
Does 27 divide 8 + -13 + 10740 - 4?
False
Let a(v) = -10*v**2 + 4*v - 13. Let l be a(-6). Let x = -37 - l. Is 36 a factor of x?
True
Let s = -473 + 512. Let u = 163 + s. Does 37 divide u?
False
Let c be 10/(((-10)/(-21))/(-5)). Let n be (c/(-14))/((-6)/(-8)). Suppose 8*r = 94 + n. Is 2 a factor of r?
False
Let k be (44/(-16))/((-1)/4). Let m(y) = 1300 + 7*y - 4*y - 1269. Is m(k) a multiple of 8?
True
Let b be 4/(-18) + (-8)/(-36). Suppose b = 10*t - 5*t - 1530. Is t a multiple of 22?
False
Let y = 71 + 239. Suppose -5*z + y = 5*x, -4*z - x + 142 + 121 = 0. Does 12 divide z?
False
Suppose 0 = -t + 12*r - 11*r - 47, 4*r = 2*t + 96. Suppose 2*p = -x + 4*x - 73, -3*p - 105 = -3*x. Let b = p - t. Does 14 divide b?
True
Suppose 5*x = -2*b + 171, -111 = -3*x - b + 4*b. Let m be (x - -6)*(2 - 3) - -2. Is 13 a factor of 4/((-41)/m - (-1)/(-1))?
True
Suppose -77 = -3*y - 53. Let i(s) = -s + 34. Let v be i(29). Suppose -y*k + 510 = -v*k. Is k a multiple of 21?
False
Suppose -5*o - 156 + 211 = 0. Suppose -o*y - 8840 = -28*y. Does 40 divide y?
True
Let o be (-2)/(-8) - 18/8. Let a(k) be the first derivative of 8*k**3/3 - 5*k**2/2 - 5*k - 73. Is 5 a factor of a(o)?
False
Suppose -z = -0*z + 8*z. Suppose 0 = -0*h - 2*h + s + 374, 5*h - 5*s - 930 = z. Is h a multiple of 19?
False
Is (-2)/((-14)/(-17639))*-2 + (-22)/(-77) a multiple of 36?
True
Let v(p) = -1. Let k(z) = -39*z + 64. Let g(y) = -k(y) + 2*v(y). Is 33 a factor of g(11)?
True
Let d(y) = 16*y + 82. Let f(m) = -35*m - 67. Let q be f(-2). Is d(q) a multiple of 13?
True
Let z be (43 - 1)*(1 + (-2)/3). Suppose -86 = -4*q + z. Is (-4)/(-12)*9 + q a multiple of 7?
True
Let w be ((-6)/7)/((-8)/(-56)). Let j(o) = -o**2 - 10*o - 26. Let k be j(-6). Is 17 a factor of (22*(-5 - w))/(k/(-9))?
False
Suppose -3*l + 2 = -7. Suppose -204 - 69 = -2*q + l*a, 5*a - 313 = -2*q. Does 16 divide q?
True
Let h = -197 - -190. Let y(f) = -18*f**2 - 10*f - 50. Let g(u) = -6*u**2 - 3*u - 17. Let a(t) = -7*g(t) + 2*y(t). Is a(h) a multiple of 51?
True
Suppose 6*f = 2*z - 1 - 7, -2*z + 9 = -5*f. Suppose -11*i - z*i = -6552. Does 28 divide i?
True
Let b(m) be the first derivative of 8*m**3/3 + 4*m**2 + 10*m - 36. Suppose -12*v = -9*v + 6. Does 4 divide b(v)?
False
Suppose 4*m - m - 486 = -3*x, m - x - 152 = 0. Let w = 99 + m. Is w a multiple of 8?
True
Let c = 13144 + -2474. Is 76 a factor of c?
False
Suppose 0 = 2*c + 10, q - 280 - 785 = 5*c. Suppose -4*l + 876 = -q. Does 28 divide l?
False
Let r be ((-286)/65)/(2/(-5)). Suppose -r*x + 979 = -1441. Does 7 divide x?
False
Suppose 6*j - 2*j = 0. Let k(w) = -120*w + 4200. Let p be k(31). Suppose 5*f + f - p = j. Is f a multiple of 16?
True
Suppose -65846*z - 180900 = -65851*z. Is z a multiple of 30?
True
Suppose v = 3*g + 173, v + g - 183 = -g. Suppose -v + 32 = -3*y. Suppose -7 = -k + y. Is 7 a factor of k?
True
Let d = 32148 - 28325. Does 18 divide d?
False
Let g be (10/6)/((-654)/(-162) + -4). Let u = g - -479. Is 20 a factor of u?
False
Let j be 8320/(-22) + 1 - (-6)/33. Let i = j - -596. Does 50 divide i?
False
Suppose 0 = -t + 7 + 6. Suppose -14*u + t*u = -2. Suppose 2*d = -2*d - 3*n + 29, 3*d - u*n = 43. Is d a multiple of 7?
False
Let h(r) = -r**2 + 12*r - 12. Let t = 128 + -111. Suppose 3*f + 21 = i, -2*i + 2*f + 9 = -t. Is 2 a factor of h(i)?
False
Suppose -47*b + 180 = -48*b. Does 36 divide (b/(-25))/(3 + (-74)/25)?
True
Suppose 2*g - 3*h = 15 + 1, -4*g - 3*h = -14. Let q = g + -2. Is 32 a factor of 70 + (q - (3 - -2))?
False
Let x(b) = -3971*b**3 - 2*b**2 - 6*b - 2. Let u be x(-1). Suppose 13811 = 19*w - u. Is 9 a factor of w?
True
Let n = 3064 + -584. Suppose 743*s = 747*s - n. Does 10 divide s?
True
Suppose -18*i + 10*i + 16 = 0. Suppose 5*v = -5*f + 370, -4*f = -2*v - i*f + 144. Is 12 a factor of v?
False
Suppose 4*h - 15592 = -2*m + 6*m, h + 2*m - 3895 = 0. Suppose 18*o - h = -333. Does 46 divide o?
False
Suppose 3*u - 2*q + 1 - 3 = 0, -4*u + 2*q + 6 = 0. Suppose u*h - a = -20, -2*h - 2*h = 5*a + 44. Does 5 divide h*2/4 + (34 - 3)?
False
Let z(m) = 48*m + 8. Let g be z(-12). Let b = 1297 + g. Is b a multiple of 15?
False
Suppose -111*u = -114*u. Suppose -4*p + 2*i = -3046, -5*p - i + 3416 + 374 = u. Is 23 a factor of p?
True
Let n(g) = -g**2 + 15*g + 40. Let l be n(17). Suppose l*a = 8*a - 460. Is 22 a factor of a?
False
Let b be (4 - 2) + (-14 - (-8 + 1)). Is 700 + 4 + (5 - 0) + b a multiple of 32?
True
Let a(c) = 3*c**2 - 223*c + 114*c + 115*c + 2 + 19. Is a(-4) a multiple of 15?
True
Let b = 458 + 65. Is 14 a factor of b?
False
Let q(s) = s**3 + 9*s**2 + 