, 0 = -a*j. Is g composite?
True
Let m = 14 - 2. Suppose y = -3*h - h - 2962, -y = 5*h + 2957. Is y/(-9) - 4/m a prime number?
True
Suppose 19*o - 4 = 15*o. Suppose 15 = 4*w - o, 5*k - w - 11 = 0. Suppose k*y - 477 = -0*y. Is y prime?
False
Let n = -10 + 12. Suppose 1060 = 5*g + 3*y - 4*y, -1065 = -5*g + 2*y. Suppose -n*w + w = -g. Is w composite?
False
Let f = -17 - -19. Let q be (1 - 26)*13*f. Let c = -435 - q. Is c a prime number?
False
Let s = 31455 + -17602. Is s a composite number?
True
Is (-261 + 263)/((-4)/(-50854)) composite?
True
Is 4/((-4)/11) + 36262 composite?
False
Let d(x) = x**3 + 10*x**2 + 11*x + 20. Let g be d(-9). Suppose -g*k + 425 = -3*a, -a = 4*a + 5. Is k a prime number?
True
Let g(a) = -58*a - 21. Let y be g(-6). Let v = 147 + 53. Let t = y - v. Is t a prime number?
True
Suppose -5*o + 6 = 4*t - 8, 4*t - o - 26 = 0. Suppose -3*k + t = -3. Suppose -1 = -r, k*r - 97 = -5*q + r. Is q a composite number?
False
Suppose 23*s - 21*s = 8. Suppose -5*y + 489 = 3*o, -o = 2*o - s*y - 462. Is o prime?
False
Let o(s) = s**2 + 6*s + 3. Let w be o(-6). Let n = w + -10. Let x = n + 18. Is x composite?
False
Let v(f) = -6*f**3 + 16*f + 13. Let i be ((-6)/7)/(3/21). Is v(i) composite?
False
Let s(k) = k**3 + 16*k**2 - 19*k + 21. Is s(11) a prime number?
True
Suppose 0 = -2*k + 3*m + 823, 3*k - 1235 = -0*k + 4*m. Is k a prime number?
False
Suppose 3*w = 3004 + 773. Is w composite?
False
Let k(l) = 7514*l**2 - l + 4. Is k(1) composite?
False
Suppose 0 = -5*t + t - 12. Let c(x) = 28*x**2 + 2*x - 7. Let f be c(t). Let l = -54 + f. Is l a composite number?
True
Let y be 20*((-1190)/4)/(-5). Suppose 703 = 3*r - y. Is r composite?
False
Let u be (-6)/3*(0 + -1). Let z(p) = 225*p**3 + 4*p**2 + 2*p - 3. Is z(u) prime?
False
Is -7*(-4)/(-70) - (-186354)/10 a prime number?
False
Let r(y) = -y**3 - 12*y**2 - 10*y + 14. Let v be r(-11). Let d be 1 + (170 - 9/v). Suppose 0 = 3*c - d - 9. Is c composite?
False
Let w = -31663 + 66512. Is w a prime number?
True
Let k = 1335 - 864. Let f = k + 368. Is f a prime number?
True
Suppose 4*r + 2*j = 4*j + 56, 0 = -2*r + 5*j + 28. Let b be (-6)/r - (-51)/21. Suppose -948 = -b*l + 5*x - 170, 0 = l + 2*x - 371. Is l a composite number?
False
Suppose 0 = -4*o - 3*d + 22606, 4*d - 22604 = -2*o - 2*o. Let j = -1820 + o. Is j a composite number?
False
Let k = -31 - -38. Suppose -2 = -3*t + 4. Suppose k*n - 955 = t*n. Is n a composite number?
False
Let x be (-2)/((-1)/((-114)/(-12))). Let a(r) = -r**3 - 5*r**2 + 4*r + 3. Let p be a(-5). Is x*p/(-2)*2 a prime number?
False
Let i(w) = 3*w**2 - 9*w + 5. Let r be i(3). Suppose 2*z - 791 = 329. Suppose r*g + f - z = 0, 0*f + 4*f - 432 = -4*g. Is g prime?
True
Suppose 2*s + 2 = 12. Let j(d) = 121*d + 18. Is j(s) composite?
True
Suppose -4*q = 4*g - 620, 3*g = g. Let p = 152 + q. Is p a composite number?
False
Suppose -2*w = -2*o + 11506, -o + 3*w + 4453 = -1296. Is o prime?
False
Let c(z) = -2*z + 1785. Let t be c(0). Let v = t + -976. Is v a prime number?
True
Suppose -9*t + 111692 = 19*t. Is t a prime number?
True
Let b = 345 + -182. Is 3 + -3 + b/1 composite?
False
Let u be 1/(-3) + (-35)/(-15) - 143. Let q = 250 + u. Is q a prime number?
True
Suppose -17*q = -4*s - 15*q + 12006, -3*s + q + 9002 = 0. Is s prime?
True
Suppose -1429*b = -1427*b - 5042. Is b prime?
True
Suppose -35977 + 893 = 2*x. Is x/(-70) + (-4)/(-10) a prime number?
True
Let m(s) be the second derivative of s**4 - 3*s**3/2 - 2*s**2 + 5*s. Is m(9) a prime number?
True
Let q(l) = -45*l - 34. Let y be q(-11). Suppose 3*o + 152 = y. Is o a composite number?
False
Let n(m) be the second derivative of -m**6/120 + m**4/24 + 305*m**3/6 + 3*m**2/2 + 3*m. Let a(q) be the first derivative of n(q). Is a(0) a composite number?
True
Suppose -82 + 7 = -5*v. Let r = v - 11. Is -3 + r + 182 + 2 a composite number?
True
Let l = -10 - -8. Let y be -4 + (2 + l)/(-2). Is (-39)/52 + (-2695)/y a composite number?
False
Let y(w) = -2*w**3 - 28*w**2 - 9*w - 11. Is y(-20) composite?
False
Let i(t) = 149*t - 7. Let l be i(-4). Let x = -267 - l. Suppose 5*c - c - x = 5*f, f = -4. Is c a composite number?
False
Suppose -y - 1055 = -2*y. Let p = y + -261. Is p composite?
True
Suppose -5*y = -0*y - 5*n - 10, n = 4*y - 11. Suppose 2*l = h - 423, 8*h - y*h = l + 2097. Is h a composite number?
False
Let r(u) = -u**2 + 12*u - 27. Let b be r(8). Suppose 5*x - s = -0*x + 2710, -b*x + 5*s + 2730 = 0. Is x prime?
True
Suppose 4*r = -15*r + 80009. Is r composite?
False
Let b(t) = 2*t**2 - 3*t - 21. Let q be ((-8)/6 - -1)/(7/(-336)). Is b(q) composite?
False
Suppose -4*m + 19 = 4*t - 1, -t + 9 = 3*m. Let z be ((-40)/(-12))/(2/t). Suppose -z*f + 224 + 413 = x, 3*x + 121 = f. Is f prime?
True
Let n = -5849 + 8545. Let o = n + -825. Suppose -200 + o = 3*i. Is i a prime number?
True
Suppose 5*j = -4*w + 60997, -12213 = -w - j + 3037. Is w prime?
False
Suppose -f - 8 = 5*x, -5*f + 4*f - 2*x - 11 = 0. Let w = f + 264. Is w composite?
False
Let a(m) = m**2 + 4*m - 12. Let v be a(-6). Suppose v*j - 6*j = -1338. Is j prime?
True
Let q = 11 + -9. Suppose -k + f - 2*f = 0, 0 = 4*k + q*f - 10. Is (-4465)/(-25) + 2/k a prime number?
True
Let d = -33 + 35. Is (-6)/3*d + 131 a prime number?
True
Let h(y) be the second derivative of 23*y**3/2 + y**2 + 2*y. Let f be h(2). Suppose -3*g - q + 492 = 0, 3*g - 5*q = 334 + f. Is g a prime number?
True
Is 8624 + -2 + 8 + -7 composite?
False
Let w be 10 - 6 - (-1 + 1). Let h(b) = 2*b**2 - 8*b**2 - 5 + 10*b + 2*b**3 + w - 4*b. Is h(6) prime?
True
Let w(r) = 2*r**2 - 1 + 3*r**3 + r**2 + 2 + 10*r**3. Suppose 3*k + 1 = 10. Is w(k) a prime number?
True
Suppose -5*q + 254903 = -4*l + 36344, 2*l + 174846 = 4*q. Is q a composite number?
False
Suppose -155*a + 72205 = -120*a. Is a composite?
False
Let s be (-13995)/(-18) - (-1)/(-2). Suppose -7*u = -4*u - s. Is u a prime number?
False
Let t = 4821 - -598. Let l = -2408 + t. Is l composite?
False
Let h be (9085/(-46))/((-1)/2). Suppose 5*r + 120 = -0*r. Is r/(-16) + h/2 composite?
False
Suppose -2*l + 8090 = 5*q + l, 4*q = 4*l + 6504. Is q a prime number?
True
Suppose -2*c + 4*c = 8. Is 250 - (-1 + (-8)/c) prime?
False
Suppose 3*b - 3*l - 29151 - 7311 = 0, 0 = -3*b - l + 36474. Is b prime?
True
Let w(b) be the second derivative of -7*b**5/4 + b**4/6 + 2*b**3/3 - 2*b**2 + 24*b. Is w(-3) composite?
False
Let s = -729 + -140. Let i = 1242 + s. Is i prime?
True
Suppose b + 23 = -5*j, 3*j + 5 = -8*b + 3*b. Let t(a) = 156*a - 5. Is t(b) a prime number?
True
Suppose -16*k + 103852 = 12*k. Is k a prime number?
True
Let g(z) = 6*z**2 + z - 1. Let s(f) = 33 + f**3 + 10*f**2 - 18 - 13. Let v be s(-10). Is g(v) a composite number?
True
Let q = 91165 + 37298. Is q a composite number?
True
Let h be 575 + (2/1 - 2). Suppose 5*k + h - 1840 = 0. Is k prime?
False
Let m be (-12186)/(-14) - (-6)/(-14). Suppose 4*f - 1937 = -5*s, -4*s + 370 = -3*s - 5*f. Let v = m - s. Is v composite?
True
Let p be 4622/4*6/(-4 - -1). Let d = p - -3668. Is d prime?
False
Suppose -5*m = -j - 3*j - 77, 52 = -3*j - 2*m. Is (6/4)/(j/(-444)) a composite number?
False
Let k = 152 - -107. Is k prime?
False
Let y = 1 + 5. Suppose -y = w + 2*w. Let j(r) = -75*r**3 + 4*r**2 + 2*r - 1. Is j(w) a prime number?
False
Let n = -19236 + 28879. Is n a composite number?
False
Let q(w) = -172*w**2 + 5*w - 3. Let t(f) = 57*f**2 - 2*f + 1. Let x(d) = 2*q(d) + 7*t(d). Suppose -4*k + 3*c + 31 = 0, -5*c - 4 = 4*k - c. Is x(k) prime?
False
Let r(b) = 4*b**2 + 14*b + 29. Is r(-7) prime?
True
Let w = 87 - 85. Suppose -377 = -w*j - 51. Is j composite?
False
Suppose -14*v - 183241 = -37*v. Is v a composite number?
True
Let d = 1494 + 989. Is d a composite number?
True
Suppose -2*s + 3 = -3, 2*d + 21 = 5*s. Let x be d + 4 + 211 + 1. Is ((-10)/15)/((-1)/x) prime?
False
Let l = -919 - -94. Is 4/8 + l/(-2) composite?
True
Let a = 47 - 81. Let h = a - -35. Is 538 - (-6 - (-2 - h)) a composite number?
False
Let j = -1017 - -1631. Suppose 0*p - p + j = 0. Is (p/6)/((-2)/(-6)) composite?
False
Suppose 2*u + 10 = 2, -5*u = 2*z - 10462. Is z a prime number?
False
Suppose 3*c + 6970 = 5*u, 5*u + 2*c - 7730 = -735. Suppose 3*a - 996 - 1117 = 2*z, -u = -2*a - z. Is a composite?
False
Let p = 3627 + -1846. Is p composite?
True
Let t = -47 + 103. Suppos