True
Let t(h) = 63*h**3 + h**2 - h + 41. Let a be t(6). Suppose 5*k = 5*j + 179135, 4*j - a = -5*k + 165492. Is k a prime number?
True
Suppose 5*k - s - 21 = 0, 3*k + 4*s = 2*k. Suppose -5*h - 42710 = -5*u, -k*u + 52128 = 2*h + 17942. Is u composite?
True
Suppose r = -2*r + 5*o - 28, 4*o = 8. Let d(w) = -2*w - 10. Let g be d(r). Suppose g*u - 3008 = -286. Is u composite?
False
Is -2 + 4 + 134743 + (17 - 25) a prime number?
False
Let n be 90/80 - (-3)/(-24). Is n/((-7)/(-11123)) + 2 a composite number?
True
Let m(n) = n**3 - 8*n**2 + 6*n + 12. Let x be m(7). Suppose -2*g = -4*g + d + 8507, 4*d = -x*g + 21261. Suppose 0 = -11*y + g - 1404. Is y a prime number?
False
Let x(p) = -84*p + 61. Let s = 148 + -178. Is x(s) a composite number?
True
Let i = 36 + -83. Let r = -47 - i. Suppose 0 = -4*d + 5*a + 862, r*d - 3*d = 2*a - 658. Is d prime?
False
Suppose 140 - 2 = 3*b. Let m = -48 + b. Is (68 - 8) + m + 1 a prime number?
True
Let s be (-6)/(-12)*(1 + 3787). Let g(h) = 2*h**2 - 2*h - 7. Let l be g(3). Suppose l*u = 3*u + s. Is u a prime number?
True
Let f(a) = 38657*a**2 - 12*a + 46. Let o be f(-8). Is o/750 - (-2)/25 composite?
False
Let d(i) = -i + 20. Let c be d(19). Is (-15)/(-75)*-25 + (571 - c) a prime number?
False
Let t(p) = -p**3 + 2*p**2 + 3*p + 7. Let g be t(3). Suppose -2858 = g*i - 19189. Is i a prime number?
True
Suppose 7*c + 45 - 3 = 0. Is 41336/(-2)*c/24 a composite number?
False
Let c = -101 - -95. Let f(y) = 4*y**3 + y**2 - y - 2. Let j be f(-2). Let m = c - j. Is m composite?
True
Suppose 0*j - 4 = -2*j. Suppose -j*a + 6*a - a = 0. Suppose a = -52*k + 49*k + 9195. Is k composite?
True
Is (-374)/(-4675) - 1992846/(-50) a prime number?
True
Suppose n - 90495 = -3*z, -4*z - 17*n + 90399 = -z. Is z prime?
False
Let x = -567176 - -1150669. Is x a prime number?
True
Let i be (-1 - 1)*((-19)/2 - -1). Suppose 0 = l + 4*n - 75 + i, 2*n = -4*l + 246. Suppose d - 268 - l = -4*c, 3*d + 89 = c. Is c prime?
True
Let k be 12/(-16)*(-4)/1. Is (-1)/k - 122824/(-39) composite?
True
Let k(o) = -47*o + 11. Suppose 3*d + 27 = 6*d. Let u be k(d). Let p = u + 897. Is p composite?
True
Let q be 2*(-2 - -1) + 9. Suppose -5*u = -q*u + 8. Suppose 4824 = u*p - 7364. Is p composite?
True
Let d(b) = -7*b - 12. Let t be d(-3). Let o(k) = 7*k**2 + 18*k - 16. Let h be o(t). Let v = 230 + h. Is v prime?
False
Is -41*8561/(-28)*4 a composite number?
True
Let k = -2608 - -1532. Let h = k - -6359. Suppose 10*u = u + h. Is u composite?
False
Let h(q) be the second derivative of -q**5/4 - q**4/6 + 25*q**3/6 - q**2/2 + 61*q. Is h(-5) a prime number?
True
Let o(v) = 56*v**2 - 41*v - 574. Is o(-27) a composite number?
False
Let r be 12/(-1 - 2) + 0 + 11555. Let a(q) = -q**2 + 12*q - 27. Let y be a(9). Suppose 8*x - 6345 - r = y. Is x prime?
True
Let p be (70/(-25))/((-14)/(-35)). Is ((-22833)/(-21) - (-2)/p)/1 a composite number?
False
Let b be (3 + -2)*-1 + 9. Suppose -b*i + i = -5607. Let k = -428 + i. Is k prime?
True
Suppose 76*x - 19625015 = 52803120 - 14475019. Is x prime?
False
Suppose 6*o + 35094 - 300852 = 0. Is o a composite number?
False
Let z(a) = -a**3 - 12*a**2 + 11*a - 23. Let j be z(-13). Let r(p) = 43*p**3 - 8*p**2 + 4*p + 6. Let g be r(5). Suppose j*m - 10*m = -g. Is m a composite number?
False
Let d(h) be the second derivative of h**4/12 - 10*h**3/3 + 5707*h**2/2 + 115*h. Is d(0) a composite number?
True
Suppose 151670 = 11*m - 136937. Is m prime?
True
Let u = 55329 - 30347. Is u composite?
True
Suppose u = -2*w + 335937, 2313*u + 3*w - 1343728 = 2309*u. Is u a composite number?
True
Let j be ((-14472)/16 + 7)*(-1896)/20. Suppose -5*a + 4*n = -j - 7338, 4*a - 73936 = 4*n. Is a composite?
True
Let l = 10066 + -5088. Let m = -38 + 41. Suppose 0 = m*x + 5*o - 314 - l, 0 = -x + 3*o + 1750. Is x composite?
False
Let x(o) = o**3 + 2*o**2 - o + 2. Let h(j) = -4*j**3 + 20*j**2 + 81*j + 27. Let c(b) = h(b) + 3*x(b). Is c(28) a prime number?
False
Suppose 5 = -f - 27. Let x(u) = -u**3 - 77*u**2 + 7*u + 547. Let p be x(-77). Is p/(f/(-7956)) - 2 a prime number?
True
Suppose 0 = -9*i - 27 - 0. Let w = 6862 - i. Is w composite?
True
Let s be ((-65)/(-26))/((-2)/4 - -1). Suppose -36487 = -s*a - 11262. Is a composite?
True
Let f = 35744 + -17801. Is f composite?
True
Suppose 5*o - 220089 = 2*j, -15*o - j - 3*j = -660247. Is o a composite number?
False
Let u(l) = 146*l - 40. Let n(h) = -h**3 - 3*h**2 + 8*h - 2. Let w be n(-6). Suppose -w = 3*x - 97. Is u(x) a composite number?
True
Is 81/(-729)*(-17 + -1) - (-3 + -349536) a composite number?
True
Let g be -13 + (1 - -6) + -40. Let w = g + 435. Is w a prime number?
True
Suppose -104696 = -3*h + 2*m, 3*h - 3*m - 27653 = 77041. Suppose 3*n = 5*d + 5*n - h, d - n = 6987. Is d composite?
True
Let q = -352 - -541. Suppose n - 2*n - q = 0. Is 8/2 - 2 - n composite?
False
Suppose -10*y = -7*y - 105. Let u(r) = 5*r**3 - 5*r**3 - r + 22*r**2 + 0*r**2 - y + r**3. Is u(-20) composite?
True
Let n be 2/(((-6)/28)/(17532/(-48))). Suppose -20*o + n = -13*o. Is o prime?
True
Is (21 - 3 - 20)*(-405526)/4 prime?
False
Suppose 0 = -4*r - 5*i + 9203, 4*i - 912 = -3*r + 5990. Is r/8*(14 + -10) a composite number?
False
Let g be ((-56)/12)/(2 - 21/9). Let i(m) = -m + 7. Let z be i(g). Is 4/14 - (2 - (-5983)/z) composite?
False
Let f = -498 + 496. Is (f - -6) + -3 - (-4 + -4074) composite?
False
Suppose 3*b = -5*j - 637, 2*j - 3*j + 1015 = -5*b. Let h = b - -12655. Is h a composite number?
False
Suppose b - 2*b + 4*m = -85, -4*b - 4*m + 320 = 0. Let l(g) = 8*g**2 + 5*g - 9. Let w be l(1). Let u = b - w. Is u a prime number?
False
Suppose -5*v = -0*n - n + 293, -3*v + 1577 = 5*n. Let i be (-1 + -1 - -10)/2. Suppose -i*m = -2491 - n. Is m a prime number?
True
Suppose -3*o - 4*z = -228686, -z + 634777 - 177419 = 6*o. Is o prime?
False
Suppose -2*a + 7470 = i, -2*i - 3*i + 4*a = -37280. Suppose -o + 3354 = -i. Is o a prime number?
False
Let l(c) = 306*c**2 + 3. Let m be l(3). Let u = m + 936. Is u a composite number?
True
Let y = -10448 + 15419. Suppose y = 31*z - 28*z. Is z composite?
False
Let n(q) = 6*q**2 + 5*q - 11715. Let p(d) = 5*d**2 + 5*d - 11716. Let s(i) = 3*n(i) - 4*p(i). Is s(0) a composite number?
False
Suppose -9*c - 30 = -6*c. Let v(t) = -7*t - 9. Let n be v(-1). Is 1600/(c/n) - -3 composite?
True
Let h = 96 + -96. Suppose 4*k + 4*m - 2552 = h, -58 = 3*k + 4*m - 1975. Is k prime?
False
Let i(j) be the third derivative of -83*j**5/120 - 5*j**4/24 + 9*j**3/2 - 20*j**2. Let f(k) be the first derivative of i(k). Is f(-4) a prime number?
False
Let z be -1 - 4/(8/(-8606)) - 1. Suppose 0*r = 5*y - 4*r - 4303, 0 = -5*y + 3*r + z. Is y prime?
True
Let k(r) = 18*r**2 + 13*r + 18. Suppose -5*b - 3*y - 81 = y, 2*y = -2*b - 32. Is k(b) a composite number?
False
Let f(b) = -48332*b - 65. Is f(-3) a prime number?
True
Suppose -14 = -5*k + 6. Suppose k*n - 2*d - 129370 = 0, 3*n + 3*d - 62795 = 34255. Is n a prime number?
False
Suppose 4*y + y - 5*w - 120 = 0, -4*w - 76 = -3*y. Suppose 5*i - y = -0. Suppose 2*l = -i*o + 954, 0*l + 4*l + 2*o = 1920. Is l prime?
False
Suppose 0 = 15*j - 13*j + 1500. Let h = -427 - j. Is h prime?
False
Let o be (-1)/((-3)/(-114)*-2). Suppose 0 = 3*f - j - 1, 3*j = -2*f + o. Suppose 4*w = -4*l + 2444, 0 = -3*w - l + f*l + 1833. Is w composite?
True
Suppose 5*t + 402901 - 5627316 = 0. Is t a composite number?
True
Let n be (-3 + (-16)/(-4))/((-4)/(-20)). Suppose n*f + f = -f. Suppose 0 = -5*l + 3*k - 0*k + 8791, f = -3*l - 4*k + 5263. Is l composite?
True
Let f(c) = 56*c**3 - 16*c**2 + 89*c + 12. Is f(17) a composite number?
False
Let y be 5 - 0 - (-3 - -1). Suppose l - y = 1. Suppose 4*q + 0 - l = 0, 4*d + 2*q - 12816 = 0. Is d composite?
False
Let q(y) be the third derivative of 3*y**4/2 + 199*y**3/6 - 97*y**2. Is q(13) composite?
True
Let y(j) = -j**3 + j**2 - j - 4. Let c be y(0). Let d(m) = 3*m - 2*m**3 + m**3 - 3 - 4*m**3 - 2*m**3 + 4*m**2. Is d(c) a composite number?
True
Suppose -3*v - 5*v + 536448 = 0. Suppose -v = -15*g + 51399. Is g composite?
True
Let u(q) = -2*q + 24. Let o be u(11). Suppose 3*a = -3*h + 7998, -2669 = -2*a + a - o*h. Suppose -5*m = -a - 1722. Is m prime?
True
Suppose -11460 = 17*l - 77*l. Is l a prime number?
True
Suppose -4*i = -44 - 0. Is (2 - 1*-6079)*(i + -10) prime?
False
Is -1