 Is v a prime number?
True
Let n be -1 - 0 - (-3 + 2). Suppose -t + 0*t = 5*f - 12258, -2*f - 5*t + 4894 = n. Let a = f + -15. Is a composite?
False
Is 7872309/72 - -19 - ((-15)/(-24) - 1) a prime number?
True
Let g(c) = -20*c - 98. Let b(x) = -19*x - 97. Let z(j) = 5*b(j) - 6*g(j). Is z(30) a composite number?
False
Suppose z + c = -0*z + 8, 3*c + 1 = 2*z. Suppose 5*r - z*f = 6995, 0 = -r + 3*f + 1805 - 406. Is r prime?
True
Suppose 85 = -3*o + 166. Is 33/o + -1 + (-126867)/(-27) prime?
False
Suppose 2*i + 0*i = -3*q + 25, 0 = -i + 4*q + 7. Let a(l) = 10 + 36*l**2 - 26 + 16 - i*l. Is a(-5) a prime number?
False
Let a(l) = 59*l**2 + 11*l + 28. Let x be a(9). Let s = -2453 + x. Is s a prime number?
False
Suppose 5*c - 2*o - 2*o = 137, -63 = -3*c - 4*o. Let x be (-6 - (-130)/c)/(4/(-30)). Suppose 5*r - 3*f - 8282 = -x*f, 2*f = -2*r + 3312. Is r composite?
False
Let a = 63240 + -18671. Is a a composite number?
True
Let l(b) = -1545*b + 13388. Is l(-75) composite?
False
Suppose 4*m + 2*v - 18 = 0, -5*v + 6 = 3*m + 3. Is ((-3)/m*2)/((-7)/13363) prime?
False
Suppose 0 = 8*h - 9*h - 71. Let j = h + 78. Suppose -5*z + j*z = 2422. Is z a prime number?
False
Let y(g) = -69*g**3 - 33*g - 55. Is y(-2) composite?
False
Is ((-5)/(100/873256))/(40/25 - 2) composite?
True
Let w(t) = 7311*t + 7957. Is w(40) a prime number?
True
Suppose -z = 3, -4*c + 7*z = 3*z - 158356. Is c a prime number?
False
Let d(z) = 349*z - 8. Let q(k) = -1046*k + 26. Let o(w) = -7*d(w) - 2*q(w). Is o(-9) a prime number?
True
Let h(y) = -4*y - 18 - 64*y - 13*y - 16. Let l = -25 + 20. Is h(l) prime?
False
Let q be (-3)/(2*3/(-20)). Let w(p) = 29*p + 5222. Let v be w(0). Suppose 0 = 2*b + n + n - v, -5*n + q = 0. Is b a prime number?
True
Suppose -2214377 - 5068304 = -133*x. Is x a prime number?
False
Let x = -90 + 60. Let u = -26 - x. Suppose a + u*d = -0*a + 487, -3*a + 1500 = -d. Is a composite?
False
Suppose 2*t - 9 = -7. Let g be (3731 - t)*(-33)/(-22). Suppose -g = -5*y - 3*b, -3*b - 2*b + 5595 = 5*y. Is y composite?
True
Let k(j) be the second derivative of -1250*j**3/3 + j**2/2 - 18*j + 2. Is k(-1) composite?
True
Let w be 9 + (0 - 5 - 1). Let t(p) = 4654*p**2 + 1. Is t(w) composite?
False
Suppose 0 = 9*b - 5*b - 5148. Suppose -4*z = -z - b. Suppose -4*f - z = -5*t, -5*t + 4*f = -f - 430. Is t a composite number?
True
Suppose -5*t - 3*t - 120 = 0. Let q(w) = -5 + 20*w + 2*w**2 - w**3 - 13*w**2 - 2. Is q(t) a composite number?
False
Suppose 4 - 13 = -3*z. Suppose -z*w + 5*w = 2*f + 14, -5*f - 2*w - 7 = 0. Is 2/6*f + 1082 composite?
True
Let l(p) = -p**3 - 2*p + 149. Let g(o) = o**3 + 3*o**2. Let h(t) = -t**3 - 12*t**2 + 11*t - 26. Let u be h(-13). Let f be g(u). Is l(f) composite?
False
Let k(p) be the second derivative of 0 - 6*p - 1/2*p**3 - 25/2*p**2 + 1/6*p**4. Is k(-8) a composite number?
False
Let m = -830 + 871. Suppose 0 = -3*a - 0*a + 408. Let f = a - m. Is f composite?
True
Let o(c) = -c**3 - 2*c**2 - 8*c - 5. Let g be o(-3). Suppose -552114 - 8362 = -g*h. Is h composite?
True
Suppose 0 = -15*p + 186148 + 245687. Is p a prime number?
True
Let h(o) = 2695*o - 62. Let m(j) = 8*j + 39. Let k be m(-4). Is h(k) a prime number?
True
Let p(w) = 2*w**2 - 16*w + 43. Let y = 321 + -307. Is p(y) prime?
True
Let l(x) = 7 + 11 - 2*x - 9*x + x**2. Let f be l(9). Suppose -10*m + 37229 + 20921 = f. Is m prime?
False
Let i be ((-608)/(-40))/((-2)/(-5)). Suppose 42*l - i*l = 4036. Is l composite?
False
Let y(c) = 35*c**2 - 14*c - 2801. Is y(62) composite?
True
Is (259/111)/((-2)/(-35718)) a composite number?
True
Let w = 2533 - 2198. Suppose 2*a = 3*p - 18, -8*p + a = -7*p - 5. Is (-1)/p*-12*(w - 1) composite?
True
Suppose 34282 = -5*x + 141672. Suppose 0 = 5*k - d - x + 1532, -4*k = 4*d - 15952. Is k composite?
False
Let i(k) be the third derivative of -13*k**5/24 + 29*k**4/24 - 11*k**3/6 - 14*k**2. Let n(l) be the first derivative of i(l). Is n(-10) prime?
False
Let x = 12807 + -18063. Let w = x - -9089. Is w a prime number?
True
Let y(a) = -a**3 + 18*a**2 + 18*a + 34. Let o be y(19). Let h(c) = 25*c**2 - 13*c + 55. Is h(o) a composite number?
True
Suppose -113*u = -114*u + 19634. Suppose 0 = 2*x - f - 9811, -3*f + u = 4*x - f. Is x a prime number?
False
Suppose 12*h = 15*h + 12, 0 = -4*q + 5*h + 9289696. Is q a composite number?
True
Suppose -s - 12 = -4*s. Let f be (-75)/50 - 2/s. Is (-1)/f*(-4 + -153)*-2 prime?
True
Let l = 478 - -2410. Let d = l - 1787. Is d a prime number?
False
Suppose -34*g + 29*g - 26920 = 0. Let l = 8837 + g. Is l composite?
True
Is 25 + (-1083060)/(-374) - 2/(-17) a prime number?
False
Is (-12 + 79268/(-8))*-2 prime?
True
Suppose 0 = -i + 3*i - 8. Suppose -4*z - 5*w - 4068 = -7*z, z = -i*w + 1373. Is z a composite number?
False
Suppose 10*r + 5*r + 1425 = 0. Let f = 94 + r. Let o(u) = 1470*u**2 + u + 2. Is o(f) a composite number?
False
Suppose 257*w - 299*w = -3746274. Is w composite?
True
Suppose 2*q - 654494 = 4*k, 32*q - 327247 = 31*q - 3*k. Is q composite?
False
Let a be (-2482945)/(-248) - (3/(-8))/3. Let n = a - 4883. Is n prime?
False
Let b be (-2)/8 + 5/((-80)/28). Is ((-6)/(-4) + b)*-11090 a composite number?
True
Suppose m = -0*q - q - 17, 4*m = -3*q - 55. Let b(o) = -10*o - 10*o - 11 + 19 + 0 - 11. Is b(q) prime?
True
Let s(x) = x**3 + 7*x**2 + 10*x + 12. Let g be s(-8). Is 8 - (-1032)/g - 1945/(-11) a prime number?
False
Suppose 765 = -3*c - 105. Let u = 5161 + c. Is u composite?
False
Is (4577613/(-38))/((-9)/6) a composite number?
False
Let m(o) = 13*o**2 - 15*o + 11. Let u be m(8). Let j be u/(4/24*-3). Let w = -947 - j. Is w a prime number?
True
Is ((824284580/(-30))/(-23))/((4/(-6))/(-1)) a composite number?
True
Let t be (0 + -16)/((-7)/(-28)*4). Is 6/t - 145321/(-88) prime?
False
Let g be (-1)/3 + 0 + (-20)/(-6). Suppose 9 = -4*y - 3*v, v = y - 0*y - g. Suppose 2*x - 3*x + 583 = y. Is x a prime number?
False
Let s(z) = 2*z + 7. Let l be s(-5). Let t be (-2812)/l + 32/(-24). Suppose 0 = 2*q - 2*a - t, -2*a - 2*a + 1397 = 3*q. Is q composite?
False
Let z(g) be the first derivative of 29/3*g**3 - 13/2*g**2 - 7*g + 6. Is z(-6) composite?
True
Suppose -1245169 = 42*f - 11292023 - 2756972. Is f a composite number?
True
Let d(c) = -188*c**3 + 18*c**2 + 5*c - 94. Is d(-13) prime?
False
Let y(p) = 646*p - 5. Let h = -54 + 61. Let g(j) = -j**3 + 5*j**2 + 15*j - 6. Let k be g(h). Is y(k) a prime number?
True
Let h(c) = -2*c**2 - 36*c + 37. Let p(l) = -l**2 - 18*l + 19. Let a(r) = 4*h(r) - 7*p(r). Let i be a(-10). Is (-4186)/(-10) + 38/i composite?
False
Let v(b) = -b**3 + 17*b**2 + 4. Suppose 13*f - 133 - 88 = 0. Let g be v(f). Suppose -2*t - 3314 = -g*t. Is t a composite number?
False
Let u = 11 - 3. Suppose 17*t - 18*t + u = 0. Is (-446)/(t/(1 + -5)) a prime number?
True
Let f(k) = 100*k**2 + 226*k - 19. Is f(-13) composite?
True
Let d be 2*3/(-9)*3. Let g be -104*(1 - (79 - d)). Suppose -5*i + 4405 = -g. Is i composite?
True
Suppose 2*l + 47168 = -4*h, -18*l - 58969 = 5*h - 20*l. Let w = -1492 - h. Is w prime?
True
Let c(z) be the third derivative of 31*z**6/120 + z**5/12 - 3*z**4/2 - 7*z**3/6 - 20*z**2. Is c(6) composite?
False
Let g be 2/(((-5)/(-15))/1). Let f = 0 - g. Is (f + 7)/((-1)/(-1693)) a prime number?
True
Let x(s) = 14879*s**2 + 167*s - 3. Is x(7) a prime number?
True
Let o = -1058606 + 1992717. Is o a composite number?
False
Let z(c) = -c**3 + 4*c**2 - 2*c - 1. Let j be z(2). Let v be (-26 + 25)/((-2)/24142)*(1 + 0). Suppose j*g - 9053 = 2*r, -3*g + 3*r = g - v. Is g prime?
False
Let s = -724670 - -1059601. Is s composite?
False
Is (-14)/((3 - 25)/11) + (2 - -669754) composite?
False
Let s(v) = 4 + v - 151*v**3 + 220*v**3 + v - 4*v. Is s(3) a prime number?
True
Suppose -14*a + 88*a = 822362. Is a a composite number?
False
Let n = -32 + 43. Suppose n*h = 14*h - 15981. Let k = -2758 + h. Is k composite?
True
Suppose 4*h + i = h + 19320, -3*h = 5*i - 19308. Suppose 0 = -4*q - h - 2391. Let z = -1370 - q. Is z a composite number?
True
Let h(u) = u**3 - 2*u**2 + 2*u + 1. Let p be h(2). Is (-5)/(-1) + 6 + 13665 + p composite?
False
Let w = -294541 - -558944. Is w composite?
False
Let n = 16478 + -10517. Suppose -5*c = x - n, 4*x + c - 23908 = -3*c. Is x a composite number?
False
Suppose -2*d + 4*u + 24 = 0, 155*d - 4*u = 156*d + 12. Su