 composite?
True
Let u(q) = 10490*q - 3. Is u(1) prime?
True
Suppose -223*f + 121130 = -213*f. Is f a prime number?
True
Let m(q) = q**3 - 7*q**2 + 2*q - 14. Let i be (5/(-10))/(1/(1*-14)). Let r be m(i). Let j(x) = -4*x + 253. Is j(r) prime?
False
Let t(a) = -220920*a + 7183. Is t(-7) composite?
True
Suppose 2*a + c = 27216, -58*c + 56*c = -5*a + 68031. Is a a composite number?
True
Is (-277 + 274)/((-3)/1060937) a prime number?
True
Suppose 4*g + 6213787 = 5*r, 215*r - 4*g + 4971080 = 219*r. Is r a prime number?
True
Let o(s) = 39*s**2 + 26*s + 122. Let g be o(22). Suppose 5*x + 3*l = 114956 - g, 3*x - 57249 = 4*l. Is x prime?
True
Let r = 31 + -26. Let n(a) be the second derivative of 4*a**3/3 - 21*a**2/2 - 3*a. Is n(r) composite?
False
Suppose -1109625 = -40*k - 23*k + 2212302. Is k composite?
True
Is (127016770/(-205))/(-2*1) a composite number?
False
Let m(q) = -2493*q + 20. Suppose y - 13 = 5*z - 2*z, -5*y = 2*z + 20. Is m(y) a prime number?
False
Let j be ((-1304)/(-7) - (-2)/(-7)) + 3. Let h(z) = 0*z**2 - 187*z + j*z - 1656*z**3 - z**2 + 2. Is h(-1) composite?
True
Let w be (-69)/(-15) + -5 - (-85266)/(-10). Let x = 12288 + w. Is x a prime number?
True
Let r(w) = -220239*w**3 + 4*w**2 - 6. Is r(-1) composite?
True
Suppose -i + 16 = -1. Suppose -i*j = -14*j - 915. Is j prime?
False
Let o = -1528 + 2405. Suppose 49*c - 48*c = o. Is c a composite number?
False
Let n(k) = 151*k + 319. Is n(64) composite?
True
Let s = -37 - -81. Let i = s + -48. Is ((-2)/i)/((-1)/12318*-3) composite?
False
Let h = 149040 - 9037. Is h a prime number?
False
Let i(k) = -2*k**2 + 2*k - 11 + k - k + 9. Let y be i(2). Is 448 + (-1)/((-3)/y) a composite number?
True
Let v(s) = 2*s - 4*s**2 + s**2 - s - 11 - 6*s. Let m(n) = -2*n**2 - 5*n - 10. Let l(b) = 4*m(b) - 3*v(b). Is l(10) prime?
True
Suppose 2*w + 5*b - 3180 = -3*w, -b + 3 = 0. Let h = w + -222. Is h composite?
True
Suppose 4*k - 8 = 0, -534334 - 1022732 = -4*w + 5*k. Is w prime?
True
Suppose -75*o + n = -79*o + 625605, 0 = -2*o + 3*n + 312799. Is o a prime number?
False
Let r = 1012 - 268. Let f = -71 + r. Is f a prime number?
True
Suppose -671574 = -22*t + 433112. Is t a prime number?
False
Suppose p + d = 3, 0*d = 5*p - d - 27. Suppose -p*z + 0*n - 4*n - 1706 = 0, 3*n - 1678 = 5*z. Let x = 1425 + z. Is x a prime number?
True
Let p = -139 - -114. Let v = -32 - p. Is v + 2 - (2 - 708) composite?
False
Let z = 8198 + 21360. Suppose -5*k = 4*w - z, -2*w + 5528 + 9250 = 2*k. Is w a prime number?
False
Suppose -3*f + 4*x + 207 = 584, 3*x = 2*f + 250. Let a = 4692 + f. Is a a prime number?
True
Let h(w) = -4*w. Let r be h(-1). Suppose 6 = u + r. Suppose -u*g + 3*g - 323 = 0. Is g composite?
True
Let u = 14877 + 9872. Is u a prime number?
True
Suppose 2*l = -5*x + 324237, 4*l - 3*x - 822572 + 174085 = 0. Is l composite?
True
Let p be (-3402)/(-1)*(-11)/(22/(-3)). Suppose -16253 - p = -38*z. Is z a composite number?
True
Suppose 1763*v + 1060062 = 1769*v. Is v composite?
False
Is (0 - -1)/(0 - 22/(-1452022)) composite?
True
Suppose -6*c + 650634 = -2*n, c - 3*n - 105301 = 3138. Is c prime?
True
Let p(x) be the third derivative of x**7/168 + x**6/72 - x**5/120 + 13*x**4/24 - x**3/2 - 7*x**2. Let m(v) be the first derivative of p(v). Is m(6) prime?
False
Suppose 17264*y + 4279086 = 17282*y. Is y prime?
False
Let h(k) = -14*k - 79. Let q be h(-7). Suppose q*m - 9608 = 11*m. Is m prime?
True
Suppose 466790 = 7*d + 188512. Let i = -21089 + d. Is i a composite number?
True
Suppose 5*c = g - 17208, 5*g = -5*c + 17045 + 69025. Is g a composite number?
True
Let o(w) = 88*w**2 + 74*w - 1895. Is o(13) a composite number?
True
Let b(t) = -1016*t**3 - 7*t**2 + t + 23. Is b(-5) a prime number?
False
Let l = -94638 + 167267. Is l a prime number?
False
Suppose -362*m = 2*i - 360*m - 30766, -3*m = 5*i - 76927. Is i a prime number?
False
Let d(v) = 101*v**3 - 9*v**2 + 4*v - 29. Is d(11) prime?
False
Let q = -145 - -24144. Is q a composite number?
True
Let u(v) be the first derivative of v**6/20 + v**5/20 + v**4/8 - 7*v**3/6 + 6*v**2 + 20. Let n(k) be the second derivative of u(k). Is n(3) a prime number?
True
Suppose 0 = 2*f + q - 1006, 4*f - 5*q - 2545 = -f. Suppose f = a - 11314. Is a prime?
False
Let b = -36276 + 96823. Is b prime?
False
Let w(s) = 2*s**2 - 7*s + 15. Let b be w(4). Let p = 21 - b. Suppose -2*q - p*x + 362 = -6*x, 5*x + 181 = q. Is q prime?
True
Suppose -1926 = 11*p - 14*p. Let w = p + -366. Suppose 670 = l + w. Is l a composite number?
True
Let m = -724 + 513. Let g = m - -1031. Suppose 4*j - 936 = g. Is j a prime number?
True
Suppose 0 = -15*d - 2*d - 9*d + 7331038. Is d composite?
True
Suppose s - 11 = -8, 5*c - 8*s - 2761 = 0. Is c a composite number?
False
Let x = 121442 + 20421. Is x prime?
True
Let l = 13317 + -6110. Is l prime?
True
Let y = -59 + 135192. Is y a composite number?
True
Suppose -4*v = 3*k - 20, 0*k = -k + v + 2. Let r be k/(-30) - ((-30928)/(-60))/4. Let g = r - -314. Is g a composite number?
True
Suppose 0 = -5*z + 8*z + 9, -2*z = -u + 20023. Is u prime?
False
Let c = 11360 - 7442. Is ((-17)/(-34))/(c/3916 + -1) prime?
False
Let t be (-4)/(16/20)*-1. Suppose 3*u + 5*f = 1934, t*u - 5*f = -0*u + 3290. Is u a composite number?
False
Suppose -y - 26672 = 4*t, -5*y - 897 - 12439 = 2*t. Let f = -4742 - t. Suppose -5*v + 11909 = -f. Is v a prime number?
True
Suppose -7800*y = -7819*y + 6309463. Is y a prime number?
False
Let p = 29 - 25. Suppose -p*f = -0*f - 12. Suppose -2*c + c = x - 674, c = f*x - 2018. Is x a composite number?
False
Let p(i) = -3 - 3 - 8 - i - 2. Let a be p(-26). Suppose -a*x - 2018 = -12*x. Is x composite?
False
Let b = 1845 - -293. Suppose 2*f - 2*k + 3*k = b, 3*k = -2*f + 2138. Is f a prime number?
True
Suppose 5*x + 4*t = 4051, 5*x - 6509 = 2*t - 2452. Let m = 7866 - x. Suppose 20*r - m = 15*r. Is r a prime number?
False
Suppose 0 = 37*h - 1372682 - 371979. Is h composite?
True
Suppose 3*h - 3*n - 62 = -4*n, 2*h + 5*n = 50. Let k be (30/(-9) - -2)/(h/(-30)). Suppose -6 = k*r, 2*b = b + r + 538. Is b a composite number?
True
Let p(a) be the third derivative of 53*a**5/10 - a**4/6 + 7*a**3/6 - 122*a**2. Is p(4) prime?
False
Suppose 4*b - 43070 - 14707 = -3*l, -3*b - 3*l = -43332. Let h = b + -4186. Is h prime?
True
Let y(b) = -2658*b - 1157. Is y(-25) a prime number?
True
Suppose -5*q + 9 + 11 = 2*n, q - 2*n = 4. Suppose 3*d - 270 = 3*h, 5*h + q*d = 3*h - 156. Let w = h - -121. Is w a prime number?
False
Suppose 0 = -116*w + 209*w - 17211045. Is w a prime number?
False
Let a be ((-18)/60*5)/(2/(-4)). Suppose -13*w + 31856 = a*w. Is w a prime number?
False
Let o = 337 - 275. Suppose -o*p + 16743 = -59*p. Is p prime?
True
Suppose -17122 = -4*i + 29750. Suppose -25*p + i = -23*p - 2*m, 0 = -2*p - 3*m + 11708. Is p composite?
False
Let q = -18 - -29. Suppose 12*n - 7 = q*n. Suppose -n*p + 1334 = 473. Is p a prime number?
False
Suppose 10*s = -0*s + 20640. Suppose -8*c = -14*c + s. Suppose 0 = -5*y, 4*v = -0*v - 5*y + c. Is v a prime number?
False
Let d(k) = -k**3 - 4*k**2 - 2*k + 5. Let z be d(-3). Suppose -33*n = -28*n + z*f - 3637, -2*n - 2*f = -1456. Is n composite?
False
Is 7573860/147 + -4 + (-203)/(-49) a prime number?
False
Suppose 9*d + 10 = 145. Suppose -10*a + d*a = -27105. Let n = -2994 - a. Is n prime?
False
Let w(z) = z**2 + 3*z - 6. Let m be w(-5). Let p(q) = 5 - 2*q**2 - 3*q**3 - 4*q**2 - 9*q - m*q**2. Is p(-6) prime?
True
Let g(b) = 500*b**2 - 159*b - 40. Is g(-11) prime?
False
Let x = 328 - 325. Let b(g) = 191*g**2 + 11*g - 1. Is b(x) composite?
True
Let v(p) = 2522*p**2 + 8*p + 7. Suppose -q = 3*y + 2*y + 6, 5*q = 5*y. Is v(q) composite?
False
Let w(c) be the second derivative of -c**5/20 - 11*c**4/12 - 31*c**3/6 - 17*c**2/2 + 3*c + 5. Is w(-12) prime?
True
Let n(r) = 10012*r**2 + 54*r - 549. Is n(13) composite?
False
Let s(n) = 9012*n + 8387. Is s(6) prime?
True
Suppose -b = 4*h + 28 + 3, -5*b + 61 = -4*h. Let y be (405/(-6))/h*-2. Is y + 13 + (-1 - -1062) a composite number?
True
Let x be (-2)/(-10) - 816/(-20). Let i = x + -46. Let k(r) = -36*r - 21. Is k(i) a prime number?
False
Suppose d - 21846 = -4*r - 6655, -45603 = -3*d - 2*r. Let q = -7920 + d. Is q prime?
True
Let t = -7 - -9. Let k be 1/(-2) - (-189)/42. Suppose -2*d - 376 = -k*u + 58, -t*u 