 23 = 4*z. Suppose 4*g - 21 = -0*g - l, -z*g = 3*l - 35. Suppose -3*q = -2*w + 149, -w + 2*q = -g*w + 191. Is w prime?
True
Let n(v) = -150*v - 7. Is n(-2) prime?
True
Suppose 14*m = 18*m - 1484. Is m a prime number?
False
Let t(f) = -3*f + 0*f**2 + 4*f**2 - 2 + 0. Suppose -5*s + 12 = -3*q, -3*s - q - 2*q + 12 = 0. Is t(s) a composite number?
True
Let l = 20 - -103. Is l a prime number?
False
Let c = 1 + 1. Suppose q + 2*q + c*g - 57 = 0, g = -4*q + 76. Is q composite?
False
Let d(c) = -c**3 - 5*c**2 + 11*c + 9. Let y(k) = -k + 17. Let b be y(9). Suppose 4*m + p - 35 = b*m, -3*p - 15 = 3*m. Is d(m) prime?
True
Let c(q) = -13*q - 1. Let m be c(-2). Suppose r - 5*r + 72 = 0. Let w = m - r. Is w composite?
False
Is 6620/(-10)*(-14)/4 a composite number?
True
Let w = -490 - -1103. Is w composite?
False
Let v(r) = -4*r**3 - 9*r**2 - 6*r - 5. Let h(c) = -7*c**3 - 17*c**2 - 12*c - 10. Let d(s) = -6*h(s) + 11*v(s). Is d(-4) prime?
True
Suppose 0 = 4*z + 14 - 38. Let t be 333/6*40/z. Suppose b - 3*b = -t. Is b prime?
False
Suppose -2*j = 5*z - 73, 5*j - 179 = 2*z + 18. Is j a prime number?
False
Suppose -3*g - 581 = 517. Let y = -221 - g. Is y prime?
False
Let i(s) = -s**3 - 10*s**2 - 11*s - 7. Is i(-9) a prime number?
True
Let b(c) = -15*c**3 - 3*c**2 + 5*c + 2. Let m be b(-3). Suppose -3*k + m + 82 = 0. Is k a prime number?
True
Let p(q) = 271*q + 35. Is p(8) a prime number?
True
Let c = -21 + 22. Let i(o) be the third derivative of o**4/4 + o**2. Is i(c) prime?
False
Let g(v) = -v + 1. Let t be g(-3). Suppose 2*n - 192 = t*q + 62, -3*n - 2*q = -349. Is n a composite number?
True
Let u = 3579 + -2392. Is u prime?
True
Let d be (8/1)/4 + -41. Let h = 8 - 16. Let i = h - d. Is i composite?
False
Suppose -b - 430 = -3*b. Suppose -3*n + m + b = -2*n, 5*n = m + 1059. Is n a composite number?
False
Let n be 677/1 + (-2)/(-2). Let y be (-3)/15 + n/(-10). Let z = -22 - y. Is z prime?
False
Suppose t + r - 29 = 0, -2*r - 33 = -4*t + 107. Is t prime?
False
Let r be (-28)/6 - 2/(-3). Let h(j) = -14*j**2 + 4*j + 6. Let d be h(r). Let n = -107 - d. Is n a composite number?
False
Suppose y + 3*y = 5476. Let n = y - 621. Suppose l + n = -2*u + 7*u, -137 = -u - 4*l. Is u a prime number?
True
Suppose -3*d + 45 - 15 = 0. Is d composite?
True
Let j(z) = z**3 - 6*z**2 - 5. Let o be j(6). Let r = o + 7. Let g(k) = 10*k**2 - 2*k + 1. Is g(r) composite?
False
Suppose -2*o = -3*c - 766, 0 = -o - 0*o - 5*c + 409. Suppose 772 = 4*t + l - o, -4*l + 309 = t. Is t composite?
True
Suppose 7 = i + l - 9, 0 = -4*i - l + 52. Let q be (-2)/8 - 45/i. Let u = q + 8. Is u prime?
False
Suppose -6*w = -3*w - 6. Let z(v) = 2*v**3 - 2*v**2 + 2*v. Let c be z(w). Is (c + -2)*(-10)/(-4) a composite number?
True
Is (-3 - -6*1) + 290 a prime number?
True
Let y(o) = o**2. Let x(r) = r**3 - 5*r**2 + 3*r - 3. Let h(f) = x(f) + 5*y(f). Is h(2) prime?
True
Let n(l) = -l**3 + l - 6. Let h be n(0). Let a = h - -10. Suppose f = a, -4*c - c + 5*f = -615. Is c composite?
False
Is (-4*1/(-6))/((-4)/(-186)) composite?
False
Suppose 2*a = -5*l + 18, -3*a - 5*l = -4*a - 21. Is ((-3)/6)/(a/30) prime?
False
Suppose -4*h + 649 = -3*h. Is h a prime number?
False
Let d(t) = -309*t - 2. Suppose 2*u - 2 = -u - 5*k, -2*u - k = 1. Is d(u) composite?
False
Let k(x) = -99*x - 35. Is k(-20) prime?
False
Suppose -5*t - f + 557 = 2*f, f + 214 = 2*t. Is t prime?
True
Let a(k) = 67*k + 5. Is a(8) composite?
False
Is 1068 - 2 - (1 + -2) a prime number?
False
Let m(b) be the third derivative of 37*b**7/5040 + b**5/60 - 2*b**2. Let x(k) be the third derivative of m(k). Is x(1) prime?
True
Suppose -3*a - 7 = 2*s, -2*s + 28 = -a - 3*a. Let r = a + 9. Suppose 0 = -r*f + 9*f - 95. Is f a prime number?
True
Suppose 5*f - 4*q + 0*q - 1843 = 0, 5*f + 5*q - 1825 = 0. Is f prime?
True
Let t = -1640 - -2636. Is 3/(-2)*t/(-18) composite?
False
Let u(i) = -34*i + 19. Is u(-6) a prime number?
True
Let z = 332 + -25. Is z a prime number?
True
Let u = -463 - -706. Let v = u - 146. Suppose 4*a = v + 347. Is a a composite number?
True
Let u(m) = 2*m - 5. Let o be u(4). Suppose 70 = 8*x - o*x. Is x/(-35) + (-347)/(-5) a prime number?
False
Let l = 2 + -1. Let s = l + 1. Suppose 2*z - 148 = -s*z. Is z composite?
False
Let g = 117 - 78. Is g a composite number?
True
Let f be (0 - -1)*(-262)/(-2). Suppose -4*g - 27 = -f. Is g composite?
True
Let q(y) = y + 199. Let p be q(0). Let i(f) = f**2 - 18*f - 19. Let n be i(19). Suppose p = 3*t + 2*h, t + n*t = h + 68. Is t prime?
True
Let l = 3 + 1360. Is l composite?
True
Suppose -4*r + 34 = -2*v, 5*r - v - 41 = v. Is r prime?
True
Let w(y) = -552*y**3 - y**2 - 2*y. Is w(-1) a prime number?
False
Suppose 0*i + 19 = 2*i - w, -2*w - 17 = -i. Suppose 0 = 5*o - 3 - i. Suppose o*l = -2*l + 4*p + 212, -265 = -5*l + p. Is l a composite number?
False
Suppose -17*b = -14*b - 1038. Is b composite?
True
Suppose -d + 3*m + 489 = 7*m, -2*d - 2*m + 948 = 0. Is d a prime number?
False
Suppose 3*t = -2*r + 1765, 3*r + 316 + 265 = t. Is t composite?
False
Let a be (-1)/(-1)*(-12)/4. Let s be 3 - 4 - 231/a. Suppose s = k - 7. Is k composite?
False
Let m(h) = 2*h + 0 - h - h**3 - 1 + 4*h**2. Let b be m(4). Suppose b*i = i + 38. Is i composite?
False
Let y(p) be the second derivative of p**4/12 - p**3/6 - 2*p**2 + p. Let j be y(4). Let v(r) = r**3 - 9*r**2 + 11*r - 5. Is v(j) composite?
False
Suppose -5 = 3*h - 146. Is (h/(-2))/(7/(-14)) composite?
False
Let r(f) = f**3 + 12*f**2 - 2*f - 4. Let m be r(-10). Suppose 0 = -4*x - 4*g + m, 6 + 192 = 4*x - 2*g. Is 2/8 + x/4 composite?
False
Is 256 + 9/3 + -2 composite?
False
Suppose 105 = 5*m - 2*p, -5*m = -2*p + 3*p - 90. Is m a composite number?
False
Let z = 11 + -8. Suppose -2*o + l + 334 = -43, 552 = 3*o + z*l. Is o composite?
True
Suppose 4*t = t + 231. Suppose o - t + 18 = 0. Is o a composite number?
False
Suppose -4*y = -5*o + 4*o + 17, -35 = 4*y + 5*o. Let f(g) = g**2 + g - 1. Let k be f(0). Is ((-11)/k)/(y/(-25)) prime?
False
Suppose 15 = -a + 4*a. Suppose -686 = -a*x - 241. Is x prime?
True
Let p(d) = d**3 + d + 2. Let w be p(0). Is ((-121)/2)/(w/(-4)) a composite number?
True
Suppose -1724 = -9*w + 5*w. Is w a composite number?
False
Let v(q) be the first derivative of q**7/420 + q**6/180 + q**5/40 + q**4/6 - 2*q**3/3 - 1. Let r(z) be the third derivative of v(z). Is r(3) prime?
False
Let l(b) = 2*b**3 + 3*b**2 + 2*b + 7. Is l(4) prime?
True
Suppose 0 = 3*f - 15, t - 23 + 0 = -4*f. Suppose w + t*w = 380. Is w a composite number?
True
Suppose 0 = -s - s + 354. Suppose -3*b + s = -0*b. Is b a composite number?
False
Suppose 4*x - 8 = 0, 5*k = 3*x + 11 + 3. Let n be 3/6 - (-34)/k. Is (6/n)/((-2)/(-21)) prime?
True
Suppose -2*k + k + 373 = 0. Is k a composite number?
False
Let h(g) = 13*g**2 - 7*g - 5. Is h(-5) composite?
True
Is (0 + 2)*217/14 a prime number?
True
Suppose 0 = 4*a + 2*o - 292, -2*o = 4*a + o - 288. Let p be 44/(-6)*a/5. Let t = p - -159. Is t a prime number?
False
Suppose 3*s + 396 = 4*d, -50 = -d + 5*s + 32. Suppose 5*f + 207 = -58. Let o = f + d. Is o a composite number?
True
Let d = -499 + 350. Let c = -91 - d. Is c a prime number?
False
Suppose 0*h + 4487 = 7*h. Is h prime?
True
Let v = 39 + 218. Is v prime?
True
Suppose -2*c + 3918 = 5*m, -4*c = -5*m - 0*m - 7776. Is c composite?
False
Let p = -221 + 478. Is p composite?
False
Let w = -194 + 125. Let l = 146 + w. Is l composite?
True
Suppose -4*i - 367 - 632 = -5*g, -198 = -g - i. Is g prime?
True
Let m be ((-8)/10)/((-1)/10). Let w(t) = t**3 + t**2 + 1. Let u(q) = 3*q**3 - 5*q**2 - 6*q - 4. Let s(z) = u(z) - 2*w(z). Is s(m) composite?
True
Let g be 9/7 + 10/(-35). Is (306 - (g - 2)) + 0 composite?
False
Let u(w) = 4*w + 1. Let v be u(-1). Is v + (1 - -5) + 16 a prime number?
True
Let c(j) = -18*j - 5. Let n be c(-4). Suppose h = 2*h - n. Is h composite?
False
Suppose 5*t - 16 - 10 = -3*s, 3*s - t - 2 = 0. Let d = -52 - -55. Suppose -275 = -s*z - d*z. Is z a composite number?
True
Let g be (-380)/(-4) - (-1)/(-1). Suppose g = -s + 3*s. Is s a prime number?
True
Suppose -11*f + 16577 = -0*f. Is f composite?
True
Suppose 2*o = 4*o - 92. Suppose -268 = -2*v + o. Suppose 5*x = v + 328. Is x a composite number?
False
Is (-2924)/(-10) - 12/(-20) composite?
False
Let k(j) = 3*j**2 + 2*j - 7. Is k(6) a c