 -2*f. Is f composite?
True
Suppose -2*p - 3*q - q + 36 = 0, q = -5*p + 45. Let t(j) be the third derivative of 35*j**4/24 - j**3/2 + 5*j**2 + 10. Is t(p) prime?
True
Let x(i) = 3*i**2 + 6*i + 51857. Is x(0) a prime number?
False
Suppose -2*c - 2371 = 3*y - 6*y, c = 3*y - 2375. Suppose 22*x = 23*x + y. Let p = -312 - x. Is p a composite number?
True
Let g = -41141 + 72112. Is g a prime number?
True
Let a(d) = 11*d**2 - 20*d + 22. Let h(u) = u - 14. Let z be h(9). Let p(k) = -k**3 - 4*k**2 + 2*k - 6. Let q be p(z). Is a(q) a prime number?
True
Let k be (-12 - -4)*(-1)/2. Suppose -2*t - t + 2*g = -2165, k*g = -5*t + 3579. Is t composite?
False
Let w(n) = 11*n + 10970. Let f be w(0). Let y = -4333 + f. Is y prime?
True
Let g(o) = 3*o**3 - 22*o**2 + 4*o - 53. Let w be g(25). Let h = -20561 + w. Is h a composite number?
False
Is ((-7942)/33 - 12)*-3 a composite number?
True
Suppose 647 = l + 2*f, l + 225 - 860 = -5*f. Is l composite?
True
Suppose 101*l = 83*l + 3248100 + 1319706. Is l a prime number?
False
Suppose -a + 7004 = -5*a. Let c = -2580 + 5538. Let v = a + c. Is v a composite number?
True
Let a = -731 + 733. Suppose -q + a*z = -5087, 5*q - 2*z = -4*z + 25375. Is q a prime number?
True
Suppose 13*s - 2904538 = 517803. Is s a prime number?
True
Let x = 309 - 307. Suppose 4*b = 5*o - 41323, -4*o = -x*b - 31091 - 1965. Is o composite?
False
Suppose -3*j + 186*n = 190*n - 126787, 2*n + 126763 = 3*j. Is j composite?
False
Let z = 356 + -333. Suppose -z*j = -378986 + 35757. Is j composite?
False
Let j(u) = 12*u + 3. Let z be j(2). Let d(g) = 13 - 16*g**3 - 3*g - 12*g**3 - 2*g + 19*g**2 + z*g**3. Is d(16) a composite number?
False
Let z(q) = 14*q**2 - 40*q - 1955. Is z(-58) a composite number?
True
Suppose -4*s - h + 981768 = -1550448, -633049 = -s + h. Is s composite?
False
Suppose -112231 = -m - 6*l, 2*m = -2*l + 14484 + 209988. Is m composite?
False
Suppose 38*r - 113240 = 30*r. Suppose -2*a - 2*a - 3*m = -11324, 0 = 5*a + 3*m - r. Is a prime?
False
Let q(p) be the first derivative of 5*p**4/12 - 11*p**3/3 + 6*p**2 + 9*p + 23. Let i(y) be the first derivative of q(y). Is i(19) a composite number?
False
Let u(j) = -5330*j - 15. Suppose -2 = b, 3*k + 8*b = 3*b - 16. Is u(k) prime?
False
Let l = -569964 - -802297. Is l prime?
True
Let w be (4 + -46)/(-7) + 18134. Let i = w + -9253. Is i a prime number?
True
Let u(m) = 5*m**3 - 24*m**2 + 2*m + 13. Let j be (-6)/(-24) - (-6)/8. Let t be (-15)/10*(17/(-3) - j). Is u(t) composite?
False
Suppose 0 = 3*o - 6, 4*p - p - o = -3209. Let n = 27 + p. Is (3/(-6))/(1/n) a prime number?
True
Let k = 144 + -138. Suppose 10704 = -k*j - 8400. Let p = -813 - j. Is p a prime number?
True
Let v = 166462 - 115133. Is v a composite number?
False
Let p = 164 + -162. Suppose 5*n = p*n + 7707. Is n a composite number?
True
Let o(f) = 6*f**2 - 19. Let u be ((-168)/5 - -4) + 2/(-5). Is o(u) prime?
True
Suppose 4*n + 4*g - 55064 = 0, 0 = -n - 4*g + 6117 + 7640. Suppose -3*q + q + s + n = 0, -3*q + s = -20656. Is q a composite number?
True
Suppose 55*r + 32581 = u + 59*r, -5*u = 5*r - 162860. Is u a prime number?
True
Let t(a) = -a**2 + 9*a + 20. Let o be t(11). Let q(p) = -1416*p - 13. Is q(o) prime?
True
Let m(p) = 615*p**3 - 9 - 14*p - 5*p**2 - 315*p**3 - 309*p**3. Is m(-8) composite?
False
Suppose 30538 = 2*l - 57240. Is l a composite number?
False
Let k(y) = 2019*y**2 + 35*y + 93. Is k(-3) a composite number?
True
Suppose 319 + 551 = -6*f. Let s = 150 + f. Suppose 0*o - s*o = l - 665, -2*l = 4*o - 1318. Is l prime?
False
Let d(o) = 3*o**3 - 4*o**2 + 2*o + 4. Let g be d(7). Suppose -10*t + 1179 = -g. Is t a prime number?
False
Is ((-3224344)/(-10))/4 - (-6)/15 a composite number?
True
Let i = 53 + -51. Let t(m) = 0 + m**i - 4*m**2 + 6*m**2 + 1. Is t(-1) prime?
False
Let v(m) = m**3 - 3*m**2 + 9*m - 23. Let x be v(3). Suppose 3*u = x*z - 1995 - 3458, 3*z + 4*u = 4071. Is z a composite number?
False
Suppose 9 + 31 = 5*z. Let s be ((6/11)/(-3))/((704/242)/(-16)). Is 14404/z + (2/(-4) - s) a prime number?
False
Let o = -7847 + -1843. Let w = -6829 - o. Is w composite?
False
Is ((3208932/8)/(-9))/(2/(-4)) a prime number?
True
Let x be 632/14 - ((-20)/7 - -3). Suppose -x*s = -39*s - 8022. Is s composite?
True
Suppose 0 = -1307*a + 1330*a - 949877. Is a a composite number?
False
Suppose 4*z - 10 = 10. Suppose 0 = 3*i - z*i - 196. Let j = -45 - i. Is j a composite number?
False
Suppose 8*l - 4*l = -z + 12845, -4*z + l + 51363 = 0. Is z composite?
False
Let z(i) = 30*i**2 - 6*i + 19. Suppose -2*r + 20*o - 22 = 19*o, 0 = o - 4. Is z(r) prime?
True
Suppose -2*j + 2 = 2*d, 0 = -j - 5*d + 13. Is (j + 9)/(-5 - 14664/(-2932)) composite?
True
Suppose -9*l + 93*l - 15236844 = 0. Is l prime?
False
Is -137635*((-124)/70 - ((-594)/126)/(-11)) a prime number?
False
Suppose y - 2*m = 46, 0 = -2*y + 3*y + 4*m - 64. Let p = y - 50. Suppose -p*i = -i - 1535. Is i a prime number?
False
Suppose 0 = 2*o - 169 + 9. Let v be (o/(2 + 3))/(1/10). Let h = v + 135. Is h a composite number?
True
Suppose -m + 8 = 6. Suppose 2*w = s - 0*w - 10, 0 = -m*w + 8. Suppose -14*v - 1048 = -s*v. Is v a composite number?
True
Suppose 4*x + 8 = -4. Let d be (9/(-2))/x*(-92)/(-69). Let p(a) = 530*a + 1. Is p(d) a composite number?
False
Let c(k) = -k**3 - 10*k**2 - 50 + 43 + 5*k**2. Suppose 3*b = b - 20. Is c(b) a composite number?
True
Let d(a) = 1354*a**3 + 5*a**2 - 273*a + 1555. Is d(6) a prime number?
True
Let i = 260 - 233. Suppose -25861 + 84046 = i*k. Is k composite?
True
Let a(i) = i**3 + 42*i**2 - i - 39. Let q be a(-42). Suppose 6826 = d - 3*o, -5*d - q*o = -4*d - 6856. Is d a composite number?
False
Let a(c) = -14*c**2 + 19*c - 105 - 2*c + 34*c**2 + c. Is a(17) composite?
False
Let i = -13708 + 20979. Is i a prime number?
False
Suppose 7*g - 2836 - 5249 = 0. Suppose 4*m - 3820 = 3*m. Suppose -13*v - g = -m. Is v prime?
False
Is ((29 - 31) + 10/3)/((-4)/(-1191711)) a composite number?
False
Let o(p) = 371*p**2 - 29*p + 137. Is o(5) a composite number?
True
Let l be (2 - (-4 - -7))*27*4. Let h = l - -196. Suppose -5*b = -4*t - 5935 + h, -5849 = -5*b + 3*t. Is b a composite number?
False
Let g(w) = -5*w**3 + 19*w**2 + 15*w + 28. Is g(-13) composite?
False
Let d = 73680 - 14579. Is d prime?
False
Let c = -7522 - -1612. Let t be (4 + 1 + -6)*34084/(-4). Let h = t + c. Is h prime?
False
Is ((-105)/2)/(-15)*760 + (-2 - 1) composite?
False
Suppose k = -5, -n - 6*k + 27397 = -10*k. Is n a prime number?
False
Suppose 0*p + q - 2 = 3*p, -p = -q. Let z(k) = 4689*k**2 - 2*k - 2. Let l be z(p). Let h = l - 2038. Is h a composite number?
True
Suppose -25 = -2*o - 19. Suppose 0 = -o*t + 15*t - 56508. Is t prime?
False
Suppose 10473197 = 198*j + 3697043. Is j a prime number?
False
Suppose 25*w = 21*w + 224868. Suppose 11*h - 26074 = w. Is h composite?
False
Let z be (-3 - 238/(-70))*(-1 + -9). Is (-2)/4*(-30022 - z) a prime number?
False
Let i(o) = -38885*o + 1580. Is i(-21) a composite number?
True
Let g be 627/(4/24*9). Suppose -j - 3*i = j + g, 0 = -5*i. Let h = j + 403. Is h a composite number?
True
Let k be ((-1)/2)/(5/110). Let c(r) = -969*r - 17. Let l(g) = -484*g - 9. Let z(o) = k*l(o) + 6*c(o). Is z(-1) a prime number?
True
Let m be -6 - ((-29739548)/20 - (-2)/5). Is (m/108)/(1/4) a prime number?
True
Suppose -4*q = 2*b + 26, -b - 5*q = 10 + 3. Let w = b - -25. Is (-697)/(-2) + w/(-8) a prime number?
True
Is (48/(-5))/(8*18/(-6263280)) + 7 composite?
False
Suppose 0 = 208*a - 155*a - 27158207. Is a a composite number?
False
Let o = 5483 - 2342. Let v = o - -2017. Is v prime?
False
Let l = 73415 + 36636. Is l prime?
True
Suppose 4*m - 3*x + 19864 = 0, -2*x - 9910 = 2*m + 2*x. Let z = -2510 - m. Is z composite?
True
Let t(b) = 2460*b - 967. Is t(7) a prime number?
True
Let r(u) be the third derivative of -2/3*u**3 - 1/30*u**5 + 0 + 0*u - 7/40*u**6 + 9*u**2 + 1/4*u**4. Is r(-3) composite?
True
Suppose -17*b + 146364 = -3183307. Is b composite?
False
Suppose 0 = 2260*j - 2223*j - 2108371. Is j composite?
False
Let n(v) = 8*v + 22. Let h be n(-2). Let u(t) = 86*t**2 + t - 3. Is u(h) a composite number?
True
Let d(w) = 398*w - 37. Let s = -281 + 291. Is d(s) composite?
False
Let k = -259 - -264. Suppose 15*h - k*h = 16790. Is h a prime number?
False
Suppose 3*w - 4717