k - 2*k + 100. Is k composite?
True
Suppose -t - t = 3*c - 7, -2*c - 3*t + 3 = 0. Suppose -c*n = 2*d + n - 1014, 0 = -4*n - 16. Suppose d = 5*s - 0*s. Is s a prime number?
True
Let m = -1163 + 6047. Suppose -3*p - 3*k + m = 0, 5*k = 2*p - 1318 - 1973. Is p composite?
True
Suppose -y - 3*y = -l - 36, -y + 4*l = -9. Suppose -2*a - 5*c + y = 0, a = -0*a - 2*c + 4. Suppose a*t + 99 = 757. Is t a prime number?
False
Suppose -r - 2*r = 4*y - 2, 5*r + y = 26. Suppose 7861 = r*t - 3497. Is t prime?
False
Suppose 10811 = 6*d + 1679. Suppose -484 = 3*j - d. Is j prime?
False
Let v = -140 - -5. Let l(h) = 4*h - 68. Let n be l(0). Let j = n - v. Is j a prime number?
True
Let c(u) = -u**2 + 8*u + 22. Let z be c(10). Suppose z*a + 117 = 779. Is a a composite number?
False
Let i = 654 + -2091. Let c = i + 2060. Is c a prime number?
False
Suppose c = -2*c, 4*s - 2*c = 1232. Let g be ((-549)/6)/((-21)/s). Suppose -1792 = -4*h + 3*r + r, -2*r - g = -3*h. Is h a prime number?
False
Suppose s + l = 9, -s = 5*l - 8 - 9. Let z(u) = 4*u**2 + 11*u + 1. Is z(s) a prime number?
False
Let a = 90322 + -64333. Is a prime?
False
Let l be 15/(-3)*972/5. Suppose 2758 + 1493 = -3*s. Let o = l - s. Is o prime?
False
Suppose -3*x - 2*m - 1 = -18, -2*x - 10 = -4*m. Is 3*x/9 - -564 a prime number?
False
Let x = 83 + -81. Suppose d + 5*l = 212, 980 = 4*d - 4*l + 108. Suppose -83 = x*j - d. Is j a composite number?
False
Is (3 + 73801)*2/8 prime?
True
Let d = -53 + 54. Is 89/(d - (-1 + 1)) a prime number?
True
Suppose -z - p + 2732 = 0, 5*z - z - p = 10923. Is z a composite number?
False
Suppose -3*i - 31*f + 65888 = -26*f, -2 = -2*f. Is i a composite number?
False
Let f(t) = t**3 + 3*t**2 - 3*t - 4. Let u be f(-4). Is u/(-12) - (-926)/6 a composite number?
True
Suppose y + 1 = 5. Suppose -6 = -y*n + 14. Let t = n - -2. Is t composite?
False
Let s be (-2*8/12)/((-3)/(-18)). Let n(a) = 33*a**2 - 5*a - 3. Is n(s) prime?
False
Suppose 0*w = 2*d + w - 2506, -2*w - 3773 = -3*d. Is d composite?
True
Let k be (1/(-2))/(14/(-47656)) + 3. Suppose 4*v + v = k. Is v a composite number?
True
Let c be 0/(-22)*(1 - 1*2). Suppose -4*b = -0*b - w - 2732, -b - 5*w + 683 = c. Is b a composite number?
False
Let m(x) = -x - 8. Let i be m(-10). Suppose 0 = u - 4*n, i*u + 6 = -0*n + 2*n. Is (-13 + 1)*79/u prime?
False
Suppose -2*n - 7 + 19 = a, -2*a + 4 = -n. Let q = -4 + a. Is (q - 1)/((-2)/314) composite?
False
Let l(j) be the third derivative of j**4/24 + j**3/6 + 4*j**2. Let r(n) = 5*n - 4. Let a(q) = -2*l(q) - r(q). Is a(-7) prime?
False
Let b(p) = 33*p + 25. Suppose 7*y + 35 = 5*z + 2*y, -2*z - 7 = 5*y. Is b(z) a prime number?
True
Let d(l) = 47*l**2 - 25*l - 13. Is d(-9) prime?
True
Let l = 47 - 14. Let x be (-4)/(-6) - 55/l. Is (0/x - 3)*-7 a prime number?
False
Let u be (-7 - -8)/(2/58). Let j = u + 26. Is j a prime number?
False
Suppose 3666 + 1935 = 3*l. Is l a prime number?
True
Let c be 67610/25 - (0 - (-3)/(-5)). Suppose c = -3*h + 8*h. Is h a prime number?
True
Suppose 0*k = -2*k - 166. Suppose 6*i - 3*i - 495 = 0. Let x = k + i. Is x a prime number?
False
Suppose u - 22091 - 9403 = -5*p, 12595 = 2*p + 3*u. Is p composite?
False
Let q(f) = f**2 - 3*f + 2. Let b = 1 - -1. Let i be q(b). Suppose m = -i*m + 43. Is m prime?
True
Suppose g = 2*a - 5, -2*g + 5 - 3 = 0. Suppose 0*w - a*w = -3*p, -2*p + w + 1 = 0. Is p + 2 - (-144 - 10) a composite number?
False
Suppose -2*c + 27553 = 5*p, 2*p - 5*c = -2*c + 11006. Is p composite?
True
Suppose -2*x + 3*q = -6013, 3014 = x + 11*q - 10*q. Is x a composite number?
False
Let z be (3 + -5 - -2)/(-1). Suppose 5*d - 8 - 12 = 0. Suppose z = -5*n + 5*t + 3265, n - d*t = -7*t + 653. Is n a composite number?
False
Let n be (0*4/4)/1. Suppose 3*h + 15 = 0, 0 = -2*u - n*u - 3*h + 159. Is u composite?
True
Let q(g) = 436*g**2 + 3*g + 3. Is q(2) prime?
True
Is 24/(-30)*3/(6/(-2545)) a prime number?
False
Let w be 3 + -4 + 3 - 5. Is w - (-1 + 45*-15) prime?
True
Let m(j) = 4*j + j**3 - 26*j**2 + 22*j**2 + 29 - 17*j**2. Is m(21) a composite number?
False
Let m = 168 - 72. Suppose 0 = 2*d + m - 466. Is d a prime number?
False
Suppose -8*m - 9 = -25. Suppose 0 = -m*a + 5*d + 68 + 329, -3*a + 588 = -5*d. Is a a prime number?
True
Suppose 3*b + 1 = -5. Let l = b + 2. Suppose -4*a + 1172 = -l*a. Is a composite?
False
Is (15793/(-34))/(1/(-4)) a composite number?
True
Suppose 0 = 3*w + w + 5*z - 16, w + 3*z - 11 = 0. Is (-1263)/w*1 - (3 + 1) prime?
True
Suppose 4*k - 5*k - 5 = -2*j, 4*j - 25 = -3*k. Suppose 252 = j*u - u. Is ((-3)/(-6))/(2/u) a composite number?
True
Let c = 0 + 5. Suppose -c = 5*q - 15. Suppose -4*l + 611 = q*n + l, 1455 = 5*n - 2*l. Is n a prime number?
True
Suppose -d - 19475 = -6*d. Suppose -t - 4*t - 5*y + d = 0, -2*t + 1546 = -y. Suppose 4*u + 5 = 1, 3*n - t = 4*u. Is n a composite number?
False
Suppose -5*g - 2*a + a = -19, 0 = 3*g + a - 13. Is 3804/g*(-4)/(-16) prime?
True
Suppose 16*m - 5*q + 19142 = 20*m, -3*m + 4*q = -14341. Is m a composite number?
False
Let j = 9766 - 3687. Suppose -d + 3*m + 2676 + 364 = 0, -2*d + 5*m = -j. Is d a composite number?
False
Let f = 4 + 0. Let z = 85 - 86. Is ((-714)/24)/(z/f) a composite number?
True
Let u be (-1)/(-1 - 280/(-284)). Suppose 2*o - 229 = -u. Is o composite?
False
Let d be (6/(-8))/((-14)/56). Let m be (-70)/d*(-25 - -7). Let o = m - 101. Is o prime?
False
Let l(o) = 5964*o. Let w(p) = -67*p. Let d(m) = -4*l(m) - 355*w(m). Is d(-11) composite?
True
Suppose -5*p + 3*a = -73601, 5*p + 5*a - 73599 = 7*a. Is p a prime number?
False
Let h(i) = i**2 + i - 1. Let d(w) = -2*w**2 - 12*w + 13. Let y(q) = d(q) + 3*h(q). Let k be y(8). Suppose -3*b - 5*f = -401, 12 = -k*f + 5*f. Is b prime?
True
Suppose -94 = -2*s - 30. Suppose -s*j = -28*j. Suppose 2*g - g - 337 = j. Is g prime?
True
Suppose -2*m - 234 = m. Let s be 1392/m + (-6)/39. Is 78/4*(-60)/s prime?
False
Let u = -45 + -8. Let k = 87 + u. Is k a prime number?
False
Let a(y) = y**2 - y - 5. Suppose -3*g + 19 = -2. Is a(g) prime?
True
Suppose -5*c = -23 - 2. Let o = 11 - 7. Suppose -3*k + 53 = u, o*k - 92 = -u + c*u. Is k a composite number?
False
Suppose 0 = -q - 0*q - 3*o + 429, 4 = 4*o. Suppose 0 = 4*m - 2*i - 882, 2*i = -2*m + 6*i + q. Is m a composite number?
False
Let z(k) = -72*k + 51. Suppose 0 = 6*c - c + 130. Is z(c) a prime number?
False
Suppose -25*u = -14*u - 34639. Is u a composite number?
True
Let z be (5 - 4)/(2/(-26)). Let d be (-80)/z + 2/(-13). Is (-7917)/(-77) + d/33 a composite number?
False
Suppose -5*z + 28160 = 4*w, 15*w + z = 10*w + 35221. Is w composite?
True
Let v(y) = 7*y**2 - y + 3. Let t be v(3). Let o = t - 4. Is o composite?
False
Let m(b) = -4 + 0*b + 89*b**2 + 0*b. Let c be ((-72)/60)/((-2)/(-5)). Is m(c) composite?
False
Suppose -6*y = -5255 - 3811. Is y prime?
True
Let q be (108/90)/((-3)/10). Is (0 + q/(-2))*(-18883)/(-46) a prime number?
True
Let f be 1/2 - 5/(-2). Suppose f*p = 4*y - 149 - 68, 15 = 3*p. Is y prime?
False
Let v(k) = -20*k**3 - 12*k + 38. Is v(-7) prime?
False
Suppose 3*o + o = -4. Let w be (3 - 2 - 1)/o. Suppose w = -p + 20 + 17. Is p prime?
True
Let a(i) = -641*i + 49. Let p be a(-10). Is (-1 - -3)*p/6 composite?
False
Suppose a = -a + 76. Suppose -6*q - 70 = -11*q. Is (7/q)/(1/a) composite?
False
Let s = 22 + -20. Suppose -x + 556 = s*j + 44, 3*x - 774 = -3*j. Is j a composite number?
True
Suppose 2*m + 4 = 0, 7*k - 2*k - 46959 = 2*m. Is k a composite number?
False
Let q be (-12)/5 - 8/(-20). Let b be (q/4)/(3/24). Is (-1)/b + (-1990)/(-8) composite?
True
Is ((-194)/(-8)*1)/((-21)/(-8988)) composite?
True
Suppose 283*g - 280*g = 94587. Is g a composite number?
True
Suppose -5*o = -z + 20502, -87033 = -3*z + 4*o - 25582. Is z prime?
True
Let b be (5/2)/(5/(-60)). Let f be b/25*435/(-2). Let q = f - 148. Is q a composite number?
False
Suppose 5*l - 2910 = 2*z + 9102, z - 5*l + 6011 = 0. Is z/(-9) + 14/63 a prime number?
False
Let j be (-1)/(100/(-32) - -3). Suppose 0 = j*m - 2*m - 1122. Is m a prime number?
False
Suppose -5*s = 3*v - 19862, 5 = -7*s + 6*s. Is v prime?
False
Is (-1391 - 0)/(3 + -1 - 3) prime?
False
Suppose 0 = 3*t + t - 8. Suppose -1 = t*s - 9. Suppose 0 = -h + s, 5*x - 3*h - 217 - 16 = 0. Is x a composite number?
True
Let v be -2 + (41 - (-2 + 0)). Let y be ((-8)/(-6))/((-1)