 n = 85*c. Is c composite?
False
Suppose 85*x - 1030704 = -39*x + 155852. Is x prime?
False
Let z(j) = -3031*j + 28. Let q be z(4). Let g = -3349 - q. Is g a prime number?
True
Suppose -o + 10503 = -2*l, 76*o - 79*o + 31481 = l. Is o a composite number?
True
Let m = 63 - 61. Suppose 0 = m*y - 5*n - 25, y = -0*y - 4*n - 20. Is (-83 + y)/((-4)/20) composite?
True
Let z(x) be the first derivative of 11*x**2/2 - 22*x + 87. Let a(f) = f**2 + 10*f - 4. Let s be a(-11). Is z(s) composite?
True
Let l(x) = -x**3 - 4*x**2 + 3*x + 8. Let i be l(-4). Let c be (-2)/(i - 7/(-2)). Is (((-117)/c)/3)/(6/(-24)) a prime number?
False
Is 2 + 51/(-21) + (16 - 53168052/(-147)) a composite number?
True
Let w be (1 - 174/4)*2332/55. Let u = -960 - w. Suppose m = -2*j + u, 5*m = j + 2*j - 1237. Is j prime?
True
Suppose 0 = -2*w + 2, k - w - 1813 = 1634. Suppose 5*r + 10562 = -k. Is (-5)/(10/r) + -2 a composite number?
False
Let v(g) = g**3 + 16*g**2 - 24*g - 22. Let c(m) = m**3 + 15*m**2 - 23*m - 22. Let b be -4*1*6/(-8). Let p(r) = b*v(r) - 2*c(r). Is p(-19) a prime number?
False
Let v be (-4 + 6)*(-1 + 2). Suppose 0*f + 3*f = -k + 13, 2*f = -3*k + 11. Suppose v*z + 3*u - 4372 = 0, -z - 3*u = f*z - 10921. Is z a composite number?
True
Let a(f) = -f**3 - 3*f**2 - 4*f + 1. Let c be a(-2). Suppose c*t - 10*t + 5 = 0, t = 4*n - 7. Is n/(-4) + (-3756)/(-8) composite?
True
Let n(i) = -619*i - 1. Let l be 5 + 1*(1 + -7 - 5). Is n(l) a prime number?
False
Suppose 8*r = 3*r + 170. Let i = r - 27. Suppose i*q + q - 8936 = 0. Is q composite?
False
Suppose 2*f - 4 = w, w + 8 = 2*w + 2*f. Suppose 2*z - 6 = 0, w*o - z - 1 = o. Let d(g) = 92*g**2 + 4*g - 15. Is d(o) prime?
False
Let d(v) = -v + 411. Let t be (-4 - 50/(-8)) + 3/4. Suppose t*i + q + 1 = 0, -4*i - q - q - 2 = 0. Is d(i) prime?
False
Suppose 5*w = 4*k + 11588, 0*w - w - 2906 = k. Let m = k + 5823. Is m composite?
True
Let x = -2361 - 4047. Let h = x + 13537. Is h a composite number?
False
Suppose 3*n + 3*k = -6416 + 821, n + 1867 = k. Let r = n + 3159. Is r composite?
True
Suppose -204*s + 7557575 + 209472109 = 0. Is s a prime number?
True
Let d be (-10)/(-6) + (44/(-33))/2. Suppose -d - 2 = -g, -2*h + 2*g = -5716. Is h a composite number?
False
Let n(j) = 958*j**2 - 2*j + 193. Is n(11) composite?
False
Let j(t) = -219*t**3 + 4*t**2 - 19*t + 35. Is j(-6) a prime number?
False
Let y be (-1)/(-2) - (-1735821)/(-18). Is (-2)/4*y/13 a composite number?
False
Let h = -43850 - -65401. Is h composite?
True
Let u(j) = 3*j**3 - 3*j**2 - 6*j - 3. Let y be u(-2). Let h(m) = 2*m**2 + 3*m + 61. Is h(y) a composite number?
True
Is (-13 - (-80)/6)*1848129 a prime number?
False
Let v(a) = 32*a**2 + 62*a + 25. Let q be v(-26). Let t = q + -10812. Is t composite?
True
Suppose -p + 3*s = -9, 4*p - 4*s - 6 = -2*s. Suppose p = -2*b + 11*b - 89469. Is b composite?
False
Let c(i) be the second derivative of 4*i - 19/2*i**2 + 4*i**3 + 0 - 1/12*i**4. Is c(18) composite?
False
Let g be 3899/2*(-152)/(-266). Is 3/((-1 - -3)/g) a prime number?
False
Let f = -1078620 + 2623577. Is f prime?
True
Let h = 312 + -2182. Let c be (22/(-4))/(11/h). Let b = c - 518. Is b prime?
False
Let t = -372809 + 523500. Is t composite?
True
Let o(v) = 11*v**3 + 13*v + 388 + 2*v**2 + 10*v**3 - 273 - 36*v. Is o(4) a composite number?
False
Let c = 43031 - 30142. Is c composite?
False
Is (-1)/(6641316/474380 - 14) prime?
False
Suppose 3016*y + 386134 = 3030*y. Is y prime?
True
Let k(b) = 6*b**3 - 10*b**2 + 26*b - 17. Suppose 19*y - 10*y = 63. Is k(y) a composite number?
False
Let w be 1*-4 - 0 - (-11 - -23). Is (-2158633)/(-413) + w/(-7) + -2 composite?
False
Let c = 351074 - 232885. Is c a composite number?
False
Let h be -1 - (-3 + (-4)/4). Suppose h*y + 2*t - 5598 = y, 4*y + 3*t = 11195. Suppose y = 5*m - 3617. Is m a composite number?
False
Let d(o) be the third derivative of 0 - 1/12*o**4 + 0*o + 101/10*o**6 + 1/30*o**5 - 23*o**2 + 1/6*o**3. Is d(1) a prime number?
True
Suppose -60 = 21*d - 31*d. Is 33140/8*d/15 a prime number?
True
Suppose -273*h - 1691126 = -307*h. Is h prime?
True
Let r = 2 + 1. Let j be 40/22 + (51/(-187))/(18/(-12)). Suppose -x - j*x + 90 = r*u, -x - 1 = 0. Is u a composite number?
False
Let l = 518 - 508. Is (-5886193)/(-445) - 4/l a prime number?
False
Let w = -7 - -11. Suppose -14*o = 10086 - 48796. Suppose -f = w*f - o. Is f a composite number?
True
Let h(i) = -3*i**3 - 7*i**2 - 6*i - 649. Is h(-30) composite?
False
Let m(j) = 5*j**2 - 6*j - 61. Suppose -13*y + 8*y - 80 = 0. Is m(y) a composite number?
True
Let r(o) = o**2 - 55*o - 355. Is r(-23) a prime number?
True
Let f = 7 + 193. Suppose -2*n + f + 114 = 0. Suppose -n - 377 = -2*g + 4*w, 2*w = -5*g + 1287. Is g composite?
True
Let b(n) = -129*n + 14. Let g(k) = 256*k - 27. Let y(x) = 5*b(x) + 3*g(x). Is y(18) a composite number?
False
Is 1277/(368/580 - (-60)/(-100)) a composite number?
True
Suppose 0 = 31*z - 173*z + 141006. Is z composite?
True
Let w be (62/3)/((-10)/30). Let f = 106 + w. Suppose -6295 = f*z - 49*z. Is z a composite number?
False
Is 497130/10 + 13 + -5 a prime number?
False
Let c(q) = 3*q**3 + 8*q - 13*q**2 - 2*q**3 - 19 + 59*q**2 - 26*q**2. Let g(p) = 4*p - 4. Let j be g(-3). Is c(j) composite?
False
Let h(w) be the second derivative of 0 - 453/10*w**5 - 3*w - 1/12*w**4 - 1/6*w**3 + 1/2*w**2. Is h(-1) composite?
False
Let u = 526545 + -357166. Is u composite?
True
Let r(h) = 51747*h**3 + h**2 - 32*h + 33. Is r(1) a composite number?
False
Suppose 0 = o + 5*x - 100933, 3*x - 172110 - 29756 = -2*o. Is o composite?
True
Suppose -103*r = -44*r - 2967287. Is r a prime number?
False
Let q(g) = 524*g**3 - 3*g**2 + 4*g + 9. Is q(2) prime?
False
Let g(a) = 15*a**3 - 5*a**2 + 3*a + 12. Let k = 47 - 42. Is g(k) composite?
False
Let a(i) = -2307*i - 8939. Is a(-26) a prime number?
True
Suppose -60*v + 4388525 = -1938895. Is v prime?
False
Let t(o) = 196*o**2 + 82*o + 281. Is t(-30) a composite number?
False
Suppose 46*t - 6371916 = -4939309 + 8661311. Is t a composite number?
False
Suppose 3*d + 2162 = -700. Let b = d + 1373. Is b composite?
False
Let v = -1687 - -917. Let m = 4533 + v. Is m composite?
True
Let k = 3763 + -2264. Suppose -8*v + k = -7*v. Is v composite?
False
Suppose z = 3*x + 160, -4*z + 0*z = 4*x - 608. Is (-2)/(-11) + 166600/z composite?
True
Let l be 0/((-2 - 2)*(-3)/(-6)). Suppose l = -c + 19*c - 64098. Is c composite?
True
Let t = 33 - 34. Let b(h) = 301*h**2 - 8*h - 7. Is b(t) composite?
True
Suppose 36 = 190*z - 188*z. Suppose -z*u + 13*u = -9085. Is u prime?
False
Suppose 108*w - 112*w = -32646 - 38582. Is w prime?
True
Is 3/21 - (-11391408)/98 a prime number?
True
Suppose 346488 + 4616142 = 30*x. Is x a prime number?
False
Suppose 2*r - 6*w - 35434 = 0, 61*r = 58*r - 4*w + 53203. Is r composite?
False
Let b = 18751 - 9899. Suppose 1487 - b = -5*u. Is u a prime number?
False
Let r = 174747 + 100504. Is r a prime number?
True
Let f(q) = 10*q**2 - 48*q + 14. Let r be f(18). Let p = 6177 - r. Is p a prime number?
False
Is (126/(-168))/((-9)/408636) a composite number?
True
Let o(h) = 36*h**3 + 7*h**2 + 5*h - 5. Let x be o(4). Let j = -1448 + x. Is j prime?
True
Suppose -39*n - 124*n = -125783677. Is n composite?
False
Suppose 3*m - 8*w + 7*w - 1177 = 0, -4*m - 4*w = -1548. Let q = m - 192. Is q a prime number?
True
Suppose 603998 + 408826 = 36*b. Let o = b - 18079. Is o composite?
True
Let t(p) = p**3 + 7*p**2 - 3*p - 8. Let r be t(-7). Suppose -q - 21 = -3*d, 6 = -d - 5*q + r. Let k(m) = 2*m**3 - 6*m**2 - 9*m + 2. Is k(d) prime?
True
Let h be (-1*7)/(-2*6/48). Let r be 2280/7 + (-160)/h + 6. Suppose -s - 4*u = -163, 2*s = -0*s - u + r. Is s a prime number?
True
Let i be (8/16)/(6/(-48)). Let o = 8 - 7. Is (o + i)/((-42)/5194) a composite number?
True
Let l(c) = 44*c**3 - 2*c**2 - c - 1. Let u be l(2). Let x be 37608/30 + 8/20. Let p = x - u. Is p composite?
True
Let c(w) = -w + 2. Let x be 0*(6/27 + (-39)/54). Let o be c(x). Suppose 5*q = 3*z + 4903, -2*q - o*q = 4*z - 3948. Is q a composite number?
False
Suppose -2*l + 32 = 24, 3*x + 5*l - 35 = 0. Let i(q) = 653*q + 9. Is i(x) composite?
True
Let l = 203517 + -134183. Is l a composite number?
True
Let u = 43 - 39. Suppose 0 = -2*h + h, u*h = -2*c + 8. Suppose 2*w - c = 0, -3*r + 180 = -r + w. Is r 