 composite number?
True
Let a(c) = 14*c**2 + 12*c - 37. Let m be a(18). Is 1/((-9425)/m + 2) a prime number?
False
Is 1547 + -10 - (-4)/(-2 + 3) prime?
False
Let g(j) = 2*j - 9. Let o be g(7). Suppose -q - 17 = o*v, 0 = 5*q - 2*q - v + 3. Is (q - 1)*3871/(-21) a composite number?
True
Let a(c) = -12*c**3 + 2*c**2 + 9*c + 10. Let v(g) = 36*g**3 - 6*g**2 - 26*g - 29. Let h(y) = 17*a(y) + 6*v(y). Is h(3) a prime number?
True
Suppose -11 = -a - 65. Let t = a - -280. Let k = t + 28. Is k a prime number?
False
Let o(q) = q**2 + q + 7. Let h be o(8). Suppose -843 + h = 4*l. Let w = 368 + l. Is w a composite number?
True
Let n be (5 + -2362)/(-2 + 1). Suppose 4*y + 698 = -4*h + 5402, -2*y = -3*h - n. Is y a prime number?
False
Let s = 4497 + 11836. Is s composite?
False
Let k be 8/(-12)*4338/(-4). Suppose 199 = -4*q + k. Is q prime?
True
Let z = 85206 - 50995. Is z prime?
True
Let y be (2/(-8))/((-3)/48). Suppose t - 463 = -r, y*r + 2*t - 1167 = 693. Is r a composite number?
False
Suppose -3*y + 152 = 581. Let i = 15 - y. Is i composite?
True
Suppose 34*l - 33*l - 5 = 0. Suppose 25 = l*x, -x - 4480 = -5*p + 2*x. Is p composite?
True
Let t(f) = 165*f**2 + 356*f - 39. Is t(16) a composite number?
True
Suppose 0*q + 557 = 4*q + 3*p, q - 131 = 2*p. Let g = 272 - q. Suppose -n - 8 = -g. Is n a composite number?
False
Let b = 9693 - 5200. Is b prime?
True
Suppose -670 = -29*t + 24*t. Let b = 383 - 652. Let a = t - b. Is a composite?
True
Suppose 0 = 27*t - 29*t + 3802. Is t prime?
True
Suppose -5*w + 6*w - 3 = 0. Suppose -3*h + w = -3*g, 0 = -3*h - g + 21 - 10. Suppose -5*o + 5*r - 52 = -297, -o = -h*r - 53. Is o a composite number?
False
Suppose 41*f - 40*f = 927. Suppose 4*d = -f + 3259. Is d a composite number?
True
Suppose 5*g = m + 2, 6*g + 6 = 2*g - 3*m. Suppose r + g = 6. Suppose 291 = r*k - 3*k. Is k a composite number?
False
Let f(w) = 0*w + 15*w**2 - 1 + 3*w + 15*w**2. Suppose 5*i = -c + 11, -i + 6*i = 15. Is f(c) prime?
True
Let t be (-127)/2*(142 - 2). Let p = -6 - 4. Is t/(-50) - 2/p a composite number?
True
Let b be -1*(-1 + 3 + -7). Suppose 5*k = -b*n - 45, -3*k + 4 = 5*n + 43. Let j(w) = -91*w + 11. Is j(n) composite?
False
Let j = 9 - 13. Let h be -1 + 14 + j + 7. Suppose -4*d + 2*o + 71 = 9, 2*d - h = -4*o. Is d a composite number?
True
Suppose -58 - 252 = -x. Let q = x + -212. Let w = q + -13. Is w a prime number?
False
Let u(r) = 178*r + 7. Is u(3) composite?
False
Suppose -4*q + 12 = -0*q. Suppose q*h = h + 978. Is h a composite number?
True
Let l = 289 + -82. Let q = -96 + l. Is q composite?
True
Let u(r) = -54*r**3 + 2*r**2 + 2*r + 1. Suppose -3*c = -5*m + 75, -4*c = c - 3*m + 109. Let y = c - -19. Is u(y) a prime number?
False
Suppose -5*r - 3*x = -7567, -18*x + 14*x = -4*r + 6028. Is r a composite number?
False
Suppose 19*t - 290 = 14*t. Suppose -654 = -4*f - t. Is f a prime number?
True
Let n(m) = -5*m**3 + 4*m**2 - 14*m - 22. Is n(-9) composite?
False
Suppose 0 = 13*t - 8032 - 8673. Is t a prime number?
False
Suppose 0*t + 240 = -5*t. Let k = 160 + -77. Let m = k + t. Is m a prime number?
False
Let p = -1513 + 6650. Is p a composite number?
True
Let m = -11 + 13. Suppose k + 954 = m*k + 5*u, -4*k = u - 3721. Suppose 0 = -4*h + q + 742, 5*h = -q + 3*q + k. Is h composite?
True
Suppose 4*k - 5*r + 5 = 9*k, -3*k = -2*r + 2. Let b be 6*(-3)/(-12)*284. Suppose -b = -2*l - k*l. Is l prime?
False
Suppose 3*f - 4871 - 2866 = 2*h, f = 4*h + 15449. Let a = h - -6514. Is a composite?
True
Let t(r) = 2*r**2 + 34*r. Let n be t(-17). Suppose n = -w + 1741 + 262. Is w a composite number?
False
Suppose 0 = -3*u - 2*u + 15. Suppose 74 = u*t - t. Is t composite?
False
Let n(m) = 774*m - 349*m - 18 + 1545*m + 5. Is n(4) composite?
False
Let u be 1*-2 + 7 + 342. Let k = -212 + u. Is 10683/k + 4/(-30) a composite number?
False
Suppose 2*h - 11 - 1 = 0. Let c(v) = 12*v - 4. Let j(s) = -11*s + 5. Let g(b) = -2*c(b) - 3*j(b). Is g(h) a prime number?
True
Let a(k) = -5*k + 9. Let l be a(2). Is (1/(-2) + 2860/(-8))*l a prime number?
False
Let r be ((-20)/(-4) + 0)*-1. Is 381/1*3/(-45)*r a prime number?
True
Suppose -3*g - 3*r + 453 = -4*g, g = r - 457. Let c = g + 2134. Suppose -5*m - 5*f = -c, 3*f + 1352 = 4*m + f. Is m a prime number?
True
Let c = 7158 - -2581. Is c composite?
False
Let a = -5 - 178. Let n = a + 64. Let g = 198 + n. Is g a prime number?
True
Let q(w) = w**2 + 10*w + 11. Let p be q(-9). Suppose -2*y = p*y + 4*g - 484, 347 = 3*y - g. Let f = y + -40. Is f a composite number?
True
Suppose -4 = -2*s, 8*m - 9*m + 6 = 2*s. Suppose -4*w - t + 3701 = -w, w = m*t + 1236. Is w prime?
False
Let d(n) = -n**3 + 19*n**2 - 18*n + 3. Let a = 47 - 29. Let g be d(a). Suppose 0 = -3*w, w + 456 = g*u + 75. Is u a prime number?
True
Suppose 3*x = 7*x + 52. Let z be -134 - 0*(-1)/(-5). Let i = x - z. Is i a prime number?
False
Let d(u) = -u**2 - 5*u - 1. Let c be d(-6). Let v(s) = -6*s + 9. Let a(j) = -j**2 + j. Let k(y) = -2*a(y) + v(y). Is k(c) a prime number?
True
Let z = -440 - -460. Let s(w) = -3*w**2 + 2. Let g be s(-2). Let n = g + z. Is n composite?
True
Suppose -30*d + 26*d + 121116 = 0. Is d a prime number?
False
Suppose 1054 - 16386 = -4*o. Is o a composite number?
False
Let w(f) = f + 5. Let y be w(-3). Suppose 0 = -y*t - 3*t + 2245. Is t composite?
False
Let v(c) = 39*c**2 - 4*c + 8. Let q be v(-4). Let t = q - 235. Is t a prime number?
False
Suppose 12 = -0*i + 4*i. Suppose i*l - 8 = -4*g + 15, -5*l + 2*g = -21. Suppose 4*w = m + m + 1234, -3*m - 1544 = -l*w. Is w composite?
False
Let u(v) = -v + 1. Let g(z) = 35*z - 1. Let s(d) = g(d) + 4*u(d). Suppose w - 15 + 11 = 0. Is s(w) a prime number?
True
Let r(i) = 4063*i - 353. Is r(2) a composite number?
True
Suppose -u = 2*u. Suppose 2*s - 4 = -u. Suppose s*n - 64 = -18. Is n prime?
True
Suppose 87378 = 23*p - 81051. Is p prime?
False
Let l = 18469 - 7500. Is l a composite number?
True
Let w be 0 + 1 - (-10 + 9). Is 7/(-21) + (w - (-1666)/3) prime?
True
Let a(f) = -f**2 + 5*f. Let p be a(4). Let s(b) = 6 + 1 + 23*b + p*b + 7. Is s(5) a prime number?
True
Let s(x) = 2*x**2 + 19*x - 8. Suppose -7*c + 2*c - 75 = 0. Is s(c) prime?
True
Let h(i) = -i**2 - 13*i - 9. Let s be h(-12). Suppose 5*p - 380 = -z, 2*p - s*z = -0*z + 169. Is p prime?
False
Let r(w) = w**3 + 7*w**2 + 6*w + 3. Let l be r(-6). Suppose -l*t + 31 + 50 = 0. Suppose -4*y + 25 = -t. Is y a composite number?
False
Let r(t) = t**3 - 5*t**2 + 2*t. Let v be r(5). Suppose -v*x = -8*x - 1270. Is x a composite number?
True
Suppose 25*s + 4388 = 29*s. Is s prime?
True
Suppose 0 = -8*m + 3*m + 3720. Let i = m - 527. Is i a prime number?
False
Let k(n) be the first derivative of 2*n**3 + 8*n**2 - 5*n - 4. Is k(-8) a prime number?
True
Let j = 129825 + 91756. Is j a prime number?
True
Let d(g) = -323*g**3 - 9*g**2 - 24*g + 5. Is d(-6) prime?
True
Let b be (222/1)/((-12)/8). Let d = b + 329. Let u = -87 + d. Is u a composite number?
True
Let i(z) = -19*z - 41. Is i(-40) prime?
True
Suppose -f = 2*y - 18, -3*y = 2*y. Let i = f + -27. Is i + 13 - (-66)/2 composite?
False
Suppose -3*w - 429*l = -430*l - 78426, 78432 = 3*w - 3*l. Is w a composite number?
False
Let f = 1215 + 4012. Is f prime?
True
Suppose 128926 = -32*w + 39*w. Is w a composite number?
True
Let m(i) = -5*i**3 - 11*i**2 - 10*i + 5. Let u(c) = 6*c**3 + 11*c**2 + 11*c - 5. Let w = -24 - -19. Let s(n) = w*m(n) - 4*u(n). Is s(-7) composite?
False
Let t(s) = 18*s**2 + 45*s - 1. Is t(-22) prime?
False
Let y be 1/((-3)/(-2)) - 8/(-6). Let d(l) = 121*l**3 - 2*l**2 + 3*l + 1. Is d(y) a prime number?
True
Suppose -11073 = -8*u + 15895. Is u a composite number?
False
Let u = -1656 - -878. Is (u + 1)*6/(-18) prime?
False
Suppose 7*m + 1538 - 11905 = 0. Is m composite?
False
Let r = 1024 - -3117. Is r composite?
True
Suppose -48 = -4*x - 32. Suppose -3*o = -5*o + x, 3*o + 10310 = 4*l. Is l a prime number?
True
Let o = -128 - -283. Suppose s - o - 64 = 0. Is s a composite number?
True
Let h = -3 - 2. Let z(a) = -3*a**2 + a - 1. Let k(l) = 5*l**2 - l + 3. Let f(c) = -4*k(c) - 7*z(c). Is f(h) composite?
True
Let w(u) = -16*u. Let o be w(-3). Let l(r) = r**2 - 2*r - 4. Let q be l(3). Is 0 + o + (-1)/q a prime number?
False
Let u = 2612 - 1647. Is u composite?
True
Suppose 3775 = c - 3*r + 4*r, 4*c -