19*w. Is w prime?
True
Let a(l) = 14*l**2 + l. Let k be a(7). Let d(u) = 263*u - 305. Let n be d(9). Let w = n - k. Is w prime?
False
Suppose -347*k + 96941284 = 285*k + 19887212. Is k a composite number?
False
Let q = 233 + -93. Is (6244/q)/(1/65) a prime number?
False
Let b(t) = -t + 1. Let f(q) = -18*q - 17. Let j(z) = 6*b(z) + f(z). Let m be j(-5). Let k = -35 + m. Is k composite?
True
Let w(u) = 436*u**2 + 104*u + 415. Is w(-12) a prime number?
False
Suppose 3*x = 8*x. Suppose 5*i - 29 + 4 = x. Suppose 2*s + 7113 = 5*s + i*g, g = s - 2371. Is s prime?
True
Let j be 4/20*-2 - 784/(-10). Let m = j - -60. Let w = -41 + m. Is w a prime number?
True
Let k = 20575 - -13104. Is k a prime number?
True
Let s = -17 - -20. Suppose i - 5*g - 15 = 0, 5*i - 29 = -s*g - 10. Suppose 5*o - 5*p = -0*o + 1090, i*o = p + 1110. Is o a composite number?
False
Suppose 2*j = 5*x - 297537, 0 = -4*x + 743*j - 740*j + 238031. Is x prime?
False
Let t(j) be the second derivative of j**4 + j**3 - 49*j**2/2 - 17*j. Is t(9) a composite number?
False
Is 1/((29/116)/((-10267)/(-4))) composite?
False
Suppose t - 4088 - 20808 = -r, -t - 49807 = -2*r. Is r prime?
False
Let z be 3/((0 + -1)*(-3)/(-27)). Let l = 16 + z. Is 7796/20 + -3 + l/(-5) composite?
False
Let l = -595 - -601. Is 5*(l/10)/((-24)/(-61112)) composite?
False
Suppose 0 = -6*t + 43 - 1. Let r(f) = 116*f - 29. Let l be r(t). Suppose -2*i + 2*j = -0*j - 1558, j = -i + l. Is i prime?
False
Let w = 190353 + -46798. Is w a composite number?
True
Let y(v) = -1370*v + 2841. Is y(-36) a prime number?
False
Let w be (-27)/(-63) - (0 + (-54)/21). Let o = w + 2. Is 1031*o*(-2)/(-10) composite?
False
Let l = 323129 - 221862. Is l a composite number?
False
Suppose 546789 = 2*g + 2*k + 139369, 0 = 5*k + 15. Is g a prime number?
True
Suppose 3*r + 6 = 0, 12*c + 3*r = 8*c - 7530. Let z = c + 4834. Is z a composite number?
False
Suppose -4*p = 5*c - 52169, -4*c = -0*c - 5*p - 41727. Is c composite?
False
Let d = 65657 - -60192. Is d composite?
True
Is 2382*83679/210 + 228/3990 composite?
False
Suppose 0 = -21*c + 46503 + 177168. Is c composite?
False
Let l(d) = -21*d**2 - 7 + 94*d**2 + 7*d**2 + 22*d. Is l(-6) a composite number?
False
Let v(k) = 251*k**2 + 69*k + 557. Is v(-18) a composite number?
True
Suppose 4*t - 93476 = -b, -2*t + 62448 = 2*b + 15710. Is t prime?
True
Let r(k) = 6*k**3 + 6*k**2 + 2*k + 1. Let w be r(-3). Is 7/(-21)*w*6 prime?
False
Let j(r) = 3*r - 25. Let a be j(8). Let z be ((24855/(-9))/(-5))/(a/(-3)). Let t = z + -1178. Is t prime?
True
Let f = 12 - 28. Let p = 1720 - -282. Is p/8 + (-3 - 60/f) a prime number?
True
Suppose 2*j - 14 = 2. Let w be (-543)/(-6)*4 + 0/j. Suppose -2*x - 4*f + w = -0*f, 372 = 2*x + 2*f. Is x prime?
True
Suppose 0 = 85*b - 87*b + 8. Suppose b*t - 336 = -17*t. Let o(f) = 13*f**2 + 41*f - 17. Is o(t) a composite number?
False
Let o(j) = 819897*j**2 + 113*j + 115. Is o(-1) prime?
True
Let j(q) = -1 - 728*q + 5 + 5643*q + 4. Is j(2) composite?
True
Let m(j) = -5*j - 63. Let n be m(-14). Suppose -n*w + 11155 = -27814. Is w composite?
True
Let d = -3 + 13. Suppose d*f = 12*f - 16292. Let g = f + -5667. Is g prime?
False
Let x(b) = -6*b**3 - 7*b**2 - 14*b + 1. Let s be x(-6). Suppose -3355 = -3*c - 4*a, 0*c + c - s = 4*a. Is c prime?
False
Suppose u - 9 = -17. Let f = -7 - u. Let i(h) = 1436*h + 5. Is i(f) prime?
False
Let y = -414 - -169. Let p be 2/(-7) + 5/(y/2534). Is 3038/8 + 39/p a composite number?
False
Suppose 85*f - 36*f - 10353599 - 6342612 = 0. Is f composite?
True
Let l(c) be the second derivative of 9*c**3 - 29*c**2/2 - 3*c - 19. Is l(13) composite?
False
Let q = -11 - -16. Let w be (-6970)/q + 6/(-2). Let a = -994 - w. Is a a composite number?
True
Let m(u) = 84926*u**2 + 55*u - 107. Is m(2) a composite number?
False
Let j(x) be the third derivative of 2*x**5/15 - 5*x**4/24 + 13*x**3/6 - 29*x**2. Suppose -9 = -4*m - 25, a - 2*m = 2. Is j(a) a prime number?
True
Let k = -21 + 23. Suppose r - k = 3*r, -3*r + 9105 = 3*b. Suppose 0 = 2*g - b + 890. Is g a composite number?
True
Suppose 0 = -2*y + y - 161. Let t = y + 828. Is t composite?
True
Let c(f) be the first derivative of f**4/4 - 5*f**3 + 7*f**2 + 3*f + 16. Let i be c(14). Suppose 1955 = -0*t + 4*t + i*h, -2*h = -t + 497. Is t composite?
False
Is 1/(((-540798)/108159 - -5)*-1) composite?
True
Let f = 22548 - 12107. Is f composite?
True
Suppose -339*x + 196 = -346*x. Let b(n) = 2*n**2 - 7*n - 37. Is b(x) prime?
False
Let v = 17691 - -6170. Is v composite?
True
Is ((-10)/(-8) - 1)/(519/140630316) a prime number?
True
Suppose 0 = -25*d + 59939 + 82036. Is d/(-6)*(48/(-18) - -2) a prime number?
True
Let b be 0 + (-4)/8*8. Let v = -4 - b. Suppose v = 3*t - 11 - 10. Is t a composite number?
False
Suppose 5*u + 73 = -2. Let b be (-6)/u - 1460/25. Let w = -1 - b. Is w prime?
False
Let d(c) be the first derivative of -9*c**2 - 19*c + 376. Suppose 16 = 4*a, -7*w + 2*w + a - 29 = 0. Is d(w) composite?
False
Let b be 36254 + -1 + (-36)/6 + 0. Let q = b + -19016. Is q a composite number?
False
Suppose 5*v + 2*w - 22 = 0, -4*w = -v + 6*v - 14. Suppose -31*l = -33*l - v. Is 149/(0*l/12 - -1) composite?
False
Let y = -72 - -76. Let d be (-6019)/(-3) - (-1)/(-3). Suppose -d = -y*i + 3*k - k, -4*k + 1018 = 2*i. Is i a composite number?
False
Let c = 15919 + -9401. Is c a prime number?
False
Let o(l) = -608*l**3 + l**2 + 14. Is o(-3) a prime number?
False
Suppose 32*f + 227 = 675. Is (-8)/(-28) + 39574/f a composite number?
True
Let f(d) = -64*d**3 - 49*d**2 - 136*d - 48. Is f(-19) a prime number?
True
Suppose -4*w - 3*m + 639437 = 0, 0 = -657*w + 658*w + 5*m - 159838. Is w a composite number?
True
Suppose 2*g = 6*y - 207 - 781, 0 = 3*y - 4*g - 491. Let v be (-38720)/(-35) + 4/(-14). Suppose v - y = f. Is f a prime number?
True
Let y = -196 - -2. Let c = -118 - y. Suppose -5*h - 87 = -b + 13, c = b + 3*h. Is b a composite number?
True
Suppose 41 = 16*p - 17*p. Let b = p - -43. Suppose 0 = 3*j + k - 1120, -6*j + j - b*k + 1867 = 0. Is j a composite number?
False
Let x be 4 + 3 - (13 + -7). Is 15 + -11 - (-2370 + 3/x) composite?
False
Let b(g) = 18*g**2 + 3*g + 3. Let c be b(5). Let t = c - 234. Suppose -4*w - 2*r = -t, -5*w = -2*r - 2*r - 286. Is w prime?
False
Let d(z) = 20*z + 3. Let o(q) = 2*q**2 - 15*q + 5. Suppose 3*y - 20 = 4. Let t be o(y). Is d(t) prime?
True
Let n(p) = p**3 - 10*p**2 - 7*p - 47. Let c be n(11). Let o = 531 + c. Let i = o + 12869. Is i a composite number?
False
Let d be (0 + -3)*(-7)/(-84)*-4. Let b(p) = 2695*p + 2. Let w be b(d). Suppose -3*z + 2*c = -3014 - 1059, 5*c = 2*z - w. Is z a composite number?
False
Suppose 37*r = 31*r. Let s be (-719 - 3)*1/(-2). Suppose 9 = -3*a, r = 3*d - 4*a - 1670 - s. Is d composite?
False
Suppose 5*g + 210146 = 6*s + g, 2*s + 2*g = 70042. Is s prime?
True
Suppose 0*z + 18 = 2*z. Suppose 2*s = -1 + z, 4*h + 3*s = 8. Is 38 + h - (4 - 0) a composite number?
True
Let s(k) = 2*k**2 - 10 + 10*k**2 - 20*k - 9*k**2. Is s(17) composite?
True
Let l be 6/((-6 + 3)/(-3)). Suppose -4*i + l*i - 3*c - 2662 = 0, -5364 = -4*i - 4*c. Is i composite?
True
Suppose 4*a = 4*k - 16, -k - 9 = a + 3*k. Let d(v) = 13*v**2 - 11*v - 6*v + 15*v. Is d(a) a prime number?
False
Suppose 0 = 5*q - 5*y - 455, -5*q - 5*y = -q - 355. Suppose 2*z = 1578 + q. Is (4 + z/(-18))/((-2)/6) a composite number?
False
Suppose 53175 = 8*b - 7*b - 4*n, 4*n = -2*b + 106290. Is b composite?
True
Is 45/(450/20)*(0 - 308963/(-2)) a prime number?
False
Suppose 2*u + k - 1450 = 0, -2*u - 3*u + 5*k + 3640 = 0. Suppose -2*a + 6243 = 5*n - 0*a, -4*a + 3757 = 3*n. Let s = n - u. Is s prime?
True
Let g = -13782 - -17729. Is g a composite number?
False
Let q be (2 + -346)*18/(-8). Suppose 2265 = -12*x - 3*x. Let v = x + q. Is v composite?
True
Let k = 38126 + 24333. Is k composite?
False
Suppose -2*c + 176354 + 193754 = 2*o, -4*c = -2*o - 740198. Is c a prime number?
True
Let m = -48 - -49. Suppose -x + t = -0*t + m, t - 4 = 4*x. Let c(u) = -107*u - 1. Is c(x) a prime number?
False
Suppose 893304 = -2*c - 796878. Is ((-2)/6)/(-3*(-13)/c) a prime number?
False
Let h be (-150)/350 + 24/7. Is (h/(-12))/((-10)/26920) a prime number?
True
Let w = -38 + 42. Suppose -n + 1 = -1. Suppose -4*l = -0*k - w*k - 3656, -4*l + 3666 = -n*k. Is l p