 a composite number?
False
Suppose -g + 3*t - 50 = t, 2*t = 5*g + 242. Let l be 4*1*103/4. Let c = l + g. Is c a composite number?
True
Let v(n) = 85*n - 2. Let d(f) = -14*f**3 - f**2 + f - 1. Let j be d(1). Let m be j/(-20) - (-1)/4. Is v(m) composite?
False
Let u(z) = 8502*z**3 - 4*z**2 + 8*z - 5. Is u(1) a composite number?
False
Let k = 9677 - -13586. Is k prime?
False
Let d = 20 - 14. Let z be ((-3)/(-2))/(d/8). Suppose z*o + 57 = 383. Is o composite?
False
Suppose 3*m = -2*g + 1799, -149 = 5*g - 2*m - 4637. Is g a composite number?
True
Let q(l) = 2*l**2 - 15*l + 9. Let c be q(7). Is c*1161/66 - 4/22 composite?
True
Let t be (-2)/(4/678) - (-10 - -14). Let l = t - -534. Is l a prime number?
True
Let i(y) = -y**2 + 5*y - 2. Let b be i(4). Is b/(-7) + (-1350)/(-70) a prime number?
True
Suppose 5*i + d - 18968 = 0, -i - 2*d + d = -3796. Is i prime?
True
Let l(x) = 31*x + 9. Let s(h) = 31*h + 9. Let y(t) = -2*l(t) + 3*s(t). Is y(12) a prime number?
False
Let l be (32/6 - 6)*1563/2. Let u = l - -966. Is u a composite number?
True
Let o(i) = 21*i + 1. Let g be o(-1). Let t be g/6 + 7/21. Is (-3 - t) + 0 - -515 a prime number?
False
Let w = -17626 - -24975. Is w a prime number?
True
Let y be -1*9/1*-2. Is (-1317)/y*-2 + (-2)/6 a prime number?
False
Let h = -8 - -6. Let d = -5 + -42. Is (d/h)/(5/30) composite?
True
Let u(v) be the first derivative of -v**4/4 - v**3 - v**2 - 3*v + 2. Let w be u(-3). Suppose w*b - 510 - 585 = 0. Is b composite?
True
Let h(a) = 13*a**2 - 12*a - 224. Is h(-13) prime?
True
Let h(d) = 3390*d**2 - 14*d - 15. Is h(-1) a prime number?
True
Suppose 0 = -x + 4097 - 1378. Is x a prime number?
True
Let y be (7/3)/((-2)/(-6)). Let v be ((-3 - 0) + y)*-8. Let a = 65 + v. Is a composite?
True
Let c be (0 + -1)*0/(-1). Suppose -5*m + 16 = -m. Suppose c = -m*o + 51 + 137. Is o prime?
True
Let t be (-34)/(-14) + (-4)/(-7). Suppose -s + t*b + 54 = 0, b + 4 = -0. Is s + (-7 - (-1 + -2)) a composite number?
True
Suppose 28*z - 27*z + 3 = 0. Is 4 + (7 + z - -119) a composite number?
False
Suppose 0 = 11*i + 38*i - 627053. Is i prime?
False
Let u = 706 - -405. Is u prime?
False
Suppose 3*x + 2 = 11. Suppose 3*a + 3 = 0, p + 4*a - 224 = -x*p. Suppose -y = -4*y + p. Is y composite?
False
Let x(l) = l**3 + 9*l**2 - 27*l + 2. Let q be x(-11). Suppose -4*d + q = -2*v + 719, -1677 = -5*v - d. Is v prime?
False
Let p be (3 - 14)*(2 + 0). Let k = -36 - p. Is 6/k - 6236/(-14) prime?
False
Suppose -23*p + 130208 = -88039. Is p a prime number?
False
Suppose -5*f - 20 = 0, -f + 2003 = 5*m - 93248. Is m a composite number?
False
Let o(n) = -1083*n - 721. Is o(-18) prime?
True
Let u = 59 - 2. Suppose v + v - 476 = -2*p, p + 4*v = 244. Let h = u + p. Is h prime?
True
Let z(o) = -o**3 + 27*o + 44. Let g be z(-7). Let i be 1/(1*(-2)/(-202)). Let x = g - i. Is x a prime number?
True
Suppose y = 5, -4*a + a = -2*y + 10. Suppose -7302 = -6*h - a*h. Is h a composite number?
False
Let c be 117/(-21) - 8/(-14). Let r be (38/1)/(c + 3). Let f = 53 + r. Is f a composite number?
True
Let t(k) = k**3 - 20*k**2 - 25*k + 111. Is t(23) a prime number?
True
Suppose -2*c + 45*c = 230351. Is c a composite number?
True
Let o(y) be the first derivative of -8*y**2 + 38*y + 1. Is o(-6) prime?
False
Let t(j) = 0*j**2 + j**3 + 307 - j**2 - 6*j**3 + 4*j**3. Is t(0) a prime number?
True
Let p(m) = -2*m + 0*m + 191 - 46. Let q = 8 - 8. Is p(q) prime?
False
Let s(k) = 333*k**2 + k - 2. Let o(z) = -z**3 - z**2 + 6*z - 2. Let w be o(-3). Let h be s(w). Let x = h + -879. Is x prime?
True
Let o = -571 + 1038. Is o prime?
True
Let a be ((-27)/(-3) + -3)/((-3)/12). Is ((-7556)/6)/(16/a) composite?
False
Let s = 29489 - 18586. Is s a prime number?
True
Is (1 + 21/(-6))*(-26512)/40 a prime number?
True
Let i(s) = 2071*s - 75. Is i(4) a prime number?
True
Suppose 21*z - 16*z - 11789 = -h, -4*h = -z - 47156. Is h composite?
False
Let c(o) = o**3 - o**2 + 13*o + 7. Let s be c(-6). Let f = -159 - -645. Let k = s + f. Is k composite?
False
Let p(u) = -u**2 - u. Let g(c) = -4*c**2 - 10*c - 11. Let d(n) = g(n) - 3*p(n). Let a be d(-5). Is (9170/20)/(a/(-2)) composite?
True
Suppose -4*o + 27919 = -z, 5*z + 3350 - 17293 = -2*o. Is o a composite number?
True
Let i(z) = z**3 + 14*z**2 + 4*z - 7. Let a be i(-8). Let u = a + -69. Is (12/16)/(3/u) a prime number?
False
Let s be (-1)/(1/3) + 5. Suppose -568 = -4*g - 0*g + 4*l, -284 = -s*g + l. Let h = g + 125. Is h prime?
False
Let x(z) be the first derivative of -z**2 - 15*z - 5. Let b be x(-10). Suppose b*m - 364 = m. Is m composite?
True
Let h = 3435 - 1285. Suppose -3*x + l = -2691, -5*l = -5*x + 2325 + h. Is x a composite number?
True
Let b = 70929 + -39772. Is b prime?
False
Suppose -2*t = -5*t + 2*v + 6, -3*t = 5*v - 27. Suppose -y = 2*y + 4*r - 757, t*r - 16 = 0. Is y prime?
False
Let l(c) = c**3 + 17*c**2 + 4*c + 41. Let n be l(-17). Is 7262/8 - n/(-36) a prime number?
True
Let t(b) = -b + 11. Let a be t(9). Let q = a + 1. Suppose -57 = -m - 2*f, -127 = -q*m + 2*f + 4. Is m composite?
False
Suppose -4*q + 15 = 3*j, -3*j - 6 + 21 = 0. Suppose 3*a - a = -s + 387, q = -5*s + 25. Is a a prime number?
True
Let t be (0/2)/(6 + -5). Let n = t + 2. Suppose -1 - 7 = -n*v, 4*h - 2*v = 212. Is h prime?
False
Suppose 2*n - 5*n + 2*t = -34071, 3*n = 4*t + 34071. Is n a prime number?
False
Let q be (-132)/(-8) - 3/6*1. Let n(k) = k**2 + 27*k + 13. Is n(q) prime?
True
Suppose 0 = 5*o - 3*l - 70, 0 = 2*o - 3*l + 25 - 62. Suppose 0 = -2*z + 183 - o. Is z prime?
False
Let w(g) = -169*g**3 - g**2 - g - 1. Let h be w(-1). Let k be (0 + 9/27)/(1/(-147)). Let f = k + h. Is f a prime number?
False
Let p = 151791 + -52568. Is p prime?
True
Let q be -2 + (-3 - -2) - 96. Let r be q/(-21) + 4/14. Suppose -u = 2*d + 4*u - 93, -r*d - 5*u = -240. Is d composite?
True
Let c = -4 + 7. Suppose -4*u + c*u + 2 = 0. Suppose 75 = p - u. Is p a composite number?
True
Suppose u + 803 = 2*l - 7*l, 0 = 4*u - 4*l + 3116. Is (-2 + 1)*(u/3)/3 a composite number?
True
Suppose 12*m = 23096 + 12700. Is m composite?
True
Suppose 2*n + 11 = 3*u, 0 = n - 0*n - 2*u + 7. Let h(m) = 2*m**2 - 5*m + 3. Let d be h(3). Is n/(-3) + 3892/d a composite number?
True
Suppose 13397 = 5*f + 1277. Let b = f + -577. Is b prime?
True
Let x(l) = -l**3 + l**2 - 8*l - 2. Let i(o) = o**3 + o + 1. Let j(b) = 3*i(b) + x(b). Is j(10) composite?
True
Let j(b) be the third derivative of -611*b**4/24 + 7*b**3/3 + 25*b**2. Is j(-3) a prime number?
True
Let j = -162 + 2833. Is j a prime number?
True
Is 6/69 - 116811/(-69) a composite number?
False
Let s = -24 + 26. Suppose 0 = -s*n, -5*n - 2523 = -y - 2*y. Is y a prime number?
False
Let t = 1307 + 54. Is t a prime number?
True
Let j(k) = 1344*k + 545. Is j(32) a prime number?
False
Let f(c) = -89*c**3 - c**2 + 2*c + 3. Suppose 0 = 6*i - 2*i - 12. Suppose -l = -3*d + 5, 0 = -l - i*d - 0 + 1. Is f(l) a prime number?
False
Let l(o) = o**3 + 3*o**2 - 16*o + 11. Let u be l(-6). Is ((u + 2)/((-8)/3208))/(-1) a composite number?
False
Let b(w) = 8*w**3 - 5*w**2 + 7*w - 5. Let m(p) = 9*p**3 - 5*p**2 + 7*p - 6. Let h(t) = 7*b(t) - 6*m(t). Is h(5) prime?
False
Suppose 108*g - 42546 = 102*g. Is g prime?
False
Let k(b) = 2*b + 30. Let p be k(-13). Is 502*p*2/16 a prime number?
True
Suppose 2172 = -z + 5*z + a, -5*z + 2*a = -2728. Suppose -100 = -4*b + z. Is b prime?
False
Let h(u) be the first derivative of -15*u**4/4 + u**3/3 + u**2 - u - 16. Let b be (1 - (-6)/(-4))*10. Is h(b) a prime number?
True
Let o(k) = 410*k**2 - 18*k - 1. Is o(3) prime?
False
Suppose 0 = 4*v - 2*n - 10136, 0*n - 5*n - 2543 = -v. Is v prime?
False
Let k(l) = -2*l**3 - 15*l**2 - 12*l - 45. Is k(-14) composite?
False
Let w(a) = 7*a**3 - 9 + 2 - 4*a - 8*a**3 - 5*a**2. Let i(v) = v**3 - 12*v**2 - 12*v - 19. Let q be i(13). Is w(q) prime?
True
Suppose 10*j = 8*j - 2, -4*j = 4*i - 5032. Is i a prime number?
True
Let m(h) = 66*h + 5879. Is m(0) composite?
False
Suppose 2*x - 901 - 3925 = 0. Is x a composite number?
True
Let q be (1 - 61)/((-6)/123). Suppose 2*b = 4*n + b - q, 4*n - 3*b - 1234 = 0. Is n prime?
True
Let s = 28 + -12. Is 888/s*(-4)/(-6) prime?
True
Let b(h) = 73*h**2 + 26*h + 50. Is b(-11) a composite number?
False
Let p = -13 + 9. Let i be (p + 4)/(-5) - -30. Let x = 389 + i. Is x composite?
