-3*n. Is n a prime number?
False
Suppose 5*g - b = -78, g + 4*b + 3 = -0. Let t be (-1 - -5)*g/(-20). Suppose w - 5*p - 462 = 0, 3*w + 0*w - 1446 = t*p. Is w prime?
True
Let b(s) = 6*s**2 - 7*s - 37. Let l be b(-5). Let y = l + -15. Is y a prime number?
False
Suppose -5*c + 2715 = -440. Is c a composite number?
False
Suppose 3*g + 0*g = 87. Suppose 3*p = 2*p + g. Suppose 0 = -3*a + 4 + p. Is a prime?
True
Let k = -21 - -26. Suppose -448 - 147 = -k*i. Is i composite?
True
Let f(n) = 2*n**3 + 57*n**2 + 57*n - 13. Is f(-24) a prime number?
True
Let s = 7 - -9. Suppose -2*l + s = -4*r + 2*l, 0 = -r + 4*l + 8. Is -4 - 244/r*2 a composite number?
True
Is 541 + 7/(-42)*0 composite?
False
Suppose -2408 = -7*u + 3*u. Let m = u + -31. Is m a composite number?
False
Suppose 3*j - 8777 = -2*d + 461, -3*j - 4*d = -9230. Let l = 1825 - j. Let i = -866 - l. Is i composite?
True
Let f(o) be the second derivative of -23/2*o**3 + 0 - o - o**2. Is f(-1) prime?
True
Let u be 0*2/8 - 0. Suppose 0 = -u*w - 3*w - 3. Is w*(0 + -3 + -64) a prime number?
True
Suppose 5*i - 3*f - 2947 - 13902 = 0, -i + 4*f + 3363 = 0. Is i a prime number?
True
Let j be -1 + -2 - (-64)/(-4). Let g(m) = 2*m**2 + 26*m - 14. Let u be g(j). Suppose 537 + u = p. Is p a prime number?
True
Let x(u) be the first derivative of -u**3/3 - 5*u**2 - 12*u + 3. Let b be x(-8). Suppose -224 - 335 = -4*d + q, -562 = -b*d + 2*q. Is d prime?
True
Suppose -y + h + 226 + 422 = 0, -y - 5*h = -642. Is y composite?
False
Let r = 21 + -13. Suppose -c = 3*c - r. Suppose -5*h = -z - 172, 106 = 3*h - 0*z - c*z. Is h composite?
True
Suppose 5*p + 18975 = 10*p - 5*i, -6 = -3*i. Is p prime?
True
Suppose -3*w + 6 = -2*w. Suppose 3*l - w = -3*z, 2*z - 5*z + 13 = -4*l. Let t(i) = 41*i**2 + 7*i - 1. Is t(z) a prime number?
True
Suppose 13*m - 17*m + 1632 = 0. Suppose 2*p - m = -4*p. Suppose 5*j - p = -w + 167, -4*w = 0. Is j prime?
True
Suppose -635 = -21*v + 16*v. Is v a prime number?
True
Let s(t) = 2*t - 3. Let i(r) = -r**3 - 7*r**2 + 8*r + 4. Let f be i(-8). Let q be s(f). Suppose 77 = q*y - 28. Is y prime?
False
Let j be (-8 + 4)/(2/15). Let z be 2/8 + j/24. Is (3/3)/z*-149 prime?
True
Let a = -131 + 139. Suppose -a*v + 2862 = -3162. Is v a prime number?
False
Let q(u) = -22*u**2 - 6*u - 1. Let d be q(7). Let l = -478 - d. Suppose -l = -2*j + f, -2*j + 4*f + 572 = -86. Is j a prime number?
False
Let x be 12/(-28) - 49300/35. Let u = 3460 + x. Is u composite?
True
Suppose 0 = -3*r + 2*u + 864, -2*r + 4*u + 311 + 273 = 0. Let q = 425 - r. Suppose 0 = 7*m - 8*m + q. Is m a composite number?
False
Let k(x) = -8*x**2 + 26 - 28 + 0*x**3 - 11*x - x**3 - x**2. Suppose 3*i = -13 - 14. Is k(i) prime?
True
Let i(k) = 4*k + 3. Let y(s) = -7*s - 5. Let o(j) = 5*i(j) + 3*y(j). Let h(t) = 50*t + 5. Let a(g) = h(g) + o(g). Is a(4) composite?
True
Suppose 0 = 7*l - 2097 + 32. Is l a prime number?
False
Suppose 106 - 11 = 5*n. Suppose 3*u - 116 = i, 0 = 5*u - 3*i + 2*i - 192. Suppose -3*x + n = -u. Is x a composite number?
False
Suppose -38*x - 42440 = -46*x. Is x a composite number?
True
Let h be -1269*(16/12 + -2). Let z = 1815 - h. Suppose 0 = 2*k + k - z. Is k composite?
True
Let g(u) = -5*u**2 + 13 - u**3 + 9*u + 8*u - u**2 - 12. Suppose 2*i = -9 - 9. Is g(i) a composite number?
True
Let x(y) = -403*y + 12. Let f be x(-2). Let a = -261 + f. Is a a composite number?
False
Let w(c) = 3 - 72*c + 42*c + 4*c. Is w(-7) a prime number?
False
Let k = 3509 + -1408. Is k a composite number?
True
Let t(q) = 22*q**3 - 4*q**2 + 4*q - 2. Let r be t(2). Suppose -14*w + r = -12*w. Is w composite?
False
Let a be 67134/42 - (-6)/(-14). Let u = a + -199. Is u a composite number?
False
Let s(g) = -g**3 - 7*g**2 + 3*g + 879. Is s(0) a prime number?
False
Suppose 3*a - w = 12822 - 857, -a = -3*w - 3983. Is a a composite number?
False
Let g = -24 - -38. Let v(i) = 5*i + 16. Let d be v(g). Let r = d + -47. Is r composite?
True
Let n be 15/(-6) + 52/8. Suppose 2*m - 3918 = -n*m. Is m composite?
False
Let s(i) = -i**3 + 8*i**2 + 9*i + 6. Let n be s(9). Suppose n*v - 585 = 1317. Is v composite?
False
Let z(i) = i**3 + 2*i**2 + i + 4. Let w be z(0). Suppose 0 = -w*k - 105 + 2101. Is k composite?
False
Let d = 2766 + 13. Is d prime?
False
Suppose -3*v = -y + 24, -13 = -4*y + 2*y - v. Let q(z) = -37*z + 4. Let h(r) = -73*r + 8. Let o(n) = -4*h(n) + 7*q(n). Is o(y) prime?
True
Let y be 61/(-2) - (-12)/(-8). Is (-1811)/(-9) + (y/(-18) - 2) a prime number?
False
Let v(d) be the second derivative of d**5/10 + d**2/2 + 3*d. Is v(4) a composite number?
True
Suppose -4*j + 14520 - 5476 = 0. Suppose -n - j = -5*a - 3*n, 914 = 2*a + 4*n. Is a composite?
True
Let i(n) be the second derivative of 81*n**4/4 + 7*n**3/6 - 5*n**2/2 + n. Is i(3) prime?
True
Suppose 13*f - 12*f = -798. Let i = -344 - f. Is i a prime number?
False
Let f = 95 - 91. Suppose -2294 = -f*m - 330. Is m prime?
True
Is (-2)/14 - (231473/(-77) - -15) a composite number?
True
Let g(z) = z**2 - 7*z - 7. Let t be g(7). Let x(y) = -58*y - 9. Is x(t) prime?
True
Let o(d) = -18 + 20*d**2 + 7*d - 8*d + d**3 + 5*d. Let v be o(-18). Suppose -2*k = 4*r - 9*r - 389, -3*k - r = -v. Is k composite?
True
Is (2/(-30)*-12655*-3)/(-1) a prime number?
True
Let v = 65771 + -30100. Is v composite?
False
Let d(o) = 359*o + 860. Is d(37) composite?
False
Suppose -1968 = -29*n + 13*n. Is n a prime number?
False
Suppose z + 4*f + 4 = 4*z, 5*f = 5*z - 15. Let h(x) = 16*x + 13. Let i be h(z). Suppose 3*a - a = -2*r + 272, 0 = -r - 2*a + i. Is r prime?
True
Is (-451170)/(-24) + 4/16 + 0 a composite number?
True
Let t(v) = v**3 - 2*v - 1. Let l be t(2). Suppose -j - l*j = -2056. Suppose 8 = 4*n - 4, 2*y = -2*n + j. Is y a composite number?
True
Let v be 1*-3 - (-12 - -7). Suppose -2*i - 8 = -v. Let u(c) = -9*c**3 - 3*c**2 + c - 2. Is u(i) a prime number?
True
Let u = -1819 - -5238. Is u a prime number?
False
Let a = -25 - -29. Suppose -n + 4*w = n - 1582, -a*w + 16 = 0. Is n a prime number?
False
Suppose s = 3*l - 3*s - 10, 2*l + 2*s = -12. Is (-109476)/(-54) - l/(-6) composite?
False
Suppose -12*y = -19464 - 3132. Is y composite?
True
Suppose 3*k + 0*x + 216 = 3*x, k + 62 = -4*x. Let p = k - -103. Is p a prime number?
False
Let d(r) be the third derivative of r**7/630 + r**6/120 - r**5/40 - r**4/4 + 5*r**2. Let g(t) be the second derivative of d(t). Is g(-5) a prime number?
True
Let r be ((-4 + 4)/(-2))/2. Suppose -2049 = -3*d - 4*u, r*d - 2*u - 1352 = -2*d. Is d a prime number?
False
Let t be ((-2)/(-3))/(9/54). Suppose 2*o + 0*h + t*h = 120, -4*o + 261 = h. Suppose z = -2*z + o. Is z prime?
False
Let k be 4/20 - (-11776)/20. Is 4/(-12)*-6 + k a composite number?
True
Let v = -43 - 81. Suppose 933 = g + 2*g. Let s = g + v. Is s composite?
True
Suppose 5*n - 32202 = -4*w - 5664, 2*n = -2*w + 13270. Is w a prime number?
True
Let i(x) = 130*x**2 - x. Let p(d) = d**2 - 11*d + 1. Let v be p(11). Let n be (-2)/(4*v/2). Is i(n) a prime number?
True
Suppose -y + 152 = -2*v - 3*v, 5*y = -3*v + 788. Is y prime?
True
Let v(b) = -20*b**3 + 2*b - 1. Suppose -7 + 1 = 3*m. Let p be v(m). Suppose -5*l = -2*c + c - 775, 4*c - p = -l. Is l a composite number?
True
Let b(h) = 54*h + 19. Let g(o) = 2*o**2 - 4*o + 1. Let i be g(3). Is b(i) a composite number?
False
Let k(i) = 19*i**3 + 8*i**2 - 5 + 2*i - 31*i**3 + 13*i**3. Suppose 4*f = -5*t - 19 - 11, -t + 4*f = 6. Is k(t) prime?
False
Let y be (-86)/(-6) - 8/(-12). Let m = y - -84. Let k = 238 - m. Is k a prime number?
True
Let s be (-5032)/14 - 21/(-49). Is (-2 - (2 - 3))*(s + 0) a prime number?
True
Let d = 9 + -8. Is (-382*(-3)/(-12))/(d/(-2)) prime?
True
Let c(y) = -140*y + 3. Let s be -16 + 7 + (0 - -2). Is c(s) a composite number?
False
Let r(j) = -2*j**3 - 11*j**2 - 2*j + 15. Let g be r(-5). Let m(s) = 5*s + 719. Is m(g) a composite number?
False
Let m be (-4)/6 + (-32)/(-12). Suppose -o - 1081 = -3*n, -2*o = 5*n - n - 1448. Suppose d - t + 3*t = n, -m*d + 2*t = -704. Is d composite?
True
Let o(w) = -3*w**3 + 13*w**2 + 10*w + 2. Let y be o(5). Let p = -10 - -6. Is 27 - (8 + p) - y a prime number?
False
Suppose 0 = -74*f + 4944408 + 6281614. Is f a prime number?
True
Let s = 158 - 260. Is ((-68)/s)/(4/17046) prime?
False
Suppose v = 4*i + 5, -4*v + v - 9 = 0. Is i/(-7) - 1830/(-14) a c