 r = -109274 - -272455. Is r a prime number?
True
Let g(d) be the third derivative of d**6/120 + d**5/2 - 5*d**4/8 - 7*d**3/6 - d**2. Is g(-30) a prime number?
True
Suppose -32*w = -5*q - 29*w + 632525, -3*w = 3*q - 379515. Is q composite?
True
Let p(x) = 41 - 3*x - 5*x - 5*x - 6*x**2. Let y(v) = v**2 + v + 1. Let c(w) = -p(w) - 2*y(w). Is c(-14) a prime number?
True
Let f(i) = -4*i + 12. Let p be f(2). Suppose p*k - 2867 = -3*g, 979 + 3780 = 5*g - 3*k. Is g a prime number?
True
Let q(l) = -l**2 - 14*l - 15. Let g be q(-5). Suppose -5*d - 5*w + 5430 = 0, 5*d - 27*w - 5432 = -g*w. Is d a prime number?
True
Suppose 3*u = -3*y - 135032 + 779792, 5*y - 35 = 0. Is u prime?
True
Suppose 0 = -8*x + 359057 + 747687. Is x a composite number?
True
Suppose 0 = 5*n + 4*g - 10001227, g - 1781 = -1778. Is n composite?
True
Let n = -27 + 31. Suppose -w - 4*f = -7*f - 1096, n*w + f = 4371. Suppose -7*b + 20 = -w. Is b a composite number?
True
Let a = -627 - -72. Let v = a + 2484. Suppose 155 = 4*c - v. Is c prime?
True
Is 849802/12 - ((-1275)/90 + 14) prime?
False
Is 8 - (-3 - -6) - (-79233 + -13) prime?
False
Suppose 0 = 2*h + 10, -h = -5*y + 162471 + 100629. Is y a composite number?
True
Suppose -5*c - 6 = -31. Suppose -3*y + 0*m = -5*m - 39, -c*y + 31 = 3*m. Suppose -537 = -y*a + 215. Is a a prime number?
False
Let m be 1/6 + 7*2/(-12). Is 663 + 3 + 10 + (m - 2) a composite number?
False
Suppose -m + g + 398842 = 0, -5*g - 255526 + 1053217 = 2*m. Is m prime?
False
Suppose -6*u + 3*r = -12*u + 270978, -3*r - 45149 = -u. Is u a prime number?
True
Suppose -3*w - 190548 = -5*i - 23971, 0 = 4*i + 3*w - 133240. Is i a prime number?
False
Suppose -2741463 = -28*a + 3*a + 184312. Is a composite?
True
Let i be (40/(-24))/(2/(-1338)). Let z = -263 - -266. Suppose 8*y - i = z*y. Is y a prime number?
True
Let x(z) = z**2 + 23*z - 44. Let g be x(-25). Let r be (-5)/((-10)/7844) - (g - 5). Suppose -277 - r = -2*u. Is u composite?
False
Let f(z) = -11*z + 10*z + 32*z + 14 + 12. Let n be (231/(-22) + 10)/(2/(-92)). Is f(n) prime?
True
Suppose -5*t = 2*v - 7*t - 242376, 0 = -5*v - 5*t + 605870. Is v prime?
True
Let y(h) = -h**2 - 27*h - 34. Let b be y(-26). Let d be 106/13 + b/52. Is -2*3642/3*(-4)/d a composite number?
True
Suppose 1743*y - 1740*y = 64731. Is y prime?
True
Let m(z) be the second derivative of 17/2*z**2 + 19/6*z**3 + 0 - 1/2*z**4 - 1/20*z**5 - 28*z. Is m(-15) a composite number?
True
Let p = 224430 + -32281. Is p a prime number?
True
Is (-3)/(-3)*(-4 + 83529 + 12) a composite number?
False
Suppose y + 2*z - 6*z = 8, -2*z = 5*y - 18. Let a be (-2 - -47) + -1*y. Suppose -a*v = -40*v - 67. Is v composite?
False
Let p(z) = -5*z**3 + 17*z**2 + 21*z - 179. Is p(-16) a composite number?
False
Let u = -4873981 + 6854126. Is u a composite number?
True
Suppose 3*l = -24 + 105. Let d = l - -172. Let b = 450 - d. Is b a prime number?
True
Let g(x) = -263*x**3 + 4*x**2 + 11*x + 7. Let o be g(-3). Let k = o - 2890. Is ((-22)/33)/((-6)/k) a prime number?
False
Let i be ((-20250)/(-12))/(2/4). Let q = 4742 - i. Is q composite?
False
Let f(d) = 22*d + 304*d**3 - 300*d**3 - 1 + 14. Is f(6) prime?
True
Suppose -127*u - 16334 = -129*u + 4*y, y + 3 = 0. Is u a prime number?
True
Let p(b) = -7*b**2 + 1. Let r be p(1). Let w(m) = 2*m - 546 + 15*m**2 + 539 + 6*m - m. Is w(r) composite?
False
Is (6 + -280759)/((-9)/(-6)*(-4)/6) prime?
False
Suppose -2*k + 10 = 0, -3*s - 5*k - 917 = -11850. Suppose 2*a = 5*w + 3601, -w = 2*a + w - s. Suppose 0 = 2*z + 2, -d = d + z - a. Is d composite?
False
Let k(m) = -m**2 - 7*m - 6. Let f be k(-4). Let g = 12391 - 8651. Is g/15 - 2/f a composite number?
True
Let f be (-49388)/(-60) + 2/(-15). Is 0 + f - (-19 - -13) prime?
True
Suppose 2*t = -5*d + 17, -2*d + 0 = 3*t - 9. Suppose d = -4*u + 23. Suppose -10 = u*i, -357 = -4*x - i + 897. Is x composite?
True
Suppose 0 = 5*w, -13708 = -2*v + 5*w + 110838. Is v prime?
True
Let k(o) = 119*o**2 - 58*o - 5. Let p be k(8). Suppose 0 = -v - 56 + p. Is v a composite number?
True
Is (-9 + 2)/(-14 + 2209905/157851) composite?
True
Let x = -61 - -66. Suppose -x*c - 3*f = 17 - 59, -f = c - 8. Is -5 + 39/c + 8458/6 composite?
False
Is (-1040579248)/(-1904) - (-12)/(-7) prime?
False
Suppose -3*t + 1084227 = -2*m, 5*t - 6*m = -5*m + 1807045. Is t prime?
True
Suppose 165695 = 2*o - 42539. Is o a prime number?
False
Let s(o) = -4*o**3 - 9*o**2 - 50*o - 47. Is s(-14) prime?
False
Let y(z) = 2*z**3 - 17*z**2 + 13*z - 40. Let l be y(8). Is (l - -2) + (-7945)/(-5) a composite number?
True
Suppose 4*g - 8*g + 9 = 3*q, -2*g + 2*q = -8. Suppose -p = 3*u - 0*u - 2810, 5*u - 4688 = g*p. Is u prime?
True
Let q = -5 - -17. Suppose -4*x + 8*x - 10 = -h, 4*h - 6 = x. Suppose 790 = q*u - x*u. Is u a prime number?
True
Suppose -13*b + 18 = -10*b, -i - 2*b = -818519. Is i prime?
False
Suppose -2*o + 18 = -0*o. Suppose -o*k - 15*k = -20*k. Suppose k = -y + 536 + 1023. Is y a prime number?
True
Let t = 108 + 186. Suppose -10*f + t + 286 = 0. Is f prime?
False
Let t(b) = -705*b - 512*b + 2 - 2. Let p be t(-2). Suppose -k = -5*o + 2335 + 3805, -4*k + p = 2*o. Is o composite?
True
Let o = -28941 + 98594. Is o a prime number?
True
Let c = 115 - 116. Let k(u) = -u**2 - 2. Let y(z) = -6*z**2 - 14*z - 5. Let f(d) = c*y(d) - 4*k(d). Is f(-15) composite?
False
Let p(d) = 162*d**2 - 3*d - 8. Let x be p(6). Let g = x - 3065. Is g a composite number?
False
Suppose -3*y = -6, 2*y + y + 1766 = v. Suppose 5818 = q - 3*a, q - 2*a = 7589 - v. Is q a prime number?
False
Suppose 235*n - 155*n - 61570480 = 0. Is n a prime number?
False
Suppose 2*v - 51550 = 4*f, 46*v - 41*v + 4*f = 128889. Is v composite?
True
Suppose 124*q - 271*q + 1293670 = -133*q. Is q a prime number?
False
Is (-1*(6 + -5))/(2/(-54358)) a prime number?
True
Suppose -4*o + 5*f + 23 = 0, -5*o - 5*f = -f + 2. Let g be o - 1 - (1 + 1367/(-1)). Suppose -4*n + 861 = -g. Is n prime?
True
Let k be (10 + -11)*(-1 + -5). Suppose -96 = -k*c - 246. Is (-20)/c + (-993)/(-15) a composite number?
False
Let g(d) = -4149*d + 182. Is g(-15) prime?
True
Let v be ((-2)/(-4))/((7 - 2)/130). Suppose 5*b - 4870 = 5*h, -1948 = -2*b + v*h - 8*h. Is b a composite number?
True
Let w(p) = -18938*p - 849. Is w(-20) a composite number?
False
Let l(h) = 177879*h + 605. Is l(2) a composite number?
True
Suppose 9*z - 192644 = 34777. Is z prime?
False
Let y = 97544 + -69011. Is y a prime number?
False
Is 2/(-24)*15*(-84468)/3 prime?
False
Let j(a) = -a**3 + 7*a**2 - 3*a - 18. Suppose 7 - 43 = -6*n. Let r be j(n). Suppose -2*d - 5*f = -9*f - 5454, 2*d + 4*f - 5470 = r. Is d a prime number?
True
Let s = -678 - -678. Suppose s = -2*f + 2*c + 27006, 6*f = 3*f + 4*c + 40513. Is f a prime number?
True
Let i(g) = 102*g**2 + 46*g - 2. Let v(y) = -101*y**2 - 46*y. Let m(f) = -4*i(f) - 5*v(f). Is m(-5) prime?
True
Let c(j) = 4*j**3 - 6*j**2 - 2*j + 31. Suppose 0 = 3*g - l - 17, -3 - 24 = -5*g + l. Is c(g) composite?
True
Let n be 49048/(-6 + (-24)/(-3)). Suppose 24*i = 20*i + n. Is i composite?
False
Let h(w) = -61*w**3 - 9*w**2 - 43*w + 6. Is h(-5) prime?
True
Suppose 354*b - 78118 = 356*b. Let p = -7510 - b. Is p a composite number?
True
Let z(s) = s**2 - 5*s + 6. Let k be z(4). Suppose 0 = o + k*o + 3*w - 90, -5*o + 130 = w. Is (-4268)/(-10) + 5/o a composite number?
True
Suppose -q = -0*q - 4. Suppose -3440 = q*b - 0*b. Let j = 1993 + b. Is j composite?
True
Suppose 3*u + 5*n + 10 = 33, n - 53 = -5*u. Suppose 0 = -3*p - 6*h + u*h + 11369, 5*p - 5*h = 18955. Is p a prime number?
True
Let s be (-5 - -1 - (-7 - -4)) + 10. Let p(u) = 891*u - 58. Is p(s) prime?
False
Let g = -4 - -8. Suppose -2 = -2*z - 2*l, -z = -4*z + g*l + 17. Suppose z*k + 7*k = 1180. Is k a prime number?
False
Let w = -13974 - -143815. Is w composite?
False
Suppose 2*p + 2*t = 46, -8*t + 4*t + 64 = 3*p. Let b be 8/(-3)*(-21)/p. Suppose -3*y = 2*q + 3*q - 11076, -2211 = -q - b*y. Is q a prime number?
False
Let w = 2629 - 1395. Let u = w + -2048. Let o = 1515 + u. Is o composite?
False
Let q(b) = -4*b + 1. Let a be q(-1). Let l(y) = -16*y**2 + 23*y**2 - 28*y + y**3 - 2*y**3 + 3 + 26*y. Is l(a) a composite number?
False
Suppose -20*t = -14 - 26. Suppose -4*u - 8236 - 1370 = -t*a, u + 14404 = 3*a. Is a a prime number?
True
Let m(a) = a**3 + 50*a**2 + 14