a composite number?
True
Suppose -o = o + 142. Suppose 2*k = -2*k + 744. Let x = k - o. Is x prime?
True
Let u(v) = 137*v**2 - 11*v - 55. Is u(12) composite?
False
Suppose 5*h - 20*v - 724748 = -17*v, -3*h + 434843 = 4*v. Is h composite?
True
Let m(k) = -802*k - 89. Is m(-19) a prime number?
True
Suppose 0 = -18*r + 13*r + 20. Suppose -4*c - 6*m + m + 3686 = 0, r*c - 2*m - 3672 = 0. Is c a composite number?
False
Let c be (-1 - 0)/((-6)/12). Suppose 5*d = d - 2*g + 750, 5*g = c*d - 405. Suppose -2*q + 246 = 4*k, 0*k - 4*q - d = -3*k. Is k composite?
True
Let n(q) = -42*q**3 + 4*q**2 + q - 40. Is n(-5) a composite number?
True
Let f = -13 + 14. Is f/2 - 9426/(-4) composite?
False
Let p(i) = -i**3 - 2*i + 73. Let q be p(0). Suppose 134 + 96 = 5*o. Let v = q + o. Is v prime?
False
Let h(m) be the second derivative of -m**2 + 0 + 1/6*m**3 + m + 35/3*m**4. Is h(1) prime?
True
Let k = -10 + 13. Suppose -160 = -p - k*p. Let z = p + 19. Is z a prime number?
True
Let y(x) = 87*x**2 + 11*x - 7. Let t(n) = -43*n**2 - 5*n + 3. Let w(u) = -5*t(u) - 2*y(u). Is w(-5) a composite number?
False
Let g be 1/((-35)/10 - -3). Is (-324)/g - (1 - -2) prime?
False
Let l(s) = 46*s**2 - 47*s + 50. Is l(11) prime?
True
Let y be 73/4 - (-5)/(-20). Suppose -4*l + 2*m = 44, 3*l + 5*m + y + 15 = 0. Is 28/1*l/(-44) prime?
True
Suppose 11*y = 5*y + 348. Let n = 735 - y. Is n prime?
True
Let q(b) = 185*b**3 + 4*b**2 + 13*b - 21. Is q(5) a composite number?
False
Suppose -27*l + 5*l + 111122 = 0. Is l a prime number?
True
Suppose a + 4*w = -598, 0*w + 4*w + 12 = 0. Let o = a - -1425. Is o a prime number?
True
Suppose -1 - 1 = -f. Let b(o) = 11*o - 68. Let k be b(11). Suppose k = 3*j + 5*x, -2*x - f = -x. Is j composite?
True
Let y = -7 - -9. Suppose 4*g = 5*i + 1232, g - y*g - 2*i + 295 = 0. Suppose -a - 126 = -g. Is a composite?
True
Is (-7 - 141/(-21)) + (-43623)/(-21) a prime number?
False
Suppose 7*d - 2892 = 1504. Suppose -4*x = 4*w - d, -4*x - 5*w + 149 = -3*x. Is x composite?
True
Let w(u) = -u**3 - u**2 + 24*u + 19. Let i be w(-6). Suppose 45 = 5*t - 10. Is 10275/i - (-2)/t prime?
False
Let o(r) = -2*r - 3. Suppose -z - 5 = -2. Let q be o(z). Suppose -2*m + 3*c = -16, -5*c + q*c = m - 22. Is m a composite number?
True
Let j = -1202 - -1817. Suppose -4*l + 5 = -23. Suppose 2*h + j = l*h. Is h prime?
False
Suppose m = -5*t + 2767, 11046 = -0*m + 4*m - 2*t. Suppose -4*n = -m - 210. Is n a prime number?
True
Let x = -54052 + 89007. Is x composite?
True
Suppose 0 = -2*g + 2*v + 85478, -2*g = -5*g - v + 128217. Is g a prime number?
False
Suppose -5*h + 120 = 5*m - 2*m, 2*h = m + 37. Let a be 7/h - (-2)/(-6). Suppose a = 7*u - 5*u - 1106. Is u a composite number?
True
Let w = 21968 - 11379. Is w prime?
True
Let p = 40 + -33. Let v(i) = 136*i + 3. Is v(p) prime?
False
Let h(q) = q**2 + 19*q + 38. Let y be h(-17). Suppose -2094 = -y*k + 1486. Is k prime?
False
Suppose 0 = 5*i - 12*i - 5*i. Suppose 5*r + 2*h - 12897 = i, 0*h - h - 7747 = -3*r. Is r composite?
True
Let g(s) = -23*s**2 - 3*s - 3. Let q be g(-2). Let u be q/(4/(1*-8)). Suppose 0 = 3*b - 5*b + u. Is b composite?
False
Let j = -53 + 56. Suppose -4*k = j*k - 10367. Is k prime?
True
Suppose 0 = -0*d + 2*d - 84. Suppose 0 = 5*c - j - 3*j - 33, 4*c = -2*j + d. Is (333/12)/(c/24) a composite number?
True
Let m be -76*(-1)/((-12)/(-9)). Let j = m + -2. Is j a composite number?
True
Let i = 16155 + -6956. Is i a composite number?
False
Suppose 14713 + 1202 = 5*y. Is y a prime number?
False
Suppose -4*b - 1388 = t + 3*t, 359 = -t + 3*b. Is 1 - (-3)/((-15)/t) prime?
True
Suppose 5*d + 70 + 20 = 0. Let z(v) = -v**3 - 18*v**2 - 10*v + 31. Is z(d) prime?
True
Let r be (-12)/12 + (-1 - 2) - 453. Let i = 1104 + r. Is i a prime number?
True
Suppose 10*l - 67 = 33. Let y = l + 3. Is y prime?
True
Let c be (-1)/(-2 + 27/12). Let w be c/10*(-5)/1. Is w*-1 + 328/8 a prime number?
False
Let v(g) = -1285*g + 9. Is v(-2) a prime number?
True
Let y(w) = 2*w**2 - 5*w + 1. Let l be y(3). Is 3 - -8*(l + -2 + 111) a composite number?
False
Let i be 26 + 2 + (-6 - -2). Let o = i + 8. Let n = 85 - o. Is n a composite number?
False
Suppose -d - 109 = -2*a - 922, -3232 = -4*d - 2*a. Is d a prime number?
True
Let n be 42/4*(-4)/(-2). Let d(c) = 111*c**2 + c - 9. Let y be d(3). Is ((-14)/n)/((-2)/y) a composite number?
False
Let x(u) = 2*u**2 + 3*u - 4. Let b be x(-3). Suppose 5*p + 2*n - 18 = 0, b + 1 = 5*p - n. Is -2*(-21)/p - -2 a composite number?
False
Suppose -4*s + 1376 + 192 = 0. Suppose 5*z + 59 = -o + 2005, -s = -z - 3*o. Is z composite?
False
Suppose -j + 12 = 3*j + 4*o, -5*o = 0. Suppose s + 2*s + 2*k = 2609, j*s = 3*k + 2589. Suppose s = -2*p + 5*p. Is p a composite number?
True
Let z(s) = 36*s**2 + 14*s + 12. Is z(7) a prime number?
False
Let c(s) = -101*s + 36*s + 13 - 7*s. Is c(-4) composite?
True
Let o be 1/(1*1/5). Suppose 0 = 4*j + 3*r - 32, -o = 3*j - 4*r - r. Suppose 0*w - w + 19 = -3*p, -4*w - j*p + 8 = 0. Is w composite?
False
Suppose -20*h = -19*h - 2. Is (-1507*4)/4*(-2)/h composite?
True
Suppose -620 = -m - 0*m. Suppose -3*u - 526 = -3*q + m, 0 = 2*q + 3*u - 749. Is q composite?
False
Suppose -5*b - r + 379 = 0, -179 = -3*b - 3*r + 58. Suppose 5*p + 5*g = g + b, -2*g = -5*p + 45. Is p a prime number?
True
Suppose 2*s - 6*y - 18 = -3*y, 5*s - y = 32. Is (2 + (-2037)/9)/((-2)/s) prime?
True
Let g(w) be the first derivative of w**5/60 + 79*w**3/6 - 3*w**2/2 + 5. Let i(a) be the second derivative of g(a). Is i(0) composite?
False
Suppose 4*y - 5 = -l + 7, 3*y + 9 = 0. Let p be (1*-1)/(4/1132). Let w = l - p. Is w a prime number?
True
Let z be 4*(3/(-3) - -2). Let c(g) = -19*g - 3 - z*g + 8. Is c(-4) a composite number?
False
Let h = 18 + -13. Suppose 3*g + 5*b - 1229 = 3415, 15 = -h*b. Is g composite?
False
Let b = 567 + -721. Let n(s) = -11*s**3 - s + 3. Let l be n(-3). Let a = b + l. Is a composite?
False
Suppose 2 = -3*q - 13. Let s(d) = 12*d - 2. Let c(r) = r + 1. Let a(b) = 4*c(b) - s(b). Is a(q) prime?
False
Let t(a) = 93*a**2 - 4*a + 1. Let r be t(4). Let f = r + -790. Is f a composite number?
False
Suppose r + 0*r + 17 = -4*l, 3*r - 3*l = 9. Let s be 0/(r/((-2)/(-2))). Suppose s = 3*z + 33 - 138. Is z a prime number?
False
Suppose -3*h - 315 = 4*h. Let i(y) = 28*y**2 + 3*y - 3. Let a be i(3). Is 60/h*a/(-4) a prime number?
False
Let y be 1/(3/9 + 0). Suppose 3*x - 17 = p, y*x - p - 1 = 4*x. Suppose 0 = 2*m - 10, x*t + 2*m + 2*m = 480. Is t a prime number?
False
Let b(a) = -66*a**2 + 13*a + 22. Let z(n) = 65*n**2 - 14*n - 22. Let u(l) = -3*b(l) - 2*z(l). Is u(-5) a prime number?
True
Suppose -59*f + 20*f = -23049. Is f a prime number?
False
Suppose -2469*x = -2478*x + 158139. Is x prime?
False
Let b = -14 + 14. Suppose -9*h = 3*m - 5*h + 64, b = -2*h - 8. Let g = m + 29. Is g prime?
True
Let p = 3167 - 732. Let z be -2 - 0 - (-2)/1. Suppose z = 5*s, s - 3*s = -5*v + p. Is v composite?
False
Suppose 62477 = 19*i - 50972. Is i a composite number?
True
Let s(r) = -2*r**3 + 2*r**2 + 2*r + 3. Let w = -8 + 10. Let d be ((-12)/(-6))/(w/(-5)). Is s(d) prime?
True
Let m be (-2 - -6)/(2 + -1). Suppose 4*i - 3*b - 1352 = 0, 4*b + 536 = -m*i + 1916. Let q = i + -207. Is q composite?
True
Suppose -67055 = -36*r + 32917. Is r a composite number?
False
Let b(j) be the second derivative of 2*j**4/3 - j**3/3 + j**2/2 - 6*j. Let f be b(1). Is f/2*26*1 prime?
False
Let s(p) = -67*p**3 + 2*p - 1. Let w be s(-2). Let i = w - 48. Suppose -2*x = -u - 4*u - 322, 3*x + u - i = 0. Is x a composite number?
True
Let z(s) = -2*s + 7 + 0*s**3 - 112*s**2 + 118*s**2 - s**3. Is z(4) composite?
False
Let k = 26452 - 15425. Is k composite?
False
Is (5 + -2)*(4 - 271048/(-24)) prime?
True
Let l(f) be the second derivative of 13*f**3/2 + 9*f**2/2 + 33*f. Is l(20) a prime number?
False
Is (8656/112)/(2/14) prime?
True
Let c = 39318 + -26189. Is c a prime number?
False
Let q = 17752 - 8661. Is q a prime number?
True
Suppose -2*o - k = -4*k - 91780, k = -4*o + 183546. Is o a composite number?
False
Suppose 2*x + 4839 - 34225 = 0. Is x composite?
True
Let x = 52561 + -23076. Is x a composite number?
True
Is (-15108)/(-10)*(-245)/(-98) a prime number?
False
Suppose -21*u - 4891 = -5*j - 17*u, -1960 = -2*j - 2*u. Is j composite?
True
Is (2/(-3))/(22/(-799953)