105*r + 100*r, -27144 = -3*o + 3*r. Does 7 divide o?
False
Let x = 2247 - 3379. Let t = x - -1660. Is 22 a factor of t?
True
Suppose 4*t - 3*q = 38196, 0 = 152*t - 156*t - q + 38180. Does 19 divide t?
False
Let i = 1430 - 136. Does 61 divide i?
False
Suppose 12 = -2*v + 7*v - 4*w, 0 = 3*w + 9. Suppose v = -36*b + 41*b - 445. Is 2 a factor of b?
False
Let k = -37596 + 60943. Is k a multiple of 123?
False
Let o = -45 - -43. Let m be (-5 + (0 - o))*1/(-3). Is 11 a factor of 56/(1/m) + (24 - 27)?
False
Suppose -37 = -7*j - 2. Suppose 0 = j*o - 4*z - 36, 2 = 2*z - 0. Suppose 2*h + 1116 = o*h. Is 31 a factor of h?
True
Suppose 176094 = 3833*u - 3806*u. Is 71 a factor of u?
False
Is 4 - (16 + -10) - -12 - -6678 even?
True
Suppose -5*n = -3*t + 32, -5*t - n + 24 = -2*n. Suppose 3*j - t*j = -12. Suppose 0 = j*x - 17*x + 155. Is 6 a factor of x?
False
Is 117 a factor of (-1 - 51393/(-15)) + 70/(-350)?
False
Let v(x) = 30*x + 33. Let k be v(0). Suppose 0 = 5*s + o - 877, k*s + 865 = 38*s + 5*o. Does 8 divide s?
True
Let f(a) be the second derivative of 15*a**3/2 + a**2/2 - 19*a. Let u be f(-1). Is 8 a factor of u*(-4)/(-2 + 10) + 4?
False
Let w(p) = 188*p**2 + 61*p + 515. Does 45 divide w(-16)?
False
Let i = 3211 - 2934. Is i a multiple of 128?
False
Let k = 16 + 0. Let o be ((-94)/6)/(k/(-48)). Is 27 a factor of 4 + 0 + -2 + 5 + o?
True
Suppose -2*a = 3*v - 12, 4*a + v = 5*v + 44. Let n(q) = 5*q - q**3 - 2*q + 2*q**3 - 18*q**2 + 7*q**2 + a. Is 5 a factor of n(11)?
False
Let k = 528 + -176. Let h = 359 - k. Is h a multiple of 3?
False
Suppose -84*j + 1131232 = -29*j - 1030818. Is j a multiple of 23?
False
Suppose -4*v - 2*v = -204. Suppose -2*y + v - 6 = -t, 3*y - 42 = -2*t. Let s = y - -55. Is s a multiple of 15?
False
Let b(a) = 2*a**2 - 23*a - 10. Suppose -7*x + 82 = -2. Is b(x) a multiple of 2?
True
Let f(n) = n**3 + 2*n**2 + 17*n + 35. Let l be f(-2). Does 18 divide (-2 - (-58 + 2))*(l - -13)?
True
Let o = 27595 + -14635. Does 54 divide o?
True
Suppose 2*r + 10 = 2*n, -1 - 1 = -4*n - 2*r. Suppose 0 = 3*v - n*a - 255, 4*a = 5*v - 157 - 268. Is v a multiple of 58?
False
Let s(p) = 6*p**2 - 5*p + 5. Let f = -43 + 41. Let y(h) = -3*h**3 - 6*h**2 - 4*h - 3. Let d be y(f). Is 13 a factor of s(d)?
True
Let w(g) = 3*g + 32. Let n(a) = -4*a - 33. Let y(s) = -4*n(s) - 3*w(s). Let t be y(-6). Does 25 divide (-3902)/(-14) - (t + (-280)/(-49))?
False
Suppose -h + 1996 = -3*x, 5*h + 15*x - 9948 = 14*x. Is 17 a factor of h?
False
Suppose p + 5*v = 23, -5*v = 5*p - 166 + 51. Suppose p*h + 211 = 4190. Is 2 a factor of h?
False
Let o = 12599 + -6860. Does 3 divide o?
True
Let z = 80 + 364. Let x be (-1)/(-2)*(-288)/(-16). Suppose x*g = z + 312. Is 7 a factor of g?
True
Let p be (10 - (2 + 4)) + 51. Let a = 11 + p. Does 22 divide a?
True
Let o = 161 - 117. Let b = -66 + o. Is (-9178)/(-143) - (-4)/b a multiple of 10?
False
Let c = 11319 + -5096. Is 49 a factor of c?
True
Let w = 22500 - 20842. Is w a multiple of 134?
False
Let y(u) be the first derivative of 20*u**3/3 + 3*u**2/2 + 3*u - 1. Suppose -2*t + 4*o = 8, -5*t = -13*o + 18*o + 5. Does 6 divide y(t)?
False
Let m = 204 - 202. Suppose -m*x = -148 + 42. Is x a multiple of 6?
False
Let x(g) = -g**2 + 11*g + 42. Suppose -11*p + 62 + 92 = 0. Let w be x(p). Suppose w = 17*c - 21*c + 544. Is 62 a factor of c?
False
Let m(g) = 48*g**3 + 3*g**2 - 1. Let f = -30 + 23. Let v be ((-14)/12)/f + (-5)/(-6). Is 25 a factor of m(v)?
True
Let f(b) = -2*b**2 - 1. Let c be f(0). Let o be c/(-3)*30/5 + 1. Suppose -o*n = -0*n + h - 167, 16 = -4*h. Does 19 divide n?
True
Let l = -174 + 138. Does 39 divide (91/2)/((-6)/l)?
True
Suppose 2*c + 0 = -72. Let a = c + 45. Suppose -13*q = -a*q - 48. Is q a multiple of 6?
True
Suppose -5*j - 62 = -62. Let z be j*2/(-18)*(-1 + -2). Let h(p) = 6*p + 164. Is h(z) a multiple of 34?
False
Let i = -133 + 335. Let h = 18 + i. Does 20 divide h?
True
Suppose 0 = 21*r - 25*r + v + 32185, 0 = 5*v - 15. Is r a multiple of 7?
False
Let m(v) = 12*v**2 + 4*v - 70. Is 7 a factor of m(8)?
False
Suppose 5*j + 30 = -5*k, -k - k = -2*j + 4. Is 402/(-2)*(1 + j) a multiple of 14?
False
Is (5/((-100)/(-35))*16)/(2/653) a multiple of 9?
False
Let m = 682 - 664. Suppose m*r - 1891 - 23381 = 0. Is 18 a factor of r?
True
Let u = 26 + -32. Let y be u/(-4)*12/(-18)*-415. Suppose 2*i + n = -n + 424, n + y = 2*i. Is 14 a factor of i?
False
Suppose 0 = r - x - 439, 0 = -4*r + 10*x - 5*x + 1754. Suppose 1330 = 11*q - r. Is q a multiple of 23?
True
Let p(t) = t**3 + 33*t**2 - 64*t + 25. Let o be p(-35). Let q = 297 + o. Does 13 divide q?
False
Let r(m) = -37 + m + 20 + 3*m + m**2. Let s be r(-6). Let p(k) = -k + 7. Is 6 a factor of p(s)?
True
Let x = 21963 + -10298. Is 183 a factor of x?
False
Suppose -2*l + 28096 = -2*y + 5258, -4*l + 45678 = -3*y. Is l a multiple of 187?
False
Let q = -96 + 119. Suppose 18*l - 2515 - q = 0. Is l a multiple of 31?
False
Let m = 9 - 9. Let w be (-8)/(m - 8) - -1*34. Is (-738)/(-21) - 5/w a multiple of 5?
True
Is (4909/3)/((-65)/(-195)) a multiple of 56?
False
Let k(j) = -9*j + 239. Let w = 50 - 50. Let z be k(w). Let h = z - 122. Is h a multiple of 13?
True
Suppose -11*n = -22623 - 63837. Does 11 divide n?
False
Let c = 531 - 28. Let a = 1143 - c. Is 32 a factor of a?
True
Let n(r) = r**3 + 8*r**2 - 9*r + 3. Let c be n(-9). Let w be 3 - (1 + c) - 1*165. Let a = -102 - w. Is a a multiple of 16?
True
Let p = 11467 + -6423. Does 52 divide p?
True
Let b = 33750 - 19498. Is 7 a factor of b?
True
Suppose 3*g - 2*c - 410 = 0, -310 + 42 = -2*g + 4*c. Is 46 a factor of g?
True
Let u = 243 + 277. Let r = u - 368. Does 4 divide r?
True
Let r = 13429 + -2650. Suppose -6777 - r = -11*q. Does 21 divide q?
True
Suppose 8*o - w - 22 = 3*o, -4*o = 4*w - 32. Suppose 2*q - 280 = 2*x, q = o*q - x - 575. Is q a multiple of 38?
False
Let l(k) = -k**2 - 17*k + 62. Let q be l(-20). Suppose -59 = -3*m - q*x, -4*m + 4*x + 80 = 6*x. Does 18 divide m?
False
Let z = 201 + -199. Is ((-6)/18)/(4/(-8616)*z) a multiple of 36?
False
Let a(i) = -22*i - 55. Let l be a(6). Is 8 a factor of 2/22 + (-11577)/l?
False
Let f = 18 + -14. Suppose -3*z - 4*b + 22 - 65 = 0, 20 = -4*z + f*b. Let a(h) = -14*h - 26. Is 20 a factor of a(z)?
True
Let g(b) = 16*b**2 + 240 + 233 - 460 + 12*b + b. Does 87 divide g(-5)?
True
Let g = -463 - -754. Suppose 191*s - 188*s - g = 0. Is s a multiple of 29?
False
Let q(m) = m**2 + 14*m + 58. Let s be q(-6). Suppose -s*k + 6*k = -2*z - 334, -182 = -2*k - 4*z. Does 17 divide k?
True
Suppose -60165 + 13725 = -24*x. Is 129 a factor of x?
True
Let u be (-130)/(-52)*2/5*2. Suppose -2*s - 860 = -3*s - u*f, 2*s - 1675 = 5*f. Is 17 a factor of s?
True
Let c = -66643 + 103721. Is c a multiple of 11?
False
Let m be 3933*(-3)/(-2)*40/90. Suppose -10*t + m = -12*t. Is 23 a factor of 3/(3/(-2))*t/38?
True
Does 30 divide (-87186)/44*(-20)/12 + 10/(-4)?
True
Suppose -12*g - 24585 = -15*g + 3*c, -2*g - c = -16381. Is g a multiple of 38?
False
Suppose -448 = -4*d + 11*d. Let h = 69 + d. Suppose h*w - 375 = -0*w. Does 21 divide w?
False
Suppose -7*b - 71595 = -22*b. Does 111 divide b?
True
Suppose -14*u = -11*u - 12. Suppose 3*c = 2*k + 390 + 46, u*c = 4*k + 584. Let d = -94 + c. Does 8 divide d?
False
Let l(s) = -3*s + 65. Let q be (1176/140)/(2 - 24/10). Is l(q) a multiple of 16?
True
Let z(t) = -t**3 - 7*t**2 + 16*t - 36. Does 82 divide z(-12)?
True
Let p(o) = 7*o**3 - 2*o**2 + 4. Let f = 41 - 37. Suppose 6*a - 5*a - r = 4, -f*a = 4*r. Does 8 divide p(a)?
False
Suppose 5*p - 47 = 133. Suppose -23*i = -20*i - p. Let q = i - -26. Does 6 divide q?
False
Let v(o) = o**3 + 21*o**2 + 23*o - 29. Let r be v(-17). Suppose -x - r = -3*g + 4*x, -240 = -g - x. Does 8 divide (-4)/6 - g/(-3)?
True
Suppose 4*x + 35*f = 32*f + 8176, -5*f = -x + 2044. Is x a multiple of 14?
True
Let c be (2 + 1)*((-292)/(-12) + -2). Let f = 70 - c. Suppose 5*a - 454 = -f*t, -t + 397 = 4*a + 31. Is 23 a factor of a?
True
Suppose n - 28 = 96. Let m = n - 84. Is 4 a factor of m?
True
Let j be 0*(2*5/(-15) - -1). Is 2 a factor of 2 + 6 + -2 + j?
True
Let v(f) = -2*f**3 - 4*f**2 - 6*f - 5. Let h be v(-4). Suppose 3*a + h = -5*n, 3*n + 2*n = 25. Let m = -20 - a. Is 4 a factor of m?
True
Suppose -146*p - 637179 = -385*p + 431868. Is 18 a factor of p?
False
