s, -3*s + 2*s = -4*l + 2356. Suppose -d = -l - 52. Is d prime?
True
Let j be (3 + -1)*(-2 - -7). Let h be (-66)/(-15) - j/25. Suppose h*t = -t + 1255. Is t composite?
False
Let y(d) = -5*d**2 + 13*d - 3. Let s(p) = 26*p**2 - 66*p + 15. Let m(x) = -2*s(x) - 11*y(x). Let c be m(10). Suppose -z = -70 - c. Is z prime?
True
Is (-14)/21*-3 + 1007 composite?
False
Suppose -8 - 18 = -m. Let l be m/(-143) + 4/22. Suppose l = -4*x + 55 + 321. Is x composite?
True
Let r(q) = 8*q**3 + 3*q - 2. Suppose -4*h + 5*p - 22 = 13, -p + 13 = -2*h. Let g be h/(-2) - 20/(-40). Is r(g) a prime number?
True
Let p = -3809 + 8362. Is p a composite number?
True
Let k(r) = 4*r - 24. Let j be k(6). Let s(u) = 5*u + 1543. Is s(j) a prime number?
True
Let z = -824 + 2071. Is z composite?
True
Let l(a) = 2*a**3 - 10*a**2 - 6. Let j be l(7). Let t(d) = d - 3. Let i be t(11). Suppose 3*n + j = i*n. Is n a prime number?
False
Suppose 3*x - 6*x = 4*f, -2*x = 2*f. Suppose -6*i - 35 + 11 = x. Let j(m) = 32*m**2 - 9*m - 3. Is j(i) prime?
False
Let j = 27 - 10. Suppose 12*g - j*g = -525. Suppose -c + 37 = -g. Is c a composite number?
True
Suppose 3*g + 3*b = -28 - 20, -b + 49 = -4*g. Let m = -9 - g. Suppose 0 = -y + m*u + 15 - 1, 3*y + 5*u - 8 = 0. Is y a composite number?
True
Let u be (1 - 0) + 2 + -2. Let z(b) = 114*b**3 - 2*b**2 + b. Is z(u) composite?
False
Suppose 59 = 3*o - 31. Let i = o - 24. Suppose -2226 = -i*b + 144. Is b a composite number?
True
Let g(a) = 6*a**3 + a**2 - a - 2. Let h = 15 - 13. Let l be g(h). Suppose 3*q + 2 = -5*d + l, q = -d + 8. Is d composite?
False
Suppose -41 = -3*l + f - 11, 10 = l + 3*f. Suppose -4 = 2*z + l. Is (z + 1)*89/(-3) composite?
True
Let i(b) = 1 + 576*b - 5*b**2 - b**3 + 2 - 563*b. Is i(-7) a prime number?
False
Is 26/(-117) + (153042/27 - -1) prime?
True
Let y(t) = 10*t**3 - 8*t**2 - 9*t - 2. Let a(d) = 9*d**3 - 7*d**2 - 8*d - 1. Let x(j) = 5*a(j) - 4*y(j). Let q = 2 + 2. Is x(q) a prime number?
False
Let p(a) = 33*a**2 + 3*a + 3. Suppose -2*h = d + 2*h + 15, 0 = 2*d - 5*h - 9. Let o be p(d). Let t = o + 86. Is t a prime number?
False
Suppose -f + 12 = -3*f + 5*g, -g + 24 = -4*f. Let l be ((-3)/f)/(2/36). Let b = l + 22. Is b composite?
False
Suppose 6735 = 4*q + 2*l + 625, -4*q - 3*l = -6111. Is q a prime number?
False
Let q = 274 - 166. Suppose 4*f + 81 + 11 = 0. Let a = q + f. Is a composite?
True
Suppose -3*b = t - 80, 280 = 11*t - 8*t + b. Is t composite?
True
Is 230940/9 + (18 - 15) prime?
False
Suppose 15*j = 11*j + 764. Is j a prime number?
True
Let q(u) = u**3 - 16*u**2 - 19*u + 39. Let t be q(17). Let x(l) = 26*l**2 - 6*l - 9. Is x(t) a prime number?
False
Let c(x) = x**3 - 65*x**2 + 88*x - 253. Is c(64) prime?
True
Let t(a) = 11*a**2 + 3*a - 3. Let s(u) = -u**3 + 6*u**2 + 7*u + 8. Let y be s(7). Suppose y = x - i, 2*x - 20 = -0*i + 3*i. Is t(x) a composite number?
True
Let z(f) = f - 2. Let o be z(-4). Let h(l) = -22*l - 9. Let c(t) = 21*t + 8. Let v(k) = o*c(k) - 5*h(k). Is v(-5) a prime number?
False
Let o be 444/22 - 10/55. Let a(d) = d**3 - 17*d**2 - 3*d + 17. Is a(o) prime?
False
Let w(x) = 233*x**2 - 17*x + 13. Is w(10) prime?
True
Let w(b) = 5*b - 11. Let c(r) = 2*r - 4. Let m(p) = -8*c(p) + 3*w(p). Let z be m(-3). Suppose -z*v = 5*h - 270, -h = -v + h + 153. Is v a prime number?
False
Suppose 107*d + 30 = 113*d. Suppose x = 2*x + d*k - 373, 4 = k. Is x prime?
True
Let j = -5870 - -8556. Suppose -9*u - j + 8743 = 0. Is u prime?
True
Suppose 41*d - 34*d - 59381 = 0. Is d a prime number?
False
Suppose 0 = -9*j + 7*j + 18. Suppose -z - j = -3. Let v(w) = -14*w + 5. Is v(z) composite?
False
Is 1 - 31378*9/(-9) composite?
False
Let l(d) = d**3 + 5*d**2 + 2*d - 4. Let c = 13 + -8. Suppose c*n = -19 - 1. Is l(n) composite?
True
Let d = -1565 + 3972. Is d composite?
True
Suppose 2*n - 2*h + 4*h = 24944, 0 = n - 5*h - 12478. Is n prime?
True
Let o = 236 + 177. Is o prime?
False
Let z = -10 + 12. Let i(u) be the first derivative of 6*u**4 + 2*u**3/3 + u**2 - u + 3. Is i(z) a composite number?
True
Let z(i) = -i**3 - i**2 + 3*i + 4091. Is z(0) prime?
True
Let b = 371 - 264. Suppose 0 = c - 2*v + b, -5*c + 0*v + 2*v = 567. Is (c + 2)/(1 - 2) prime?
True
Let g(v) = 15*v**3 - 2*v**2 + v + 1. Let t be g(1). Suppose 10*x + 635 = t*x. Is x a prime number?
True
Let j(u) = 2*u**2 + u + 625. Let r be j(0). Let w = -318 + r. Is w a prime number?
True
Let q = -6343 - 7343. Is (30/(-45))/(4/q) a prime number?
True
Let u = 100 + -27. Suppose -206 + u = -7*t. Is t a composite number?
False
Let d(n) = 4*n + 1. Let x be d(-2). Let v be (-3)/x - (-22276)/28. Let y = -503 + v. Is y prime?
True
Let l(k) = k + 22. Let h be l(-7). Let c = h - 11. Suppose c*n = -5*x + 427, -59 - 30 = -x - 2*n. Is x prime?
True
Is (115476/(-18))/((-12)/18) a prime number?
True
Let f = -4 - -25. Let o = f - 2. Is o a composite number?
False
Let n = 2062 - 1325. Is n a composite number?
True
Suppose 6*d - 38 = 2*d - m, -5*d + 5*m + 60 = 0. Let o(h) = -7*h - 6 + 0 - 3 - d*h**2 + 31*h**2. Is o(-4) prime?
False
Let a(o) = -1038*o**3 - 2*o**2 - 2*o + 9. Is a(-2) a composite number?
True
Suppose 20*j = -16*j + 583812. Is j prime?
True
Suppose -45843 = -4*p - 10847. Is p a prime number?
False
Let g(m) = m**2 + m - 29 - 15*m + 0*m**2 + m**2. Is g(-15) composite?
False
Let v(c) = -c**3 - c**2 + c + 11. Let h be v(0). Let b = 21 - h. Let r(n) = -n**3 + 13*n**2 - 10*n + 11. Is r(b) composite?
False
Suppose a = -1, -3*a = l + a - 158. Suppose -3*x = -165 - l. Is x a composite number?
False
Suppose 63*n = 718718 + 2324119. Is n a composite number?
False
Let p = 3 - 1. Suppose -u + 41 = p*q, q + u = 2*q - 19. Suppose q = -5*b, -6*b + 2*b = 5*y - 319. Is y a composite number?
False
Let j = 4832 - -929. Is j a prime number?
False
Let b(n) = -3*n**2 - 2*n + 1. Let f be b(-3). Let s = f + 22. Suppose -x - 2*x + h + 634 = 0, -s*h = 4*x - 862. Is x a composite number?
True
Let l(a) = -1352*a - 2. Let j(g) = -676*g - 1. Let h(x) = 11*j(x) - 6*l(x). Is h(4) composite?
True
Let l(z) = z**2 - z - 6. Let b be l(3). Suppose -3*s + 3 + 6 = b, 4*u + 5*s - 3523 = 0. Is u composite?
False
Suppose 8 = 4*k + 12. Is k/(1 - 2) - (1 + -821) composite?
False
Let s = -8327 - -16054. Is s a prime number?
True
Suppose -2*a = y - 16533, -3*y + 8264 = 20*a - 19*a. Is a a prime number?
False
Let h be 2/(-1 - -4 - 2). Suppose -2*m - 1988 = -4*m + 2*o, 0 = h*m + 2*o - 2004. Is m a prime number?
False
Let k be 8/(-12)*12/8. Let t be 270/25*(k + 96). Suppose y + t = 5*n, -y - 2 = y. Is n prime?
False
Let w = 19 - 16. Suppose 3*y = w*z + 6491 - 30935, 5*y + 5 = 0. Is z a prime number?
True
Suppose -4 = -2*u + 2. Suppose y = 4*b - 1063, -u*b + 4*b = -y + 262. Is b a prime number?
False
Let h = 129 - 13. Suppose 0 = 2*d - 4*r - 146 - h, d - 133 = 3*r. Is d composite?
False
Let l(d) = -2*d**2 - 13*d - 17. Let a be l(-5). Let z(n) = -1623*n + 5. Is z(a) a composite number?
False
Suppose 16*f - 840 = 12*f. Let y = f - 97. Is y a composite number?
False
Let a(k) = 5491*k**2 - 14*k - 72. Is a(-5) a prime number?
True
Let b(f) = -10*f - 39. Let j(g) = -21*g - 78. Let c(i) = 11*b(i) - 6*j(i). Is c(11) prime?
False
Let f(d) = 5*d - 2*d**2 - 4 + 109*d**3 - 3*d**2 - 1 - d**2. Is f(2) a composite number?
False
Let w be ((-513)/(-76))/((-2)/16). Let k = w - -133. Is k a prime number?
True
Let t(q) = -q**3 - 4*q**2 - 2*q - 5. Let g be t(-4). Suppose 0 = -g*k + 13 + 38. Suppose 130 = k*h - 15*h. Is h composite?
True
Let x = -9 - -9. Let h(r) = 4*r + 257. Is h(x) composite?
False
Let v(h) = 89*h - 4. Let t be (-1 - -4) + -1 - 8. Let q(k) = -90*k + 5. Let j(f) = t*v(f) - 5*q(f). Is j(-4) prime?
False
Let c be 110304/22 - 1/(11/(-2)). Let b = c - 3083. Is b a composite number?
False
Let v(a) = 8*a**2 - 34*a + 11. Let q(d) = -16*d**2 + 67*d - 22. Let r(k) = -6*q(k) - 11*v(k). Is r(8) prime?
False
Let y = 32681 + -22120. Is y prime?
False
Suppose 0*g = -5*g + 50. Suppose -g*v = -12*v + 4090. Is v a composite number?
True
Suppose -2*w = -9*w - 455. Let n = 72 + w. Is n a prime number?
True
Suppose 4 = -h, -2*h + 1 = w + 4. Suppose -2*t + 3*y + 3925 + 4254 = 0, -w*y = 4*t - 16369. Is t composite?
False
Let q be (-33960)/(-84) - 2/7. Let h = -213 + q. Is h composite?
False
Let a be (-8)/32 + 3886*(-6)/(-16). Is 12/(-18)*(-1 - 2) + a