 1 - 6*u**2 + t*u - 10*u - u**3. Is x(-7) prime?
False
Suppose 5*j = -2*d - 4921 + 41449, -3*d + 54817 = -5*j. Is d a prime number?
True
Let j(y) = 4*y**2 - 31*y + 6. Is j(17) a prime number?
False
Let x(s) = -s + 28. Let t(a) = 4*a - 84. Let p(m) = 2*t(m) + 7*x(m). Let g be p(0). Is g/3 + (-12)/(-18) a composite number?
True
Suppose -5*c = 3*m - 5860, 1003 = 5*m - 2*c - 8712. Is m composite?
True
Let a = 27 - 20. Suppose -a*v + 14*v = 2471. Is v a prime number?
True
Let d(a) = a**3 + 26*a**2 + 12*a - 120. Is d(-19) prime?
True
Let j(y) = -2*y**3 + 19*y**2 - 7*y - 7. Is j(-6) a prime number?
True
Let k(m) = -m**3 + m**2 - 1. Let g(n) = 3*n**3 - 7*n**2 - 3*n - 10. Let j(u) = g(u) + 4*k(u). Let a be j(-11). Suppose 0*l - a = -3*l. Is l a composite number?
True
Let x(n) = n + 12. Let g be x(-12). Suppose 3*s - 4*c - 14 - 2 = g, -2*s + 8 = -2*c. Suppose -4*b + 3*b + 3 = s. Is b prime?
True
Let o = 43 - 41. Suppose -6*c + o*c = -3532. Is c prime?
True
Suppose 3*g = 5*g + 8, -s + 766 = -3*g. Suppose 3*i - 4*u = s, 2*u + 1266 = -0*i + 5*i. Is i prime?
False
Let a(d) = -3947*d. Is a(-1) prime?
True
Suppose 0 = -28*j + 33*j - 34155. Suppose 10*n - j = 2719. Is n composite?
True
Let v = -6 - -4. Let g(x) = 98*x**2 + 1. Is g(v) a prime number?
False
Let t(r) = r - 15. Let f be t(13). Is (-1*10)/(f/347) a prime number?
False
Suppose -2*l = l + 114. Let u be l/(2 - 16/7). Suppose -451 = -3*t - u. Is t composite?
True
Suppose 3*g - 15 = 6*k - 2*k, 4*g = k + 20. Suppose 3*d = 114 + 54. Suppose k = -3*p - 15, 3*p - d = -3*n + p. Is n a composite number?
True
Is 180837/5 - (-112)/(-280) prime?
False
Suppose 7*t - 3*t + 60 = 0. Let k be (-246)/t + 4/(-10). Suppose 2*p - 320 = 2*h - 58, 4*h = -k. Is p a prime number?
True
Let j = 1631 + -864. Is j prime?
False
Suppose -2*u + 737 = 3*o, 4*u - 745 = -0*o - 3*o. Let n = -482 + o. Let s = n - -350. Is s a composite number?
True
Suppose -3*h - 18 = -6*h. Suppose -h*j + 5*j - 637 = -3*a, 4*a + j - 854 = 0. Is a prime?
False
Let v(t) = -734*t + 55. Is v(-29) composite?
False
Is (1/4)/(5/(55980/9)) a prime number?
True
Let t(n) = 11*n - 7 + 0*n**2 - 19*n + n**2. Let h be t(9). Suppose h*w + 2332 = 5*i + 3*w, 1398 = 3*i + w. Is i a prime number?
True
Suppose -o + 205 = 1146. Let a = o - -1599. Suppose x - 3*x = -a. Is x a prime number?
False
Is (-11)/(-2)*(-7 + 9)*43 a composite number?
True
Let k(h) = 88*h**3 + 3*h**2 + 17. Let p be k(6). Suppose 362 = 5*g - p. Is g a composite number?
True
Let a be (-17 - 3)*(-4)/8. Suppose a*r - 234 = r. Is r a composite number?
True
Let j = 20131 - -5660. Is j a composite number?
True
Let k(x) = 913*x**2 + 36*x + 58. Is k(9) a prime number?
False
Let p(o) = 1603*o + 35. Is p(24) a prime number?
False
Let q be -5 + -1*(-1 - -3). Let p be 2/q + (-34)/(-119). Suppose p + 35 = o. Is o composite?
True
Suppose -u + 939 - 86 = 0. Is u prime?
True
Is (-8530)/15*(57/(-6) + -1) prime?
False
Let w(g) = -3*g - 7. Let z be w(-5). Let i = z - 9. Is (-198 - (-2 - -3))*i composite?
False
Let r be (-4 - -8 - 4)/(-2). Suppose r = -4*f - 0*f + 1248. Let a = -155 + f. Is a composite?
False
Suppose -5*r + 4 = l - 5, 3*r - 9 = 3*l. Suppose 8487 = r*z + 7*z. Is z prime?
False
Let b(z) = 30*z**2 - 3 + 3*z + 3*z + 103*z**2. Is b(2) a prime number?
True
Let g = -5801 + 18148. Is g a prime number?
True
Let r(d) = -10*d**3 + 3*d - 2. Let g(x) = 21*x**3 - x**2 - 7*x + 5. Let f(b) = -3*g(b) - 7*r(b). Let k be f(-4). Is k/(-1) - (-8)/(-2) a prime number?
True
Let v(o) = 5*o**2 - 14*o - 13. Let g be v(-10). Let a be (-1)/(-2 + g/313). Let s = a + 444. Is s a prime number?
True
Suppose l - 81328 = -2*h - 21842, 4*l = h - 29725. Is h composite?
False
Suppose 3*l = -2*z + 91819, -z = 5*l - 26950 - 18956. Is z a prime number?
False
Suppose -4*s - 5*d + 45 = 0, -3*d + d = -10. Let a be (-239 + 4)*(-3)/s. Suppose -j + a = 2*j. Is j prime?
True
Suppose 2*b = 6*b + 12, 2*n - 3*b = -2037. Suppose -k + 397 = -6*y + 3*y, -5*y - 660 = -2*k. Let t = y - n. Is t composite?
True
Let d(c) = c + 121. Suppose 30 + 66 = -6*y. Let i = -16 - y. Is d(i) a prime number?
False
Let p(c) be the third derivative of 7*c**6/120 + c**5/20 + c**4/4 + c**3/2 + 4*c**2. Let v be p(-4). Let a = -242 - v. Is a composite?
False
Let v = 6 + -2. Suppose -923 = -v*f + 1113. Let j = f - 235. Is j prime?
False
Let a(o) = -484*o - 285. Is a(-32) composite?
True
Let c be 8/(-12) + (-1528)/(-6). Let v be (2/4)/((-2)/(-8)). Suppose 3*p = p - v*o + c, -5*p + o = -635. Is p a composite number?
False
Let s = -283 + 1790. Is s a composite number?
True
Suppose -5*b + 4*t = -1276, t + 7 = 3. Let m(l) = 103*l. Let d be m(1). Let u = b - d. Is u composite?
False
Let i be (0 - (-2)/3)/(13/(-3471)). Suppose -3*k = -k + 2. Is (0 + k)/(2/i) prime?
True
Let u(b) = -121*b + 2. Let o(x) = -120*x + 1. Let j(q) = 4*o(q) - 3*u(q). Is j(-1) prime?
False
Suppose 45636 = 9*i + 12003. Is i prime?
False
Is 2 + 2 + 1 + 2725 + -1 prime?
True
Suppose 7*h - 4 = 8*h, -3*l + h = -7435. Is l a prime number?
True
Let x be 10/35 + (-1224)/(-28). Is (263/(-3))/(x/12 + -4) a composite number?
False
Suppose 230*q - 246*q = -962256. Is q a prime number?
False
Let y = -17 - -20. Let v = 3 - y. Is v - -1 - 48/(-4) a prime number?
True
Suppose 4*l - m - 80304 = 0, 20093 = l + 4*m - 0*m. Is l prime?
False
Let d(n) = 74*n**2 - 3. Is d(-4) composite?
False
Let r(t) = -t**3 + t**2 - 18*t + 7. Is r(-11) composite?
False
Suppose -32 = -w + 5. Suppose -3*j + w = -2*j. Is j composite?
False
Suppose 109 = -2*g + 1895. Suppose 5*h + 3*s - 1953 = -484, -3*h + 4*s = -g. Is h prime?
False
Let o(m) = -m**3 + 2*m**2 - 3*m + 2237. Is o(0) prime?
True
Let x = -7 - -11. Let o be (x + 0 - 3) + 4. Is (-4 + o)*4 - -141 composite?
True
Let m be (-1)/(-3) - 10/(-6). Suppose 465 + 295 = w. Suppose -5*g + 3*y = -w, -g - y + 154 = -m*y. Is g prime?
True
Let p(q) = -q**2 - 8*q - 6. Let o be p(-7). Let a(y) = 185*y**2 - 2*y + 2. Is a(o) a composite number?
True
Suppose -60344 + 15996 = -4*a. Is a composite?
False
Suppose 4*a = m - 13947, -29*a = -m - 34*a + 13983. Is m composite?
False
Suppose -5*g = 5*n - 2*g - 31313, -n = -2*g - 6273. Suppose 2*v - n = -c - 4*c, -4*v = -2*c + 2506. Suppose 5*w - c = -2*w. Is w prime?
True
Suppose -k - 5*n = -4*n - 696, 0 = 3*k + 4*n - 2083. Is k composite?
False
Let n = -20417 - -30370. Is n a composite number?
True
Suppose -5*m - 20*b + 17*b + 7697 = 0, 2*m - 3090 = -4*b. Is m prime?
False
Suppose 29651 = -13*a + 115932. Is a a prime number?
True
Suppose 0 = 5*h - 5*m - 20, 0 = -3*m + m. Is (4/2 - (2391 + h))*-1 a prime number?
True
Suppose 7*i - 355 = 12*i. Let r = -36 - i. Let a = r + -4. Is a prime?
True
Let t(w) = 42*w**2 - 2*w - 3. Let g be t(-2). Suppose -9*j = 165 + 249. Let a = g + j. Is a prime?
False
Let c(h) = -h**2 - 2*h - 4. Let f be c(4). Let a be f/12 + (-2)/(-6). Is -446*(1/1)/a composite?
False
Let o(q) = q**2 + 8*q - 1. Let v be o(-13). Let s = -15 + v. Let k = s - -154. Is k a composite number?
True
Let x(q) = q**3 + 8*q**2 - 3*q - 1. Let j = 18 + -8. Let g be (-15)/j*(-16)/(-3). Is x(g) composite?
False
Let d = -13056 - -21635. Is d a prime number?
False
Suppose -2*n = -5*j + 933, 4*n + n = j - 205. Let p = 284 + j. Is p a composite number?
True
Let z = 61578 - 22265. Is z prime?
True
Let k = 80554 - 40460. Is k a composite number?
True
Let y be (40/(-1))/(2/(-2)). Let u = 731 - y. Is u a composite number?
False
Let r(x) = 79*x**2 - 9*x - 41. Is r(16) a prime number?
False
Suppose v - 3*i = 2*i - 9, 0 = -v + 2*i - 6. Let z be 30*v/(-8) + 0. Suppose -133 - z = -2*f. Is f a prime number?
False
Let k = -39 + 51. Is ((-85)/(-4))/(3/k + 0) a prime number?
False
Suppose 4*x + 3*v = 34, -4 = 2*v - 0. Suppose 6 = 4*p - x. Suppose 50 = q + p*z + 8, -179 = -4*q - 5*z. Is q a prime number?
False
Let j(h) = -63*h**3 - 9*h**2 - 6*h - 43. Is j(-7) prime?
False
Suppose 17 = 4*w + 3*c, 4*w + c + 5 = 16. Suppose h - 93 = w*s, 0 = -s - 3*s - 4*h - 180. Is 2 + -3 - s - -2 a prime number?
True
Suppose -y - 6*d + 20257 = -8*d, -3*d = -2*y + 40514. Is y a composite number?
True
Suppose 6*y = 25 - 13. Suppose 2*w - 4268 = -y*w. Is w prime?
False
Suppose 4*c - 153178 = -3*y, 0 = 3*c + y + 3*y - 114887. Is c prime?
False
Let o(r) = 533*r - 65. Is o(14) a prime number?
False
Let a(x) = -x -