4. Is p(q) a prime number?
True
Let a(g) = -83*g**2 + 4*g + 2. Let q be a(10). Let u = q - -25113. Is u composite?
True
Suppose -34*l + 1265922 = -32323052. Is l prime?
True
Let s = 31344 - -1471. Is s a composite number?
True
Suppose -13*x - 51856 = x. Let b = 6221 + x. Is b a prime number?
False
Let g(u) be the third derivative of -47*u**6/24 + u**5/60 - u**4/3 - 8*u**3/3 + 25*u**2 + u. Is g(-3) a prime number?
False
Let l(i) = 57*i**2 - 1008*i + 359. Is l(88) a prime number?
False
Let m(d) = d**3 + 11*d + 14. Let c = -3 - -12. Let u be m(c). Suppose -2*l = -0*l + 10, -3*y = -4*l - u. Is y a prime number?
False
Let z = -12480 - -24397. Is z prime?
False
Let h(v) = -2*v**3 + 12*v**2 - 1. Let y(f) = -9*f - 49. Let u be y(-4). Is h(u) a composite number?
False
Let y = 116 - 139. Let q(f) = -121*f - 54. Is q(y) composite?
False
Suppose 0 = 5*a - 3*p - 1082396, 2*p = 69 - 63. Is a a prime number?
True
Is (-673968)/(-16) + 7 + 1 a composite number?
False
Let q = -105654 - -235085. Is q composite?
True
Suppose -223*r - 591893 + 5466450 = 0. Is r a prime number?
True
Is ((-4)/6)/(100/(-36) - -3) + 23212 a composite number?
False
Suppose -23*f + 21 = -26*f. Let a be (f/2)/(-1) - 32/64. Is (-7 + 642)*6*a/30 composite?
True
Suppose 4*x = -67 + 87. Suppose -5 = x*n - 10. Is (223/3)/((n/(-21))/(-1)) a prime number?
False
Suppose 2*v - 2 = 4*y, 3*v - 6 + 3 = -y. Suppose 3*c + 11*s - 20413 = 10*s, y = -5*c - s + 34023. Is c prime?
False
Let l(b) = -35*b + 82. Let o be l(6). Is 26699/5 + o/160 a composite number?
True
Let z = -11997 + 55658. Is z a composite number?
False
Let s(b) be the first derivative of -147*b**4/4 - 2*b**3 + 3*b**2/2 - 3*b + 188. Is s(-3) composite?
True
Let c be (87/24*2)/(2/(-16)). Let m = -59 - c. Is 2936 - m/((-3)/(-9)) a composite number?
False
Suppose -159569 = 110*k - 3939829. Is k a composite number?
True
Suppose -3*l = -5*h - 521 - 70, -486 = 4*h + 2*l. Is ((-2348)/(-2))/(h/21 + 6) composite?
True
Suppose 2*f = -2*a + 4*a - 1616, 3*a - 2430 = -3*f. Let w = a - 555. Is w composite?
True
Suppose u + 3 = -w, 4*u + 0*w = w + 13. Let v(r) = -7*r**2 + 12 + 5*r**2 + 10 + u*r + r**3 + 0*r. Is v(0) a composite number?
True
Let i = -65 - -61. Let p be (1/(-6)*2)/(i/24). Suppose -6*k = -p*k - 764. Is k composite?
False
Let g be 48*28/(-49)*(-21)/9. Suppose 0 = 5*a - 29 + g. Is 100/175 - 18259/a a prime number?
True
Let c(x) = x**3 - x**2 + 13*x + 8. Suppose 40 = a - 5*a. Let p be c(a). Let o = 1923 + p. Is o a composite number?
False
Let q(v) = -3*v**2 + 8*v - 24. Let m be q(20). Let y = 1529 + m. Let f = y + -264. Is f a prime number?
False
Let l(n) = n**3 - 3*n**2 - 22*n + 12. Let x be l(6). Let y(i) = -637*i + 125. Is y(x) a composite number?
True
Let z(i) = -275*i + 11. Suppose 5*r - 5*p + 15 = 0, 3 = -2*r - 0*p + 3*p. Let y be z(r). Suppose -t + 6*t - 5 = 0, 0 = -l - 4*t + y. Is l composite?
False
Suppose -2*f - 10 = 0, 5*f = -5*u - 37 + 3967. Is u + -7 - 40/8 a prime number?
False
Suppose 0 = -3*q - q + 2*m + 4308, -2*m = -4. Let b = q + -743. Let f = b - 42. Is f a composite number?
False
Suppose -4*a + 4*m = -6524271 + 1677499, -a = 5*m - 1211693. Is a a prime number?
False
Let b(w) be the first derivative of -w**2/2 + 1949*w - 23. Is b(0) a composite number?
False
Let q(u) = 16446*u - 695. Is q(11) composite?
False
Let v = -597 + 602. Let t = 5 - 2. Suppose v*f + 0*g - 5*g - 10065 = 0, t*f - g - 6047 = 0. Is f composite?
False
Let n = -754 - -467. Let w(c) = -234*c + 120. Let j be w(-7). Let q = j - n. Is q prime?
False
Let f = -116 + 123. Suppose -l = -1, f*x + 3*l + 3279 = 9*x. Is x prime?
False
Let t be 13/(-26) - 3/(-2)*427. Let f = -268 + t. Let v = f + 37. Is v composite?
False
Let i(k) = -k**3 + 22*k**2 + 20*k + 74. Let r be i(-16). Let z = r - 4389. Is z prime?
False
Suppose -10*g - 11*g = -15813. Let y be (-52)/(-6) + (-4)/6. Suppose y*p - g = 5*p. Is p composite?
False
Is 9*693553/252*3*4 a composite number?
True
Is 4850380/(-6)*162/(-108) - -3 prime?
False
Let r(c) = 444*c**2 + 43*c - 132. Is r(5) prime?
False
Suppose 219 = 4*p - 277. Suppose -3865 = -u + p. Is u prime?
True
Let o(w) be the first derivative of -13/3*w**3 - 15/2*w**2 + 9*w - 3 + 3/4*w**4. Is o(10) composite?
False
Let p = 219614 + -145943. Suppose 5*l - p = 70334. Is l composite?
True
Let u = -44 + 52. Suppose -59812 + 215164 = u*f. Let s = f + -12136. Is s a composite number?
False
Let k be (-2)/(-6) + 136/24 - 2. Suppose -30 = -k*r + 206. Is r a prime number?
True
Let y(h) = -53*h**3 - 3*h**2 - 6*h - 2. Suppose -3*g - 15 = 0, 10*g + 95 = -3*s + 9*g. Let x = 28 + s. Is y(x) prime?
False
Suppose -141162 = -5*u + 4*m, -6*m - 28242 = -u - 2*m. Suppose -3*z = -33*z + u. Is z composite?
False
Let b = 312228 - 147001. Is b composite?
True
Suppose 13*f = -4*b + 18*f + 56562, -3*b + 5*f + 42419 = 0. Is b composite?
False
Let l(z) = 576*z**2 + 36*z + 7. Is l(3) composite?
True
Let d = -217 - 254. Let o = -320 - d. Suppose -4*s + w = -4460, 3*w - o + 1266 = s. Is s prime?
False
Is 4414340/(-56)*(-8)/10 prime?
False
Suppose -a = -4, -3*a - 2*a = 4*z - 40. Suppose -7*v + 12477 = 5*q - z*v, 2501 = q - v. Is q composite?
True
Let m = 4008 - -5065. Let z = m + -4740. Is z prime?
False
Let z(l) = l**3 + 2*l**2 + 34*l + 290317. Is z(0) a composite number?
False
Let d = 10 - -5. Let b be ((-3)/d)/(3/15). Let i(r) = 52*r**2 - 1. Is i(b) a prime number?
False
Suppose 0 = -3*k + 4*v + 6, 7*k + 2*v = 6*k - 8. Let a be 2505*1*k/(-3). Suppose -2*j = -3*w - 832, -4*j + 6*w + a = 3*w. Is j prime?
True
Suppose 0 = 2*p + p. Suppose -3*z + 2*b = -10333, p = -2*z + b - 4*b + 6906. Suppose 3*c + 2*h - z = 0, -1154 = -c + 5*h - 4*h. Is c composite?
False
Let t(c) = 37*c**2 + 2*c + 34. Let h(n) = -24*n**2 - n - 23. Let o(y) = 7*h(y) + 5*t(y). Is o(-5) a composite number?
False
Suppose 16454088 = 67*i + 16*i - 11*i. Is i prime?
False
Let l be 3/2*(-20)/(-15). Suppose 13 = l*g - 1. Suppose -g*j + 12*j = 435. Is j composite?
True
Suppose 0 = -2*t + 5*v + 112746, -12 = -0*v + 3*v. Is t a prime number?
False
Is (-108310367)/(-726)*(5 - -1) a composite number?
False
Let b(f) = 239177*f**3 + 31*f - 31. Is b(1) composite?
True
Let q(k) = 3*k**2 + 2*k + 1. Let b be q(-1). Let p be (0/21)/29 - 3*-1. Suppose -5*n - b*h = -6977, -2517 = p*n + 4*h - 6692. Is n prime?
False
Let a = -224449 - -362490. Is a composite?
False
Suppose -2*s - 2*s - 264 = 0. Let c = 455 + s. Is c a composite number?
False
Let l be (5 - 6)*(27 + -3). Is (-2452)/l*-2*-3 composite?
False
Let s(d) = -149743*d - 1845. Is s(-4) prime?
True
Let w = 67 - 366. Suppose -6015 = -7*k + 1573. Let m = w + k. Is m prime?
False
Let l(h) = 50918*h + 2995. Is l(8) a composite number?
False
Let h = 3 + -4. Let i(o) = -5*o**2 + 68 + 6*o**2 - 36*o**3 - o - 69. Is i(h) prime?
True
Let y(u) = 261*u**2 + 92*u - 74. Is y(23) composite?
False
Suppose -25731 + 79142 = n + 5*a, -3*a = -3*n + 160197. Is n a composite number?
False
Is 4360234/57*-6*1/(-4) a composite number?
False
Let r = 16612 - -10599. Is r a prime number?
True
Let k be (233/(-2))/(11/22). Let v = k + 364. Is v prime?
True
Let h be 1186/8 + 6/8. Suppose 2*g - 89 = i, -17 + h = 3*g - 3*i. Is (6/4)/(g/5340) composite?
True
Is (9/45)/(5/(-13095700)*-4) a prime number?
True
Suppose -2*s + 17025 = 5*f, 4*f - 61*s = -59*s + 13638. Is f prime?
True
Suppose -24602 = -9*z + 49315. Let i = z + -5740. Is i prime?
True
Is (-2 + (-25661)/(-2))*(-104)/(-52) prime?
True
Let f = 110 + -46. Is -6*8/(f/(-17396)) a composite number?
True
Let h(x) = -x + 6. Let o be h(2). Suppose -8407 = -o*c - 3*c. Is c composite?
False
Suppose 199*r = 233*r - 4208758. Is r a prime number?
True
Suppose 0 = -3*j - 6*j + 144. Let k = j - 14. Suppose -k*v + 0*r = -r - 1776, -2*v + 2*r = -1778. Is v a composite number?
False
Suppose 120 = -30*k + 10*k. Is 14 + -7 - 38004/k prime?
False
Suppose 0 = 389*m - 773041 - 8609419 - 9478205. Is m a prime number?
False
Let u(v) = -6070*v**3 + v**2 + 15*v - 28. Let y be u(4). Is ((-6)/8)/(4*11/y) composite?
True
Is (-4)/26 + 212882/78*(436 + 17) composite?
True
Let p be (-5)/(5/2) - (4 + -8). Suppose -p*f - 1649 = -2*j - 7865, 0 = -f - 2*j + 3111. Is f prime?
True
Let w(t) = 16*t - 24 - 131*t + 430*t + 264*t. Let d = -25 - -28. Is w(d) a composite number?
True
Let j(f) = -f**3