i + 527. Let o = 377 - i. Is o a prime number?
True
Let f(d) = d**3. Let q be f(3). Let b = q - -28. Is b prime?
False
Suppose 0 = -z + 435 + 806. Is z a composite number?
True
Suppose 8936 + 3599 = 5*w - 5*k, -4*w + 9996 = 4*k. Is w prime?
True
Let h(a) = 16*a - 4. Let g be h(-4). Let m = -15 - g. Is m composite?
False
Let q = 308 + 161. Is q composite?
True
Suppose -3*i + 1798 = -i - 4*c, -3*c = -2*i + 1802. Is i a prime number?
True
Is (-877)/(-1) - 0/(1 - -4) prime?
True
Suppose 0 = -4*n + 460 + 24. Is n composite?
True
Suppose -3*t + k = -834 - 487, 3*k = 5*t - 2207. Is t prime?
True
Suppose 0 = -4*c - 0*i + i + 336, -5*c + 5*i + 435 = 0. Suppose c + 34 = 2*t - 3*a, -4*t + 199 = a. Is t a prime number?
False
Suppose -5*r - 1703 = -6*r. Is r a composite number?
True
Let h(l) be the first derivative of 20/3*l**3 + 0*l - 1/2*l**2 - 2. Is h(1) a composite number?
False
Suppose 10*a = 12*a - 2082. Suppose -a = -5*g + 154. Is g a composite number?
False
Let q(l) = -12*l**2 - l + 4. Let d(i) = 12*i**2 - 5. Let s(k) = -3*d(k) - 4*q(k). Let g(n) = -3*n. Let a be g(1). Is s(a) a prime number?
False
Is 307/((-2)/(-42)*3) prime?
False
Let b = 212 - 101. Is b a prime number?
False
Suppose 7*o - 2*o - 10 = 4*k, 4*k - 38 = -3*o. Let b = -4 + o. Let n(s) = 13*s**2 - 2*s + 3. Is n(b) prime?
False
Suppose -3*o - 3*j = -285, o - 48 = 2*j + 47. Is o composite?
True
Let s(v) = -v**3 + 10*v**2 - 4*v. Let u be s(6). Let h = -61 + u. Is h a composite number?
False
Suppose 0*n + n + 1 = 0. Let k = 3 + n. Is ((-9)/6)/(k/(-12)) a prime number?
False
Suppose -17393 - 12531 = -4*o. Is o a composite number?
False
Suppose -3*r - r - 8 = -4*n, -3 = 2*r - 3*n. Let h = r + 3. Suppose -31 + h = -d. Is d composite?
False
Let p = -4 - 1. Let a(o) = -17*o + 4. Is a(p) composite?
False
Suppose -n + 0*x + 318 = 5*x, 0 = -5*n + 3*x + 1450. Is n a composite number?
False
Let t = 62 - 191. Let k = -119 + 37. Let q = k - t. Is q a prime number?
True
Suppose -5*j + 2*k = -1764, -527 = -j + 2*k - 171. Suppose 12 = 4*t - 4*d - j, 5*d = 3*t - 277. Suppose -2*i = -i - t. Is i composite?
False
Is 26 - ((2 - -1) + 0) prime?
True
Let z = -241 + 474. Is z a prime number?
True
Is (0 + -1)/((-4)/19860*3) composite?
True
Let g be 2/1 + 30/(-6). Let y be 0 - (2*g + -3). Suppose -y = -2*k + 65. Is k a composite number?
False
Let d = 183 + 86. Suppose -3*u + 0*u = 5*t - 268, -4*t + d = 3*u. Is u a prime number?
False
Suppose 3*n - 1582 = n. Is n composite?
True
Suppose -7465 = -5*s - 870. Is s prime?
True
Suppose h + h - 8 = 0. Let c be (-17)/(-3) - (-36)/27 - 0. Is 154/h + c/14 a prime number?
False
Let b = 10 - 17. Let w(q) = -q - 5. Let a be w(b). Is (4 + a)/3 + 1 composite?
False
Let f(o) = o**3 - 7*o**2 + 7*o - 1. Let r be f(6). Suppose 4*z + 33 = r*z. Is z a prime number?
False
Suppose 2*i + 5*k - 178 = 0, -166 = -2*i + 3*k - 20. Is i a prime number?
True
Suppose -5*o + 1 = -4*b - 5, o + 3 = 5*b. Suppose -a - 95 = -o*a. Is a composite?
True
Let v(g) = 6*g**2 - 16*g - 13. Is v(-11) a composite number?
True
Is 4/6 - 1334/(-6) a composite number?
False
Let p = -10 - -14. Let l(b) = b**3 + 6*b**2 - 6*b - 6. Let o(j) = j**3 + 6*j**2 - 7*j - 7. Let f(x) = 4*l(x) - 3*o(x). Is f(p) a prime number?
False
Let p(m) be the second derivative of 151*m**4/12 - m**3/6 + m**2 - 3*m. Let n be p(2). Is n/16 - 6/8 composite?
False
Let x(v) = -10*v - 19. Is x(-15) a composite number?
False
Suppose -x - 4*x + 50 = 0. Suppose 4*n - 2*n = x. Suppose 5*v = n*a - 0 + 270, -5*a - 117 = -2*v. Is v prime?
False
Let k(f) = f**2 - 9*f + 6. Let o be k(7). Let p be (-4)/4 - (o - -1). Is 2/p + (-64)/(-6) a composite number?
False
Let z = 45 + -52. Let o(n) be the third derivative of -37*n**4/24 + n**3 + n**2. Is o(z) composite?
True
Let y = 497 + -204. Is y a prime number?
True
Suppose 3*c + 1262 = 5*w, 2*c - 761 = -3*w - 0*c. Is (6/(-6))/((-1)/w) composite?
True
Is (-47)/(0/1 + -1) + 4 prime?
False
Let d be (-4 + 1 - -4)*5. Suppose -3*b + 4*w + 12 = 0, -d*b - 3*w = 1 + 8. Let k = b + 46. Is k prime?
False
Let j = 226 + -123. Let y = j - 68. Is y prime?
False
Suppose 0 = -2*k - 2*k + 884. Is k a prime number?
False
Let h(p) = 6*p**2 - 2*p - 1. Is h(-7) a composite number?
False
Let h be 0/(0 - -3 - 2). Suppose h*v + 113 = v. Is v composite?
False
Let q be 2/(-2 - (0 + -1)). Let w be (q - (-42)/15)*5. Suppose 0 = -y - 0*y + w. Is y a composite number?
True
Is (0*(-3)/(-6) + -11)*-17 a composite number?
True
Let w = -64 + 122. Is w a prime number?
False
Is (-368)/(-36) + 4/(-18) a composite number?
True
Suppose 2*z + 3*z + 805 = 5*v, 4*v - 654 = -z. Is v a composite number?
False
Let g = 8 - 2. Is g + (1 - 4) + 12 composite?
True
Suppose 262 = 2*p - 0*h + 3*h, 0 = 2*h + 4. Is p prime?
False
Let h = -17 - -17. Is (-4 + h)*(-170)/8 composite?
True
Suppose 30 = 3*s - 12. Is s a prime number?
False
Suppose -4*l - 1156 = -4*c, -l + 4*l + 1453 = 5*c. Is c composite?
False
Suppose 3*i + 2*z - 1400 = 3*z, z - 1 = 0. Is i prime?
True
Let k(b) = b**2 - 5*b + 7. Let j(u) be the third derivative of u**4/24 - u**3/2 + 2*u**2. Let p be j(-4). Is k(p) prime?
False
Let b = -67 - -29. Let h be (0 - (-2)/(-3))*-3. Is h/(-4)*b/1 a composite number?
False
Let s be (-456)/(-32) - 2/8. Let x = s - 10. Is x prime?
False
Let k(h) = 2*h**2 - 3*h - 2. Let d(o) = 3*o**2 - 2*o - 2. Let n(l) = -3*d(l) + 4*k(l). Let a = 8 - 13. Is n(a) a composite number?
False
Suppose -2*f - 4*i + 278 = 0, 0 = f + 2*f - 4*i - 467. Is f a composite number?
False
Let i be 5/(-10) - (-6)/4. Is 164 - 6/2*i a composite number?
True
Let o(f) = -f + 5. Let a be o(7). Let b(n) = -291*n + 1. Is b(a) prime?
False
Let p(a) = -33*a + 34*a - 3*a**2 + 2*a**2 - 2*a**3 + 3*a**2. Let y be (0 + 1)/(-1 + 0). Is p(y) composite?
False
Let k be (0 - -3)*(-4)/6. Let u be (8/(-10))/(k/5). Suppose -53 - 28 = -h + u*g, 0 = 3*h - 4*g - 241. Is h prime?
True
Suppose -3*b + 216 = 2*j, -5*b + 322 = -3*j - 57. Let k = b - 53. Is k a prime number?
False
Let d = -1088 + 1534. Is d a prime number?
False
Let r(x) = 17*x + 13. Is r(14) composite?
False
Let n = 3 - 1. Suppose 0 = 2*d + n*d - 12. Is (-53)/(-2*d/6) a prime number?
True
Let z(f) = 12*f**3 + 7*f**2 + 10. Is z(5) prime?
False
Suppose -4*w - 4 = -0, 4*z + 3*w - 5937 = 0. Let y = -694 + z. Is y prime?
False
Let i(t) = t**2 + 6*t - 10. Let x be i(-8). Let m = -3 - -108. Suppose -x*q + q = -m. Is q prime?
False
Let n = -21 - -80. Is n a composite number?
False
Suppose 0 = 2*i + 2*k - 119 - 299, -4*i + 3*k + 829 = 0. Let b be i - 4 - (1 - 1). Is b/(3 - 0) + 3 prime?
True
Is 302/8 + (-12)/(-48) a composite number?
True
Let u(t) be the first derivative of 11*t - 1 - 1/2*t**2 - 1/3*t**3 - 1/4*t**4. Is u(0) prime?
True
Is -1 + (-152)/(-12) + 2/(-3) prime?
True
Let l = -6 + 6. Suppose l = 4*q - s - 75, 7*q + 3*s = 2*q + 98. Is q a prime number?
True
Let g(d) = -d**2 + 10*d - 7. Let r be g(9). Suppose 0 = -5*t + 25, 0*t - r*t - 47 = -3*u. Is u a composite number?
False
Suppose -8 + 4 = -x. Let s(l) = -22*l**3 + 5 + 78*l**3 - x. Is s(1) prime?
False
Suppose 4*c - 85 = 339. Suppose 4*v = 2*t + c - 28, -5*v + 4*t + 93 = 0. Is v a prime number?
False
Let a = -13 - -55. Is a + (-2 + 1)/(-1) a composite number?
False
Suppose 4*w = 4*b - 14360, -4*b + 7028 = -3*w - 7335. Is b composite?
False
Let j = -400 + 1911. Is j a prime number?
True
Suppose -68 = -3*s + 2*s. Let w = s - -93. Is w composite?
True
Suppose -2*a + 4*a - 62 = 0. Let r = a - -22. Is r prime?
True
Let n = -30 + 104. Is n prime?
False
Let z = 133 - -333. Is z a prime number?
False
Suppose 5*i + 2 - 7 = 0. Is 67 - (-1 + 3)/i prime?
False
Is ((-145)/(-10))/(3/66) a composite number?
True
Let p be (-258)/21 - -2 - 10/(-35). Let m(q) = -q**2 + q + 1. Let z(d) = -5*d**2 - 4*d - 9. Let j(i) = 4*m(i) - z(i). Is j(p) a prime number?
False
Suppose 5*b + 7*k = 2*k + 5465, 4*b + k = 4384. Is b a prime number?
True
Suppose -12*q + 217 = -11*q. Is q prime?
False
Is (4 - -387) + -2 + 2 composite?
True
Suppose 28*m - 30151 = 17*m. Is m prime?
True
Let c be (29/3)/((-1)/(-3)). Suppose 4*w + c - 409 = 0. Is w a composite number?
True
Let v be 2/(-10) - 2/(-10). Suppose 64 = -4*o - v*o. Is -1 - -1 - (5 + o) a composite number?
False
Is 4 + (24 - 1)*21 a prime number?
True
Suppose -3*z + 5 = 2*y - y, 5*y + 11 = 