 j(-7) a prime number?
False
Let f(u) = 35*u + 2. Let q be f(-9). Let y = 874 - q. Is y prime?
True
Let h(s) = 26791*s**2 + 34*s + 4. Is h(-3) prime?
False
Suppose -3*z = -c - 15492, 0 = z + 5*c - 5383 + 203. Is z composite?
True
Suppose -2*k = 4*i - 52, i + 3*i - 82 = -3*k. Suppose 34 = 31*g - k*g. Is g composite?
True
Let t = -342 - -143. Let c = 46 + t. Let l = -64 - c. Is l a prime number?
True
Suppose -7*m = -2*m + 5. Let d(p) = 1073*p**2. Is d(m) a prime number?
False
Is 1/3 + (-5326840)/(-258) composite?
True
Let v(p) = 85*p - 2. Let w be v(-2). Let o be w/8 - (-1)/2. Is 2670/14 - 6/o prime?
True
Let j be 16/(-32)*((1 - -20) + 1). Let n(i) = 8*i**2 + 11*i. Let g be n(-10). Let w = g - j. Is w a prime number?
True
Let t(f) = 6*f**3 + f**2 - 1. Let x = -14 + 15. Let v be t(x). Let l = v + 20. Is l a prime number?
False
Suppose 0 = -5*p + 15 + 5. Suppose 0 = p*b - 6718 + 2142. Suppose 5*q - b + 94 = n, 3*q - 613 = 4*n. Is q a composite number?
False
Is 364760/120 - (-1)/((-6)/(-8)) a composite number?
False
Suppose -3*f = -6*f - 5*m + 2, 0 = -2*f + 5*m + 18. Suppose 5*n = -3*z + 1631 + 237, n - 2519 = -f*z. Is z composite?
False
Let v = 464 - 47. Is (3 - (10 + -3)) + v prime?
False
Is ((-57632)/(-48))/(122/(-42) + 3) a composite number?
True
Suppose 0 = 4*z - 4*r - 58688, 4*z + 5*r + 5160 = 63839. Is z composite?
True
Let u(p) be the third derivative of -19*p**4/12 - 25*p**3/6 - 4*p**2. Is u(-12) composite?
False
Let n be 93/9 + 2/(-6). Let x be (0/2)/(9 - 11). Let m = n - x. Is m composite?
True
Let b be 7 + -2 + -1 + -1. Suppose 0 = u - 4, 0 = -b*o + 2*u + 1915. Is o composite?
False
Let x be (-2)/10 - 11/(-5). Suppose 0 = 5*m - x*p - 9121, -5*p = 3*m - 5*m + 3661. Is m a composite number?
False
Let k(u) = 214*u**2 - 46*u + 21. Is k(11) prime?
True
Let k(a) = 7 - 11*a - 32*a + 6. Let y(s) = 10*s + 20. Let o be y(-3). Is k(o) a prime number?
True
Let f(m) = m. Let g(u) = -5*u**2 + 4*u - 3. Suppose -8*h + 5*h = -12. Let t(s) = h*f(s) - g(s). Is t(4) a prime number?
True
Is (-72)/(-324) - 20/9 - -3739 prime?
False
Let t = 13 + -11. Suppose t*n = -10, -4*n + 624 = 7*q - 3*q. Is q composite?
True
Let r(h) = h**2 + 13*h - 1. Let m be r(-13). Let l = m + 1619. Is l a composite number?
True
Suppose 6 = -6*x + 8*x. Let t = x + 1. Suppose 2*w - 313 = a + 2*a, -2*w = t*a - 278. Is w prime?
True
Let y(q) = 2*q**2 - 4*q + 2. Let v be y(1). Suppose 16*f - 12*f - 1036 = v. Is f composite?
True
Let d(j) = 7*j**2 + j - 1. Let n be d(-1). Suppose -2*t = n*t - 4291. Is t prime?
True
Let u(p) = p - 1. Let y be u(4). Let q be 9 - (y + -3 - 0). Is (-2282)/(-18) + 2/q a composite number?
False
Let v = -31 - -18. Let w = 17 + v. Suppose 2*x + 5 = 3*x + n, x - w*n - 15 = 0. Is x composite?
False
Suppose -1474 = -5*n - 3*o, -5*o = 3 + 7. Let i = n - 165. Is i a prime number?
True
Let g = -3128 - -5307. Is g a composite number?
False
Is 1*(-3 + -3 + (-3 - -898)) prime?
False
Is 732770/110 + 6/(-11) composite?
False
Let n(k) = 103*k**2 - 36*k + 253. Is n(14) composite?
False
Let v(y) = -70*y - 10. Let x be v(14). Let n = 2523 - x. Is n a composite number?
True
Let p = 9723 + -4636. Is p a prime number?
True
Suppose -15113 = -9*h + 2*h. Is h a composite number?
True
Let x = 452 - -438. Let t = 1299 - x. Is t a prime number?
True
Let p(z) = 106*z - 11. Is p(24) a composite number?
True
Suppose -10970 = -t - 4*t - 4*p, -20 = -4*p. Suppose 5*k - t = 1295. Is k prime?
False
Let w(l) = 16*l**2 - 7*l - 7. Let j(r) = -3*r. Let a be j(-2). Is w(a) a composite number?
True
Let b(y) = -6*y + 101. Let c be b(17). Let s(l) = 6187*l - 207. Let d(u) = -119*u + 4. Let g(i) = -207*d(i) - 4*s(i). Is g(c) a composite number?
True
Suppose 2*c - 1 + 19 = 0. Let x be 39 + c/3 - -2. Suppose r - 194 = -3*h + x, 0 = -3*h + r + 230. Is h a composite number?
True
Suppose f - 4*w = -248, -f + 5*w - 188 = 64. Let d(p) = -p**3 + p**2 + 16*p + 19. Let s be d(-8). Let q = f + s. Is q composite?
True
Let w(x) = -26*x**3 + 39*x**2 - 7*x + 28. Let u(s) = 9*s**3 - 13*s**2 + 2*s - 9. Let z(j) = -17*u(j) - 6*w(j). Is z(10) a composite number?
True
Let v(n) = 6*n**2 + 29*n + 42. Is v(-49) a prime number?
False
Let u(z) = z**3 + 2*z - 1. Let g be u(1). Suppose 5*d - 3*d - 101 = -5*s, -g*d = -3*s - 109. Is d a composite number?
False
Let x = 2688 + -1439. Is x a composite number?
False
Let c(v) be the second derivative of v**5/10 - v**4/6 - v**3/3 - 13*v**2/2 + 2*v. Is c(5) a prime number?
False
Let b(f) = -f. Suppose 0 = m - 0*m - 4. Let u(y) = -27*y - 3. Let a(s) = m*b(s) + u(s). Is a(-2) a composite number?
False
Let y(z) = -40*z**3 - 4*z**2 - 6*z + 3. Let k be y(5). Is ((-3)/4 - k/(-12))/(-2) a composite number?
True
Let l(z) = 4592*z**2 + 4*z - 2. Let m be l(1). Suppose -2*x + 4*x + 3*s - m = 0, 3*s = -5*x + 11467. Is x composite?
True
Let f be -1*3*(-73)/(-3). Let k = 1518 - 1262. Let c = k - f. Is c a prime number?
False
Let h be 4/(-8)*-6 + (2 - 169). Let x = 723 - h. Is x a prime number?
True
Let c = 156108 - 67519. Is c prime?
True
Suppose 3*m = -5*v, 5*v - 3*m = 22 + 8. Suppose -2*i - v*y = -355, i - 86 - 96 = 3*y. Is i a composite number?
False
Let h(s) = s**3 + 12*s**2 - 8*s - 11. Suppose -3*y + 7*y - 8 = 4*b, -2*b = 4*y - 8. Suppose -3*l = -t + 40, y*l - 3*t - 36 = 6*l. Is h(l) composite?
True
Let z(x) = x**3 + 6*x**2 - 7*x + 3. Let p be z(-7). Suppose u + p*g - 542 - 264 = 0, -5*u = -3*g - 4120. Is u a prime number?
True
Is -8 - (3 - 484) - 6 a composite number?
False
Suppose 4*m - 26 = 70. Suppose -3*n + 4*o - 3 = 0, 2*n - 5*n - 5*o + m = 0. Let j(h) = -h**3 + 6*h**2 + 2*h + 4. Is j(n) a composite number?
False
Suppose -15046 = -4*c + u, 4*u + 18813 = 2*c + 3*c. Let v = c - 2412. Is v prime?
False
Let p be 4/((-16)/18)*-16. Suppose 4 = -2*v + p. Let i = 93 - v. Is i prime?
True
Let c = -23 + 27. Suppose 2*y = c*y - 358. Is y a prime number?
True
Suppose 5*a - 65*p - 110 = -60*p, 2*a = -p + 44. Is a composite?
True
Let s be -24*2/(-3)*1. Suppose -3*w - w = -s. Suppose -210 - 226 = -h - r, -w*h + 2*r + 1762 = 0. Is h prime?
True
Let p(d) = 11*d**3 - 22*d**2 + 66*d + 6. Is p(13) prime?
True
Let s = 2702 - 241. Let y = s + -1394. Is y a composite number?
True
Let x = 68 - -143. Is x prime?
True
Let t = 1546 + 1657. Is t composite?
False
Let s(r) = 60*r + 127. Is s(16) a prime number?
True
Suppose -22*d = -5*d - 227885. Let m = -8208 + d. Is m a composite number?
False
Suppose t = -5*h - 3*t + 22, -h = -4*t - 14. Is 572/h - (-2 + (-14)/(-6)) composite?
True
Let i be (16/(-20))/((-4)/20). Let q(d) = 318*d + 5. Is q(i) a composite number?
False
Let f = -5198 + 15277. Is f a composite number?
False
Let v = -1588 + 2927. Suppose -v = 5*d - 8414. Is d prime?
False
Let g be -2*(67 - -2)*3. Let z = 829 + g. Suppose h - 6*h + z = 0. Is h a composite number?
False
Suppose 3*d + 3 = 2*q, -q + 4*q - 8 = d. Suppose 0 = q*f - 9, -2*u = -4*f - 189 - 17. Is u prime?
True
Let a be 2*3/(-6) + -1. Let f be (a - -4)/((-14)/(-35)). Suppose 0 = -f*r + 269 + 146. Is r prime?
True
Let y = -55 + 104. Let q = 40 - 124. Let g = y - q. Is g a composite number?
True
Let f = 9 + -4. Suppose -3*j = f*k - 34, -3*j + k = 5*k - 29. Suppose 2*z + j*z = 935. Is z composite?
True
Let k(o) = -o**3 - 4*o**2 - o - 1. Let x be k(-4). Suppose -4*h - 20 = 0, b + 5*h + 20 = x*h. Let g(t) = t**3 + 10*t**2 - 3*t + 4. Is g(b) prime?
False
Suppose -3*h + 5 = h - 3*r, 5*r = 2*h + 1. Suppose h*p - 1922 - 4808 = 0. Is p prime?
False
Let f = -85 - -98. Is f a prime number?
True
Let s(l) = -l**2 + 15*l + 21. Let u be s(16). Suppose -22 = -f + u*j, 5*f = 2*j - 4*j - 25. Is (f - -5) + 221/1 a prime number?
True
Is 2/(4/(-4418)*-1) composite?
True
Is (-21 - 55638/24)*92/(-3) a prime number?
False
Let s = 86 + -81. Suppose s*f = -2*z + 6758, 2*z - 5*f - 937 - 5861 = 0. Is z prime?
True
Is 480/(-48) + 6683 + 0 composite?
False
Is (-5)/(-4*6/15528) composite?
True
Let u be -1*((-6 - -1) + 2). Suppose -4*k + 4*g + 7 = -5, u*k = -2*g + 14. Let x(b) = 14*b**2 + b - 5. Is x(k) a prime number?
True
Let n(k) = -2*k**3 + 107*k**2 - 17*k + 85. Is n(49) prime?
False
Let u be (-12)/(-9) + 6/9. Suppose 2*w + u*w + 92 = 0. Let y = 138 + w. Is y prime?
False
Let h(v) = -44*v - 7. Suppose -23 = 4*b + 3*p, -p + 35 = 4*b - 8*b. Let w be (-7)/7 + b/2. Is h(w) a c