(k) = 366*k - 5. Let a(v) = -v**2 - 14*v - 16. Let x be a(-12). Is d(x) a composite number?
True
Let h(t) = 1001*t**2 - 22*t - 1511. Is h(-18) a prime number?
False
Let a(t) = 7183*t**3 - 2*t**2 - 2*t + 2. Is a(1) prime?
False
Let c(h) = 50*h - 175. Let l be c(4). Let r be 172/(-6) - (-6)/9. Let n = l - r. Is n prime?
True
Is (32 - 53)*(-2 - 935559/21) composite?
True
Let c = -11 - -14. Suppose 65 = -5*f + c*t, -f - 2*t - 10 = 3. Is (-1896)/(-1) + f + 12 prime?
False
Let y be (-7)/((-7)/2) - -400*1. Let q be -1*(219 + 2/1). Let a = y + q. Is a a prime number?
True
Let t(r) = 2*r**2 - 15*r + 10. Let q be 15/20 + (-75)/(-12). Let j be t(q). Is -185*((0 - j) + 2) prime?
False
Suppose v = 15*n - 12*n - 829556, 0 = -5*n - 3*v + 1382570. Is n composite?
False
Suppose 18174 = 3*p - 5*y - 39308, -2*y - 8 = 0. Suppose 5904 = 2*o + 5*d, 7328 - p = -4*o - d. Is o a prime number?
True
Let o = 91 + -87. Is (-26 + -20)*(282/o)/(-3) prime?
False
Suppose -2*c + 2*w + 8341 = c, 0 = 5*c + 4*w - 13887. Is c composite?
True
Let m(g) = 307*g - 208. Let h be m(4). Suppose 0 = -3*b + 2*b - 5*x + 2402, b - 2*x = 2409. Let t = b + h. Is t a prime number?
False
Let r(y) = 47*y**2 + 30*y + 582. Is r(23) a composite number?
True
Suppose -j = -2*m + 17, -5*j + 3*m - 46 = 25. Is (2 + j*333)/(-1) a prime number?
True
Suppose -3*u + u + l = -30, -2*l = -u + 15. Is 5028/u + 6/(-30) a composite number?
True
Suppose 17*m - 19*m = -2*i + 46456, -4*m + 116131 = 5*i. Is i composite?
False
Let y(i) = -11*i**3 + 20*i**2 + 5*i + 263. Is y(-21) a prime number?
True
Suppose 21*g + 9*g + 40*g = 11697770. Is g composite?
True
Let l(r) = -r**2 + 12*r - 8. Let g be l(11). Let s(n) = -11*n**3 - 1 + 29*n**g + n + 22*n**3 + 8*n**3 + 3*n**2. Is s(2) composite?
False
Suppose 293 = 10*j - 27. Is -1 + j/24 + 21256/6 a prime number?
False
Suppose 11*p - 18 - 26 = 0. Suppose 2263 - 54611 = -p*j. Is j composite?
True
Let s = -73314 - -295223. Is s a composite number?
False
Let x(v) = 4501*v**3 + 7*v**2 - 13*v - 15. Let u(k) = -2250*k**3 - 3*k**2 + 6*k + 7. Let c(z) = 9*u(z) + 4*x(z). Is c(-2) a composite number?
False
Suppose 5*f + 19 = 2*n, 2*n + 2*n - 25 = -3*f. Suppose -n + 37 = 6*u. Suppose -x - 1775 = -u*i, -4*i + 284 + 1136 = 5*x. Is i prime?
False
Suppose -11*n + 230 = -6*n. Suppose 2013 = -n*r + 49*r. Suppose 150 - r = -h. Is h prime?
True
Let s(v) = -3*v + 23. Let x be s(7). Suppose 5*o + x = 12. Suppose -5*n = -5*p + 185, 15 = o*p + 5*n - 59. Is p composite?
False
Suppose -305*g - 7420 = -319*g. Let f be (-2)/((-6)/3)*268. Let m = g - f. Is m a prime number?
False
Let a(q) = -28*q + 72. Let n be a(-5). Suppose 4*f - n - 293 = 3*l, 0 = 5*f - 3*l - 632. Is f a prime number?
True
Is 580021*-6*(-17)/1326 a composite number?
False
Let w(p) = 6*p**2 - p + 0*p - 17 + 7*p. Let s be w(-13). Is (-20)/(-30) + s/3 a prime number?
True
Let o(f) = 81 + 43*f - 64*f - 52*f. Is o(-5) a prime number?
False
Let p(u) = -u**2 - 44*u - 83. Let q(o) = 2*o**2 + 131*o + 248. Let h(i) = -17*p(i) - 6*q(i). Is h(-30) prime?
True
Let d be (-320)/(-3) + (-8)/12. Let s = d + 52. Suppose 4*i = -2*b + s, 3*b - 4*i - 236 = -9*i. Is b a prime number?
False
Let q = -343 + 500. Suppose 2*k + 3*j = -k + 219, 300 = 4*k - 4*j. Let x = q - k. Is x composite?
False
Let d(s) = -s**2 - 9*s - 13. Let r be d(-8). Let m(j) = j + 7. Let v be m(r). Suppose -x - v*n + 3*n = -358, 1411 = 4*x + 3*n. Is x a prime number?
False
Let a = -359 - -1292. Let s = -302 + a. Is s a prime number?
True
Let g(y) = y**3 - 40*y**2 - 73*y + 87. Let s be g(42). Let x = s - 338. Is x a prime number?
True
Let l(z) = 227*z - 737*z + 138*z + 47 + 74*z. Is l(-5) a composite number?
True
Suppose -2*r = r - 8415. Suppose 7156 = 7*a - r. Is a prime?
True
Suppose 3*n = 6*s - s - 4319, -4*s + 3442 = 2*n. Suppose 3*y + 5 = 5*j, -13 = 2*j - 5*y + 4. Suppose -j*x - s = -2*g + x, 5*x = 0. Is g a composite number?
False
Suppose 128*h - 14433423 = -h. Is h a composite number?
True
Suppose 48*m = 16134839 + 17461177. Is m prime?
False
Let p(x) be the first derivative of 584*x**3/3 - x**2/2 - x - 41. Let s be 0/(1 - -2) + (-2)/(-1). Is p(s) prime?
True
Let u be -2*2 - (-4 - -5 - 5155). Let h = u - 2937. Is h a prime number?
True
Let v be (-20 + 18)*(-3 - -1). Suppose -v*j = -3*j + 2*g - 683, -g = -3*j + 2014. Is j a composite number?
False
Suppose -9*r - 322279 = -12*r + 5*f, 3*f + 107437 = r. Is r a composite number?
True
Suppose h = -65 - 505. Is -10*(-4 + h/4) a prime number?
False
Let f(t) = -1771*t**2 + 5*t - 5. Let m be f(2). Let k be (-2)/(-3) - (-7 + 11453/3). Let b = k - m. Is b a composite number?
True
Let n(c) = 6261*c**2 - 42*c + 125. Is n(4) a prime number?
False
Is (780/13)/(-12) - (0 + -5772) a prime number?
False
Suppose 4*r - 273000 = -4*k, -4*r + 273012 = -172*k + 173*k. Is r a prime number?
False
Let n = 34739 - 23916. Is n a composite number?
True
Let z(y) = 147*y**3 + y**2 - 3*y - 2. Let p = 39 + -41. Let c(k) = -k**3 - k**2 + k + 1. Let i(s) = p*c(s) - z(s). Is i(-1) a prime number?
False
Suppose 57*k = -41*k + 12677247 + 4289591. Is k prime?
False
Suppose 2*v - 2 = 0, -8570 = -3*p - p - 2*v. Suppose -c = -3*z + 3*c + p, 4*z - 2825 = -5*c. Suppose -2*i + z - 212 = 0. Is i prime?
False
Suppose 0 = 26*c + 56*c - 9320366. Is c prime?
False
Let s(p) = -1043*p - 8. Let l(q) = q - 1. Let i(c) = 4*l(c) + s(c). Let m be i(10). Is 1*3*m/(-42) composite?
False
Suppose 0 = 3*q + 3, -4*d = 5*q - 128440 - 87259. Let f = d + -35625. Is f prime?
True
Suppose 0 = -3*l - 3*f + 195, 3*l - 101 = 5*f + 54. Let n be (-53)/(l/(-16) - -4). Let q = n + 745. Is q prime?
False
Let x = 200 + 22129. Let y = x + -10664. Is y a composite number?
True
Is (-536 - -1)*(-35946)/90 a composite number?
True
Let j(p) = -5*p + 19. Let g be j(-9). Suppose -10 - g = -h. Suppose -2*t = -4*t + h. Is t composite?
False
Let s = -4 + 6. Suppose s*t - 72 = -y, 4*y + t = -0*t + 281. Suppose 5*g + 5*h = y, -g + 16 + 2 = 5*h. Is g prime?
True
Suppose 11*r + 2703943 = 14*r - 2*h, 0 = 5*r - 7*h - 4506601. Is r a composite number?
False
Let i = -35286 - -70079. Is i prime?
False
Let g = 103 + 114. Let x = g + 262. Is x prime?
True
Is 1/50*5 - 594116/(-40) prime?
False
Let a(m) be the second derivative of -4*m**3 - 11*m**2/2 + 221*m - 6. Let y(k) = -5*k + 1. Let v be y(2). Is a(v) prime?
False
Suppose 2*i - 2*c = -0*c + 12, 0 = 2*i - c - 13. Suppose i*q + 30 = 5*q. Is (19/3)/((-1)/q) a prime number?
False
Let w be (-2382)/(-36)*-2*6. Is 0 + 1 - 26/(-13) - w composite?
False
Let f(m) = -10*m - 5. Let d be f(0). Let i(u) be the second derivative of -u**5/4 + u**4/6 - 5*u**3/6 + u**2/2 + 6*u. Is i(d) composite?
False
Let q(k) be the third derivative of k**6/120 + 3*k**5/10 - 7*k**4/24 + k**3/6 - k**2. Let b(d) = -18*d**3 + 127*d**2 - 128*d + 1. Let w be b(1). Is q(w) prime?
True
Let p = 15091 + -4633. Suppose -4997 = -12*y + 2047. Let i = p - y. Is i a composite number?
False
Let a(f) = -480*f - 48. Let w(o) = o**3 - 4*o**2 - 3*o + 4. Let y be w(4). Let x be a(y). Suppose 5*d = 3*m + 2*m + 4785, -4*d + x = 5*m. Is d prime?
True
Let u = -77 + -318. Let q = u + 1374. Is q composite?
True
Let j be 11 + (-14232)/(-132) - (-4)/22. Suppose -j*b - 23638 = -121*b. Is b composite?
True
Suppose 4*j = -4*h - 196, 2*h = -5*j + j - 106. Is (-10)/2*6687/h a prime number?
True
Let f be (-209972)/15 - 66/(-495). Is (4 + 200/(-48))*f composite?
False
Let y be 117/26*(-6)/9. Is 478/3 - y/(-9) a composite number?
True
Let q(k) = -k**3 + 3*k**2 + 5*k + 7. Let h be q(7). Let l = 55 + h. Let x = l - -346. Is x composite?
True
Let y(l) = 2*l**3 + l**2 + l + 1. Let o(u) = 11*u**3 + 14*u**2 - 16*u + 52. Let j(t) = -o(t) + 5*y(t). Is j(-16) a prime number?
True
Suppose 2*v - 3799172 = 12*v - 62*v. Is v composite?
False
Suppose -237*r + 278*r - 5621983 - 45466846 = 0. Is r a composite number?
True
Let h(j) = 31*j**3 + 14*j**2 + 44*j - 386. Is h(15) a prime number?
False
Let b = 4868 - 3278. Suppose -7*i = 308 - 91. Let p = b + i. Is p composite?
False
Let m(l) = 20*l**3 - l**2 - 77*l - 94. Is m(19) prime?
False
Let h(q) = -17*q**2 - 39*q + 113. Let n be h(3). Suppose k + 0*u = -4*u + 260, -502 = -2*k + u. Let z = k - n. Is z a prime number?
True
Let c = 1246 + 165. Suppose -5*b - 5*p - c = -13301, -3*p = 12. Suppose -22*k = -28*k