t d = f - -738. Let y = -57 + d. Is y a composite number?
True
Let w = -29114 - -43845. Let b = -9500 + w. Is b composite?
False
Let u = -13 - -11. Let k = 123 + -126. Is ((-1346)/4 + u)/(k/6) composite?
False
Let y = 37 + -33. Let j be 0*(-1 - -4 - 2). Suppose j = p + 2*r - 1063, 6*r - 3*r - 4237 = -y*p. Is p prime?
False
Suppose -882*l + 2*n - 33206 = -886*l, -l - 5*n = -8306. Let t be (15364/3)/(1/3). Let b = t - l. Is b a prime number?
False
Let c(k) = 2*k**2 + 3*k - 4. Let h be c(-3). Let j be (-4)/(3 - (-39)/(-9)). Suppose -2*n = -j*o - n + 3246, -3*n + 5410 = h*o. Is o prime?
False
Let y be (-1566)/24 - (-2)/8. Is (-2176278)/y - (-1)/(-5) a prime number?
False
Let n = 179 - 207. Let k = n + 582. Is k a composite number?
True
Suppose r = -5*r + 2*r. Suppose r*y = -2*i - 2*y + 3510, 0 = -2*i + 4*y + 3534. Is i a prime number?
True
Let c = 13 - 8. Suppose -c*j + 3*j = -4*j. Suppose b - 12813 + 2838 = -4*d, j = -4*d - 4*b + 9960. Is d prime?
False
Let n = -282 - -287. Suppose 0 = 4*b - f - 25399, 0 = 2*b + n*f - f - 12686. Is b a prime number?
False
Suppose 0 = -267*u - 5670494 + 350172317. Is u a prime number?
False
Is 1185/165 + (-4)/22 - (-14 - 94252) a prime number?
True
Let j(p) = p**3 + 5*p**2 - 5*p + 10. Let x be j(-6). Suppose x*w + 5*m = 138, -5*w + 58 = -3*w - 3*m. Let v = w + 261. Is v prime?
True
Suppose -4*z + 2316 = -300. Let d be -4 - -1 - (z + -1). Let r = -258 - d. Is r prime?
False
Suppose -f + 17 + 2 = -3*j, j - 4*f + 21 = 0. Let r be (-4 + 1554)/(j/(-20)). Suppose o - 4*w - 1571 = 0, o - 5*o - 5*w = -r. Is o prime?
False
Suppose -3*f - 7*p + 6 = -4*p, -4*f + 4*p = -48. Let h(c) = -7*c + 9 + 114*c - c. Is h(f) a composite number?
False
Let v be 1 + 2*(-52)/(-8). Let o be ((-21)/v)/(9/(-15036)). Suppose -5593 = -7*c + o. Is c a prime number?
False
Let f(v) = 13425*v + 1709. Is f(17) a composite number?
True
Let v = -2842893 - -3985796. Is v a prime number?
False
Let d(a) = 57*a + 11 + 170*a - 9*a + 15. Let y be d(19). Let k = y - 565. Is k a prime number?
False
Suppose 35*l - 32*l = 6087. Let j = l + 5. Suppose 9 = 3*r, 3*b + 4*r - j = -r. Is b a prime number?
True
Let i(a) = -138*a + 1. Let m(v) = v**2 + 18*v + 33. Let b be m(-17). Suppose 28 = -z + b. Is i(z) prime?
True
Suppose -11*h - 15*h + 4708618 = 12*h. Is h prime?
True
Let g be 1/3*2*(-9675)/(-50). Let d = -91 - 23. Let f = g + d. Is f prime?
False
Let p(i) = 10*i**2 + 16*i + 21. Let d = -204 + 186. Is p(d) prime?
False
Let p = 0 - 0. Let u = -1880 + 1884. Suppose r = -g + 3081, u*r = -g - p*g + 3087. Is g a composite number?
False
Let k(t) = -t + 20. Let f be k(14). Suppose f*m = 5*m + 96. Let g = 117 - m. Is g prime?
False
Suppose -30*x + 68*x = 16*x + 5249618. Is x a prime number?
False
Is 18/(-1755)*15 + (-604801)/(-13) a prime number?
True
Suppose -3*n - 2*w = 3795, 2*n - w - 2529 = 4*n. Let g be 6/8*20 + -13. Is (n/g)/(22/(-8) + 2) a prime number?
False
Let y(b) = 2378*b**3 - 4*b**2 - 4*b + 8. Let v be y(2). Suppose j + 5*u = 5591 + v, -5*j - u = -122995. Is j a composite number?
True
Let r(i) = -i**2 - 6*i + 7. Let u be r(-7). Let x(z) = 48*z - 515. Let y(o) = -14*o + 171. Let n(s) = 2*x(s) + 7*y(s). Is n(u) a prime number?
True
Suppose -22*l - 651106 = -55*l - 53*l. Is l composite?
True
Suppose -6*i = -53 + 17. Suppose 24*f = 23*f + i. Suppose -565 = f*b - 11*b. Is b a prime number?
True
Let a = 150 + -56. Let b = 97 - a. Is (-600)/(-4) - b - 2 a prime number?
False
Suppose -b - 470475 = -2*h, -5*b = 6*h - 9*h + 705737. Is h composite?
True
Let p(m) = m**2 - m - 8. Let g be p(-3). Suppose 2*x - g*s + 3*s = -344, s + 860 = -5*x. Let t = x - -383. Is t prime?
True
Let c be (-24)/(-120) + -2 + 119/5. Suppose -5*z + c*b = 17*b - 15150, 0 = 2*b + 6. Is z a prime number?
False
Let m be (-2 - (-24)/(-9))/(2/18). Let d = 50 + m. Suppose -d*p + 990 + 2762 = 0. Is p composite?
True
Suppose 2434123 = 266*o - 22485555. Is o a prime number?
True
Suppose 0 = u + 5*o - 5645, 0 = u - 6*o + 5*o - 5615. Suppose f - u = 3283. Is f a composite number?
True
Let y = -34 - -32. Let u(j) = 461*j**3 + 2*j**2 - j - 6. Let h be u(y). Is ((-2)/3)/(8/h) composite?
False
Is ((-1201126)/93)/((-4)/30) a prime number?
False
Let p(z) = 106*z - 30. Let d(f) = -318*f + 91. Let i(k) = -3*d(k) - 8*p(k). Let a(h) = -h**2 - 18*h - 40. Let c be a(-3). Is i(c) a composite number?
True
Let o(q) = 6156*q**2 - q - 88. Is o(-5) a composite number?
False
Let m(f) be the first derivative of 23*f**4/12 + 5*f**3/6 - 11*f**2/2 - 2*f - 14. Let w(g) be the first derivative of m(g). Is w(-4) a composite number?
False
Suppose z + 28*u - 25*u = 3419, 5*z - 17045 = -5*u. Let o = 5815 - z. Is o composite?
False
Let o = 540805 - 342726. Is o a composite number?
True
Let d(s) = 30*s**2 - 40*s - 151. Is d(39) prime?
False
Let x(p) = 1405*p**2 - 6*p + 39. Let k be x(9). Is (k/75)/((-4)/(-10)) prime?
True
Suppose -299*p - 26*p = 46*p - 16808897. Is p composite?
False
Let g(z) = -z**3 + z**2 - z - 1. Let i = 69 - 109. Let q be -4 - i/(2 - 7). Is g(q) a prime number?
False
Let j(t) be the first derivative of 292*t**3/3 - 3*t**2 - 11*t + 44. Is j(-4) a composite number?
True
Let k = -52 + 52. Suppose -5*z + 28295 = b - 6*b, k = z + 5*b - 5683. Is z a composite number?
True
Let f(c) = c**3 - 34*c**2 + 71*c - 47. Is f(51) a composite number?
False
Let i(q) = 381*q**3 + 1. Let x(d) = -19*d + 7. Let r be x(4). Let b = -68 - r. Is i(b) prime?
False
Suppose 5*m = 9 + 1. Suppose 14 = 3*i - 4*f, 4*i = 3*i - f - 7. Is m*i/8 - 412/(-8) a composite number?
True
Suppose -52*m + 59*m - 23100 = 0. Let u = m - 1681. Is u a prime number?
True
Suppose -8*l = 20*l + 53368. Let c = l + 8883. Is c a prime number?
True
Is 2331404/(-3)*(9 + 312/(-32)) prime?
True
Is (12 + -10)/(0 + ((-23318)/(-23314) - 1)) a composite number?
False
Let x be 15 - (-25)/(-5 + 0). Suppose x*v + 5 = 9*v. Is 7/v*(7 - 12)*277 a composite number?
True
Suppose -s + 774 = 5*d - 2*d, 2*d = -5*s + 3805. Suppose 8*r = 8057 + 3959. Let b = r - s. Is b a composite number?
False
Let d be 21/(-6)*-2 + 1. Let x(y) be the first derivative of 3*y**4/4 + 2*y**3 - 5*y**2/2 + 13*y + 235. Is x(d) prime?
False
Suppose -32*w + 36*w = 140. Suppose -10*o + w = -15. Suppose 5*z + 13006 - 2781 = o*q, 4*q + 4*z = 8180. Is q composite?
True
Suppose 0 = k - f - 51607, 0 = -k + f - 3*f + 51610. Suppose 12*m - 14788 = k. Is m composite?
True
Suppose 98*d + 305 = 99*d. Suppose -5*s = -v - d - 11512, -3*s = 3*v - 7083. Is s a composite number?
True
Let w = -354 - -356. Let l(v) = -v**2 + 24*v**3 - 2*v + 0*v**2 - 7*v**3 + 3 - v**2. Is l(w) prime?
True
Suppose -9*x = -49915 - 115856. Is x a composite number?
True
Let z be (-15)/(-45) - -29*2/6. Suppose -z*c - c = -30349. Is c a composite number?
True
Suppose 0 = -4*c - 0*c - 7084. Suppose -5*y + 14420 = -4*u, 4*y + 14430 = 9*y - 2*u. Let w = c + y. Is w prime?
True
Let u(c) be the first derivative of 2237*c**2 - 265*c + 29. Is u(6) prime?
False
Let q be ((-4)/(-12))/((-1)/3) + -65. Let i = q - -73. Suppose 0*d - i*d + 7511 = 0. Is d prime?
False
Let i(j) = -28*j + 29. Let m(n) = 88*n - 87. Let v(c) = 11*i(c) + 4*m(c). Let r(q) = -q**3 + q**2 - q - 2. Let k be r(-2). Is v(k) a composite number?
False
Let u = 325 + -336. Let n(w) = -22*w - 11. Let d(c) = 67*c + 32. Let j(h) = -3*d(h) - 8*n(h). Is j(u) a composite number?
True
Is 1722816/108 + (-10)/6*(-3)/(-1) composite?
True
Let p(f) = -60898*f + 197. Is p(-5) composite?
False
Let p(m) = m**2 - 3*m + 7. Suppose 0 = 4*r + 7*u - 2*u + 15, -3*r - 4*u - 12 = 0. Let d be p(r). Is (-2 - 261)/(d/(-2) + 3) a composite number?
True
Let c(d) = 71*d**3 + 100*d**2 + 16*d - 26. Is c(5) composite?
True
Let o(j) = -830*j + 47. Let y be o(-5). Suppose -8*u = -11*u + y. Is u a prime number?
True
Let h be 32/112 - (-263493)/(-21). Let s = h + 17880. Is s a composite number?
False
Is (4/(24/15153))/(18/612) a composite number?
True
Let i(w) = -483*w + 71. Let v(q) = -1450*q + 214. Let p(l) = -7*i(l) + 2*v(l). Is p(2) a composite number?
True
Let p(a) = a**3 + 7*a**2 + a + 7. Let m be p(-3). Suppose -37*g = -m*g + 4431. Is g prime?
False
Let t(a) = a**3 + 8*a**2 + 10*a - 8. Let p be t(-6). Suppose -7*g + 172799 = p*g. Is g a composite number?
True
Suppose -4*v - 13*p = -16*p - 17, 4*p = -4*v - 4. Suppose 3*n - n