7*n + 16 = 3*p + 3*n. Is v(p) a prime number?
False
Let f(c) = c**2 - 11*c + 12. Let d be f(10). Let i(k) = -5*k**d + 6 - 5*k**3 + 1 + 6*k**3 + 11*k. Is i(8) prime?
False
Suppose -2342 - 424 = -6*s. Suppose 3*h = -s + 1682. Is h a composite number?
True
Suppose 17*w + 5*w = 824164. Is w prime?
False
Is -7 + 19598 + 7 + 1*5 a composite number?
False
Let f = -41033 - -22348. Is f/(-20) + (-2)/8 composite?
True
Suppose -3*j - 3*k = -18, -2*k = 5*j - 4*k - 2. Let w(a) = -10*a**3 - a**2 + a. Let g be w(-3). Suppose j*d = g + 328. Is d a prime number?
True
Is (13761/45)/(3/15) prime?
False
Is (7370/10 + 8)/1 a composite number?
True
Let i(p) = 2*p**2 + 8*p + 7. Let x be i(9). Suppose -3*w - 2*f + x = 0, 3*w - 228 = -5*f + 1. Is w a prime number?
True
Is (305 + 2)/(-5 - (-6)/1) a composite number?
False
Let s = 21 - -3. Suppose 18*c - s*c + 3678 = 0. Is c a composite number?
False
Suppose 0*h - 5*h + 25505 = 0. Suppose 924 = 5*o - h. Is o prime?
False
Let o = -143 - -191. Let d be (-194)/6 - 2/3. Let w = o + d. Is w prime?
False
Suppose -7*q = -15458 - 17169. Is q prime?
False
Let g(q) = q**3 + 3*q - 33. Let y be g(0). Let a = y - -38. Suppose -280 = a*m - 1115. Is m prime?
True
Let r(w) = -w**3 + 66*w**2 - 72*w + 4. Is r(15) prime?
True
Let k be 1486*-1 - (-2 + 2 + 1). Let o = -580 - k. Is o a prime number?
True
Let g = -413 + 63. Let b = -216 - g. Suppose -r + 663 = -b. Is r composite?
False
Suppose 4*g - 3 = 5. Suppose 2255 = t + 2*w, -3*t - g*t = w - 11230. Is t a prime number?
False
Suppose 19*v = -1978 + 13644. Is v composite?
True
Suppose -105*w + 107*w - 30238 = 0. Is w a composite number?
True
Let b(s) = -s**3 + 23*s**2 - 14*s + 17. Let u be (-1 - 13/(-11)) + 2128/154. Is b(u) a composite number?
True
Suppose -5*m + 1 = 6. Let p be (9/3)/3 - m. Suppose -p*h - 485 = -7*h. Is h a prime number?
True
Let y = 2342 + 229. Is y a composite number?
True
Let j(t) = -375*t - 17. Let x be j(-10). Let o = 5786 - x. Is o prime?
True
Let r(o) = o**2 - 7*o - 6. Let c be r(8). Suppose 5*s + 20 = 5*k, -c*k + 1 + 7 = -s. Suppose p + 48 - 429 = s. Is p composite?
True
Let g = 271 + -404. Let d = g - -139. Is d composite?
True
Let x(k) = 2*k**3 - 2*k**2 - 5*k + 2. Let y be x(-6). Let b(i) = -4*i - 26. Let f be b(-7). Is y/(-6) + f/6 prime?
True
Suppose 3*v - 5*k = 2*v + 5059, -4*v + 20172 = -4*k. Is v composite?
False
Let n = -9955 - -16760. Is n a prime number?
False
Let q(d) = 2*d**3 - 67*d**2 - 65*d - 9. Is q(37) composite?
True
Let v be (-8)/(-16) + (-10)/(-4). Suppose s + 2*s - 3*n - 9 = 0, -v*s + 5*n = -11. Suppose -j + s*j = 53. Is j composite?
False
Let r(s) = -6*s**2 + 4*s - 12. Let g(v) = 7*v**2 - 4*v + 13. Let b(u) = -5*g(u) - 6*r(u). Suppose 13 + 27 = 5*i. Is b(i) composite?
True
Is (-72091)/(-21) + 18/189 a prime number?
True
Is 8394/(-4)*1*(-4)/6 prime?
True
Let x(t) = -32*t**3 - 48*t**2 - 16*t - 7. Is x(-21) composite?
True
Suppose 4*g + 6 = 6*g. Let m be 0 + (g - 0) + -1. Is (-73)/(m + (-22)/10) prime?
False
Is (-62397)/(-6) + 0 - 39/78 a composite number?
False
Suppose 58420 = k + 16967. Is k prime?
True
Let j(y) = 5*y**2 + 5*y**3 + 9 - 2*y**3 + 7*y**3 - 11*y**3 - 10*y. Is j(-8) a prime number?
False
Let u(s) = s**3 - s**2 + 1. Let j be u(1). Let m be ((2 - 4) + j)*-10. Suppose -i - m = -97. Is i a composite number?
True
Let w = 3 - 3. Is -1 + (w - 3) + 257 prime?
False
Suppose 10*k + 0*k + 480 = 0. Is 1166 - (k/(-18) + (-2)/(-6)) composite?
False
Suppose -5*p = -2*t - 3*p + 16, 0 = -t - 5*p - 22. Suppose -t*x + x = 180. Let v = x - -157. Is v composite?
False
Let k(f) = -248*f**2 - 3*f + 4. Let y(o) = 246*o**2 + 4*o - 5. Let r(q) = -6*k(q) - 5*y(q). Let a = -1 + 2. Is r(a) prime?
True
Suppose -r = 4, 10187 = w + 8*r - 6*r. Is w a composite number?
True
Let g(a) = 1891*a**2 + 17*a + 5. Is g(-4) composite?
True
Let t(x) = 12*x**2 - 5*x + 36. Is t(21) composite?
True
Let r(q) = 2*q**2 - 45*q - 4. Is r(-25) a composite number?
False
Suppose 85*s - 90*s + 146911 = -f, -29379 = -s + f. Is s a prime number?
True
Let k(t) = -7484*t + 1. Is k(-2) a prime number?
True
Let y(q) = 67*q + 10. Let f be y(3). Suppose 5*j = 6*j - f. Is j prime?
True
Is (-1871)/(-4) - 42/56 a composite number?
False
Suppose -n + 0 = -2*c + 2, -2*n + 5*c = 5. Let x be 9 - 0 - ((5 - 4) + -4). Suppose n = -j + x + 7. Is j a composite number?
False
Suppose -2*t - y + 7521 = -6867, -2*t + 14382 = 4*y. Is t a prime number?
False
Let q(z) = -6*z**3 + z**3 - z**2 + z**3 + 2*z + 1. Suppose -p - 5*o - 30 = 4*p, 0 = 2*p - 3*o - 8. Is q(p) a prime number?
False
Is 1/(4*7/24556) a prime number?
True
Let g be (-6)/5*(-7 + 12). Let i(s) = s**2 + 6*s. Let b be i(g). Suppose 7*d - 10*d + 555 = b. Is d a composite number?
True
Let n be 8 - 4*3/6. Suppose -6 - n = -2*w. Suppose 0 = -a + 5*m + w, -25 = -3*a - m + 9. Is a composite?
False
Suppose -148 + 58 = -y. Suppose 3*g = 237 + y. Is g a prime number?
True
Let n(z) = -z + 1. Let v(q) = q**2 + 10*q - 12. Let o(h) = 6*n(h) + v(h). Let w be o(-10). Let p = 97 - w. Is p a prime number?
True
Suppose -3*l + w + 4*w = -20, -25 = -4*l + 5*w. Suppose -4*m - 15 = -5*t - 0*m, 0 = -l*t + 2*m + 5. Is 3/((t + -1)/(-194)) composite?
True
Let o(h) = 16*h**3 + 3*h**2 - 5*h + 5. Let l be o(2). Let y = l + 297. Let m = y + -139. Is m a prime number?
True
Let q(v) = -6*v**3 - 6*v**3 + 0*v**3 + 0 + 1 + 4*v**2. Let s be q(-5). Suppose 3*f + i - 1635 = 0, -3*f - 4*i = -s - 34. Is f a composite number?
True
Suppose c - 3242 - 5327 = 2*b, 2*b - 34246 = -4*c. Is c a composite number?
False
Let u(k) be the first derivative of 57*k**4/2 - k**3/3 + k**2/2 - k + 2. Let y be (-1)/(-2 + (6 - 5)). Is u(y) composite?
False
Suppose 18*b = 12*b + 60. Suppose -2415 = 2*x - 7*x + 5*v, -b = -5*v. Is x a composite number?
True
Suppose 41974 = -12*q + 113050. Is q a composite number?
False
Suppose -4*b = -m - 7529, 2*b - 20*m = -23*m + 3761. Is b composite?
True
Let h be 4*1/(-2) + 2. Let q(i) = h - 3 + 10 - 26*i. Is q(-6) prime?
True
Let y(x) be the first derivative of 11*x**4/12 - x**3/2 + 5*x**2/2 - 8*x + 2. Let c(q) be the first derivative of y(q). Is c(9) a prime number?
False
Let r be 1 - (0/(-3) - 1). Suppose q - r*x - 464 = 0, 3*x = q + 2*x - 461. Is q a composite number?
True
Suppose -11*o + 8449 = -8*o + 2*r, -o + 2839 = -5*r. Is o a composite number?
False
Let r = 1184 + -255. Is r a prime number?
True
Let o(k) = -4 - 2*k**3 - 83*k - k**2 + 13*k**2 + 3*k**3 + 69*k. Is o(9) composite?
False
Let t be (0 + -26)/((-6)/39). Suppose 5*y = -4*u + t, 5*y - 45 = 4*y + 2*u. Let x = y + 106. Is x a composite number?
True
Suppose -h = -0 + 10. Let o(g) = -4*g**3 + 14*g**2 + 13*g + 15. Let f be o(h). Suppose 7*u - f = 2*u. Is u a composite number?
True
Let t = 14 - 8. Let x be 1211 + (-1*t - -4). Suppose -x = -7*p + 4*p. Is p a composite number?
True
Let w(o) = -65*o**3 + o**2 - 3*o + 4. Let t be 10/35 + 23/(-7). Is w(t) prime?
True
Let a = 53 - 48. Suppose 0 = a*d + 20, 6*d - 3*d - 109 = -v. Is v a prime number?
False
Let i = 18 + 54. Is (-56208)/i*(-3)/2 composite?
False
Is ((-21412)/(-6))/((-17)/(-3) - 5) prime?
False
Suppose 0 = 3*w - 3*c - 2523, w + 3*c - 2*c - 837 = 0. Is w a composite number?
False
Is (3/6)/(8 + (-117583)/14698) composite?
False
Suppose -5*h - 2085 = 495. Let p = h + 2027. Is p prime?
True
Let n be 8/(-2) - 7/(49/(-14)). Is 2/((-8)/(-52))*(n - -19) composite?
True
Let o(h) = 14*h - 35 - 10*h**2 + 18*h - 3*h**2 + h**3. Is o(15) a composite number?
True
Suppose -87*h - 4*y - 54897 = -90*h, -5*h = -y - 91478. Is h prime?
False
Let y = 88530 + -28043. Is y prime?
False
Suppose 3*w = -2*w + 1660. Let m = w - -387. Is m a prime number?
True
Suppose -5*s = 6*s - 22. Suppose -3*l + 3397 = -5*m, -2*l + 4541 = 2*l + 5*m. Suppose -l = -2*b - 3*b - s*p, 230 = b + 2*p. Is b a prime number?
False
Suppose -3*h = -1 - 2. Suppose 5*y + 3*f - h = 4, -9 = -y + f. Suppose -y*m = -1695 + 275. Is m a composite number?
True
Suppose 4*l - 9*l = 5*f - 4865, -3*l = -4*f - 2926. Suppose n - l = -4*h + 1461, -3*n + 7332 = 3*h. Is n prime?
True
Suppose 5*n + m - 40 = 2*n, 2*n - 30 = m. Suppose -6*v + 38 = n. Suppose l + 36 = 3*t + v*l, -3*l = -5*t + 68. Is t composite?
False
Let l be -1 + -3 - (1 - 856). Suppose -3*n + l = -y - 822, -3*n + 1667 = 2*y. Is n prime?
True
Let v(z) = 652*z*