2 = -j*p + 9*p. Is p prime?
False
Let x(l) = -37*l + 27. Let j be x(2). Let c = 258 + j. Is c a prime number?
True
Suppose -y + 3*c = -821164, 0 = 197*y - 192*y + 3*c - 4105766. Is y a prime number?
False
Is 242931 - 7 - ((-55)/(-165) + 10/(-3)) a prime number?
True
Suppose 53 + 207 = 5*d. Is (-15497)/(-3) + (-3 - d/(-12)) a prime number?
True
Suppose 0*x = 16*x - 7422489 - 1533463. Is x composite?
False
Suppose 2*v - 113718 = 4*f - 0*f, 2*v - 3*f - 113713 = 0. Is v a composite number?
True
Let k(t) = 761*t**2 - 6*t + 7. Let p = -34 - -36. Let g be k(p). Suppose 5*v - 4029 = -4*f, -g = -3*f + 5*v - 3*v. Is f a prime number?
False
Let a be -5 + (1 - 2)*1. Let t = a - -9. Let s(n) = 31*n**2 + 5*n - 3. Is s(t) composite?
True
Let m = 1534 - 614. Suppose -19020 = -10*w + m. Is w prime?
False
Suppose 5*w = 3*w - 238. Is 4/34 - (7 + 42826/w) prime?
True
Let l be ((-5)/10)/(-2 - (-65475)/32738). Suppose 4*m = -5*v - 0*v + l, 12268 = 3*m - 5*v. Is m prime?
True
Let m(c) = 885*c + 71. Let g(a) = 1772*a + 141. Let s(z) = 4*g(z) - 9*m(z). Is s(-4) prime?
True
Suppose 641*p - 646*p = 64840. Let f = p + 35647. Is f a prime number?
True
Let o(l) = -3*l - 54. Let h(i) = -i**3 + 12*i**2 + 12*i - 5. Let x be h(13). Let t be o(x). Suppose 11*b - 9*b - 7094 = t. Is b a composite number?
False
Suppose q = -6*q + 3*q. Suppose o - 48 - 275 = q. Is o composite?
True
Suppose 0 = -4*d + t + 27, -5*d + 3*d + 18 = -2*t. Is (-205637)/(-38) - d/(-4) composite?
False
Let x(y) = 127*y**2 - 60*y + 1. Suppose -4*k + 3*u - 11 + 29 = 0, -5*k - u = -32. Is x(k) a prime number?
False
Let w(r) = 4*r - 21. Let b be w(10). Suppose -b*d = -14*d - 485. Let o = d + -60. Is o prime?
True
Suppose 5*p - 4*u = 25 + 70, p - 4*u - 19 = 0. Let r(q) = 17*q**2 + 29*q + 91. Is r(p) composite?
False
Let n(a) be the first derivative of 85*a**2/2 - 223*a + 210. Is n(8) a prime number?
True
Is (-1)/((-3)/33)*((-49431030)/(-121))/15 a composite number?
True
Suppose 0 = 5*f + 2*v - 45, -2*f + 27 = f - 5*v. Let t = f - 11. Is -1473*(t + (-5)/(-3)) composite?
False
Suppose 728*x = 725*x + 9, -x + 1639447 = 4*w. Is w prime?
True
Is 2/(-25) + ((-23274069)/175)/(-21) prime?
False
Let r(q) = 7 + 72 + 4*q**2 + 11*q - 13 - 1 - 43*q. Is r(26) a prime number?
False
Let a(t) = -t**2 - 34*t - 104. Let l be a(-29). Suppose -l*x = -64*x + 144141. Is x prime?
False
Suppose 3*d - 510 = 5*i + 8*d, -512 = 5*i + 4*d. Suppose -5*a - 2*b = -11065, -a = -0*b + 5*b - 2213. Let t = a - i. Is t composite?
True
Let f(j) = 3*j**2 + j - 16. Let x be f(-4). Is (-7)/(x/(-10))*1676/5 a composite number?
True
Suppose 0 = -32*i + 15*i + 120173. Is i composite?
False
Let m(h) = -2*h**3 - 8*h**2 + 10*h. Let c be m(-5). Suppose c = 10*x - 744 - 14346. Is x prime?
False
Suppose 7*s + 19312 = -24963. Let q = s + 9404. Is q composite?
False
Let b = -56949 - -194726. Is b a prime number?
True
Suppose 3*h - 1 = z, -z + 11 = 4*h - 2. Suppose 0 = -2*v + b - z*b + 8272, 5*b + 16531 = 4*v. Suppose -4*x - 554 = -v. Is x a prime number?
False
Let n(k) = 33*k**2 + 4*k - 6. Let v = 5 + 22. Let i = v + -23. Is n(i) a composite number?
True
Let u(z) = 4052*z**2 - 588*z - 4618. Is u(-8) a composite number?
True
Let j = 829887 - 388476. Is j prime?
False
Is (0 - 3)*4*31013/(-6) a prime number?
False
Let s = -867445 + 1649784. Is s composite?
False
Let n = 702624 + 402255. Is n prime?
False
Let u(q) = q + 1. Let d be u(-8). Let l(s) = s**2 + 6*s + 10. Let n be l(d). Suppose -g = -n + 4. Is g a prime number?
True
Let f = 334551 - 182822. Is f prime?
True
Suppose 5*u - 2*j = 5, 6 = -3*u + 7*j - 4*j. Is 1901/(u - 8/3) a prime number?
False
Suppose -10*s = -5*s + o - 36175, 3*s - 21705 = -2*o. Is s a prime number?
False
Is ((-28)/(-8) + -2)*(470393/11 - 9) a prime number?
False
Let w be (2/7)/((-11)/(-77)) + 23. Suppose 16*j - w*j = -18531. Is j a composite number?
True
Suppose -4*c - 45942 = -5*o, 5*c - c = -4*o + 36768. Suppose o = 4*u - 2*u. Suppose 16*l - 21*l + u = 0. Is l composite?
False
Is 889884/15 + 72/180 + -9 composite?
True
Suppose -2*h + 10775 = 3*t, 10*t - 5*t + h = 17963. Is t a prime number?
True
Is ((-18)/(-8)*(-208)/(-72))/(2/13556) a composite number?
True
Suppose 139495 = 4*n + 3319. Let c = n - -6361. Is c a composite number?
True
Let b(w) = 5*w**3 + w**2 - 8*w + 74. Let n be b(6). Let i be 48/9 - (-1)/(-3). Suppose -i*d - 5*c = -1930, -2*c + 3*c + n = 3*d. Is d composite?
True
Let i = 329 - 324. Suppose -4*p = i*k - 3168 - 28389, 3*k = 4*p - 31517. Is p composite?
False
Let x(z) = -166*z**3 - 14*z**2 + 38*z - 45. Is x(-8) composite?
True
Suppose 0*d = -3*d + 6. Let y = -1047 - -1049. Suppose 4*u - 5626 = -5*w - 305, -d*u = -y*w + 2114. Is w a prime number?
True
Suppose 11*f - 8 = -151. Let t(j) = -6*j**3 + 9*j**2 + 26*j + 46. Is t(f) a composite number?
False
Suppose 95683742 = 272*z - 204682866. Is z prime?
True
Suppose -5*g - 1102 = -2*j, -2264 = -4*j - 0*j - 5*g. Let t(x) = j - x**3 - 544 - 7*x + x**2 + 0*x**2. Is t(-13) a prime number?
False
Let g be (-6)/((-18)/(-12219)*2/(-8)). Is (g + 2)*13/26 a composite number?
False
Let r(c) = -c**3 + 6*c**2 - c + 3. Let i be r(6). Let j(y) = -y**2 - 7*y - 5. Let f be j(i). Suppose -381 = -8*g + f*g. Is g prime?
False
Let l be (-1089)/(-21) - (-3)/(-21)*-1. Let x = l + -50. Is (x/(-4))/((-4)/2696) a prime number?
True
Suppose -3*x = 3, -4*x = 2*r - 0*x - 8. Suppose 10*w - 3384 = 4*w. Suppose r*p - 162 - w = 0. Is p a composite number?
True
Suppose 11*j + 72942 = 202489. Suppose -2*f - j = -5*t, -f + 1138 = t - 1223. Is t composite?
False
Let u be 4/(-14) - 358314/(-42). Let d = 12274 - u. Is d a composite number?
True
Let f(j) = 3*j - 37 + 7*j**2 - 4*j - 9 + 4*j**2 - j**2. Is f(-7) a prime number?
False
Let f = 2073 + -3038. Let l(j) = 6*j**3 - 2*j**2 + 7*j - 3. Let y be l(7). Let v = f + y. Is v a composite number?
True
Let s(q) = -2166*q + 35. Is s(-28) prime?
False
Let a = 11 - 4. Suppose -t + 2*m + a = 4*t, 4*m + 4 = 0. Is t/6 - 117160/(-48) prime?
True
Let t be 2 + 14/(-8) + 95/(-76). Let z be 26 - 20 - (t - -2)/1. Suppose 3*q = -z*g + 4610, -1848 = 10*g - 12*g - 2*q. Is g composite?
False
Is ((-55)/5 - 8/(-2)) + 120954 + 2 a composite number?
True
Let x(m) = -m**2 + 2*m + 2658. Let n be x(0). Suppose 0 = 61*r - 55*r - n. Is r composite?
False
Let a(h) be the third derivative of -h**6/120 + h**5/12 - 5*h**4/24 + h**3 + 7*h**2. Let s = 117 + -114. Is a(s) prime?
False
Let d(c) = -48*c**3 + 20*c**2 + 10. Let o(k) = 16*k**3 - 7*k**2 - 3. Let a(s) = 6*d(s) + 17*o(s). Is a(-4) a prime number?
True
Suppose 3*w + 3*o = 36, 0*w - 10 = -2*w + 5*o. Let k(h) = 30 - 1 + w*h**2 + 26*h - 2 + 16*h**2. Is k(-13) composite?
True
Let w = -74130 - -560732. Is w a composite number?
True
Let q be 4/(-5) - (-385028)/(-140). Let f = -1352 - q. Is f a composite number?
False
Let u = 4 - 2. Suppose -10 = -u*w - 0. Suppose -5*t = -w, i + 4*t + 706 = 3*i. Is i prime?
False
Suppose 31*b - 16*b - 30 = 0. Suppose d + 3*d - 2380 = b*k, -d + 5*k + 613 = 0. Is d prime?
True
Suppose q = 5*x + 5292, 2*q - x + 445 = 11038. Is q prime?
True
Suppose 9*c = -75898 + 317440. Let z = c + -13441. Is z a composite number?
False
Let p be ((-8 - -7)*(0 + 0))/1. Let o(u) be the second derivative of -u**5/20 + u**3/3 + 217*u**2/2 + 3*u. Is o(p) prime?
False
Suppose 0 = -6*k - 6 + 78. Suppose 68*o = 65*o + k. Suppose -3*w - 6368 = -o*j - 7*w, -4*j + 6370 = 3*w. Is j prime?
False
Let s = 134200 - 48521. Is s a composite number?
True
Suppose -3*c - t + 74397 = 2*t, -3*c = 2*t - 74394. Let k be (-12)/(-21) + -1 + c/(-28). Let l = k + 1469. Is l composite?
True
Let c(g) = 94*g**3 - 10*g**2 + 4*g + 7. Suppose -26*a = -26 - 78. Is c(a) composite?
False
Let o be ((-6)/(-4))/((-21)/(-3123652)). Is (-1 - -3)/(28/o) a prime number?
True
Let m(q) be the first derivative of 2/3*q**3 - 17*q - 2*q**2 - 9*q**4 - 6. Is m(-4) composite?
True
Is (2/(-3))/((-452)/172718466) a composite number?
False
Suppose -8*b = -v - 6*b + 1372, -5*v + 6905 = -b. Suppose 10*p = 165908 + v. Is p a prime number?
True
Is ((-5814525)/(-45) - -3)*6/8 a composite number?
False
Suppose -y = -4*u - 4*y + 9, 2*y = 5*u + 6. Let d(q) = -q**2 + 22*q + 191. Is d(u) a composite number?
False
Let y = -56 + 35. Let a(w) = 2*w + 33. Let b be a(y). Is (1580/(-15) + 3)*b composite?
