p - 1. Let m be u(1). Let t = 0 + m. Is 1*(t - -2 - -79) a prime number?
True
Suppose -2*m + 117 + 355 = 5*d, -d = 4*m - 926. Is m/14*28/6 a prime number?
False
Is (-16)/(-12) + (-699)/(-9) a prime number?
True
Let p(r) = -r**3 + 7*r**2 - 5*r - 5. Is p(4) a composite number?
False
Let s(g) = -g**2 + 14*g - 5. Suppose 42 = 3*j - 5*n - 8, 8 = -2*n. Is s(j) composite?
True
Suppose -4*t = 16 - 132. Suppose -10 = -3*k - 28. Let l = t + k. Is l a prime number?
True
Let v = 726 + -301. Let l = -220 + v. Is l composite?
True
Suppose 5*r + 36 = -9. Is 5 + r/3 - -741 prime?
True
Suppose -p - 3 = -2. Let r(h) = -3*h - 1. Let q be r(p). Is q/4 + (-711)/(-6) composite?
True
Let w(n) = 5*n - 6. Let p be w(6). Let g = p + 13. Is g composite?
False
Suppose -5*t + 2*c = -3 - 4, -t + 5 = -4*c. Suppose 11 = 5*p + t. Suppose 5*d = -p*m + 6*d + 528, 524 = 2*m - 3*d. Is m a composite number?
True
Let p(a) = 6504*a. Let v be p(1). Suppose 5*w = -b + 4*w + 1636, -4*b + v = -4*w. Is b prime?
False
Let x be 1/3 - (-11)/3. Suppose -5*h + 3*m = -m - 2485, 994 = 2*h + x*m. Is h a prime number?
False
Suppose 3*a - 7 = 5*z, 0*z - 2*a = -z - 7. Is (5 - (z - -2)) + 9 a composite number?
False
Let c(r) = -69*r - 8. Is c(-5) prime?
True
Let c = -66 + 359. Is c a prime number?
True
Let k be (-16 - -20)*-1*1. Let w(y) = -y**3 - 2*y**2 - 4*y + 5. Is w(k) a prime number?
True
Suppose 0 = -2*t + 2*o + 550, 2*o = -2*t - 0*t + 530. Suppose 4*b - 520 = -3*d, -8*d = 2*b - 4*d - t. Is b composite?
False
Let f(i) = -i**3 - 10*i**2 - 2*i - 7. Let c be 0/1 - (-1 - -15). Let b = c - -4. Is f(b) composite?
False
Suppose 2*d + 2779 = 9*d. Is d prime?
True
Let o = 4 - 8. Let s(i) = 13*i**2 - 2*i - 3. Let j(f) = -13*f**2 + 2*f + 2. Let q(h) = 2*j(h) + 3*s(h). Is q(o) a composite number?
False
Suppose -6*v = -v - 1175. Is v a composite number?
True
Let s(f) = 11*f. Let y be s(1). Suppose -5*q + 57 = 2*k, -7 = -2*q - 2*k + y. Is q a prime number?
True
Suppose -6*w + 518 = -4*w. Is w a prime number?
False
Suppose 5*m - 3*y = -5, 2*m = 7*m + 2*y - 20. Suppose c - 3*i = -6, m*i = -4*c - 3*i + 44. Is 158/c - (-1)/(-3) a composite number?
True
Suppose -1459 = -3*j - n + 45, 0 = -3*j + 5*n + 1534. Is j composite?
False
Is 7737*(-9)/(-27)*(-1)/(-1) a prime number?
True
Suppose 4*z - 61 = 51. Let d be z - (1 - (1 - 0)). Suppose 0*r + 2*r - d = 0. Is r a composite number?
True
Suppose -5*j + 702 = -103. Is j prime?
False
Let m = 234 - 126. Suppose 88 = -5*n - 5*r - 92, r = -3*n - m. Is 1*((-1)/(-1) - n) prime?
True
Is (-16)/8*6/(-4) a composite number?
False
Let a(o) = -15*o - 3*o - 13*o - o - 1. Let l = -3 + 2. Is a(l) a prime number?
True
Is 1167/27 + 4/(-18) prime?
True
Let m = 1189 - 678. Is m a prime number?
False
Let k = 2672 - 1448. Suppose 3*z - 2331 - k = 0. Suppose z = 4*p + p + 5*s, p + 5*s = 245. Is p composite?
True
Let w be (6 + 0)*(8 - 7). Let y = w - 12. Is 520/6 - y/18 a prime number?
False
Let k = -1 + 5. Suppose -4*f = 2*b, 13 = k*f - 2*b - 3. Suppose -5*x = 4*a - 4*x - 49, -a - f*x = -7. Is a a composite number?
False
Let l(c) = 6*c**3 - 2*c**2 + 2*c - 1. Let u be l(1). Suppose u*q - 71 = 59. Is q a prime number?
False
Suppose -4*l = 3*r + 511, -5*l - 659 = -6*r + 3*r. Let k = -75 - l. Is k a prime number?
False
Let m(b) = -b**2 - 7*b + 4. Let u be m(-7). Suppose -u*k = -4 - 12. Suppose 0 = -4*i - k*t + 56, i - 3*t + 3 = 1. Is i prime?
False
Suppose 4*j = 3*b + 9442, 4*j + 4*b - 14430 + 5002 = 0. Is j composite?
True
Let a = -2 - -4. Suppose i - 21 = -a*i. Is i prime?
True
Suppose 2*b + 4764 = 6*b + 4*v, -2*b + v + 2388 = 0. Is b composite?
False
Suppose -3*k + 6 = -0. Suppose k*x = -x - 3. Let m(g) = -52*g + 1. Is m(x) composite?
False
Suppose -b + 5*b + 3*m - 27800 = 0, b - 6955 = -2*m. Is b composite?
False
Let a(x) be the third derivative of x**5/30 + 5*x**4/24 + 2*x**3/3 - 2*x**2. Is a(-7) a prime number?
True
Suppose -125 = 4*o - 921. Is o composite?
False
Suppose -4*f - 3*z + 478 = 0, z + 348 = 3*f - 2*z. Suppose 3*c - 102 = -3*w, -3*c - 8 + f = -5*w. Let y = c + 18. Is y prime?
True
Let t = 1 + 1. Let i be (t/(-1))/(2/(-43)). Suppose 4*p - 9 = i. Is p composite?
False
Suppose -j - 5*h + 191 = 0, -3*h = -j - 4*h + 207. Is j a prime number?
True
Suppose 3 = i, -2*i - 5 = -3*a - 2. Suppose -a*g + 6 + 24 = 0. Is g prime?
False
Suppose m - 1646 + 664 = -5*h, 5*m + 3*h - 4844 = 0. Is m a composite number?
False
Suppose 332 = 3*w - 301. Is w prime?
True
Let k(h) = 4*h + 1. Suppose 2*j = 1 + 5. Let a be k(j). Suppose -l = -2*l + a. Is l prime?
True
Is ((-439)/2)/((-2)/4) a prime number?
True
Suppose 0 = 2*q - 9 - 1. Suppose -q*i + 5*o = -125, 3*o - 20 - 15 = -2*i. Is 4/2 + i + -1 a prime number?
True
Let u(h) be the first derivative of -3*h**4/4 - 5*h**3/3 - 2*h**2 + h - 3. Is u(-3) a prime number?
False
Let w = -17 + 9. Let i = w + 21. Is i a prime number?
True
Let x(w) = -11*w**2 + 11*w + 7. Let d(v) = -12*v**2 + 12*v + 7. Let j(a) = 3*d(a) - 4*x(a). Is j(-5) composite?
False
Suppose 0 = -2*u - 3*u + 15. Suppose u*t - 1317 = -252. Is t composite?
True
Let l be 29 - 0*2/(-4). Let z = -7 + 10. Suppose z*c - l = 10. Is c composite?
False
Let l be 2*2/(-4)*2. Let o be (-3 + 3 - -2) + l. Suppose -2*v + v - 2*s + 25 = o, -2*s = 2*v - 44. Is v composite?
False
Let a(k) be the third derivative of -13*k**5/12 - k**4/24 + k**3/6 - 2*k**2. Let s be a(1). Is s/(-1) - 0/(-5) prime?
False
Let q = -20 - -87. Is q a composite number?
False
Let q(o) = 3*o**2 + 12*o + 7. Is q(-15) prime?
False
Suppose p - 975 = -2*p. Let i be ((16/(-2))/(-2))/2. Suppose -3*u = i*u - p. Is u composite?
True
Let l = 32 - 13. Suppose -4*z - z = -25. Let m = l - z. Is m composite?
True
Let b be 0/(5/(15/(-6))). Let o = 13 + -8. Suppose -4*v + 12 = 4*a, -3*a - 3*v - v + o = b. Is a a composite number?
False
Let v be (-4)/12*(15 + 0). Let r = 7 + v. Suppose -r*b - 316 = -6*b. Is b a composite number?
False
Suppose -5*h + 2*f = -313, -2*h + 0*h = -4*f - 138. Let a = h - 42. Is a a prime number?
True
Suppose 5*s = -10, 0 = -0*a + 5*a + 3*s - 10889. Is a composite?
False
Suppose -2*b + 81 + 19 = 0. Suppose -2*u = -4*w - b, -2*u - w + 44 + 21 = 0. Is u a composite number?
False
Suppose h = 4*g - 256 + 15, -123 = -2*g + 3*h. Let k be (-8)/28 + g/14. Suppose k*v - 520 = 124. Is v composite?
True
Let z = 3155 - 2196. Is z a prime number?
False
Let h be 7/2 + 12/24. Suppose 0 = -4*s - 2*d + 2542, 4*d = h*s - 201 - 2335. Is s prime?
False
Let g(i) = 36*i**3 + 3*i - 2. Is g(1) prime?
True
Suppose 0*g + d + 395 = 2*g, -3*g = -d - 593. Suppose 5*t = g + 137. Is t a composite number?
False
Let u(h) = 54*h - 1. Is u(1) prime?
True
Let m(d) = 36*d - 1. Is m(4) a prime number?
False
Suppose 17*m + 5721 = 17179. Is m prime?
False
Suppose -253 = 3*u - 2290. Is u composite?
True
Is (-30150)/(-14) - 12/21 a composite number?
False
Suppose 19*a = 23864 + 9063. Is a composite?
False
Let d be (-33)/(-9) + (-2)/3. Suppose -4*p + d*p = 45. Let q = 66 + p. Is q a composite number?
True
Is (-9)/6*(-262)/3 a prime number?
True
Let x = 102 + -15. Is x prime?
False
Let a = -10 - -14. Suppose q + 5*k = k + 152, 2*k = -q + 148. Suppose 5*g - 3*y - 179 = -6*y, -2*y + q = a*g. Is g composite?
False
Let j = 7 - 11. Let g = j + 17. Is g a composite number?
False
Let g(i) = 587*i**2. Is g(1) a prime number?
True
Suppose 5*l = 10*l + r - 17453, -2*l + 6974 = 4*r. Is l a composite number?
False
Suppose -w + 3*t + 93 = -2*t, -w = 2*t - 93. Is w prime?
False
Suppose 3*l + 2024 = 4*o - l, 1523 = 3*o - 4*l. Is o prime?
False
Suppose -5*j + 18 = -12. Let l = -4 + j. Suppose -2*u - 12 = -l*t + 46, 3*t - 91 = u. Is t composite?
False
Suppose 0*f + 4*f = 5*x - 355, -x = f - 71. Is x prime?
True
Let w(c) be the third derivative of -c**4/24 + 37*c**3/6 + 2*c**2. Is w(0) a composite number?
False
Let k be (-24)/18*(-3)/(-2). Is 124/(k - -3) + -3 a prime number?
False
Let p = 306 + -15. Is p composite?
True
Let n be 12/(-8)*2/(-3). Let g(x) = 86*x**3 + x - 2. Is g(n) composite?
True
Let a(u) = 13*u**2 - 2*u - 1. Let l(i) = -i**3 + 3*i**2 + 4*i - 1. Let g be l(4). Is a(g) composite?
True
Let w be (-12)/(-9) + (-6)/(-9). Suppose 0 = 4*p + z - 445, 3*z + 554 = 5*p + w*z. Is p a composite number?
True
Is 3555/4 + 2/(-8)*-1 prime?
False
Let v(y) = -4*y**2 + 10*y + 2. Let p(d