 a prime number?
True
Let b(u) = -u + 9. Let z be b(5). Let w(l) = -3*l + 6. Let d be w(z). Let o(c) = -4*c + 1. Is o(d) a composite number?
True
Suppose -2*p - 2*p = -12. Suppose 2*q - 16 = 6*a - a, 0 = -3*q - p*a + 3. Suppose -n - 71 = -5*u - 0*n, -3*u + q*n + 45 = 0. Is u a composite number?
True
Let k = 45 - 10. Let z = 20 + k. Is z a prime number?
False
Suppose a - 748 = 4*u + 4*a, 3*u + 561 = -2*a. Let d = -188 + 66. Let w = d - u. Is w composite?
True
Let b(m) = 448*m**2 + 1. Is b(1) prime?
True
Suppose 4*a + 10 - 2 = 0. Let i(u) = 6*u**2 + 2*u + 2. Let l be i(a). Is 2/(-2 + l/10) composite?
True
Suppose 4*w - 384 = 2*w. Suppose 4*v - 4 = w. Is v prime?
False
Is (-490)/(-3) + 3/(-9) a prime number?
True
Suppose 18*v - 8*v = 2170. Is v composite?
True
Suppose -5*r + 5*t + 4335 = 0, 3108 + 1191 = 5*r + 4*t. Is r a prime number?
True
Suppose 5*i - 5*u = 240, -2*i - 5*u = i - 168. Is i a prime number?
False
Suppose y = 2*l - 2763, -4*y - 5528 = 2*l - 6*l. Is l composite?
False
Suppose -3*b = 4*a - 37, b + 2 = -b. Let k(w) = -6*w**3 + 12*w**2 - 8*w + 20. Let f(t) = t**3 - t - 1. Let z(c) = 5*f(c) + k(c). Is z(a) composite?
True
Suppose 5*r - 3*t = -543, -347 = 5*r - 4*t + 197. Let s = -77 - r. Is s prime?
True
Let y = -43 + -77. Let l = y - -229. Let w = l - 32. Is w composite?
True
Let s(q) = -q + 5. Let k be s(4). Is 50*k - (1 - -2) a composite number?
False
Let x(u) = u**3 + 4*u**2 - 12*u + 12. Is x(7) composite?
False
Let y = -6 - -18. Suppose v - 13 = y. Suppose 2*i - v = 17. Is i composite?
True
Suppose -5*n + 4*n + 323 = 0. Is n composite?
True
Let x = 47 - -114. Is x a prime number?
False
Let w be (-10)/14 + (-2)/7. Let l(r) = 10*r**2 - r - 1. Let z be l(w). Suppose 2*o + 3*p = 68, -p - 4*p = z. Is o a prime number?
True
Let d(t) = -4*t**3 - 2*t**2 - 2*t + 3. Let w(m) = -m**3 + 4*m**2 + 4*m + 1. Let r be w(5). Is d(r) a prime number?
False
Let h = -698 + 1107. Is h prime?
True
Suppose -3*h - 6 + 42 = 0. Let b(j) = -9*j + 1 + h*j + 3*j**2 + 0. Is b(3) prime?
True
Suppose 7*t = 5*t. Suppose 985 = 5*a + x, t*a - 2*a + 367 = -5*x. Suppose 3*i = -i + a. Is i a composite number?
True
Let i(q) = q + 11. Let b be i(-9). Suppose 250 = 2*z + 4*h, 0 = b*z - 6*z + 3*h + 511. Is z a composite number?
False
Suppose h = 3*h - 160. Suppose -10 = -5*w + h. Is (-425)/(-9) - 4/w prime?
True
Suppose -949 = -y + 3*d, 0*d + 2*d - 1922 = -2*y. Suppose -4*b + y = -10. Let t = b - 129. Is t a prime number?
True
Suppose -2981 = -3*c + 3*g - 7*g, -c = -2*g - 987. Is c a prime number?
True
Let b(j) = j**2 - 9*j + 10. Let s be b(8). Suppose 2*a = -s*a + 276. Is a a composite number?
True
Let g = -1129 + 1616. Is g a composite number?
False
Suppose -4*u = 2*l - 2, 3*u - 5*u + 3 = -l. Let t = u + 0. Suppose w + 3*j = -6 + t, -j + 24 = 4*w. Is w composite?
False
Suppose 0 = 2*j + 10, -j - 3*j = 4*k - 1608. Is k prime?
False
Is (426/(-15) - -3)*-5 prime?
True
Let c(l) = 15*l**3 - 7*l**2 + 6*l + 37. Let z(y) = -7*y**3 + 4*y**2 - 3*y - 18. Let n(o) = -6*c(o) - 13*z(o). Let v be n(10). Let x = v - 11. Is x prime?
True
Suppose 3*d = 4*d - 541. Is d a prime number?
True
Suppose -4*p + r + 9 = 0, 0 = -5*p - 3*r - 2*r + 30. Suppose -p*i - 308 = -4*f, 3*f - 213 = 4*i + 18. Is f prime?
False
Let x = 665 + -34. Is x prime?
True
Suppose k - 3 - 4 = 0. Let b(h) = h**3 - 7*h**2 + h + 6. Is b(k) a prime number?
True
Let v = -35 - -56. Suppose 3*y - 36 = v. Is y a prime number?
True
Suppose -3*t + 214 + 539 = 0. Is t a composite number?
False
Let x be (-46)/(-14) - 4/14. Suppose j + 32 = -x*j. Let f = 12 + j. Is f a composite number?
True
Let f(h) = h**3 + 7*h**2 - 8*h - 3. Let v be f(-8). Let a(w) = -3*w**3 + 3*w**2 - 2*w - 3. Is a(v) prime?
False
Is (25/10 + -3)*-3158 a prime number?
True
Is 4 + (5 + -70)/(-1) a prime number?
False
Suppose 1364 = 5*p - 3*t, 2*t - 1082 = -3*p - 275. Is p composite?
False
Let t be ((-2)/(-3)*-213)/(-1). Suppose 0 = b + b - t. Suppose b + 22 = 3*c. Is c prime?
True
Suppose 0 = -3*j + 5*j - 2510. Suppose -j = -8*x + 3*x - 3*z, 0 = -2*z. Is x a composite number?
False
Suppose 3*i - 48 = 5*c + 281, 0 = 5*i + c - 511. Suppose 29 = -2*m + i. Is m a composite number?
False
Let a(c) = c**2 + 3*c - 2. Let b be a(-4). Suppose -5*s + b*s = -267. Is s a prime number?
True
Suppose 3530 = 5*g - 3*o, -3*g + 1640 = 4*o - 507. Let j = g - 374. Is j a composite number?
True
Let w = -102 - -59. Let f = -21 - w. Is f a composite number?
True
Let g = -6 - -8. Suppose 3*y - 251 = -5*w, 3*w + 271 = 3*y - 2*w. Is -2*y*g/(-4) a composite number?
True
Is (-32474)/(-65) - 6/10 a composite number?
False
Is 1222/3 + (-3)/9 prime?
False
Suppose -3*v - 2*f = 62, -v - 4*v - 104 = 4*f. Let j be (12/5)/((-6)/v). Let u = -5 + j. Is u a composite number?
False
Let p be 69/15 + 4/10. Suppose 2*c + 2*c - 3*v = -464, -p*v - 206 = 2*c. Let d = -79 - c. Is d prime?
False
Suppose 28*c + 12714 = 34*c. Is c a prime number?
False
Let h(i) = 138*i + 1. Let w = -11 + 15. Is h(w) a prime number?
False
Let i be (-2 + 32)*4/12. Let w = 17 - i. Is w prime?
True
Suppose 5*p + 290 - 2125 = 0. Suppose d - 5*z = 3*d - p, 5*d - 940 = -5*z. Is d composite?
False
Suppose 3*p + 468 = -0*p. Is (-1 - 0)/(6/p) prime?
False
Let j(f) = 10*f**2 + 2*f + 9. Is j(5) composite?
False
Let h = 5 + 11. Let v = h + -6. Is v a composite number?
True
Let s(x) = x + 1. Let d be s(6). Suppose 6 + 6 = 4*l - 4*f, -d = -3*l + 5*f. Suppose 2*h - l*h = -94. Is h composite?
False
Let k = 190 - 135. Suppose q - 22 = k. Is q prime?
False
Suppose 2*h + 40 = 2*g - 506, h = -2*g - 270. Is 12/20 - h/5 a prime number?
False
Let i be 11 - (6/2 + -1). Let y(g) = -2*g**3 - 3*g**2 - g. Let q be y(-2). Let r = i + q. Is r composite?
True
Suppose 19 + 1 = 4*q. Suppose -q*b = -p, 4*b = -6*p + 3*p - 19. Let n(l) = -3*l + 6. Is n(p) prime?
False
Suppose 2*o = 3*o - l - 6, -o + 4 = l. Is 187/o + (-18)/45 a composite number?
False
Suppose -5*l + 415 = -1040. Is l a prime number?
False
Let o(c) = 7*c - 3. Let d(t) = -t + 2. Let r be d(-2). Is o(r) prime?
False
Let w(q) = 21*q**2 - 5. Is w(-4) prime?
True
Let b = 7 + 14. Suppose 3*l + 3*w - 6 = b, 4*l + 4 = 4*w. Suppose 0*m + 4*d = -5*m + 413, 355 = l*m - 5*d. Is m prime?
False
Suppose -2 + 27 = 5*a. Suppose 37 - a = 2*t. Suppose -3 + t = b. Is b a prime number?
True
Let k be 3 - 2/(6/(-639)). Let d = k - -35. Is d prime?
True
Is 669 + (-4 - -4)/(-5) composite?
True
Suppose -159 = -p + 6. Let t = p - 66. Let d = t - 68. Is d composite?
False
Suppose -2*p + 3*k + 6 = 0, 5*p - 3*k - 7 + 1 = 0. Suppose 0 = -5*w - 3*z - 13 - 24, p = -5*z - 20. Let g(h) = -h**3 - 2*h**2 + 4*h. Is g(w) composite?
True
Let v(o) = 12*o**2 - o - 2. Let q be v(-2). Let n = q + -33. Is n composite?
True
Suppose 2*y = -c + 93 - 30, 0 = y - 2. Is c composite?
False
Suppose p + 9 = -2*p. Let z(d) = 7*d**2 + 2*d + 2. Is z(p) a composite number?
False
Let f = 231 - 122. Is f a prime number?
True
Suppose 85 = 3*d - 2*y, -4*d + 16 = -4*y - 92. Is d a composite number?
False
Suppose n = j - 0*j - 313, 0 = -2*j - 4*n + 650. Is j composite?
False
Let d(v) be the second derivative of 11*v**5/120 + v**4/24 + v**3/2 - v. Let r(q) be the second derivative of d(q). Is r(2) a composite number?
False
Let w(s) = -s**3 + 11*s**2 - 17*s + 4. Is w(-9) prime?
True
Suppose -s - 3*j - 7 = 0, 4*j - 5*j = -2*s + 7. Suppose s*l - r = 10, 0 = -3*l - 4*r - r + 2. Is l/(-14) + 93/7 composite?
False
Let v(q) be the third derivative of -17*q**4/24 - q**3/6 + q**2. Let m be v(7). Is m/(-21) - 2/(-7) a prime number?
False
Suppose 0 = 4*w, 6*y + 2*w = y + 21220. Is 2/(-3 - y/(-1412)) a composite number?
False
Let h(d) = -d - 11. Let i be h(-10). Is 1 - 27*-3 - i composite?
False
Let f(s) = -81*s + 68. Is f(-13) composite?
True
Suppose 5*q = 5, 4*p + 5*q - 994 = 4235. Is p composite?
True
Let q be 83*(2*-1 - -5). Suppose 0 = 5*j + 4 - q. Is j a composite number?
True
Let z(h) = -h**3 - 10*h**2 - 3*h - 12. Let k be z(-10). Is 1/(-2) - (-2223)/k a composite number?
True
Let v be (10 + -7)*1/(-3). Is (3 - 4)*(-50 + v) a composite number?
True
Let l(v) = -v**2 + 10*v - 9. Suppose 3*f - 4*f + 3 = 0. Suppose h = f*h - 12. Is l(h) composite?
True
Let j = -7 - -9. Suppose -93 = -3*g + j*g - 4*h, -5*g - 5*h = -405. Is g a prime number?
False
Suppose -17 = -w + 5*p 