w) a composite number?
True
Let k = -7441 + 12755. Suppose 0 = -6*t + k - 14098. Let b = t - -5563. Is b prime?
True
Suppose 14*z - 9*z = 5*r - 558775, r - 2*z - 111760 = 0. Suppose 30*c - 1059480 + r = 0. Is c a composite number?
True
Is (-46)/42 + (1 - 0) - (-15181660838)/23898 a prime number?
False
Let i(c) = 10*c**3 + 6*c**2 - 5*c + 3. Let m = -69 + 73. Let s be i(m). Let z = s - 306. Is z prime?
False
Is (-18)/240*-10093576 - 16/(-20) a prime number?
True
Suppose 14*s = 15*s - 5, -4*i = -s - 45471. Is i composite?
False
Suppose 0 = 34*d + 65964 - 258438. Suppose -52*i = -43*i - d. Is i prime?
False
Suppose 3*h - i - 14151 - 5563 = 0, 4*h = 5*i + 26267. Let l = 11956 - h. Is l prime?
False
Suppose 0 = -p - 3*u + 24447, 0 = 5*u + 9 + 6. Suppose -4*t + 12242 = 2*r, -6*r + 2*r - t + p = 0. Is r a composite number?
False
Suppose 99*p = 95*p - 172. Let w = p + 45. Suppose 3*c = w*f + 170, -f + 2 = -0. Is c a prime number?
False
Let b(u) = 70449*u**3 - u**2 + 25*u - 51. Is b(2) prime?
True
Let w be -2*(1 - 28/8). Suppose -4*v + 3*n = w*n - 16, -v - 10 = -3*n. Suppose v*t = -j + 1147, -456 = -j + 2*t + 711. Is j a prime number?
False
Let k(z) be the first derivative of 65*z**2/2 + 26*z - 32. Let m be k(-11). Let u = 1140 + m. Is u composite?
True
Suppose 86*t = 82*t - 2*f + 149606, -3*t + 112212 = 3*f. Is t a composite number?
True
Let z = 17 - 12. Let q(w) = -w**2 + 8*w - 9. Let l be q(z). Is (1 - (l + -4))*-331 prime?
True
Let w(a) = -2862*a - 62. Let g(t) = -954*t - 20. Let m(n) = 10*g(n) - 3*w(n). Is m(-2) a prime number?
False
Suppose -6 - 45 = -3*n - 5*c, -31 = -n + 3*c. Suppose 0 = -4*f - 2 + n. Suppose -3005 - 3290 = -f*o. Is o a composite number?
False
Suppose 3*f - 20999 = 2*f - 20*l, 4*f + l - 84549 = 0. Is f composite?
False
Let n(z) = 1029*z**2 + 235*z - 18. Let v(d) = -257*d**2 - 52*d + 4. Let a(k) = -2*n(k) - 9*v(k). Let m be (2/(-6))/(1/3). Is a(m) a prime number?
True
Let o(f) be the first derivative of 5*f**3/3 + 147*f**2/2 + 39*f + 66. Is o(32) composite?
True
Suppose 525*m + 230707 = 542*m. Is m composite?
True
Suppose 0 = -2*h + 3*h, 5*h = -2*o + 28. Let b(u) = -54*u - 20. Let m be b(o). Let s = m - -1173. Is s a composite number?
False
Let b(k) = 589942*k**3 - 2*k**2 + 100*k - 97. Is b(1) prime?
False
Let k = 15205 + -5402. Is k a prime number?
True
Suppose 10*a + 191 - 211 = 0. Suppose -5*x - t = -13898, -3*x + a*t - 2779 + 11110 = 0. Is x a composite number?
True
Let b = 195 + 2148. Suppose z + b = 4*l, 2*l = 3*l - z - 582. Is l prime?
True
Suppose -40*n = -60*n + 45700. Is n a composite number?
True
Suppose -42*x + 43*x - 5*n - 1023609 = 0, -4*x + 4*n + 4094436 = 0. Is x a composite number?
True
Let a = -335 - -339. Suppose 784 = d + 2*n - a*n, 4*n + 790 = d. Is d a prime number?
False
Let q(f) be the first derivative of -53*f**4/4 - f**3/3 - 5*f**2/2 - 25*f + 160. Is q(-8) prime?
False
Let p(j) = -28249*j - 1743. Is p(-4) a composite number?
False
Let p(b) = b**2 + 12*b + 24. Let d be p(-10). Suppose -v = 3*m - 15, 2*v = v - d*m + 16. Let c(y) = -y**3 + 15*y**2 - 6*y + 37. Is c(v) prime?
True
Let g(n) = 10238*n. Let j be g(3). Let m = j + -12341. Is m a composite number?
True
Suppose -4*k - 70 - 210 = 0. Let r = 69 + k. Is 1685 + (3 - ((-4)/r + -1)) a prime number?
False
Suppose 3960*j = 3957*j + 64623. Is j prime?
False
Let r be (-1)/4 + (-8)/(-32). Let k(c) = 2*c - 2. Let q be k(r). Is (-4)/q*1012/8 prime?
False
Let r = 20724 + -9597. Is r composite?
True
Let z(n) = 30*n**2 + 617*n + 252. Is z(-82) a composite number?
True
Let b = -14782 + 21735. Let t = b - -1544. Is t composite?
True
Suppose 3*l + 6 = 0, -u - 13 = -16*l + 21*l. Is (185/(-65) - u) + (-76484)/(-52) composite?
False
Let z(u) = 193189*u - 461. Is z(6) a composite number?
False
Suppose 6*g - 4*h = 9*g + 50, -5*h + 20 = 0. Let n be ((-6 - -2) + 2)*g/4. Is 7 - (n - 5) - 1436/(-2) prime?
True
Let q(i) = -3309*i - 58. Is q(-1) a composite number?
False
Let k(l) = 6*l**3 + 13*l**2 - 2*l. Let s be k(6). Let y = s - 713. Is y a composite number?
False
Let b(t) = -28*t + 1. Let q = 38 - 52. Let n = 10 + q. Is b(n) a prime number?
True
Let d = -147 - -151. Suppose -11443 = -d*l + 36393. Is l prime?
True
Let l be 2/(-7) - (-3345)/21. Let n = l + 135. Suppose -r - 49 - n = -2*d, -5*d + 835 = 2*r. Is d composite?
True
Suppose 14*f + 0*f + 28 = 0. Let h(y) = -368*y**3 + y**2 - 6*y - 7. Is h(f) a composite number?
False
Let b = -226530 + 357299. Is b composite?
False
Let w(n) = -11*n**3 + n**2 + 17*n + 40. Suppose -b + 5*t - 4 = 6*t, -t + 38 = -5*b. Is w(b) a composite number?
True
Let w = -294 - -154. Let u = w + 158. Is (1914/(-12))/((-3)/u) - -2 a prime number?
False
Let a(p) = 59 - 9 + 2144*p - 17. Is a(4) a prime number?
True
Suppose 37*g - 16323872 = 5*g. Is g a composite number?
False
Suppose -4*g + 2634 = 2*p, -3 = -p - 0*p. Let x = 3634 - g. Is x composite?
True
Suppose -2*s - 185 + 141 = 0. Is 2/(-3)*25377/s a prime number?
True
Is (264/36 - 10) + 22049027/21 prime?
False
Let s = 16715 + 164156. Is s composite?
False
Suppose -492217 = 799*a - 828*a. Is a prime?
False
Let i(u) = -u + 12. Let f be 60/14 + (-8)/28. Let c be i(f). Suppose 5873 = -g + c*g. Is g prime?
True
Suppose 0 = -5*r - b + 1708638, 193*b + 1025180 = 3*r + 194*b. Is r composite?
False
Let q(k) = 573*k + 58. Let m be q(5). Is (-6 - -2 - -10) + m a prime number?
False
Let c(x) = x**2 - 5*x + 3. Let u be c(3). Let b = u + 7. Suppose b*l + l = 2435. Is l a prime number?
True
Suppose 115*j - 120*j = -105. Is (-24574)/(-6) - (-28)/j a prime number?
False
Suppose 81*u = -24*u - 7*u + 11439344. Is u a prime number?
False
Is -32 + 31 - ((-1)/(-1) - 169285) a prime number?
True
Suppose 2*y - 3*s - 33 = -0*s, 51 = 3*y - 5*s. Suppose 0 = y*z - 4*z - 52472. Is z prime?
False
Let n(s) = 6653*s**2 + 155*s - 1. Is n(-9) prime?
True
Let l(q) = -498*q + 1. Let u(k) = -k**3 - 7*k**2 - k - 8. Let d be ((-602)/(-129))/(2*(-1)/3). Let a be u(d). Is l(a) composite?
False
Let h(s) = -89*s - 372 + 1084 - 215 - 252. Is h(-46) prime?
True
Let p = -52 + 54. Suppose -p*l - 8 = -6*l. Suppose -277 - 41 = -5*y + l*m, 0 = -5*y + 4*m + 326. Is y composite?
True
Suppose -4169 = -6*o + 19393. Suppose 3328 = -2*d - w - 1563, 0 = 4*w - 4. Let a = d + o. Is a a composite number?
False
Let h(d) be the second derivative of 61*d**7/2520 - d**6/120 - d**5/24 - 17*d**4/12 - 9*d. Let w(c) be the third derivative of h(c). Is w(6) a prime number?
False
Let l be -23271 - ((-9)/(-6) + (-13)/2). Let t = l + 41467. Is t a prime number?
False
Suppose 194*t - 191*t = 30111. Suppose 4*p - 3*p = t. Is p composite?
False
Let o be (-2)/((-6)/(-871))*-3*221. Suppose -o = -24*r + 377581. Is r composite?
False
Suppose 0 = -3*b - 44*b - 28*b + 11244075. Is b prime?
True
Let t = -12 - -28. Let o = t + -22. Is (((-892)/o)/2)/(3/9) composite?
False
Let p be 27 + -26 - (-12)/3. Suppose 3*n - 3*f - 3431 - 4165 = 0, f = -p*n + 12666. Is n prime?
False
Let f = 68 - 62. Suppose -2*x = f, 26*y - 21*y - 17567 = 4*x. Is y prime?
True
Suppose 18*h - 1398556 = -16*h + 5979138. Is h prime?
True
Let y(s) = -s**3 - 4*s**2 - 9*s - 6. Let a be y(-6). Let b be ((-2)/(-3))/(16/a). Suppose -4*q - 4117 = -b*l + 2772, 4163 = 3*l + 5*q. Is l a composite number?
False
Let m(b) = -2 + 6 - 33*b - 38 - 10. Is m(-3) a composite number?
True
Let f(a) = -a**2 - 11*a + 14. Let z be f(-11). Suppose -h + z = -n + 4*h, 14 = 5*n - 4*h. Is n/14 - 15900/(-42) prime?
True
Suppose 300841 = -51*r + 2514190. Is r a composite number?
False
Let p = -92371 + 335300. Is p prime?
False
Is ((1 - -28236) + (-2)/(-1))*42/126 a composite number?
False
Let h(x) = 571*x**2 + 18*x - 32. Is h(9) a prime number?
True
Suppose 0*c + 3*c + 22 = -4*h, 4 = -4*h. Let p be ((-2)/c)/(8/(-120)). Is 8 + p + 1*362 prime?
False
Let w = 5600 - 1294. Suppose 5*s - w = 4*f, 2*s - 1723 = -4*f + 5*f. Is s*(2/3 - 16/(-48)) a prime number?
False
Let o = 20378 - 8415. Suppose 3*u + 4*p - o = 0, 4*p - 5*p - 11953 = -3*u. Is u a composite number?
True
Suppose -4*b = -2*k + 3524, -6*b - 2*k - 3516 = -2*b. Is 158/(b/(-145) + -6) composite?
True
Let q(p) = 16242*p**3 + 2*p**2 + 5*p + 3. Let w be q(-1). Let a = w + 23189. Is a a prime number?
True
Is (325807 - 0) + 10 + 2 + -12 a prime number?
True
Suppose 3*j - 55 = -2*j. Supp