2 - 15 + 20 - 9*m + 14*m**2. Is v(6) prime?
True
Let x(a) = a**3 - 6*a**2 + 5*a + 2. Let u(b) = -3*b + 7. Let c be u(-11). Suppose 5*k - 8 = -4*v, -k + 8 = -4*v + c. Is x(v) prime?
False
Let c = 1691 - -642. Is c a prime number?
True
Let u(m) = 4*m**2 + 2 + 3 + 3*m - 3*m**2 - 2*m**2. Let g be u(4). Is 1 + g - 120/(-6) prime?
False
Let t = -780 + 1602. Let b be t/14 + (-18)/(-63). Suppose 2*r - 3*r = -b. Is r composite?
False
Let l(d) = 2*d + 4. Let u be l(-6). Let y = -3 - u. Let a = 90 - y. Is a prime?
False
Suppose 0 = 7*t + 5 + 23. Let f(x) = x**3 + 6*x**2 + 4*x + 5. Is f(t) a prime number?
False
Let z(h) = -31780*h**3 + 6*h**2 + 4*h - 1. Is z(-1) a composite number?
True
Is (-2)/(-10 - -6)*(2 - -660) prime?
True
Let g(y) = 4*y**3 - 6*y - 11. Let c be g(9). Suppose 3*i = -i + 3*k + c, 4*k + 3565 = 5*i. Is i a prime number?
True
Suppose -384196 = -10*q - 55286. Is q a composite number?
True
Let q(z) = 5*z**2 + 18*z + 28. Is q(11) a composite number?
True
Is (8512818/(-34))/(-3 + 0) a prime number?
True
Suppose 199845 = 13*k + 2*k. Is k a prime number?
False
Let d = 10 + -9. Let q(b) = b**2 - 3*b + 1. Let w be q(d). Is (4 - 261)/(w*1) prime?
True
Suppose w - 13 = 3. Let l = w - 3. Is l prime?
True
Suppose -4*a - 9 = -1, -2*l + 3*a = -10. Let t = 0 - -5. Suppose -l*y + 646 = 2*y - t*u, -5*u = -5*y + 805. Is y prime?
False
Let y = -7690 + 11049. Is y composite?
False
Let f(j) = 5*j**2. Suppose -5*x - 2 = -7. Let r be f(x). Suppose p = 2*q + 31, r*p - 2*p - 88 = 5*q. Is p a composite number?
True
Let c(l) = 164*l**2 - 2*l + 1. Let n(k) = 2*k**2 - 2*k - 2. Let f be n(2). Let v be 4 - 1/(f/6). Is c(v) a composite number?
False
Let u be (1 - -9)/(27/1647). Let f = -319 + u. Is f a prime number?
False
Let y be -2 - 3/3*-14*1. Suppose -243 - y = -5*j. Is j a prime number?
False
Suppose 0 = -7*h + 18054 + 22567. Is h a composite number?
True
Suppose -5*c + 3*w = -19024, 5*w = 3*c - 12784 + 1360. Is c prime?
True
Let d = -305 - -782. Suppose 4*j - 4*p - 6 = 2, 4*j + 5*p - 8 = 0. Suppose 0 = -j*n + d + 561. Is n composite?
True
Let t be ((-16)/6 + 2)/(2/(-6)). Suppose -b = 4*f + b - 1008, t*f - 2*b = 510. Is f a composite number?
True
Is (3670492/16)/7 - (-3)/4 composite?
True
Suppose 6738 = 18*y - 7104. Is y composite?
False
Let b(n) be the first derivative of -n**7/840 + n**6/36 - n**5/30 - n**4/4 - n**3 - 1. Let x(w) be the third derivative of b(w). Is x(7) a prime number?
True
Suppose -3*n - 334 = a + 81, -2*a - n = 835. Is (a/4 + 3)*-2 composite?
True
Let c(l) = 108*l**3 + l. Suppose 0 = -0*z + 3*z - 51. Let w = 18 - z. Is c(w) composite?
False
Suppose 73 = -2*k - 387. Let a = 501 + k. Is a composite?
False
Suppose -2*l = -28062 - 22452. Is l prime?
False
Suppose g = -d + 1721, 3*g + d = g + 3442. Is g composite?
False
Is 7940589/299 - ((-74)/26 - -3) a prime number?
True
Let g(a) = 2*a**3 + 60*a**2 + 3. Let w be g(-30). Suppose b - 1550 = 397. Suppose 0 = -0*v + w*v - b. Is v a composite number?
True
Suppose 5*i + 9 = f, 5*f + 13 = 4*i + 58. Suppose -3*o - f = 0, -5*t = -0*t + 3*o - 4201. Is t a composite number?
True
Suppose 0*i - 5 = 5*i. Let j be i*(-6)/((-6)/7). Is (-6)/21 + (-499)/j a composite number?
False
Suppose 298*d = 291*d + 116221. Is d prime?
True
Suppose 4 = 2*v - 6*v. Is ((-582)/(-12))/(v/(-2)) composite?
False
Suppose -18 = 3*h - w + 11, -2*h = -2*w + 26. Let q(k) = -12*k - 9 - 4*k + 0*k. Is q(h) a prime number?
False
Let f(v) = -1700*v - 27. Let c be f(-7). Let s = -7532 + c. Is s a composite number?
True
Let n = 20 + 47. Suppose -p + 88 + n = 0. Is p composite?
True
Let b = 13144 + -324. Is (-3)/2*b/(-30) prime?
True
Let s = -29025 + 59590. Is s prime?
False
Let s = 35 - 27. Suppose 0 = 3*a - a - s. Suppose -a*y + 759 = -5*u, -2*u = -0 - 2. Is y a prime number?
True
Suppose 5*s - 1135 = -5*y - 5335, -y - 5*s - 844 = 0. Let w = 3896 - y. Is w prime?
False
Let b(l) = 167*l + 25. Suppose -i + 15*h = 20*h + 7, -3*i + h + 27 = 0. Is b(i) composite?
False
Is 2/10 - (-39768)/10 prime?
False
Suppose -4*y = 2*v - 2, 4*v + 3*y + 6 = -0*y. Let a(b) = -70*b - 9. Is a(v) composite?
True
Let u = 11 - 11. Suppose 0*m = -4*r - 3*m + 1837, u = 2*r - 5*m - 899. Let v = r + -296. Is v prime?
False
Let u be -3*(-2)/(-2)*-1. Suppose -x + 4*j - 5 = 0, -4*j = -u*x - 6*j + 13. Suppose -x*v = -115 - 92. Is v prime?
False
Suppose 14 = -4*l + 2*x, 3*x + 1 = -l + x. Let s(v) be the second derivative of -v**3/6 + 2*v**2 + 6*v. Is s(l) a prime number?
True
Let g be (-2)/((-3)/((-1878)/(-4))). Suppose 76 = -7*i - 652. Let t = i + g. Is t composite?
True
Is (1/(-7))/(18/(-995526)) a prime number?
True
Let z = -104 - -106. Suppose 4*d + 2*s - 851 + 5 = 0, 3*d - z*s = 631. Is d composite?
False
Let u(x) = 42*x**2 - 12*x - 6. Let y = -1 + -7. Let z be u(y). Suppose 4*r + 238 - z = 0. Is r prime?
False
Let o = -73630 - -110463. Is o prime?
True
Suppose -4*n + 20 = 0, -3*k + n + 0*n - 35 = 0. Is (-149)/(-4 + (-35)/k) a prime number?
False
Let r(v) = v**3 - v. Let b be r(1). Let t(x) = -x**3 - 2*x + 85. Is t(b) a prime number?
False
Let a = -386 + 1315. Is a a composite number?
False
Let r(i) = 643*i - 3. Let d(h) = 161*h - 1. Let o = -8 + 10. Let m(u) = o*r(u) - 9*d(u). Is m(-2) composite?
True
Let t(x) = -5*x + 1. Let k be t(-1). Let u = k - -29. Is u composite?
True
Let c(v) = 5*v**2 + 4*v**3 - 3*v**3 + 6*v**2 + 5. Let i be c(-11). Suppose 4*f + 2*l = 746, -i*f - l + 683 = -245. Is f prime?
False
Let w(f) = -3*f - 1. Let v be w(-1). Is 1/v + 12474/28 composite?
True
Let o be ((-4212)/3 - -1)*(-3 - -2). Is o/2*1*(14 + -12) composite?
True
Suppose f + 3*f = 3*h - 1, -2*f = -4. Is 455*h - (-5 - -9) composite?
False
Let w(k) = 2*k - 2. Let g be w(2). Suppose 0*s = g*s - 52. Suppose -3*u + 91 = -s. Is u composite?
True
Let h(x) = 166*x - 177. Is h(7) a composite number?
True
Suppose 0 = -5*t - 0*v + 5*v - 4230, 0 = -3*t - 2*v - 2548. Let o = -451 - t. Is o a composite number?
False
Is ((-12)/14)/(2/14) + 9803 a composite number?
True
Let g(n) = -n**2 + 9*n - 10. Let v be g(7). Suppose -v*a + 33 - 13 = 0. Suppose 0*z - p + 1040 = z, a*p + 5230 = 5*z. Is z composite?
True
Let v = -49 + 39. Let r(w) = w**3 + 14*w**2 - 5*w + 8. Is r(v) a composite number?
True
Suppose -4 = 4*q - 32. Suppose 11*i - 696 = q*i. Suppose -g - i - 85 = -2*y, -25 = 5*g. Is y prime?
True
Suppose -176*i = -148*i - 358232. Is i prime?
False
Suppose 0 = -4*b - 0*b + 20. Suppose b = 3*i - 1. Let d(n) = 5*n**2 + n + 1. Is d(i) a prime number?
True
Let u = 10435 + -5900. Is u prime?
False
Let p(t) = -5*t**3 - t**2 + 6*t - 1. Let k(m) = -m. Let l(g) = 5*k(g) + p(g). Let i be l(1). Is i/(-14) + (-4980)/(-42) a prime number?
False
Let g = 30590 - -14813. Is g prime?
True
Suppose 0 = -8*x + 5*x. Suppose 0 = -x*r + 11*r - 14971. Is r a composite number?
False
Let k(l) = 39*l**3 + l**2 - 2*l - 7. Let j be k(-5). Let z = j - -11434. Is z a composite number?
True
Suppose -2*l + h + 1695 + 2762 = 0, 0 = 4*h - 20. Is l prime?
False
Let d be ((36/(-10))/(-3))/(1/20). Suppose 0 = -d*u + 20*u + 956. Is u prime?
True
Suppose 4*y - 28 = -2*k, y + 13 = -3*k + 5*k. Suppose 4 = -7*h + k*h. Suppose 5*m - 6*l = -l + 730, -h*l = -2*m + 298. Is m composite?
True
Let a(b) = -3*b**3 + 7*b**2 - 17*b - 7. Is a(-10) prime?
True
Let q be (-6)/(3*2/(-3)). Let u(x) = 5 + 0*x - 9*x + x**q + 10*x**2 - 4 - 5*x. Is u(-10) a composite number?
True
Suppose -3*x = -2*f + 74, 0 = -2*f - 3*x - x + 74. Is (-1 + -28)*f*(2 + -3) composite?
True
Let j = -6 + 6. Suppose j*q = -7*q. Suppose -4*w - 2*p + 1770 = q, -439 = -w - 3*p - p. Is w prime?
True
Let a be (-1 + 11)*1/2. Suppose -2*b - 4214 + 1099 = -a*y, -4*b - 2492 = -4*y. Is y composite?
True
Let b(c) = -29*c**3 + 5*c**2 + 3*c - 4. Let a be b(3). Let n = -426 - a. Is n prime?
True
Let t be ((-2 - -4) + -2)*1. Suppose -s + 2*s - 53 = 3*y, 2*s - 5*y - 106 = t. Is s composite?
False
Suppose 0 = 827*a - 817*a - 31370. Is a a composite number?
False
Let d be (75 - 20)*(-1 - -3). Let w = d - 198. Let y = 153 + w. Is y composite?
True
Suppose -2*m - 5*p = 1043, -4*m - 2399 = 5*p - 338. Let a = -220 - m. Is a composite?
True
Let h be 3 + (-3 + 2)/(-1). Suppose -4*d + 3410 = 3*q - 2723, -4*q + 8224 = -h*d. Is q composite?
True
Let p(z) = -60*z - 6. Let y be p(-6). Is (15 + -16)/((-2 - 0)/y) a c