 - 3*a + 139. Is z composite?
True
Let m = -8 + 13. Suppose 4*a - 18 + m = -p, 3*a = -2*p + 16. Suppose 2*g = -2*v + 518, -v + 1036 = 4*g + a*v. Is g a prime number?
False
Let j(k) = 446*k**2 - 61*k + 1546. Is j(23) composite?
False
Let b(q) = 93*q**2 + 801*q + 41. Is b(-36) a composite number?
False
Let k(t) = -3*t**3 + 13*t**2 + 10*t + 20. Let n be k(-9). Let w = n + 419. Is w a prime number?
False
Let a be -2*(4 + (-26)/4). Let t be -1*(-5)/(a/541). Suppose -2*g + 965 = -t. Is g a prime number?
False
Let t(y) = -y**3 - 20*y**2 - 193*y - 199. Is t(-50) a composite number?
True
Suppose 21 = 3*j - 3*x, -2*x + 11 + 11 = 4*j. Let d(c) = c**2 - 16*c - 15. Let v be d(-16). Suppose -j*u + 3025 = -v. Is u prime?
True
Suppose 4*n - 13 = -5. Suppose -3*l - 4*f = l - 37092, 3*f - 18548 = -n*l. Is l a prime number?
False
Suppose -4084 = -2*s - 2*f, -4*f + 3*f + 6124 = 3*s. Let t = 3082 - s. Is t a composite number?
True
Suppose 236963 = 128*l - 125*l + 31157. Is l prime?
False
Let i = -193 + 234. Suppose -39*k = -i*k + 2674. Is k composite?
True
Let w = 531670 - 213183. Is w composite?
True
Let j = -50205 + 9456. Let g = 77660 + j. Is g prime?
False
Suppose -p + 12 = 4*s + 6, -p = 3*s - 7. Suppose 2*a - 278 = -4*h, -3*a = -6*h + p*h - 279. Is h a prime number?
False
Let m(z) = 4482*z**3 - 3*z - 2. Let g be m(2). Suppose -6*b + 14*b = g. Is b composite?
False
Let d be (3/(-1) + 4)*25524. Suppose -d + 37 = -7*c. Is c prime?
False
Let f be 14 + -10 - (-1)/((-3)/9). Let b be -2 - f*(-5 - 0). Is (-6951)/14*((-13)/b + 1) a composite number?
True
Let g(d) = 10*d**3 + 34*d**2 + 60*d - 23. Is g(18) composite?
False
Suppose 0 = -2*o + 6*o + 24. Let w be 1/(2 + o/4). Suppose 4*l - 5*s = 1936, -w*l + s - 2*s = -954. Is l a prime number?
True
Let x(j) = 2*j**2 + 8*j - 30. Let h be x(10). Let m = 1184 - h. Is m composite?
True
Let k(j) = j**3 + 1. Let c(q) = 2*q**3 - 27*q**2 - 42*q + 24. Let r(n) = -c(n) + 3*k(n). Let p(h) = h**2 + 28*h + 50. Let s be p(-25). Is r(s) prime?
True
Let q(l) = -9*l**3 + 41*l**2 + 21*l + 52. Let c be q(17). Let y = c - -68146. Is y a composite number?
False
Let v be (-4 + 2)*5/((-90)/27). Let h(c) = 194*c**3 + 5*c**2 + 2*c - 28. Is h(v) composite?
False
Suppose 146 = -5*s - 6*m + 10*m, s - 2*m + 28 = 0. Is 313 + 0 - (s - -36) a composite number?
False
Suppose 9*b + 17 = -1. Let r be ((-12)/30)/(b/10). Suppose r*v - 62 = -0. Is v composite?
False
Suppose -4*g - 3*i = 97, 2*i + 47 = -3*g - 27. Let m = g - -31. Suppose -y + 637 = m*n, 0 = 5*n - 9*n + 4*y + 828. Is n a composite number?
False
Suppose -2*s + 689 = s + 5*o, 0 = s - 3*o - 211. Let z = 188 + s. Suppose 936 = 3*y - z. Is y prime?
True
Let q = 45 - 40. Let f(v) = 147*v + 2. Let j be f(q). Suppose -5*u + 9822 = j. Is u composite?
True
Suppose -55*l - 63*l + 128*l - 624590 = 0. Is l composite?
False
Suppose 0 = -6598*t + 6497*t + 74248433. Is t a composite number?
True
Suppose -7*l + d + 2601585 + 6233491 = 0, 0 = -3*d - 15. Is l composite?
True
Suppose -4*j + 5*d = -16, -4 = -j - 0*d + 3*d. Suppose -j*a - 4069 = -4*p - 7*a, 2031 = 2*p + 5*a. Is p a composite number?
True
Let s = 2118 - 184. Is s composite?
True
Let d(q) = 1422*q**2 - 18*q + 5. Is d(-7) prime?
True
Suppose 260*o = 3652691 - 1112018 + 103224467. Is o prime?
True
Let w be 1/2*-4 - -1175. Let r = -424 + w. Is r a prime number?
False
Let c(l) = 6*l**2 - 24*l - 51. Let m(p) = -13*p**2 + 47*p + 103. Let d(x) = 9*c(x) + 4*m(x). Suppose 5 = -g + 4*j, 0*g - 3*j = 5*g + 117. Is d(g) composite?
False
Let z be (34 - 55)*(12428/3)/(-1). Suppose u = 4*y - 69607, -4*u = -5*y - 7*u + z. Is y a composite number?
False
Suppose 4*d - 6986 = -5*m, m + m + 4*d - 2804 = 0. Suppose 5*i - 20 = 0, m = o + 2*o - 4*i. Is 2 - (3 - (-3 + o + 3)) composite?
True
Let l(p) = p**3 + 7*p**2 + 61*p - 25. Is l(26) composite?
False
Let n be (-24)/(-3) + -4 + (-2)/(-2). Suppose -n*q + 2*x = 5*x - 4, -14 = 2*q - 4*x. Is (-3 - -2822)/(q + (2 - 0)) a composite number?
False
Let x = 248400 + -140543. Is x composite?
False
Let d = -911 + 434. Let g = d - -2378. Is g a composite number?
False
Suppose 18*t - 2400 = 30*t. Let o = 4033 + t. Is o a composite number?
False
Let y = 128 - 126. Is 415 + 8 + (y - 5) + -1 prime?
True
Suppose 3585*p + 26965218 = 3627*p. Is p prime?
False
Let a be (-4)/14 + (-2272)/(-14). Let w be (-2 - 117/13) + 94. Let n = a - w. Is n prime?
True
Let a = -202 - -206. Suppose 16524 + 11200 = a*g. Is g a composite number?
True
Let g be ((-349)/3)/(3*(-8)/(-1368)). Let w = 10088 + g. Is w a prime number?
True
Let r(t) = -671*t - 126. Suppose -91*z - 15 = -88*z. Is r(z) composite?
False
Let i(o) be the first derivative of -32 - 9/2*o**2 + 4/3*o**3 - 6*o. Is i(5) composite?
True
Let t(b) = 2*b**3 - 104*b**2 + 108*b + 301. Is t(69) composite?
False
Let w be 738/27*(-3996)/(-8). Is w/11 + 3*(-16)/264 a composite number?
True
Suppose -139*u - 9971914 + 33625127 = 0. Is u a prime number?
True
Let h(y) = -7710*y - 90. Let f be h(-8). Let q = f + -27901. Is q prime?
False
Let m be ((-1170)/135)/((-1)/276). Let t = m + 1439. Is t a prime number?
False
Let z = 2582949 - 1641046. Is z prime?
True
Suppose -7*w = -4*w - 6. Suppose 2*y - 3*k - w = 0, -y + 4*k + 8 = -k. Is (5408 - y)/(10 + -8) prime?
False
Let k be ((-12)/(-10))/(((-585)/433050)/(-39)). Suppose -4*t + 8325 = -3*u + k, -4*u + 35093 = -5*t. Is u a prime number?
False
Suppose -10 = -5*q + 140. Suppose q = -3*u + 6*u. Suppose -4*g + 3792 = 4*m, -u + 30 = -4*g. Is m a prime number?
True
Let x be (-3392)/(-6)*(2072/16 - 5). Suppose 0*j - x = -4*s - 2*j, -3*j = 6. Is s a prime number?
True
Let g = -52 - -77. Suppose 0 = 2*u - 10, 4*o + u = -0*u + g. Suppose b - o*b + 316 = 0. Is b a prime number?
True
Suppose 3*p - 11976 = -3*y, -1 + 5 = -p. Let k = y - 2519. Is k a composite number?
True
Let n = 435160 - 189827. Is n composite?
True
Suppose 19*b - 14*b + 35 = 0. Let c be (-2 - b)/((-4)/(-20)). Let n = 48 - c. Is n prime?
True
Let x be -18*(-1)/3 - 2. Suppose -8*a + 6*a = -2*m - 24076, x*m = -4. Is a a composite number?
False
Suppose 0 = 11*b - 59 + 4. Suppose 9*f - 4*f + b*y = 71345, 8 = 4*y. Is f prime?
False
Suppose -4*r + 6*r + 3*o + 1 = 0, r + o - 1 = 0. Suppose -15*x + 12*x = -r*j + 5831, -2*x = 3*j - 4352. Is j prime?
False
Let x = -253 + 1791. Suppose 4*u - u + 1538 = s, 0 = s - 2*u - x. Is s a prime number?
False
Suppose 108*f + 128*f = 53*f + 25158291. Is f a composite number?
False
Let l(b) = -b**3 - 4*b + 2516. Let p be l(0). Is (-4 - -2) + -1 + p a prime number?
False
Let f(m) = -m + 3. Let k be f(-5). Suppose 36 - k = 7*x. Let c(r) = 27*r**2 - 9*r + 13. Is c(x) a prime number?
True
Suppose -2*k - 6 = 3*p, 0*k - 7 = 3*k + 4*p. Suppose -4*s = -k*v + 946, -3*v - 3*s = -786 - 195. Suppose -y + v = -147. Is y a prime number?
False
Let x = 6219 + 40300. Suppose -x = -z - 10*z. Is z composite?
False
Let c(z) = -z**2 - 2. Let u(l) = -4*l**3 + 13*l**2 + 3*l + 8. Let o(a) = 6*c(a) + u(a). Is o(-6) a composite number?
True
Let p(x) be the second derivative of 30*x**3 + 37*x**2/2 + 2*x. Suppose -5*u - 77 = -122. Is p(u) a composite number?
False
Suppose 0*h + 5*h - 3*w - 13 = 0, -2*w - 2 = 0. Let u(x) = 10*x**3 - 15*x**3 - 27*x**3 - x**2 + 4 - h*x. Is u(-3) a composite number?
True
Let z(v) = -2*v**3 - 13*v**2 - 34. Let s(b) = -3*b**3 - 10*b**2 - b - 35. Let n(k) = 3*s(k) - 4*z(k). Is n(21) a composite number?
False
Let x be 2004489/81 + 11 + 2/9. Suppose 0 = 2*r - 6*r + 4, 0 = -3*a - 5*r + x. Is a composite?
True
Let n(b) = 3504*b**2 - 4*b - 67. Is n(6) a composite number?
True
Let w(i) = -25*i**3 - 38*i**2 - 81*i + 15. Let a(k) = 6*k**3 + 9*k**2 + 20*k - 4. Let b(z) = -9*a(z) - 2*w(z). Is b(-7) a composite number?
False
Let u = 42783 - 24616. Is u a prime number?
False
Let p(v) = 188*v**3 + 13*v - 7. Let y be p(4). Suppose -l + m + 2417 = 0, -3*l = 2*l - 3*m - y. Is l a prime number?
False
Let l(j) = j**3 - 17*j**2 - 38*j + 33. Let c be (76/(-2))/(3 + 1 + -6). Is l(c) a composite number?
True
Let a = 7 + -2. Suppose -9 = 2*w + w, 4*d - 5 = -a*w. Suppose -d*s - z = -2915, 4*s - 2288 - 44 = -4*z. Is s prime?
False
Suppose 5*v - 679 - 41 = 0. Let o = v - 41. Is o prime?
True
Let g(s) = -s**3 - s**2 + s. Let u(j) = 3*j**3 + 6*j**2 - 14*j - 74. Let m(k) = -g(k) - u(k). Is m(-12) composite?
