(1 - -2 - -450) + g composite?
False
Suppose -3*v = -4*n + 24, 0*n - 2*v = -n + 11. Suppose -922 = n*q - 5119. Is q a prime number?
True
Let y(k) = 4*k**3 + 21*k**2 - 14*k + 31. Is y(20) a prime number?
True
Let v(q) = -q - 3. Let h(o) = -202*o - 33. Let l(a) = h(a) - v(a). Is l(-3) prime?
False
Let t(m) be the third derivative of 515*m**4/12 - 7*m**3/2 + 8*m**2 - 8. Is t(2) a composite number?
False
Suppose -20*y + 16*y = 3*q - 28, 4 = 5*q - 4*y. Suppose -q*d = -3201 + 509. Is d prime?
True
Let t(r) = -r**3 + 26*r**2 + 23*r + 97. Let a be t(27). Let p(u) = -93*u - 68. Is p(a) composite?
True
Let m be (-2249)/(-3) + (-133)/(-21) + -5. Suppose 0 = 89*d - 88*d - m. Is d a prime number?
True
Suppose -8*w - 11741 = 2939. Let s be -3308 - (0 - (2 + 0)). Let c = w - s. Is c composite?
False
Let t be (3 + 0 - 5) + 8. Suppose -3*g = -4*s + 4990, -3753 = -3*s + 3*g - t*g. Is s prime?
True
Let p = 221 - 216. Is 4302/2 + -2 + -5 + p a prime number?
False
Let m(n) = n**2 - 2*n - 50. Let c be m(8). Is (1 - 15/25)/(c/(-6995)) a composite number?
False
Is (-1 - -4)/((-303)/(-4365523)) prime?
True
Let d = -5 - -2. Let r(x) = -334*x + 2 - 106*x - 189*x - 347*x + 199*x. Is r(d) prime?
True
Let y(q) = 109*q**3 + 106*q**2 - 1261*q + 25. Is y(13) a prime number?
False
Let a(g) = g**2 - 5*g + 10. Let k be a(3). Suppose -5 = k*d + 5*f, d = 10*f - 11*f. Suppose -2039 = -3*w - d*l, -3*l = 8*w - 4*w - 2726. Is w a prime number?
True
Let k = 1429 - -6454. Suppose 5*l - 3*l - 3*p - k = 0, -5*l + 19713 = -2*p. Is l composite?
False
Let t be (27/18)/(3/6). Suppose -t*i + 65628 = 15*i. Is i composite?
True
Let t(k) = 22*k**2 + k - 7. Let d = -55 - -57. Suppose d*i = -3 + 19. Is t(i) composite?
False
Let b be 6 + 1345 + (-6)/(-2). Suppose 2*n = -4*o, 4*n + 3*o - 11 = 4. Suppose 0 = n*a - 4*a - b. Is a composite?
False
Let m(l) = 22954*l - 6983. Is m(99) a composite number?
False
Let m(u) be the third derivative of -u**6/120 + 19*u**5/60 + u**4/24 - 2*u**3/3 + 25*u**2. Let q = -10 + 27. Is m(q) a prime number?
False
Let a(q) = 50*q**2 - 10*q + 11. Let y be a(-10). Let i = -3060 + y. Suppose i = 3*b + 4*b. Is b a prime number?
True
Let l(w) = -3*w**3 + 5*w**2 + 11*w + 1. Let v be l(-2). Suppose -x = 5*d - v, -18 = 5*x + 3*d - 89. Suppose x*h = 3729 + 32918. Is h prime?
True
Let x be (-4)/(-14) + 306/(-42) + 7. Suppose x = 10*r - 16*r + 15882. Is r a composite number?
False
Let d be ((-30)/(-8))/(-9 + (-1160)/(-128)). Is (65716/6 + 0)/(40/d) a prime number?
False
Suppose 0 = 3*y - 9, 1233 = 3*p - 2*y - 45642. Is p composite?
True
Suppose 0 = -2*r + 2, -3*r = 4*l - 23 - 120. Is (37 - l)/(2/491) a composite number?
False
Let m = -48 - -67. Suppose m*d - 10*d - 27063 = 0. Is d prime?
False
Let r = 118893 - 31136. Is r a prime number?
False
Let g(s) = 2*s + 6. Let y be g(-5). Let v(m) = m + 2. Let a be v(y). Is 4/(-4) - 316/a composite?
False
Suppose 2*l + 12 = 0, -41*h - 55 = -46*h + 5*l. Suppose 0 = 3*a + 2*a + 12595. Is (0 - a)*h/5 + 2 composite?
False
Let i(g) = 858*g**2 + g + 3. Let c(r) = r**3 + 10*r**2 + 5*r - 34. Let f be c(-9). Is i(f) a prime number?
False
Let h be (-8)/(-18) - 22244/(-9). Suppose -30*v - h = -14322. Is v a composite number?
True
Let l(d) be the first derivative of -d**4/4 - 5*d**3/3 - 9*d**2/2 + 14*d + 3. Let c be l(-7). Suppose -5*j + 740 - c = 0. Is j a prime number?
True
Let c = 153 + -89. Suppose 6*k - c = -2*k. Is 406*(20/k + -2) prime?
False
Suppose -11391 = -3*g + 4*m, -2*g + 4*m - 2*m + 7592 = 0. Is g composite?
False
Let z = 17998 + -6537. Suppose 4*j + d = 42, 5*j - 4*d - 2 = 4*j. Suppose 6149 = j*f - z. Is f a prime number?
False
Let a(o) = -17 - 22*o - o**2 + 11*o**2 + o**2 + 21*o. Let b be a(-8). Suppose b = 5*r - 90. Is r a prime number?
True
Suppose -19*i = -2671 + 220. Let m = 760 - i. Is m prime?
True
Let w = 7481 + -1352. Let r = 6476 + w. Is r a composite number?
True
Suppose -16*u + 6*u = -2*u. Suppose r - t = -437 + 1756, u = -r - 3*t + 1311. Is r composite?
True
Suppose 2 = z + 4*x, 2*x - 2 = -z + x. Suppose -11*k = -23*k. Is z + 286 + k + 1 + -2 composite?
True
Suppose 0 = -4*o - 370 + 1758. Let i(q) = -q**3 + 12*q**2 + 2. Let f be i(12). Suppose 0 = f*w - 327 - o. Is w a prime number?
True
Is ((-54)/189*-418565)/(1*2) a prime number?
False
Let u(g) = -8*g**3 + 3 + 8*g + 3*g**3 + 4*g**3 - 2*g**2. Let k be u(-4). Suppose 0 = -k*w + 4*f - 3*f + 572, -w + 2*f = -189. Is w a prime number?
True
Suppose 10097976 = 83*i + 47*i + 3079666. Is i composite?
False
Is (-35359 + (-10 - -7))*(-22)/4 prime?
False
Let d(q) = 10*q**2 + 3*q + 91. Let t(l) = 13*l - 218. Let b be t(16). Is d(b) a prime number?
True
Is 23671 - ((-2)/(-19) - 300/(-38)) prime?
True
Let l(r) = -222*r**3 - r - 6. Let c(d) = -222*d**3 - d - 5. Let k(g) = -6*c(g) + 5*l(g). Suppose 5*t - 8 = u, -13 = t + 3*u - 5. Is k(t) a prime number?
True
Let w = -9315 - -18626. Is w a prime number?
True
Let d be (-51)/(-5) + -2 + 6/(-30). Suppose -5*l + 3*c + d = -3*l, 2*c = -l - 3. Is ((-3901)/(-2) - l) + (-6)/(-4) prime?
True
Let t = -342493 - -506876. Is t composite?
True
Suppose -4*n - 11 + 3 = 2*j, -2*j = 5*n + 10. Is (1*n)/((-19)/((-1707777)/(-18))) prime?
False
Let m(f) be the third derivative of f**6/30 + 11*f**5/60 - 3*f**4/8 + 23*f**3/6 + 14*f**2. Is m(10) composite?
True
Suppose -23823 = -12*x - 5523. Let c(d) = d**2 - 5*d - 4. Let t be c(6). Suppose 2*q = -3*o + x, 7 = -5*o + t*q + 2570. Is o prime?
False
Let f(j) = -447*j + 100. Let n = -70 - -57. Is f(n) composite?
True
Suppose 5*c = -3*m + 30, 3*m = 8*c - 3*c. Let s(q) = 18*q + 9. Let z(b) = -17*b - 9. Let g(r) = m*s(r) + 4*z(r). Is g(4) a prime number?
True
Is 4272024/(-4)*21/(-126) a composite number?
False
Let j be 12063 - (0 + 2 - 0). Let v = j - 8606. Is v a prime number?
False
Suppose -32 = 6*m - 74. Let q(f) = 142*f - 225. Is q(m) a composite number?
False
Suppose -3*f + 2*s = -4, 4*f + 9*s = 8*s + 20. Is 2*f/(-48) - 639512/(-48) a prime number?
False
Let l be (-2 - -2)/(-5)*2/8. Suppose 8*x - 7 - 25 = l. Suppose 0 = 3*j - 2*p - 6811, j - 2*p = -x*j + 11349. Is j composite?
False
Let f(s) = -s**3 + 2*s**2 + 3*s - 2. Let c = 51 + -49. Let g be f(c). Is ((-20)/g + 7)*(-1801)/(-2) a prime number?
True
Suppose 793042 + 362139 = 17*d + 84810. Is d prime?
False
Let a = 275500 - 188429. Is a composite?
False
Suppose -2*z + 4*j + 77628 + 303362 = 0, 952559 = 5*z + 4*j. Is z composite?
False
Let n(l) = -l**2 - 30*l - 18. Let b be n(-27). Let f = 65 - b. Is -1 - (-3 + (f - 2122)) prime?
False
Suppose 3*c + 0*c = 5811. Suppose 12*u = 35952 - 1824. Let s = u - c. Is s a composite number?
False
Let x(l) = 172*l**3 + 6*l**2 - 10*l + 11. Let b be x(3). Let h = b + -1230. Is h a composite number?
False
Suppose -31*p + 34*p + 834199 = 2*m, -2*p = 14. Is m a prime number?
True
Let m(y) = 2*y**3 - 106*y**2 + 584*y - 82. Is m(57) composite?
True
Let d(c) = -2*c + 1. Let s be d(-1). Suppose -4*y + s*g + 2855 = 0, g + 0*g = -2*y + 1425. Is y prime?
False
Suppose 2*h = -c + 989, -4*c - 4*h + 2440 = -1504. Is c*2 - (-42)/14 prime?
False
Let j(x) = 92*x**2 + 6*x + 3. Let o be 21 - 3*(-2 - -3). Suppose -3*h - o = -6*h - 3*v, -4*v = -3*h + 4. Is j(h) a composite number?
False
Let k(t) = -3*t + 17. Let r be k(4). Suppose -20274 = -3*x - x + r*b, b = -5*x + 25357. Is x a prime number?
False
Let l be -5 + 6 + -6 + (-4 - -1). Let i be l/(-20) + 24/15. Suppose 366 = i*x - 540. Is x a composite number?
True
Let t = 8352 + -4715. Is t prime?
True
Let l = 12 + 7. Suppose 4*s + 309 = -l. Let x = s + 197. Is x composite?
True
Is (-1)/((-20120)/(-20122) + -1) a prime number?
True
Let b = 142 + -112. Let q be ((-132)/b)/((-36)/15 + 2). Suppose 0 = -q*j + 13*j - 212. Is j prime?
False
Suppose 59 + 37 = 12*i. Is ((-4)/i)/((-10)/91220) a composite number?
False
Let z = -239054 - -343275. Is z a composite number?
True
Suppose c - 78*n + 82*n = 191459, 0 = 5*c - 3*n - 957433. Is c a composite number?
True
Suppose -5*m = -w + 794 - 63669, 3*m - 37725 = 5*w. Suppose -d = 4*c + 2*d - m, 9427 = 3*c - 2*d. Is c prime?
False
Let t(s) = s**3 - 21*s**2 + 6*s - 59. Suppose -694 = -30*u - 34. Is t(u) composite?
False
Let f(u) = -6616*u - 201. Is f(-8) a prime number?
True
Let y = 1 - -19. Suppose 0 = q - 5*q - 2*i + 6, -4*i - y = 0. Suppose q*j + 7015 = 5*p, -3*p - 