y prime?
True
Suppose 0 = -7*n + 983 + 2454. Is n a composite number?
False
Let j be 168 - (5 - (1 + 12/(-6))). Suppose -2*q - 3*q + 4655 = 0. Let p = q - j. Is p a composite number?
False
Let g(o) = -36*o + 21 - 3 - 1 - 9*o. Is g(-10) a prime number?
True
Let z be (78/(-9))/(1/84). Let o = z - -288. Let v = -261 - o. Is v composite?
False
Suppose -3*k - 88 - 2 = 0. Let i be 1665/k - 3/(-2). Let z = -28 - i. Is z prime?
False
Is (20/15*2437)/((-2)/(-3)) a prime number?
False
Suppose 2*x + 532 = 4430. Is x a composite number?
False
Suppose 260*k - 111590 = 250*k. Is k composite?
False
Let t be -2 + 39/(-9)*3. Let f(k) = 4*k**2 + 2*k - 7. Is f(t) a prime number?
True
Let b = -66 + -14. Let g = 31 - b. Suppose 0 = s + 4*l - g, -s + 47 = -5*l - 100. Is s composite?
False
Suppose k - 2*c - 10213 = 0, -73*k + 4*c = -72*k - 10203. Is k prime?
True
Suppose -v + 16133 = -2*o - 10774, 3*v - o - 80721 = 0. Is v composite?
True
Suppose 3*v = -11*c + 7*c + 116689, -2*c - 77816 = -2*v. Is v prime?
True
Let l(d) = -27*d - 5. Suppose -y + 3*k - 17 = 0, 4*y + 28 = -2*k + 6*k. Is l(y) a composite number?
True
Suppose 4 - 20 = -4*i. Suppose 0 = i*m - h - 8, 4*m = 3*h - 0 + 16. Let s(a) = 85*a. Is s(m) a prime number?
False
Suppose -4*i + 0*i = 136. Let c = i + 16. Is ((-12)/c)/(2/1893) prime?
True
Let o = 8 - -5. Let t = o + -10. Suppose -p - t*h + 71 = 0, 3*h - 4*h + 122 = 2*p. Is p composite?
False
Let i(a) = -a**3 - 9*a**2 - 9*a + 38. Is i(-23) a prime number?
False
Let z(b) = -155*b**3 + 2*b**2 - 5*b + 7. Is z(-4) composite?
True
Suppose -3*j + 12116 = b - 7342, 25939 = 4*j + 3*b. Is j composite?
True
Let g(n) = n**2 + 2*n. Let u be g(-5). Let c(x) = 0*x + 1 - u*x - 13*x + 5*x. Is c(-6) composite?
False
Let p(d) = d**3 + 48*d**2 + 23*d - 63. Is p(-34) composite?
True
Let g be (-2)/(-8) + 6633/44. Suppose g = 5*o - 34. Is o composite?
False
Let a = -25 + 492. Suppose 0 = 9*d - 8*d. Suppose -4*f + 632 = 4*c, 3*f + d*c = 4*c + a. Is f a prime number?
True
Let k(b) = b**2 + b. Let w(d) = -4*d**2 - 10*d + 3. Let m(i) = 3*k(i) + w(i). Let r be m(-7). Suppose 0 = h - 2*y - 159, 5*h - 783 = -r*y + y. Is h prime?
True
Let u(q) = -38*q + 19. Is u(-8) a prime number?
False
Let z = -36664 - -54287. Is z prime?
True
Suppose -6 = 3*l - 33. Suppose 0*q = 5*m - 3*q + 1, -3*m = q + l. Is (-12)/m + (6 - 5) prime?
True
Let a = -38 + 41. Suppose a*h - 2*h - 1258 = -b, 5*h - b = 6296. Is h prime?
True
Suppose -5*z - 4 - 1 = 0. Is (-1)/((-3)/(-1191)*z) composite?
False
Let u(y) = 5*y**2 + 12*y - 72. Is u(17) composite?
True
Suppose 5*a - 4*y - 1106 = 3*a, 5*y = a - 553. Is a composite?
True
Suppose 5*p - 3*n = 13153, 5*p = 2*n + 4965 + 8192. Is p composite?
False
Suppose 3*l = -5*b + 1852, 5*b - 889 = -5*l + 971. Suppose -b + 24 = -4*x. Let s = 361 + x. Is s a prime number?
False
Let g = -9 - -22. Suppose y + 12 = 38. Let z = g + y. Is z a composite number?
True
Suppose 551 = 7*u - 212. Is u composite?
False
Let j be (-2)/8 + 22274/8. Suppose 5*k - 2791 = -2*h, 5*k = -2*h + 7*k + j. Is h a prime number?
False
Suppose -355 = 4*w - 5379. Let v = w + -729. Is v composite?
True
Let l(s) = -1 - 2*s + s - 1 - 2*s. Is l(-13) prime?
True
Let t be 36/66 - 48/88. Let u(o) = o**3 + 8*o**2 + 5*o + 2. Let g be u(-3). Suppose -4*n + 268 - g = t. Is n prime?
True
Let m(i) = i. Let s be m(5). Suppose -c = 5*q - 3*c + 274, -s*q - 272 = -c. Let p = q - -259. Is p prime?
False
Suppose -4*n - 13753 = 6*a - 3*a, 2*a + 9170 = -2*n. Let b be 2*(-2 - a/6). Suppose 329 = -c - 5*z + 860, 3*c - 2*z = b. Is c a composite number?
True
Suppose 794*c - 798*c + 844 = 0. Is c a composite number?
False
Suppose -35*r - 25436 + 128721 = 0. Is r a composite number?
True
Suppose -t + 3*t - 1892 = 0. Suppose 3*d + 373 = t. Is d a composite number?
False
Let n(a) = -a**3 - 31*a**2 - 11*a - 39. Is n(-34) a prime number?
True
Let r = 3396 - 2035. Is r a prime number?
True
Suppose 5*m = 2*h + 27979, -75*h + 72*h = -9. Is m composite?
True
Let j = 902 - 426. Suppose 4*p - 1458 = -3*u + p, -j = -u - 3*p. Is u composite?
False
Let a(b) = -1394*b**3 - 2*b**2 - 4. Let n be a(-2). Is (4/10)/(8/n) a composite number?
False
Suppose 400 = 15*c - 17*c. Let t = c - -589. Is t a prime number?
True
Let n be 2*5/(-10) + 30. Let k = n - 29. Suppose -4*r + k*r + 5140 = 0. Is r prime?
False
Suppose -7*h + 2*h + 4*w = -12, -w = -h + 2. Is (-2)/h + 519/6 composite?
True
Let i(q) = -q**2 + q + 1. Let b(f) = -6*f**2 + f + 7. Let h(v) = b(v) - 5*i(v). Let r be h(-4). Suppose s + r*s = 2667. Is s a prime number?
False
Let o(t) = -3*t - 9. Let v be o(-11). Let n be (-8)/6*(-27 + v). Suppose -2 = -p, -p + 72 = g + n*p. Is g prime?
False
Suppose 2*r = 7*r + 25, x = -2*r - 2. Let l = x - 8. Is (3 - (l + 2)) + 330 prime?
True
Suppose -2*y + 18 = y. Suppose -i + y*i = 25. Suppose i*a - 409 = 2*b, 0*a + 3*b = 5*a - 406. Is a composite?
False
Let m(l) be the second derivative of -l**5/10 + l**4/12 - 2*l**3/3 + 3*l**2/2 + 2*l. Is m(-4) a composite number?
False
Suppose -19*i + 24747 + 19580 = 0. Is i a prime number?
True
Suppose 103*b = 1322373 - 475507. Is b a prime number?
False
Let s(g) = -229*g - 20. Let o(w) = -76*w - 7. Let i(r) = 11*o(r) - 4*s(r). Is i(2) a composite number?
False
Suppose -41*r + 195303 = -45736. Is r a prime number?
True
Let k = -29 + 50. Let r = -12 + k. Is (-4 - (-915)/r)*3 a prime number?
True
Let c(f) = 89*f**2 - 13*f + 51. Is c(7) prime?
False
Suppose -9721 = -5*g + 5944. Let q = 2238 - g. Let z = q + 1344. Is z a prime number?
True
Is -1 + (-2889)/(-9)*(55 - 1) prime?
True
Suppose -8 = -z - 0*z - m, m + 2 = 0. Suppose 4*a - 2*o - 12 = z, -o = -1. Is (362/(-3))/((-4)/a) a composite number?
False
Let b = 7317 - -13444. Is b composite?
True
Suppose -3 - 4 = 2*b - 3*z, 0 = 2*z - 2. Let f = -146 + 185. Let h = f + b. Is h a prime number?
True
Suppose 2*u = f - 18979, -19*u + 21*u = 5*f - 94927. Is f prime?
False
Let o(v) = -v**3 - v**2 - v + 521. Suppose 2*c = -2*c - 2*a, 3*a = -4*c. Is o(c) prime?
True
Let z(j) = -j**3 + 61*j**2 - 23*j - 1. Is z(14) composite?
True
Let u(n) be the third derivative of 1/12*n**4 - 4*n**2 + 23/60*n**5 + 0 + 0*n + 1/6*n**3. Is u(-2) a prime number?
True
Let n = 1774 + 456. Is (n/(-20))/(2/(-4)) composite?
False
Let t = 10 - 6. Suppose k = 230 + 43. Suppose k = t*b - b. Is b prime?
False
Let x(p) = 159*p**3 - p**2 + 5*p - 7. Let o be x(3). Suppose o = 4*r - 2*h - 2*h, 4*r + 4*h = 4260. Is r prime?
True
Suppose 9*g - 4*g = 2*a + 34, -5*a + 2 = 2*g. Suppose -g*n + n = -3670. Is n prime?
False
Suppose -124 = 11*y + 96. Suppose 3*p + 0*q + 15 = 4*q, 15 = -5*q. Let o = p - y. Is o a composite number?
False
Suppose 5*j - 5 = 0, o - j + 5*j = -1. Is 176796/60 + ((-4)/o)/2 a prime number?
False
Let a = -8159 - -11458. Is a prime?
True
Suppose 35 = 3*a - 37. Suppose 0 = -4*k + 844 - a. Is k prime?
False
Suppose -1576 + 11618 = 2*l. Is l prime?
True
Is ((-12)/14)/((-36)/168) + 11713 composite?
False
Let q = -3 + 8. Suppose -7383 + 2498 = -q*l. Is l a prime number?
True
Let a(s) = 493*s + 54. Is a(5) composite?
True
Let s = -54 - -54. Suppose s = -2*c - 0*j - 2*j + 2648, -5*j = 3*c - 3976. Is c a prime number?
False
Suppose 113*s + 31765 = 118*s. Is s a composite number?
False
Is (13 - 2)*((-3 - -4199) + 5) a prime number?
False
Let z be 6/(-39) + 126/(-26). Let f = z - -5. Suppose -2*o = -f*o - 578. Is o composite?
True
Let q be ((-22)/(-3))/(8/(-12)). Let v(a) = -9*a - 5 + 17*a - 20*a. Is v(q) composite?
False
Suppose -5*d = -3*k + 1361, -3*d - 1416 = -5*k + 831. Suppose 0 = -5*i - 2*w + k, 3*i - w = 164 + 102. Is i a composite number?
False
Let y(n) be the third derivative of 211*n**4/12 - 7*n**3/6 - 16*n**2 - 2. Is y(3) prime?
True
Suppose -163*d = -156*d - 609. Is d a prime number?
False
Let u(t) = 12*t**2 - 10*t - 39. Is u(22) prime?
False
Is 6/24 - (-764652)/16 a prime number?
True
Let q(u) = 25 - 3*u**2 - 23*u + 21*u + 4*u**2. Is q(-10) prime?
False
Let c = 53248 + 37154. Suppose 0 = -4*t - h + 379705, t - c = 3*h + 4534. Is (-2)/13 + t/91 a composite number?
True
Let s(j) = 905*j**2 + 4*j - 16. Is s(3) a composite number?
True
Suppose 0 = -0*l - 3*l + 5469. Suppose -4*u + l = 147. Is u prime?
True
Let b be (0 - -1)/1 - (-35 + 2049). Let z = 3412 + b. Is z prime?
True
Suppose -k + 2*t + 13 = 0, -