?
True
Let o(t) = -6*t + 8. Let y be o(8). Let b = 70 + y. Suppose -2*r = -r - n - 17, -n = -2*r + b. Is r prime?
True
Let w(v) = 18*v**2 + 27*v + 169. Is w(-12) prime?
True
Suppose 5*g - 1835 = 4*g + 2*b, -5*g - 3*b = -9149. Is g a composite number?
False
Suppose 4*h = 5*i - 11, 4*h = -i - 12 - 5. Suppose b = -4*x - 258, 0 = -b - 0 - 2. Is 8/2 - (x + i) prime?
False
Let f = 2001 - 3240. Is ((-20)/12)/(7/f) composite?
True
Is (3 + 18430)/(2 - 1) prime?
True
Let h(z) = 4*z**3 - z**2 + z + 1. Let j be h(-1). Let k(x) = 14*x**2 - 7*x - 1. Let q be k(j). Let i = q + -173. Is i a composite number?
False
Suppose 0*i = i + 342. Let o be (-13)/(52/(-2088)) - 1. Let x = i + o. Is x composite?
False
Let q(o) = 2 + 5 + 57*o**2 - 9. Is q(1) prime?
False
Let b be -1 - (0 + 861 + -1). Let m = -533 - b. Suppose y = -2*y + 2*d + 241, 4*d = 4*y - m. Is y prime?
False
Let n = -24 + 27. Suppose -12*p = -n*p - 8163. Is p prime?
True
Suppose 3*d = -o + 289748, -9*d + o + 482900 = -4*d. Is d a prime number?
True
Let x(i) = -1392*i - 23. Is x(-8) a composite number?
False
Suppose -8*v + 10227 = -5*v - 2*n, v + 5*n = 3392. Is v composite?
False
Let q(x) = 4*x**2 + 12*x + 17. Let h be q(-5). Let o = 430 + h. Is o a composite number?
False
Let b(d) = -112*d - 14. Let m be b(-21). Suppose 6*z - m = -z. Is z composite?
True
Let c = 56 + -52. Suppose -3*x - c*s = -167, 4*s = 3*x - 139 - 36. Is x composite?
True
Suppose 0 = 3*y - 2*v - 134 - 329, 0 = -3*y - 4*v + 487. Is y a composite number?
False
Suppose 7*m + 4*p = 3*m + 12, 3*p = 3*m + 3. Is (3 - m)*7/((-56)/(-1228)) a prime number?
True
Is (-18)/(-972)*-6 - 303716/(-18) prime?
False
Let v = -486 + 695. Let r = v - -170. Is r composite?
False
Suppose 0 = -2*w + 4, 0*x + 3*x - w - 4 = 0. Let q be x + 0*(-4)/12. Suppose -q*b + b = -239. Is b composite?
False
Let s(y) = -2 + 7*y - 2 - 135*y**3 - y + 6 + 3*y**2. Is s(-1) a composite number?
True
Let u be (-1)/((-3)/3)*-1. Let v be 40/(u*(-2)/15). Let k = -203 + v. Is k a prime number?
True
Let f(s) = 607*s + 306. Is f(15) composite?
True
Let k = 867 + 1454. Is k a prime number?
False
Let o be (340/(-25))/((-2)/1795). Let l = o + -7957. Is l prime?
False
Suppose -4*j + 20 = -4*w, 5*w - 39 = -5*j - 14. Suppose -j*u + 2540 = -2955. Is u a composite number?
True
Suppose 94738 = 15*u - u. Is u a composite number?
True
Let o(a) = -3 - 12 + 8 + 457*a. Is o(2) a prime number?
True
Is (-38)/12*29466/(-9)*3 prime?
False
Let m be ((-32)/40)/((-4)/1930). Suppose 3*a = m - 104. Is a composite?
True
Is (-7*(-4 - -5) + 248)*47 a composite number?
True
Suppose -3*p = 4 - 1. Let a be -2 + p + 14 + -3. Suppose a*f = 9*f - 145. Is f a composite number?
True
Suppose 0 = 3*c - 5*c + 28. Let x = c - 14. Suppose -9*d + 6*d + 474 = x. Is d a composite number?
True
Is (-12)/20 - 2009920/(-200) a composite number?
True
Let q(n) = 2*n**3 - 2*n + 2. Let m be q(1). Suppose m*k + f - 244 = 0, -5*k = f + 84 - 691. Is k a composite number?
True
Suppose m - 59 = -t, -2*m + t + 100 = -3*t. Let i = m + -34. Is i/55 - 1226/(-10) composite?
True
Suppose -2*q - 3*q + 40 = 3*i, 2*i - 15 = -q. Suppose -3*c = 4*v - 0*v - 3, q*c = v - 18. Suppose -v*n + 27 = -1110. Is n composite?
False
Suppose -3*s - 4*g = -2*s - 3731, 3*g + 6 = 0. Is s prime?
True
Let h be (6/18)/(2/12). Suppose -h*b + 2 = -8. Suppose 4*z + 3*v = 287, -z + 5*z - 289 = -b*v. Is z composite?
False
Let m(o) = -o**3 + 3*o**2 + 3*o + 6. Let c be m(4). Suppose -d - c*v + 893 = -v, -d + 901 = 3*v. Is d composite?
True
Is (-193150)/(-15)*((-4)/8 + 2) composite?
True
Let g(b) = b**3 - 8*b**2 - 2*b + 15. Let s be g(10). Suppose -4*q + 2*q = 0. Suppose 3*o - s = -q*o. Is o a prime number?
False
Let r(m) = 124*m - 2. Let i be r(7). Let v = i + -487. Is v a composite number?
False
Suppose 21556 = 4*j - n, -5*j = 4*n - 32352 + 5407. Is j composite?
True
Suppose -412*y = -410*y - 15034. Is y a prime number?
True
Let n = -2 - -6. Let x be (1 - -2 - 6) + n. Is 3*(-586)/(-6)*x a prime number?
True
Suppose 2*p - 6064 = d, 5*p - 2*d = 2566 + 12592. Suppose -5*n - 1 = -21. Is p/8 - n/(-16) prime?
True
Suppose 5*t = 3*f, 0*f + 2*f = t + 7. Suppose 3*s = -2*s - t*p + 1785, 0 = -2*s + 3*p + 693. Suppose s = -5*u + 4*j + 1675, 2*u + 3*j = 533. Is u composite?
True
Let a = -60 - -59. Is ((-16)/64)/(a/1004) a prime number?
True
Let z(n) = -n - 8. Let l be z(-6). Let j be (0/(2/l))/1. Suppose 50 = 3*i - 2*a, -a + j*a - 4 = 0. Is i a prime number?
False
Let d(k) = k**3 - k**2. Let s(w) = 7*w**3 + 3*w**2 - 10*w - 5. Let p(h) = -6*d(h) + s(h). Is p(-7) prime?
True
Let q be 4046 + (-1)/(-1) + -1. Let j = -2274 + q. Is j/8*(3 - 1) a composite number?
False
Is (-5)/(5/(-24486)) - (-2)/2 a composite number?
True
Suppose 7*t - 2*t = 135455. Is t a prime number?
True
Suppose -4341 + 1637 = -t. Let x = -551 + t. Let h = x - 530. Is h composite?
True
Let n be (-423)/7 + 21/49. Is (3994/6 + -1)*n/(-40) composite?
False
Suppose 27807 = 11*r - 8*r. Suppose -15*l = -r + 2084. Is l prime?
True
Suppose -41247 = -4*o + 5*y, 5*o + 19*y = 15*y + 51569. Is o prime?
True
Let a = -34 - -40. Suppose -a*k + 4*k = -894. Is k a composite number?
True
Let k(s) = 45*s**2 + 4*s - 17. Is k(4) a composite number?
False
Let l = -17189 + 49918. Is l composite?
True
Suppose -2*k + 3 = -1. Suppose k*a = -1 + 7. Suppose 0 = h + 4*p - 383, 5*h - 2*p = a*p + 1890. Is h a prime number?
True
Let w be ((-4)/8)/((-2)/16). Suppose -2*v - 3*k = -7, -2*v - w*k + 5 = -1. Suppose -5*r + 44 + 51 = 2*d, -3*d = v*r - 150. Is d a composite number?
True
Is (-4)/(-62) - (-61793215)/2635 prime?
False
Let f(m) = -3 + 1 + m + 20. Let o be f(-16). Suppose -894 = -o*a - 4*y, -4*y - y = -3*a + 1330. Is a prime?
False
Is 90/1755 - 5029/(-39) composite?
True
Let n = 2514 - -803. Is n a composite number?
True
Let d(j) = -77*j**2 + 1. Let u be d(-1). Let b(n) = 2*n**2 - 13*n + 17. Let m be b(5). Is u/8*m/(-1) composite?
False
Let y(i) = i**2. Let w be y(2). Let h(m) = 33*m + 6. Let b(r) = 1. Let z(t) = b(t) + h(t). Is z(w) composite?
False
Let l = 1028 - 557. Suppose -7*r = -4*r - l. Is r a composite number?
False
Let v = -3 - -62. Let w be (-2 - -1)/(1/36). Let c = v + w. Is c composite?
False
Let h = 4494 - -3623. Is h a composite number?
False
Suppose -11718 = -15*r + 30417. Is r a composite number?
True
Let q be 32/(-4)*(-27)/72. Suppose -5*k + 4*r + 2212 = 848, -5*k + 1400 = 5*r. Suppose -q*p = -d - k, -4*p - 4*d + 3*d = -361. Is p a prime number?
False
Let l be (33 - 34)/(2/1646). Let y be (64/(-4))/(2/58). Let q = y - l. Is q prime?
True
Suppose 0 = -r - 0*r - 3*m - 274, 5*r - 2*m = -1319. Let j = r - -387. Is j a prime number?
False
Suppose 13*p + 48 = 17*p. Let n(k) = -k**3 + 14*k**2 - 12*k - 5. Is n(p) prime?
True
Suppose -2*b = 2*b - 8540. Suppose 3*w + s - b = -3*s, -4*s - 2856 = -4*w. Is w a prime number?
False
Suppose -2*p + 4*n + 984 + 372 = 0, -2*p = -5*n - 1361. Suppose -2*x + p = -0*x. Suppose -3*y - 6 = 0, -75 + x = 3*r + 4*y. Is r a prime number?
True
Let n = 32467 - 16710. Is n prime?
False
Let q(p) = 139*p - 87. Is q(2) a prime number?
True
Suppose -6*n = -n - 3530. Let r = -497 + n. Is r a composite number?
True
Let w = 9 + -14. Let p(b) = -2*b**3 + 2*b**2 + 2*b - 1. Is p(w) a composite number?
True
Suppose 2*z = -6 + 18. Let w = 8 - z. Suppose w*m + c = 298 + 112, 5*c = 0. Is m composite?
True
Let u(i) = 2*i - 1. Suppose 0*y + 6 = 2*y. Let g be u(y). Suppose -5*h + 100 = g*c, 5*c + 28 - 78 = 5*h. Is c a composite number?
True
Let z be (-6)/(4 - (-92)/(-22)). Let x be z/15 - (-2)/(-10). Suppose -x*h = 5*b - 97, 12 = -5*b + 2*h + 105. Is b a prime number?
True
Let s = 2 - -5. Let a = -2 + s. Suppose -a*k - 327 = -2672. Is k composite?
True
Is (-7)/14*(-329148)/18 prime?
False
Suppose 16*r - 114 = 15*r. Let x(i) = 9*i - 2. Let k be x(3). Let q = r - k. Is q a composite number?
False
Let t = 113760 + -79706. Is t prime?
False
Suppose h + 13 = 14. Let l(m) = -101*m**3 + 2*m**2 - 3*m + 2. Let u be l(h). Let y = u - -249. Is y a prime number?
True
Let d = 2064 - -109. Is d a prime number?
False
Is (-36325)/(-7) + -6 - (-8)/(-28) composite?
True
Let g(c) = 9*c + 15*c**2 - c**2 - 4*c**2 + c**3 - 1. Let y(n) = n**3 - 2*n**2 - 8*n - 7. Let f be y(4). Is g(f) a prime number?
True
Let r be (-5 - 38/(-6))*3. Suppose -r*d