 k + 48 + 22. Let w be (-30)/k - (-26986)/14. Suppose 4*n + 2437 = 5*f, -3*f - 4*n = f - w. Is f composite?
True
Suppose 14035 = o + 4*j, 4*o - 3*j = -5*j + 56182. Is o prime?
False
Suppose -3*u + 7 = -v - 4*v, -11 = -4*u + 5*v. Suppose -4*c = u*n - 3*n - 120, 0 = 3*c + 2*n - 85. Is c composite?
False
Is (-147868)/(-20) + (-4)/10 composite?
False
Let d(f) be the first derivative of f**6/120 + 11*f**5/60 - f**4/3 + f**3/6 - f**2 + 7. Let y(z) be the second derivative of d(z). Is y(-10) composite?
False
Let y(m) = 1351*m + 319. Is y(10) prime?
True
Suppose 0 = -f - 28*f + 357947. Is f a prime number?
True
Let g = 27 + -2. Let m = g + -23. Suppose -590 = -m*k + 240. Is k composite?
True
Let o(y) = 8*y**2 - 11*y + 20. Is o(-7) prime?
False
Suppose -n + 5*g - 218 = 0, -2*n - g - g = 448. Let a = 402 + n. Is a a composite number?
False
Suppose 12474 = 3*v - 5*t, -2*t + 8 = 14. Is v prime?
True
Is 2/(-16) - (-14961606)/176 a composite number?
False
Let c be 6 + -8 - (-434)/1. Let k = -169 + c. Is k prime?
True
Suppose -4*j + 1327 + 16829 = 0. Suppose 7*f + 752 = j. Is f a composite number?
False
Suppose q + 3 = 1. Let a be 0 + q + 1/(-1). Is -1*194*a/6 composite?
False
Suppose -6*b + 16 = -2*b. Is ((-22)/b)/((-3)/606) a prime number?
False
Is 3 + (-1 - -1) - -10276 a composite number?
True
Suppose -5*b = -9*b + 28604. Suppose 8751 = 3*f - 2*m, -2*f + 3*m - 1317 = -b. Is f prime?
True
Let x(u) = u**2 + 13*u + 13. Let h be x(-12). Let c be (-2192)/10*h*-5. Let y = c + -779. Is y a prime number?
True
Suppose 36*u - 28948 = -4*p + 37*u, p + 3*u = 7237. Is p a composite number?
False
Let g = -5 + 15. Is 1126/((g*-1)/(-5)) a prime number?
True
Suppose -i - i - 5*u = -2, -i - 6 = -u. Is 3892/10 - i/(-20) composite?
False
Suppose -s + 3*q = -4445 - 12293, -16 = 4*q. Is s a composite number?
True
Let q be -3 - (-19 + -1 - -2). Let x be 10/q*414/1. Suppose -5*l = -l - x. Is l composite?
True
Let d(k) = -2*k. Let q be d(-1). Suppose q*j = -0*j - 2*s, 4*j + s = 12. Suppose 2*i = 10, l + 3*i - 32 = j*i. Is l a composite number?
False
Let r(p) = p**2 + 2*p - 1. Let n(z) = -5*z**2 + 3 - z**2 + 3*z**2 - 5*z + 2*z**2. Let b(o) = 3*n(o) + 5*r(o). Is b(7) a prime number?
True
Suppose -5*z - 5*q = -12655, 3*q = -z - 820 + 3351. Is z composite?
False
Let k(q) = 8*q**2 + 17*q - 65. Is k(28) prime?
False
Suppose 3*z + 53087 = 2*i - 37887, -i - z + 45477 = 0. Is i prime?
True
Let g = 52 - 40. Suppose -3516 = -g*n - 0*n. Is n prime?
True
Is (-10)/15*1011/(-2) prime?
True
Is 649488/36 + (-1)/3 a prime number?
True
Let w(u) = -11*u - 11. Suppose 4*a = 218 - 1158. Let o be a/20 - (-2)/(-8). Is w(o) a composite number?
True
Let m = 7597 + 690. Is m prime?
True
Suppose 6*j = 3*x + 2*j - 22973, -4*x + j = -30622. Is x a prime number?
False
Let s(a) = 674*a - 5. Is s(2) composite?
True
Is ((-1439)/(-1))/(68 + -67) composite?
False
Let g = 94263 - 54120. Is g composite?
True
Suppose -8*p = 2*m - 4*p - 6918, -3*m = -2*p - 10377. Is m prime?
False
Suppose -66 = -9*k + 132. Let d be 2/(-4)*-1*0. Suppose -m + k + 9 = d. Is m prime?
True
Let x(p) = p**2 + 4*p - 1. Let s be x(-5). Suppose -2*q + 76 = -q + 4*a, s*a + 164 = 3*q. Suppose 3*o - 135 - q = 0. Is o prime?
False
Suppose 4*r + 4852 = 5*r - 5*h, 3*h + 9 = 0. Is r composite?
True
Let m(i) = 3*i**2 - i. Let f be m(1). Suppose -10 = 2*h, -5*h = d + f*d - 1166. Is d composite?
False
Let r = 11 - 8. Let c(g) = 7*g**3 + 6*g**2 - 21*g + 15. Let v be c(6). Suppose -6 - v = -r*h. Is h a composite number?
False
Let n be (-6)/33 - 22265/55. Let c = 1846 - n. Is c prime?
True
Let x = 4684 + -3133. Let w = -1022 + x. Let k = -276 + w. Is k a composite number?
True
Let o be (0 + 0)/(0 - -2). Let x be o*(-4 - -2)/(-6). Suppose x = 4*s - 4*r - 1500, s = 4*r + r + 391. Is s prime?
False
Suppose 0 = 271*s - 270*s - 479. Is s a prime number?
True
Suppose 3*t = -2*u + 12220, 2*t = 3*t + 3*u - 4078. Suppose 4*o - 10878 = -2*k - t, 3*o = 5*k + 5124. Is o a composite number?
True
Let s(u) = -101*u**2 - 4*u + 1. Let a be s(-3). Let i be a/(-3) - 4/6. Suppose 5*k - i = 277. Is k a prime number?
False
Let i(w) = w**3 + 3*w**2 + 37*w - 15. Is i(10) composite?
True
Let r = -27 + 20. Let q(h) = -2*h**2 + 5*h + 1. Let g be q(r). Let l = 469 + g. Is l a prime number?
True
Suppose -7*b = 37973 - 311946. Is b composite?
False
Is 132846/252 + 2/(-12) a prime number?
False
Suppose 2*p = -10 + 442. Suppose -y = -p - 197. Is y a composite number?
True
Let t(f) = -f**2 + 4*f + 12. Let p be t(5). Suppose -p*c - c + 10776 = 0. Is c a prime number?
False
Let p be 1/(-1 + 0/3). Let z be -3 - 3/p - -2. Is (0 - z)*111/(-6) composite?
False
Let a = -13773 + 26146. Is a a composite number?
False
Let a(p) = 661*p - 3. Let o be a(4). Let d = 4820 - o. Is d a prime number?
True
Let k be 42/(-28) + 19/2. Suppose -5*i + 4*r + 6305 = 0, -5*i + 10*r = k*r - 6305. Is i a composite number?
True
Let u(c) = -c**3 + c**2 - c + 191. Let w(p) = -p**3 - p**2 + p + 3. Let z be w(2). Let q(l) = -l - 7. Let n be q(z). Is u(n) a prime number?
True
Let a = 108 + 29. Suppose 0 = 3*y + a - 2507. Let d = y + -495. Is d a composite number?
True
Let l(c) = -c**3 - 7*c**2 + 2*c + 2. Let u be l(-7). Let o = u - -20. Is (-372)/o*(-2)/3 prime?
True
Suppose -4*d = -2*h + 249 + 8809, -18152 = -4*h - 4*d. Is h composite?
True
Let p(g) be the third derivative of 5*g**5/12 - g**4/24 - 5*g**3/6 + 11*g**2. Is p(3) prime?
False
Is (-13)/(-39) - (-3 - (-179900)/(-12)) a prime number?
False
Suppose -4*z - z - 18155 = -5*y, 3*z = -4*y + 14510. Is y a prime number?
False
Let g(x) be the first derivative of -x**4/2 - 5*x**3/3 - 3*x**2 + 4*x - 4. Is g(-7) composite?
False
Suppose -2*l - 4*z = -19878, 0 = -2*l - 2*z + z + 19881. Is l a composite number?
False
Let g(a) = 2*a + 21. Let t be g(-8). Suppose 3*r = t*r - 298. Is r composite?
False
Let x = -16 + 11. Let l be (-1)/x + (-18)/(-10). Let p(k) = 66*k**2 + 5*k - 5. Is p(l) a prime number?
True
Let x = -36 - -40. Is (-23503)/(-247) + x/(-26) a composite number?
True
Let o(w) = 5*w - 28. Let d be o(6). Suppose d*k = -8 + 14. Is k a composite number?
False
Let a = -5023 + 8504. Is a a prime number?
False
Suppose 0 = u - 0*u, -2*u + 21 = 3*s. Suppose s*a = 5*a + 98. Is a a composite number?
True
Is (-56)/(-7) + -9 - (-2920 - 2) composite?
True
Suppose 4*g = b - 19, 4*b - b - 5*g - 29 = 0. Let q be 2 + -2 + 2376/b. Suppose 0 = 5*j + 67 - q. Is j a composite number?
True
Suppose -4*j = -11546 - 23142. Suppose -874 = 7*g - j. Is g prime?
False
Let t(y) = 50*y**2 - 47*y + 37. Is t(12) prime?
True
Suppose 6*r - 7*r + 21 = 0. Let z(b) = 149*b - 20. Is z(r) prime?
True
Suppose 11*a - 5*a - 12894 = 0. Is a composite?
True
Suppose 2 = g, -2*g = -78*o + 76*o + 52158. Is o prime?
False
Let c(k) = -k**3 + 15*k**2 - 8*k - 5. Let y be c(7). Suppose 5*t = 4*f - 3503, 2*t = 5*f + 7*t - 4345. Let v = f - y. Is v a prime number?
True
Suppose -5*n - 4*c = -28945, -3*c - 9117 = -3*n + 8250. Is n prime?
False
Let q = -9696 + 36578. Is q a composite number?
True
Let f = 92837 - 56166. Is f a composite number?
False
Suppose 0*g - g = -i - 2, 3*g + i = 2. Let v be (-4*g)/(8/(-12)). Is (-9)/v*2456/(-12) composite?
False
Suppose 2*a - 24451 = -3*i, 2*i - 1744 = a - 13973. Is a a prime number?
True
Let s(g) = 13*g**3 - 6*g**2 - 7*g + 91. Is s(9) a prime number?
False
Suppose -201 - 1320 = 5*j + 3*x, 4*j + 1236 = 4*x. Is 6198/14 - (7 - j/(-42)) a prime number?
True
Let d be (-40104)/(-15) - (2 - (-35)/(-25)). Let p = d + -1522. Is p composite?
False
Let b = -56 + 18. Let p = b - -57. Is p prime?
True
Suppose -479 = -p - 3*q + 4247, -4*p + 18829 = -3*q. Is p prime?
False
Is 6287/3 - 74/111 composite?
True
Let b = 8638 - 5529. Is b prime?
True
Let c = -2 - -46. Suppose -5*u + v + 92 = 0, -3*u + 4*v + c = -u. Is 284/6*27/u a composite number?
False
Suppose -42552 = -3*j - 5*u + 32423, j = 3*u + 25001. Is j composite?
True
Suppose -s + 4 = -0*s. Suppose 0 = s*z + z + 4*d - 12, 0 = -z - d + 2. Suppose 151 + 133 = z*x. Is x composite?
False
Let o = -31 + 31. Let h be (-1)/(-1) + 229 + o. Let q = -163 + h. Is q a composite number?
False
Suppose 15*q = 10*q. Let x(p) = 0*p - 63 + 172 + p. Is x(q) a prime number?
True
Suppose 4 = w + f, -6*w + 3*w = 2*f - 12. Suppose -47 + 415 = -w*j. Is (8/16)/((-2)/