4*d = 5*t - 15042. Suppose -2*m + 1900 = -4*w - t, 5*w = 4*m - 9826. Is m composite?
False
Let c = 113638 + -50335. Is c prime?
False
Suppose 171292 = 2*y + 5*b, 4*y + 0*b - 342562 = b. Is y composite?
True
Let d(f) = 7088*f**3 - 3*f**2 + 51*f - 163. Is d(3) a prime number?
True
Let f(l) = -147 - 649*l - 173*l - 257*l. Is f(-10) a prime number?
False
Let n(b) = 19860*b + 101. Is n(3) a composite number?
True
Let o be (-4)/10*((-21)/7 - 7). Suppose 5*x = -3*u - 2 - 63, o*x = -4*u - 52. Is 1691 + -1 + 16 + x prime?
True
Let i = -7486 + 31366. Suppose 0 = -4*y + i + 11732. Is y a composite number?
True
Suppose -20108 = 16*b - 17*b. Suppose -3*a = -b - 2335. Is a prime?
True
Suppose 16*v = -37 + 229. Suppose 7087 = z + f - 14002, 3*f - v = 0. Is z prime?
False
Suppose 0 = -4*k + 3*y + 3804310, 0 = 13*k - 16*k - 4*y + 2853195. Is k a prime number?
False
Suppose 304*v - 319*v = -878505. Is v a composite number?
False
Let b = -95625 + 243598. Is b prime?
False
Let w be 16/(-1)*(-1)/(-2) + 3. Is (180/w)/9 - -167 prime?
True
Let j(b) = b**2 - b - b - 4 - 63*b**3 + 64*b**3. Let g be j(2). Suppose g*k - 4*o - 121 = 423, -10 = 2*o. Is k a composite number?
False
Suppose 2*y + 17 = 25. Suppose -10206 = -3*a + r - 4*r, a - 3427 = y*r. Is a composite?
False
Suppose 86*c - 4807528 = -20*c + 18*c. Is c a prime number?
True
Let g(o) be the second derivative of 1239*o**3/2 - 2*o**2 - 11*o - 4. Is g(1) a composite number?
True
Let k(o) = 8*o + 63. Let f be k(28). Suppose 18 = 3*j + 3*y, -3*j + 4*y - 5 + 2 = 0. Suppose -3*q = 2*d - f, -j*d = q + d - 89. Is q composite?
False
Let x = -298 - -301. Suppose -48004 = -5*d + f, 6*d - d = -x*f + 48008. Is d a prime number?
True
Let g(c) = 22*c - 374. Let i be g(17). Suppose i = 2*u - 29696 - 6966. Is u a prime number?
False
Let o be (11421 + -1 + -1)*(-4)/(-4). Suppose -11*w + o = 4016. Is w a composite number?
False
Let w(s) = s**3 + 49*s**2 - 80*s + 241. Is w(42) a prime number?
False
Let k(l) = -7613*l + 3257. Is k(-12) composite?
False
Let z(b) = -115*b + 11369. Is z(0) composite?
False
Let x(z) be the first derivative of z**5/10 - 7*z**4/24 - 17*z**3/6 + 17*z**2 - 17. Let b(k) be the second derivative of x(k). Is b(-7) composite?
True
Let p = 758 - 2542. Let q = p - -3021. Is q prime?
True
Let n(o) be the third derivative of 86*o**5/15 - o**3/6 - 30*o**2. Let y be n(-1). Let f = 139 + y. Is f a composite number?
True
Suppose -3*v + 4*b + 739183 = -318426, -2*v + 705061 = -5*b. Is v prime?
True
Suppose -4*w = 4*r - 1751200, 2188988 = 5*w - 0*w + r. Is w prime?
False
Suppose -4*c - 3*m + 39 = -8*m, 5*m - 5 = 0. Is 33/c*(-2)/(-6)*139 a prime number?
True
Let r(z) = z**2 - 27*z - 31. Suppose 0 = 7*o - 96 - 100. Let l be r(o). Let g(b) = -85*b**3 - 3*b**2 - b - 4. Is g(l) prime?
True
Let u(b) = 564*b**2 - 12*b - 1. Let o be 104/(-78) - 26/(-6). Is u(o) a prime number?
True
Let s be (40 + -26)/(1 + 0 + 1). Suppose 4*y = 4*m - 16, -2*m + y + s = -0*y. Suppose -2*g + 2*t + 510 = 0, -m*t - 577 + 1844 = 5*g. Is g prime?
False
Let d(h) = -258*h + 725. Is d(-3) a prime number?
True
Let w be (8/20)/(1/(-15460)). Let y = w - -4295. Let a = y + 2758. Is a a prime number?
False
Let f(r) = 446*r + 295. Let c be f(7). Suppose l + c = z, -15*z = -16*z + 4*l + 3405. Is z prime?
False
Suppose -2*m - 4*p - 14742 = 0, -m - 7967 = 5*p - 593. Let v = -3042 - m. Is v a composite number?
False
Is (-100008216)/(-336) + 38/4 a prime number?
False
Let z(c) = 422*c**2 - 11*c - 47. Is z(-8) prime?
False
Suppose -5*u = -5*b + 35, 5*u - 5 = -2*b + 23. Suppose -4*y - 2*w = -7*w + b, 0 = -3*w + 3. Let v = 14 + y. Is v a composite number?
False
Let r be 54/(-8) + 5/(-20)*1. Let b(q) = q**3 + 9*q**2 + 8*q - 11. Let o be b(r). Suppose 27*l = o*l - 7580. Is l composite?
True
Let s(m) = 3993*m**2 + 83*m + 449. Is s(-5) a prime number?
True
Suppose -87*k - 96*k = 160*k - 83301323. Is k a composite number?
True
Let p = 74 - 39. Let t = -36 + p. Is 2233/2 + t + (-2)/4 composite?
True
Suppose -2*p + 3*p = 3. Let x = p - 3. Suppose -9 = 5*w + 1, x = -5*v - 3*w + 7799. Is v composite?
True
Let f be -3 + (-3 - -12) - 7. Let k(y) = -261*y**2 + y - 3. Let g(q) = 523*q**2 - 2*q + 7. Let u(a) = -3*g(a) - 7*k(a). Is u(f) prime?
False
Let f = 124 + -264. Let t = f - -978. Is t a composite number?
True
Let b be -2*2493/(-6)*(-21 + 22). Let p = b - 364. Is p a composite number?
False
Let r(z) = -10*z + 4*z**2 - 9*z**3 + 99 + 73 - 221. Is r(-6) prime?
True
Let g(k) = -21*k**2 + 4*k - 58. Let n(b) = -25*b**2 + 4*b - 58. Let p(x) = 7*g(x) - 6*n(x). Is p(15) a composite number?
False
Suppose a - 4*b - 180828 = -0*a, 2*b = 2*a - 361644. Suppose 66*g - 46*g = a. Is g prime?
True
Let x(q) = 123*q**2 + 7*q - 20. Let k be x(2). Suppose 5*y - 539 - k = 0. Is y a prime number?
False
Let x be -4 - -2 - (2 + 1620/6). Let i = x - -591. Is i prime?
True
Let a = 44759 + -24936. Suppose -18 = 5*y - a. Is y composite?
True
Suppose -5*b + 0 + 37 = -2*t, 4*b + 4*t = 24. Let d be 2/b + (-7)/(147/(-78)). Suppose d*o - 5*q - 380 = 0, 0*q + 285 = 3*o - 3*q. Is o a prime number?
False
Let w = 17530 - 4283. Is w composite?
True
Let t = 605323 - 286594. Is t prime?
False
Let k = -266 + 269. Suppose c - k*c + 5*w = -390, 0 = -3*c - w + 619. Is c prime?
False
Let k be (-146714)/(-22) + 12/66. Suppose -14046 = -3*q + k. Is q/(2 + 3) - -4 composite?
True
Suppose -49*v + 15269729 = -5475156. Is v prime?
False
Let h(t) = 9*t**2 - 77*t - 303. Is h(37) a prime number?
False
Let n(z) = -z**3 - 32*z**2 + 81*z - 1041. Is n(-64) composite?
False
Let c(l) = -l. Let n be 2 - (-1 + 6 + -2). Let b(u) = 37*u + 8. Let m(f) = n*b(f) - 2*c(f). Is m(-6) composite?
True
Let h(s) be the first derivative of 234*s**2 - 107*s - 54. Is h(9) a prime number?
False
Let h(t) = -15*t + 48. Let b(c) = 15*c - 47. Let m(l) = -2*b(l) - 3*h(l). Suppose -567 = -29*z + 2*z. Is m(z) prime?
False
Suppose 36*v = 25*v + 33. Suppose -16445 = -3*n + o, v*o = -2*n + 11368 - 390. Is n prime?
True
Let a(x) be the first derivative of 47*x**4/2 + x**2/2 - 12*x - 228. Is a(5) a prime number?
True
Let i(q) = 3692*q**2 - 145*q + 10. Let x(y) = -3694*y**2 + 146*y - 12. Let t(u) = 5*i(u) + 4*x(u). Is t(3) a composite number?
True
Let j = -56 - -104. Is (j/40)/(15/575) a composite number?
True
Suppose 0 = -18*b + 292399 + 68987. Is b prime?
False
Suppose -j = 193 + 262. Let n = 1668 + j. Is n prime?
True
Suppose 7*k - 26524 = -14981. Is k a prime number?
False
Let c = -3425 - -3512. Is c composite?
True
Suppose -7 = x, -148*l + 151*l - x - 736024 = 0. Is l composite?
False
Suppose 4*b - 919 = 37485. Is b a composite number?
False
Suppose 0 = -2*f + h + 6851, 3*h - 9850 - 3867 = -4*f. Is f a prime number?
False
Suppose 18 = -t - 5*t. Is (3 - -2795)/(-1 - t) prime?
True
Suppose 8*l = 16 + 24. Suppose -l*u + 10 + 5 = 0. Suppose i - 37 = 5*b + 351, 3 = u*b. Is i a prime number?
False
Let p be (3 - -1) + 1 + -2. Suppose 2*t + 3*t + 5*i = -10, p*t - 4 = 2*i. Suppose -3*z = -a - 1113, z + t*a + 2*a = 371. Is z a prime number?
False
Let t(n) = n + 3. Let r be t(0). Suppose r*m - 2 = 3*d - 2*m, 3*d + 2*m = 5. Is d*379*(0 - (-1 - 0)) a prime number?
True
Suppose 5*u - 160 = -6*i + 3*i, -i - 111 = -4*u. Is u/2*(226 + 0) composite?
True
Let s(w) = 1461*w + 2479. Is s(18) composite?
True
Let w(o) = o**3 - 22*o**2 + 48*o + 19. Let d be w(26). Let r = 2564 + d. Is r a composite number?
True
Let h = 12417 - 8364. Let q = h + 1208. Is q composite?
False
Let f = 52 + -44. Suppose 3*v + f = -1. Is 7 - v/(-1) - -127 prime?
True
Suppose -3988 - 6862 = 10*t. Let j = t - -3418. Is j composite?
False
Suppose -29 = z - 72. Let w = 53 - z. Suppose -3898 = 8*f - w*f. Is f a prime number?
True
Let c be 4257 - (-4 - (4 + -8 + 2)). Let l = c + 30024. Is l a composite number?
False
Suppose 362038 = 5*q + 4*t + 51635, 0 = 3*q - 5*t - 186227. Is q composite?
True
Suppose 3*o = -2*h - 3, 3*h - 1 = 2*o + 1. Suppose 14*z + h*z = 0. Suppose -m - 3 + 5 = 0, z = q - 2*m - 39. Is q prime?
True
Let i(j) be the second derivative of 46*j**4/3 - 19*j**3/6 + 71*j**2/2 + 51*j. Is i(4) prime?
True
Suppose -8*h + 5 = -13*h. Let r(i) = -2*i**3 + 2*i**2 + i. Let n be r(h). Suppose -n*f + 1335 = 78. Is f a prime number?
True
Let v = -704 - -706. Is 524*(14 - v) + (-10)/(-10) a prime number?
False
