 + -21827. Let r = -13498 + k. Is r a prime number?
True
Let f = -10 - -22. Let z be 8/20 - f/5. Is 12/24*(-1060)/z prime?
False
Suppose -14 = -2*o - g, 4*g + 0*g = -4*o + 36. Suppose 0 = -4*q - u + 6851, -6*u = -u + o. Is q composite?
True
Suppose -f - 21 = 5*u, -f - u - 15 = 2*u. Let v = f + 6. Suppose v = -6*h + 11*h - 115. Is h a composite number?
False
Let b = 23261 + -16294. Suppose -b + 2112 = -5*v. Is v prime?
True
Let m(n) = 5 + 14*n - 13 + 7*n. Is m(7) prime?
True
Let m = 34 - 31. Suppose 2*a - 221 = -u, -m*u - 2*a + 950 = 307. Is u a prime number?
True
Let v = -9274 - -19943. Is v a prime number?
False
Let w = 1618 + -451. Is w a composite number?
True
Let z be (-26)/(2 + 1 - 4). Is 4058/6 - z/(-39) composite?
False
Suppose -s + 12 = -3*v, -s = 2*s - 5*v - 20. Suppose -15071 = -s*f - 7*f. Is f a prime number?
True
Suppose 0*v = -4*v - 4*u + 25796, 5*v = -4*u + 32241. Is v a prime number?
False
Suppose 2*a - 8 = 0, b + 196 = -2*a + 1144. Let h(m) = 38*m**3 - 2*m**2 - 3*m - 3. Let f be h(-2). Let c = f + b. Is c a prime number?
True
Let v(y) = 4*y - 2. Let m be v(-1). Let k(a) = -5*a + 3. Let d be k(m). Suppose j - d = 6. Is j prime?
False
Is (-6680 + -2)*9/(-18) prime?
False
Suppose 2*v + 4*g - 17850 = 0, 0 = 2*v + 3*g - 16195 - 1654. Is v prime?
True
Let m(q) = 2*q**2 + 2*q - 7. Let t be m(2). Suppose t*b = -d - 3215 + 11607, 2*b - d - 3354 = 0. Is b a composite number?
True
Suppose 5*g - 64 - 1 = 0. Let z(a) = g - 9*a**2 + 2*a + 16*a**2 + 7*a. Is z(-6) a prime number?
True
Let c(j) = j**3 + 49*j**2 + 41*j + 12. Is c(-47) prime?
True
Let g(x) = -11827*x - 38. Is g(-1) a composite number?
False
Suppose -2*q - 643 + 153 = 0. Let w(y) = -y**3 - 16*y**2 + y + 10. Let i be w(-8). Let j = q - i. Is j a composite number?
True
Let i be 1/(1 - 0) + 3. Let n be (-10)/(-15) - i/(-3). Let l(g) = 50*g - 5. Is l(n) a composite number?
True
Let r be (6/(-2))/((-3)/(-14)). Let b(f) = 4*f**2 + 2*f + 13. Is b(r) composite?
False
Let v(y) = -4*y**2 - 14*y - 7. Let a be v(-13). Let i be 3758/5 + 4/10. Let h = a + i. Is h composite?
False
Let s(f) = -f**2 + 31*f + 136. Is s(21) composite?
True
Let i = 214 + 16. Suppose -c + i = -189. Is c a prime number?
True
Suppose -i + 83 = -5*u + 3*u, -4*u - 196 = 4*i. Let r = 26 + 37. Let f = u + r. Is f a prime number?
True
Let f = 0 - 1. Let y(q) = -q**2 - 1. Let g(h) = 103*h**2 + 2*h + 6. Let p(z) = g(z) + 5*y(z). Is p(f) a prime number?
True
Let z(o) = -277*o + 86. Is z(-9) a composite number?
False
Let u(w) be the first derivative of -w - 2*w + 2*w**2 + 4 - 6. Is u(9) a composite number?
True
Let y(a) = -a + 1. Let t(v) = -12*v + 3. Let q(h) = t(h) - y(h). Let u = 9 - 16. Is q(u) composite?
False
Let p be 2/(-9) - 219028/306. Let j = p + 1653. Is j prime?
True
Let z = 3179 + 5100. Is z a composite number?
True
Suppose -1 = -z + u, -z + 5 = 2*z - u. Suppose 0 = -z*t - 4*t + 1578. Is t composite?
False
Is (2385/30)/(6/4) composite?
False
Let c = 17498 - 6697. Is c prime?
False
Suppose 6*u = 7*u - 3. Suppose -2*r + 1991 = u*g, -g = -r - 5*g + 983. Is r composite?
True
Let j = 58251 - 40238. Is j a prime number?
True
Is 3041 + (3/3 - -4) a composite number?
True
Suppose -2*o - 40 = 3*o. Let i be (-56)/(-7)*(-74)/o. Suppose 7*q - i = 5*q. Is q a composite number?
False
Let j(i) = 4*i**2 - 1 + 3*i + 6 + 66*i**3 - 55*i**3. Is j(6) composite?
False
Let m(f) = -15*f + 7. Let n(k) = k**3 - 5*k**2 + 4*k - 6. Let i be -1*6/(-2) - -1. Let z be n(i). Is m(z) composite?
False
Let q(n) = -n**3 + 3*n**2 + 5*n - 4. Let f be q(4). Is -2 - f - (-686)/2 composite?
True
Let a(l) = -l**3 + 5*l**2 - 4*l + 4. Let q be a(4). Suppose -m + 2*n - 485 = -q*m, 0 = 2*m + 3*n - 320. Is m + -1 + (-2 - -3) composite?
False
Let h = 131 - 36. Is h prime?
False
Suppose -3*g = -6*g + 1257. Is g prime?
True
Suppose -73445 = -166*c + 161*c. Is c prime?
False
Suppose 0 = -k - 3*j + 2470, -j = 3*k + 2*k - 12308. Let z = -1304 + k. Is z prime?
False
Let s(f) = 5*f**2 + 12. Let r be s(7). Suppose 25 = -5*c, 0*l - 3*c = -2*l + r. Is l a composite number?
True
Let j(k) = 2813*k - 41. Is j(2) composite?
True
Suppose 168 - 492 = 4*n. Let x = 220 + n. Is x composite?
False
Let b = -10 + 11. Let s be (-9)/((-36)/736) + 1. Is s - (b + (-2)/2) a prime number?
False
Let a = -10 - -10. Suppose 5*c - 30 = -5*v, a + 3 = 2*c - v. Suppose -1231 = -4*q + x, 5*x - 906 = -c*q - 0*x. Is q composite?
False
Let z(h) = -714*h + 11. Is z(-13) prime?
True
Let d(l) = 3063*l + 4. Let z be d(1). Let k = -2156 + z. Is k composite?
False
Let x(q) be the first derivative of -q**4/4 - 4*q**3 + 5*q**2/2 + 16*q - 1. Let o be x(-12). Is (-11)/((-1)/(o/(-4))) composite?
True
Suppose 69*u - 709414 = -17*u. Is u a composite number?
True
Suppose 2*s - x - 28277 = -4*x, -3*s - 2*x + 42423 = 0. Is s a prime number?
True
Let y(o) = 6*o + 78. Let w be y(-13). Suppose w = -4*x - 429 + 2777. Is x prime?
True
Is (-1)/(-5 - 78288/(-15659)) prime?
True
Let o = -5 + 2. Let h be -2 + (-12)/o - -1. Suppose h*b = -2*b + 1795. Is b prime?
True
Let w(h) = 1138*h + 9. Let z be (-56)/12 - 4/(-6). Let k be w(z). Is (k/22)/((-1)/2) prime?
False
Let k = -32932 - -48899. Is k prime?
False
Let c(i) = -30*i - 4. Let p be c(-6). Let l = 147 + p. Is l prime?
False
Let w = 754 + 257. Is w a composite number?
True
Suppose w + 3519 = 4*a, -19*w + 4386 = 5*a - 16*w. Is a a prime number?
False
Let t = 424 + -246. Suppose -4*a = -2*a - t. Is a prime?
True
Suppose 10*b - 45 = 5*b. Let z(d) = 3*d - 4 - 3*d + 3*d. Is z(b) composite?
False
Let s(g) = 22*g**2 + 2*g - 1. Let i = -3 + 4. Let r be s(i). Suppose -r - 44 = -u. Is u a prime number?
True
Let q(c) = 2*c**3 - 5*c**2 - 6*c + 10. Let w be q(3). Suppose 68 = -4*v + 3*i - 2, 0 = -5*i + 10. Is w/(-4) + (-628)/v a composite number?
True
Suppose 12 = 5*j - 2*o, 0 = -5*j + 3*o + 5 + 3. Is 2 + 1999/j - (-6)/(-8) a prime number?
False
Suppose 2*q + 0*q = -5*x + 215, 80 = 2*x + 2*q. Is (-354)/(-24)*(x + -1) a composite number?
True
Suppose 9*l = 4*l + 5. Suppose n = -3*u - 23 + 9, -l = -3*u + 2*n. Is -158*u/(18/3) a composite number?
False
Suppose -2*p + 15165 = 5*b, -p + 6067 = -2*b + 4*b. Is b a composite number?
True
Is -4 + (-3 + -3771)/(-2) a composite number?
True
Suppose 0*g = 2*g - 1256. Suppose u - g = 625. Is u composite?
True
Let s(z) = -3*z - 8. Suppose 24 = -4*d + 4. Is s(d) prime?
True
Let x = 12213 + -7874. Is x a composite number?
False
Let a(k) = -k**3 + 10*k**2 + 2*k - 20. Let v be a(10). Suppose v = -10*b + 6*b + 4*c + 1040, 12 = -4*c. Is b a prime number?
True
Suppose 18*i + 1480 = 1174. Let n(v) be the third derivative of -3*v**4/8 - 2*v**3/3 - v**2. Is n(i) a composite number?
False
Suppose 278 = g + 5*j - 4537, -4*g + 19352 = -3*j. Is g composite?
True
Suppose -6*y - 12 = -0*y. Is ((-34)/y)/(6/246) prime?
False
Let l(a) = 571*a**2 - a + 3. Suppose 6*i = -8 + 20. Is l(i) a prime number?
False
Suppose -3*y = 4*c + 260 - 1101, 5*c - y = 1056. Is c a prime number?
True
Let q(m) = -5*m + 2*m**3 + 2 - 3*m**3 + 2*m**2 + 2*m**3 + 1. Is q(4) a prime number?
True
Let g = 14 - 12. Suppose -g*l + 10 = -3*p - 6*l, 5*p + 4*l = -6. Suppose -8*o + 725 = -3*o + p*v, 0 = -o - 3*v + 145. Is o a prime number?
False
Let g be 33/7 + 4/14. Suppose -2313 = -3*d - g*i + 1130, 5*i = -4*d + 4594. Is d composite?
False
Suppose -4 = 2*f - 12, -2*d = -f - 19594. Is d prime?
False
Suppose 4*a = -4*s + 208, -4*a - 42 = 2*s - 140. Suppose -35 = 2*p + 3*p + z, 5*p - 3*z + s = 0. Is p/(-16) + (-417)/(-2) prime?
False
Let t(r) = 2*r**2 + 19*r - 24. Let o be t(16). Suppose 0 = -n + f + 484, -5*n - f + 1598 = -o. Is n a prime number?
True
Suppose 4*k - 4*i = 3620, -9*k = -7*k - 3*i - 1808. Is k a prime number?
True
Let w = 3615 + -1708. Is w a composite number?
False
Let q(g) = g**2 + 9*g + 3. Let i be q(-12). Suppose 0 = -w - 54 + i. Let m = 66 + w. Is m prime?
False
Let g(a) = 7*a**2 + a - 1. Let y be g(-2). Let b = 776 + -543. Suppose -b - y = -3*t. Is t a prime number?
False
Suppose 653680 = 7*q + 33*q. Is q composite?
True
Let c(f) = 12*f. Let q be c(-1). Let r be 4*q/20*20. Let w = -9 - r. Is w composite?
True
Suppose -3*s + 6*s - 15 = 0. Suppose -m = 3, -4*y - s*m = -y - 2580. Suppose 5*f = 5*k - y, 0 = -3*k + 4*f - 240 + 755. Is k prime?
False
Suppose -2*b + 6*b + 3197 = -3*u, 3*u