 3*w = 12, 5*c + 5*w - 20 = 15. Let r(b) = -2*b**3 + 0*b**2 + 17*b**2 - 20*b + c*b**3 + 39 - 46. Is r(-13) prime?
True
Let v(f) = 107*f**3 - 8*f**2 - 6*f + 13. Suppose -94 - 14 = -27*c. Is v(c) prime?
True
Let b = 26 + 0. Let g = b + -21. Suppose 10 = g*t - 25. Is t a prime number?
True
Let s = -510 + 515. Suppose -p - 7075 = -4*h, p - 900 = -s*h + 7946. Is h composite?
True
Suppose 5*k - 9*k = -20. Suppose -30244 = -3*v - k*q, -3 + 8 = -5*q. Suppose u - 2518 = -3*p, 4*u + p + 0*p = v. Is u prime?
True
Suppose 13*j - 15*j = -46. Suppose 0 = -2*s + 1317 + j. Suppose 0*r + 5*r = s. Is r composite?
True
Let l(x) = -5*x**2 - 21*x - 42. Let a(j) = -3*j**2 - 14*j - 28. Let m(g) = 7*a(g) - 5*l(g). Let o be m(-4). Suppose -o*c = -48*c - 1522. Is c a prime number?
True
Suppose 8*q - 4*q = 4*u + 17560, -3*q + 13200 = 3*u. Suppose -2*o + q = -12007. Is o prime?
False
Let b be 4/5*(-2402985)/78. Is (30 - 31)*b/2 prime?
True
Let f(i) be the third derivative of 24*i**2 + 0*i + 0 + 1/3*i**3 + 0*i**4 + 989/60*i**5. Is f(1) a composite number?
False
Let m be ((-296)/(-24))/(2/6). Suppose -m = 3*n - 5*w, -4*w = 2*n - 9 - 3. Is 230/n*(-26)/13 prime?
False
Suppose 0 = -2*h - 4*s + 976270, 12*h - 5857452 = -5*s + 2*s. Is h a composite number?
False
Suppose 2*o - 4*o = 18. Let q be -2 + o/(27/12). Let l(n) = -71*n - 17. Is l(q) prime?
True
Suppose 195878 = -22*k + 2410. Let r = -5099 - k. Is r a composite number?
True
Suppose -20*y = -22*y + 92646. Is 48/(-216)*y/(-2) composite?
False
Let t(r) be the first derivative of 13*r**4/2 - 4*r**3/3 - r**2/2 + 6*r - 643. Let k = -1 - -4. Is t(k) composite?
True
Suppose 1077*k - 151578 = -i + 1082*k, 5*i - 757867 = 2*k. Is i a prime number?
True
Let w(k) = k**3 + 6*k**2 + 11*k + 35. Let n be w(-5). Suppose n*t = 10*t - 7715. Is t composite?
False
Let b = -23697 + 23956. Is b prime?
False
Let l(m) = 122*m**2 + 6*m + 37. Let o(n) = 124*n**2 + 7*n + 36. Let f(r) = -4*l(r) + 5*o(r). Is f(-3) a prime number?
True
Is 1/(3/(-15)) + 11560 + -6 composite?
False
Let f be 2*(-15)/(-10)*7/3. Is (3 + (1111 - -3))*f a prime number?
False
Suppose 114*r - 118*r - 18012 = 0. Let g = r - -6706. Suppose -k = -2*k + g. Is k prime?
True
Let y(r) = 9*r**2 - 75 + 31 + 7*r**3 + 36 - 5*r. Is y(9) a composite number?
False
Suppose -3*a + 871 = 4*w, 5*a + 6*w - 2*w - 1465 = 0. Let g = -445 + a. Let i = 337 - g. Is i prime?
False
Let t be (-4)/18 - (-736)/72. Suppose t - 12 = q. Is 3 + q + 4 + 1 composite?
True
Is 4/(-18) + 410307656/792 composite?
True
Let f = -898 + 463. Let p = -66 - f. Suppose -5*x + 2414 = p. Is x prime?
True
Suppose -3324847 = -132*h + 1609973. Is h prime?
False
Let p(h) = -3*h + 22. Let m be p(8). Let g be 0/(-4) - (-4 - m). Suppose 0*c - 3*a + 2180 = g*c, 4*a + 4340 = 4*c. Is c a prime number?
True
Suppose 9*p = 1 - 19. Let w be (-3)/4 - (p + (-243025)/(-20)). Let j = -8623 - w. Is j composite?
False
Suppose 5*q - 1646005 = 3*d, -2*d - 24878 + 354066 = q. Is 84/(-798) + q/38 composite?
False
Let m = -1378 + 2549. Suppose 28*b = -13*b - 4*b + 270. Suppose -m - 383 = -b*i. Is i prime?
False
Let w(t) = t**3 + 25*t**2 - 54*t - 51. Let q be (-4)/18 - (-928)/(-36). Is w(q) a prime number?
True
Let j = 62 - 60. Suppose j*g = 1169 - 211. Is g a composite number?
False
Let a = -26254 - -43961. Is a a composite number?
False
Let c be 198/15*(-170)/3. Let u be 21/7 - (-3)/((-6)/c). Suppose 5*m - 1462 = -u. Is m composite?
True
Let z = 200321 + -122688. Is z composite?
True
Suppose -2161*a - 1311851 = -2184*a. Is a a prime number?
True
Suppose 179*w - 2*y = 177*w + 86350, -w = 4*y - 43185. Is w a composite number?
False
Suppose 5*h - 4149789 = v, 0 = -3*v + 7 - 19. Is h a prime number?
False
Let d be (6/21)/((-7)/(-49)). Let g be 2/(-8) + 27357/(-12) + d. Let t = g - -3845. Is t composite?
False
Suppose 5*n = -10*h + 5*h - 10, 3*h - 34 = 5*n. Suppose 2*d - 3*p = 6971, h*d = -2*p - 3*p + 10504. Is d a prime number?
False
Let r(j) = -j**2 - 12*j - 15. Let h be r(-12). Let t(a) = -352*a - 71. Is t(h) prime?
True
Let b = 19 + -17. Suppose -b*h - h = -1314. Let o = -247 + h. Is o a composite number?
False
Let r = -5791320 - -8831269. Is r composite?
True
Let n = -1624 + 1626. Suppose 0 = -j + 5*b - 0*b - 81, -2*b = 2*j + 138. Is (j/5)/(n/(-10)) a prime number?
True
Suppose 0 = 5*m + 5*c - 168790, 2*c - 262030 = -5*m - 93255. Is m composite?
True
Let i be (40/(-12))/((100/24)/(-5)). Is ((-6628)/(-48)*i)/((-1)/(-3)) prime?
True
Let r be ((-2678)/(-4) - -5)/((-2)/4). Let b = 2086 + r. Let i = b - 444. Is i composite?
False
Let t(c) = 4*c - 15 + 186*c**3 - 12*c**3 + c**3. Is t(4) prime?
False
Let q(y) = y**2 - 7*y + 8. Let c be q(6). Suppose -9*r - c = 25. Let i(p) = 14*p**2 + p + 8. Is i(r) a prime number?
True
Let l(d) = d**3 + 5*d**2 + d + 32. Let k be l(11). Let f = -1294 + k. Suppose -21*c + 20*c = -f. Is c composite?
True
Suppose -3*c = -i + 131993, 70*i + 396083 = 73*i + 4*c. Is i a prime number?
False
Suppose 155*t = 43*t + 40046384. Is t a composite number?
True
Suppose -m - 2*c + 6 = 0, 4*m = -0*m + 5*c - 15. Suppose -3*o + o - 4*q = -2274, m = 4*o - 5*q - 4613. Let j = o + -338. Is j prime?
True
Let q(d) = 491*d**2 - 24*d + 80. Let z be q(3). Suppose 33*a = 38*a + 4*t - 11057, -3*t + z = 2*a. Is a a composite number?
True
Let b(o) = 238*o**3 + 17*o**2 - 193*o + 11. Is b(10) a composite number?
False
Suppose 24 = -3*w - 12. Let d be -8*(-2 + w/(-8)). Let n(i) = 613*i + 1. Is n(d) composite?
True
Suppose -2*f = -5*c - 0*c - 4589, f = 2. Let p = -244 - c. Is p composite?
False
Let b be -5*(2 + -4)*712. Suppose -19*s + 6*s - 39923 = 0. Let q = s + b. Is q a prime number?
True
Let i = 2391 + -1152. Let p = i + -468. Is p prime?
False
Suppose 15164732 = -168*b + 212*b. Is b composite?
False
Let i be 17 - 14 - (2 - 0). Let v(c) = -c**2 + 3*c - 1. Let s be v(i). Is -818*((-28)/8 + s) prime?
False
Suppose 9*n - 1201721 = -9*n + 1878421. Is n a composite number?
True
Let x = 43730 - -732189. Is x a prime number?
True
Let v(t) = -39005*t + 4022. Is v(-27) a composite number?
False
Suppose -2*b - 2 = -0, o - 3*b - 302 = 0. Let q be 2/7 - (-1396)/14. Suppose q + o = 3*a. Is a a composite number?
True
Let k be ((-16)/6)/((-1)/3). Suppose 99*c - 109*c = 16820. Is (c/k)/((-2)/4)*2 a composite number?
True
Is (25030/4)/((-150)/(-300)) a prime number?
False
Let b(n) = 21139*n + 84. Is b(25) composite?
False
Let i(q) = 18*q**3 - 12*q**2 - 207*q - 5. Is i(16) a composite number?
False
Let q = -2794 - -1276. Is (8 - 9 - q)/(2/2) a prime number?
False
Suppose 0 = -s - 4*o + 2914 + 2216, -3*o = s - 5132. Let m = s - 1785. Is m composite?
True
Suppose -648 = 14*s - 5*s. Is (-547712)/s - (-2)/(-18) a composite number?
False
Suppose 442822 = h - 3*o, 7*h + 55*o - 3099634 = 52*o. Is h composite?
False
Let d = 103830 + 109883. Is d prime?
True
Let n(o) = 37743*o**3 - 4*o**2 + 76*o - 147. Is n(2) prime?
True
Suppose p - 3*p + 4*b = 122738, -p - 5*b - 61383 = 0. Is (-2)/(-12) + p/(-78) prime?
True
Is (-160 + 159)*-199*359 prime?
False
Let n(m) = -402*m**3 - 2*m**2 + m + 1. Suppose -3*z = -5*i - 4, 2*z + 3 - 8 = i. Let j be n(i). Let l = 695 + j. Is l a composite number?
False
Let j(f) = 31*f**3 + 5*f**2 + 14*f - 33. Suppose 0 = -21*n + 22*n - 6. Is j(n) a composite number?
True
Let f be (6/(-4))/(1*(-1)/2). Let t(r) = 2*r**2 - r - 7. Let o be t(f). Is -319*((-1)/(-3))/(o/(-24)) composite?
True
Is (0 - 1068361/(-5)) + 252/(-4725)*-15 composite?
True
Suppose 17*a + 10*a - 22*a = 0. Suppose -c + 1081 = 3*k - 53, a = 4*c + k - 4591. Is c a composite number?
True
Suppose -3*g - 2 = -5*g, -4*j - 5*g = -25. Suppose 60 = 5*u + j*s, -3*u + 52 = u + 2*s. Is 14147/u + 7/(-2) + 2 a composite number?
False
Let c(r) = r**2 + 29*r + 200. Let m be c(-6). Let h(j) = j**2 + 2*j - 1. Let y be h(1). Is y + -5 + m*2 a prime number?
False
Suppose 100*b + 111531313 + 54471733 = 342*b. Is b prime?
True
Let t = -382 - -397. Suppose 17*i - 389920 = -t*i. Is i prime?
False
Suppose -43705 + 4318 = 19*t. Let z = -1400 - t. Is z composite?
False
Let g = -287608 - -460395. Is g prime?
True
Suppose 4*c - 3*z - 37 = -8*z, 5*c = 2*z + 38. Let b(k) be the third derivative of k**6/120 - k**5/30 + k**4/3 + 3*k**3/2 - 426*k**2. Is b(c) composite?
False
Let q(w) = -31*w**2 - 8*w + 11. Let z be q(-5).