z + 4, l = -2*z + 2*g + g. Is (0 - 464)/z - 1 composite?
True
Let v = -3913 + 10260. Is v prime?
False
Let s(o) = -2*o**3 - 9*o**2 + 3*o + 29. Is s(-9) prime?
False
Let z(b) = 2*b**3 + 2*b**2 - 4*b + 2. Let l be z(2). Let m(y) = 23*y + 3 + 30*y - l*y. Is m(5) prime?
False
Let i = -42763 + 66030. Is i prime?
False
Let c be (-2 - (0 + -2))/((-24)/(-24)). Suppose 0 = -4*k + 12, -2*i + c*i + 2750 = -4*k. Is i prime?
True
Let h be -10*((-20)/25)/2. Suppose h*c = 395 + 185. Is c composite?
True
Let u be 1/(2*(-2)/(-20)). Let k(w) = 27*w + 14. Is k(u) prime?
True
Let u = 0 + 3. Let h be -5*u*4/(-20). Suppose -793 + 40 = -h*f. Is f prime?
True
Let v(h) = -14 + h - 3*h**2 + 10*h**2 + 3*h + 5. Let r be v(6). Is r - (6 - 12/3) a composite number?
True
Let b be -3 + (-3112)/4 + 1. Let j = 1755 + b. Suppose -4*y + 293 + j = 0. Is y a composite number?
False
Let o(d) = d**3 - 51*d**2 + 61*d + 41. Is o(50) composite?
True
Let k = -17393 + 34252. Is k prime?
False
Suppose 6 = 5*f + 3*i, 3*f + i + 2*i = 6. Suppose 0 = -w + x, -2*w + 5*w - 4*x + 5 = f. Suppose -2*q - j - 100 = -425, w = -5*j. Is q a composite number?
False
Suppose 26*r + r - 86481 = 0. Is r composite?
False
Suppose 43838 = 5*z - 3*j, 5*j - 18598 = -4*z + 16465. Is z a prime number?
False
Is 12607 - ((-5)/((-25)/(-15)) + 3) composite?
True
Suppose -214*y = -205*y - 77949. Is y prime?
False
Let b be (-153)/(-17) - -1*2. Let o = b + -11. Suppose o*p = 3*p + z - 360, -5*z = -4*p + 499. Is p a prime number?
False
Suppose -6 = -2*z - 2. Suppose 2*s = 2*f + 5 - 1, 0 = -5*f - 5*s - 50. Is ((-345)/f)/5*z prime?
True
Let s be -3*2/(-9)*2199. Let x = s - 909. Is x a composite number?
False
Suppose -7*a + 31437 = -4*a + 3*n, 5*a + 4*n = 52393. Is a composite?
False
Is ((-2)/(-6)*-46803)/(-1) a composite number?
False
Let b(g) = g**3 + 5*g**2 - 5*g + 5. Let q be b(-5). Let x = -79 - -136. Suppose -f + x = 4*p - q, f - 79 = 4*p. Is f a composite number?
False
Suppose 2*s = 3*b + 707 - 0, 0 = 3*s - b - 1064. Is s a composite number?
True
Suppose 18*u - 5466 = 15*u. Suppose -u = -4*q + 630. Is q a prime number?
True
Let b(t) = -t**3 + 5*t**2 + 9*t - 5. Let m be b(6). Let z(g) = -55*g - 12. Let n(q) = -q + 1. Let v(a) = 6*n(a) - z(a). Is v(m) prime?
False
Let n = -60 + 82. Let o(i) = 4*i**2 + 15*i - 75. Is o(n) a composite number?
True
Let i be (101616/54)/8 + (-4)/18. Let d = i + 100. Is d a composite number?
True
Let u(a) = 42*a**3 + 6*a**2 + 19*a - 87. Is u(4) composite?
True
Let b = 7 - 0. Suppose 3*g = b*k - 5*k - 7438, -18561 = -5*k - g. Is k prime?
False
Suppose k - 44924 = 29*m - 26*m, -2*m + 89856 = 2*k. Is k prime?
True
Is 10/4*(-3334914)/(-495) a composite number?
False
Suppose 2*d - 5*d = -12. Suppose 0 = -2*t + d*t - 2404. Let y = 333 + t. Is y a prime number?
False
Let h(b) = 4*b**2 + 11*b + 9. Let p(n) = -n**2 - 7*n + 9. Let d be p(-9). Let v be h(d). Suppose 2*w = -4*t + v, 3*w + 74 = -t + 435. Is w a prime number?
False
Let k(l) = l - 9. Let s be k(0). Let u be 3 + s + 2 - -8. Suppose -f = -u*f + 1338. Is f composite?
True
Let d(r) = 3*r**2 - 4*r + 2. Let v be d(2). Suppose -m - v*m - 14 = 0. Let z(y) = 65*y**2 - 1. Is z(m) a composite number?
True
Let f = -87 + 87. Suppose 1600 = q + h - 2072, f = -5*q + 3*h + 18352. Is q composite?
False
Suppose 7*c - 5*c = 10. Suppose -4*p + 266 = -2*g, 5*g = -c*p - 0*g + 340. Is p a prime number?
True
Let l(n) = -n**2 - 2*n + 2. Let d be l(0). Suppose 2*j + 0*m - 1328 = 2*m, 3*m + 1325 = d*j. Is j composite?
True
Let o be 1/(1/(-3))*(-12 + 10). Is ((-1039)/(-2))/(3/o) prime?
True
Suppose -3*s = 4*n + 3, -4*s - 40 = -5*n + s. Suppose 4*k - k = -j + 4679, -4703 = -n*k + 5*j. Is k a composite number?
True
Suppose -2*g - 5202 = -t - 7*g, -5*t + 2*g = -26145. Is t composite?
False
Suppose 13*a = 57178 + 100. Is a composite?
True
Suppose -2*z = -6*z + 2368. Let f be 2727/(-8) + (-12)/96. Let n = f + z. Is n prime?
True
Suppose 21*g - 26*g = -2075. Let m = g - 68. Is m a prime number?
True
Let c = -3 + 10. Let v(n) = -2*n**2 + 3*n**2 - 10 - c*n - 4*n. Is v(-8) a composite number?
True
Let t(w) = -6*w + 119*w + 9 - 33. Is t(5) prime?
True
Let h be ((-24)/32)/((-1)/616). Let y = h - -7. Is y composite?
True
Let h(f) = -68*f**3 + 2*f**2 + f + 3. Let l be ((-6)/(-9))/((-1)/3). Is h(l) a prime number?
False
Suppose 616181 = -4*m - 0*m + d, -2*d = -3*m - 462142. Is 2/(-5) - m/60 composite?
True
Let t be -126*7*4/(-4). Suppose 0 = -2*b + 458 + t. Suppose -3*m + b - 37 = 0. Is m prime?
True
Let o be (6/4)/((-9)/(-24)). Suppose 0 = -o*u + 54 + 82. Is u a prime number?
False
Let g(l) = -l**3 - l**2 - 2*l. Suppose -5*c - 3 = p - 7, 20 = 5*c + 5*p. Let v be g(c). Suppose v = -3*s - s + 712. Is s composite?
True
Let c(r) = 2*r**2 - 10*r + 1. Let w be c(-8). Let b = 296 + w. Is b composite?
True
Is 11/(-3 + -30)*-103371 a composite number?
False
Suppose 5*q - 2*s + 0*s + 222 = 0, -s + 1 = 0. Is (-31644)/q + 2/(-11) a composite number?
False
Let c(a) = -a**3 - 3*a**2 - 4*a - 3. Let u be c(-4). Let b = u - -918. Is b composite?
False
Is 2521*6/24*4 a prime number?
True
Let s(t) be the first derivative of -t**4/4 - t**3 + 3*t**2/2 - t - 4. Let r be s(-4). Suppose g = -5*q + 709, 6*q + 3*g = r*q + 435. Is q a prime number?
False
Suppose -3*w = 3, -5 + 1 = 2*s + 4*w. Suppose 2*q - 52 = 6*i - 2*i, -3*q = s. Is (167/4)/(i/(-364)) a composite number?
True
Is (-4 + 0)/4*-23*431 a prime number?
False
Suppose -4*c + 3*l = -2, 5*c = 2*l + 2*l + 2. Let r(j) = j - 7. Let o be r(9). Suppose -s = -2*z + o*s + 194, c*z = -3*s + 218. Is z a composite number?
False
Let u be -8*((-9)/2 + 4). Suppose u*b - b = 0. Suppose -h + b*h - 54 = -3*x, h = -3*x + 60. Is x composite?
False
Suppose 6*n + 1 = 19. Suppose 0*x + 3477 = n*x. Is x prime?
False
Let o(m) = -92*m + 327. Is o(-5) a prime number?
True
Let f(g) be the third derivative of -g**6/120 - g**5/12 + g**4/4 + 4*g**2. Let p be f(-6). Suppose -4*q + q + 105 = p. Is q a prime number?
False
Let l = 30914 - -2919. Is l a prime number?
False
Suppose -102 = -v + 5*k + 114, -2*v - 4*k + 418 = 0. Is v a prime number?
True
Let d(y) be the first derivative of y**4/2 + 2*y**3/3 + 3*y**2 + y + 4. Is d(6) a composite number?
False
Let x(c) = -70*c**3 - 25*c**2 - 117*c + 17. Is x(-6) composite?
False
Let k be (-6)/14 + 408/(-28). Let l be (-4)/(-20) + (-42)/k. Is 49 - (-2)/(l - 2) composite?
True
Suppose -112*m + 3*m = -1747597. Is m a composite number?
False
Let d(a) = -a**2 - 7*a + 6. Let v = 12 + -20. Let w be d(v). Is 1 + (w - -166 - -1) a composite number?
True
Suppose 0 = -2*s - 3*z + 11 + 4, 18 = s + 5*z. Suppose -4*r + 356 = -3*x, -272 = -s*r - x + 2*x. Let p = r + -39. Is p prime?
True
Is 1041*((-4)/(-2) + -1) a composite number?
True
Let y(m) = 2*m - 19. Let h be y(-18). Let v(z) = z**3 + 10*z**2 + 4*z - 6. Let w be v(-6). Let d = h + w. Is d a prime number?
True
Suppose 2*g + 3*f = 106624, 0 = 7*g - 9*g + 2*f + 106634. Is g a composite number?
True
Suppose 0 = -33*q - 54359 + 423200. Is q prime?
True
Let o be (-4)/((-4)/(-3)) + 5. Suppose -v + o*v = 3. Suppose v*d + 124 - 433 = 0. Is d a composite number?
False
Suppose -19*b + 665123 - 4512 = 0. Is b a prime number?
False
Let l(g) be the first derivative of 299*g**3/6 - g**2/2 + 7*g - 6. Let s(z) be the first derivative of l(z). Is s(1) a composite number?
True
Let z = 8 + -4. Suppose 2*y - 14143 = -z*t + 12559, -3*t + 2*y + 20009 = 0. Is t composite?
False
Suppose -6 = 5*v - 31. Suppose 4*r + 878 = v*r. Is r a prime number?
False
Suppose -19*r + 2*p + 33591 = -16*r, 5*p + 33591 = 3*r. Is r prime?
True
Let c(u) = u**2 + 7*u + 4. Let p be c(-6). Is p/9 + (-4844)/(-9) a composite number?
True
Suppose -2*q = 2*q - 5*q. Suppose 5*c - 256 - 1414 = q. Is c a prime number?
False
Suppose 0 = 3*w - 15 + 3. Suppose t + 2 = -s - 3*s, w*s + 42 = -5*t. Is ((-179)/2)/(5/t) a prime number?
True
Suppose 0 = -i - 3, 0*i - 3*i + 36 = -5*a. Let s be 1*(-6)/a*-3. Is (s - 65)*3/(-3) composite?
False
Let b = 63592 + -33903. Is b composite?
True
Suppose -11 = -g + 51. Let v(s) = 21*s**2 - s - 1. Let b be v(3). Let i = b - g. Is i prime?
False
Let l(v) = 542*v**2 + 2*v - 17. Is l(4) prime?
True
Let j be 6 + 9/((-36)/16). Suppose -373 = j*v - 2151. Is v prime?
False
Let o(b) = b**3 + 8*b**2 - 2*b - 9. Let c be o(-8). S