4303 - 4881. Is d a prime number?
True
Suppose -3*m + 15 = 2*m + h, 2*m - 4*h - 6 = 0. Suppose -m*j + 2177 + 1462 = 0. Is j a prime number?
True
Suppose 2*h = 3*g - 21 + 4, 4 = g + h. Suppose 0 = -0*z + g*z - 1115. Is z a composite number?
False
Suppose 4*n + 5 = -v, 2*v - 3*n = -0*v + 12. Suppose 0*a + 5*s = a + 7, -v*s + 11 = -4*a. Is a/(-1)*3738/12 a prime number?
False
Suppose 39*x - 87579 = 30*x. Is x composite?
True
Let g be -1*1245/(-21) - (-6)/(-21). Suppose -d - 170 = -6*d. Let j = d + g. Is j prime?
False
Let c(r) = 17*r - 17. Let g be c(6). Let m = 264 - g. Is m a composite number?
False
Suppose 6*k = 15564 - 5592. Let g = k + -1177. Is g prime?
False
Let z = -2549 + 6958. Is z composite?
False
Let a(c) = 40*c - 15. Let s(o) be the third derivative of o**5/60 - o**4/12 - o**3/3 + o**2. Let m be s(5). Is a(m) a composite number?
True
Suppose -6*h + 5*k = -3*h - 19, -9 = -5*h - 3*k. Suppose -h*d + 6*d = 0. Suppose d*u = 3*u - 105. Is u a composite number?
True
Let y be (-6)/(-2 + 0/(-2)). Let b(d) = 498*d + 3. Is b(y) composite?
True
Let d = -15009 + 39628. Is d a composite number?
True
Suppose -4618 - 11599 = -d. Is d composite?
False
Let b(g) be the first derivative of 5*g**3/3 + 11*g**2/2 + g - 14. Is b(-9) a prime number?
True
Let x = 63 - 63. Suppose 23 = -4*p + 2*o + 119, x = -5*o - 10. Is p a composite number?
False
Let s(d) = d. Let l(g) = -15*g - 1. Let t(z) = 4*l(z) + 12*s(z). Let h be t(5). Let i = h - -653. Is i a composite number?
False
Let m = -49 + 48. Is (24/60)/(m/(-95)) a composite number?
True
Let y(w) = 163*w + 109*w + 33 - 106*w. Is y(8) prime?
True
Let p(r) = 748*r**2 + 2*r - 2. Let w be p(-2). Suppose -i + y = 4*y - w, -8991 = -3*i + 2*y. Is i prime?
False
Suppose -5*c = -3*w + 1116, -w + 5*w - 1502 = 2*c. Is w a prime number?
False
Let m(g) = -2*g**3 + 3*g**2 + g + 5. Let r(x) = x - 2. Let n be r(-1). Is m(n) a composite number?
False
Let f(t) = -3*t - 1. Let u be f(-1). Let s(d) = -4 - 7 + 12*d**u - 8*d**2 - 13*d. Is s(10) a prime number?
False
Is (-12)/(-10)*(-4581885)/(-462) prime?
False
Let f = -3541 - -8432. Is f a prime number?
False
Suppose 2*k = 5*k - 24. Let b(h) = 4*h**2 + 3*h - 15. Is b(k) prime?
False
Is ((-301076)/(-10))/(10/75*3) composite?
False
Let r(f) = -520*f - 77. Is r(-12) a composite number?
False
Let a = 15 + -14. Let k be a/(-3 - (-14)/4). Suppose 3 = i + k*v - 9, 0 = 3*i - 2*v - 76. Is i prime?
False
Suppose -3*u = 3 - 9. Let s be 0 - 0/u - -2. Suppose -s*f + 53 = -33. Is f prime?
True
Suppose -44*q + 407683 = -134529. Is q a composite number?
False
Is (-274)/(-6)*(130 - -11) composite?
True
Let q be (-14)/(-49) + -9 - 2/7. Is (-6198)/q - (-1)/3 prime?
False
Let b = 790 - 409. Is b a composite number?
True
Let b = 115 - 98. Let v(u) = 15*u + 4. Is v(b) prime?
False
Let t be (-5)/2*16/(-5). Let g(u) = -u**2 + 7*u + 12. Let m be g(t). Is (-46 + m)*(-2)/4 a composite number?
True
Let a(t) = -8407*t - 149. Is a(-4) a composite number?
False
Let y(r) = 8824*r + 3. Let x be y(1). Suppose -j + x = 6*j. Is j prime?
False
Let n(d) = 0*d + 118*d**2 - 6*d + 14*d + 37 - 2*d**2. Is n(-3) prime?
False
Suppose -2709861 = -17*z - 16*z. Is z prime?
False
Let f(b) = -b**3 + 8*b**2 + 2. Let s be f(8). Suppose s*i - 2 - 4 = 0. Suppose -5*r = 2*o + 3*o, -4*r = 3*o + i. Is o a prime number?
True
Let z = -13 + 13. Suppose z = -7*d - 3 - 11. Is 8/d*(-381)/12 a prime number?
True
Let w(i) = -6*i - 1. Let m be w(-10). Suppose -d = -b - 87 - m, d + 2*b = 134. Is d + (-1)/(1/1) a prime number?
False
Is 3/(-6) + (-3)/6 - -432 a prime number?
True
Let t(p) = -p + 7. Let j be t(5). Suppose -5*a + j*a - 15 = -3*q, -2*q - a + 4 = 0. Suppose 339 = q*n - 0*n. Is n a prime number?
True
Suppose -2*q + q + 7 = 0. Suppose -2*m - 3175 = -q*m. Is m a composite number?
True
Let y be (-6)/(-21) - (-21534)/42. Suppose -3*v = -y - 480. Is v prime?
True
Let o = 35 + -43. Is (3132/o - 4)*-2 a composite number?
True
Is (4/(-3))/(32/(-360312)) composite?
False
Suppose 0 = -4*y + 3*a + 97, a - 40 = -2*y + 1. Let k = y - 22. Is -2 - -6 - (k + -115) a composite number?
True
Suppose -45867 = -x - 3*y - 16772, 9 = 3*y. Is x prime?
False
Suppose 5*d - 7308 - 3492 = 0. Suppose z - 6*z + d = 0. Suppose -u + g = 5*g - 203, 2*u - 5*g - z = 0. Is u a composite number?
False
Suppose -2*j + 18897 = n, -6*j = -3*n - 7*j + 56686. Is n prime?
False
Suppose 28*s - 42*s = -88886. Is s composite?
True
Let t(i) = -i + 16. Let w = -4 + 9. Suppose -5*l + 2*x - 32 = -1, -w*l + 3*x - 29 = 0. Is t(l) composite?
False
Let g be (1972/8)/(1/2). Suppose -5*x + a + 800 = 0, 0*a + g = 3*x + 2*a. Is x a prime number?
False
Let u(c) = -10*c**2 - 14*c**2 - 16*c**3 - 3*c + 22*c**2 - 4. Is u(-3) composite?
False
Let z = 5 + -13. Let d be (3 - 15)*3/(-2). Is d*(z/6)/(-4) prime?
False
Let k be 4/18 - (-5 + (-573)/(-27)). Let l = 42 - k. Is l a prime number?
False
Suppose 13*x - 48339 = -980. Is x composite?
False
Let z(q) = 4*q - 9. Let o(r) = -1. Let w(x) = -2*o(x) - z(x). Is w(-9) composite?
False
Let p = 2 + -1. Let j(x) be the second derivative of 3*x**4 - x**3/3 + x**2/2 + 36*x - 2. Is j(p) composite?
True
Let s(j) = 6*j - 27. Let v be s(-17). Let o = 108 - v. Is o prime?
False
Suppose -6*q = 3*d - 4*q - 1102, -4*d + 1484 = -q. Let w = d + -179. Is w composite?
False
Let v be (2 + -1)/(1/4345). Suppose 6*r = r + v. Is r prime?
False
Suppose 0*v = 2*v - 4*b - 96, 5*v = -2*b + 288. Let i be (3/4)/(21/v). Suppose 60 = -i*y + 178. Is y prime?
True
Let s(z) be the third derivative of 149*z**4/24 - 2*z**3/3 + 19*z**2. Let p = -4 + 7. Is s(p) a prime number?
True
Let o(z) be the first derivative of 67*z**3 + z**2/2 + 11*z + 50. Is o(-4) composite?
True
Suppose -144 = -t - 3*a, -5*t = 4*a - 623 - 64. Suppose -5*m - 40 = -3*j, -3*j = 3*m + 2*j + 24. Let b = t + m. Is b a composite number?
False
Suppose 131 = u - 271. Suppose 5*d = 3*x + 520 - 109, 2*d - u = 3*x. Is -3 - (0 + x + 0) composite?
True
Let r(b) = -461*b - 9. Let f be r(-12). Suppose f = 4*z - 4289. Is z a prime number?
False
Let n(v) = 22*v**2 + 44*v - 257. Is n(16) composite?
False
Suppose 4*c + a - 76 = 3*c, 3*c - 256 = 4*a. Let o = c + 59. Is o composite?
False
Let f(w) = -w**2 - 8*w - 4. Let i be f(-7). Is 4 - -133 - (i + 1) a prime number?
False
Let d = -7 - -19. Suppose -d = -0*s - 4*s. Is 2 + (72 - 0/s) a prime number?
False
Suppose 5*m + 0*p = 2*p + 12303, 0 = -5*m + 4*p + 12311. Is m composite?
False
Suppose -4*n = -4017 + 1533. Let x = n + 892. Is x prime?
False
Suppose 0 = -155*t + 162*t - 12607. Is t a composite number?
False
Is ((-4)/3)/(-3 - 13996/(-4668)) a prime number?
False
Let x = -6 - -8. Let j be (-5 - -8) + x/2. Suppose 479 + 693 = j*k. Is k a prime number?
True
Is ((-2)/(-4))/((-924777)/92478 - -10) a composite number?
False
Let d(b) = -7*b**2 - 9*b + 2. Let x be d(7). Let q be ((-2)/3)/((-3)/9). Is 9*(q - x/12) composite?
True
Suppose 0 = 4*p + 11 - 23. Suppose 110 = -p*k + 899. Let v = 642 - k. Is v a composite number?
False
Suppose -18*x - 68994 = -27*x. Is x composite?
True
Let x(f) = -1209*f + 77. Let g be x(-8). Let k = g - 5478. Is k prime?
True
Suppose l = 2*m - 2*l - 87, 5*l = m - 54. Let c = 145 - m. Is c a composite number?
True
Let c be (-1 + 3)/(2/(-3)). Let h be (-3 + -399 - c) + 2. Let g = -206 - h. Is g composite?
False
Let d(b) = 5*b**3 - 5*b**2 - 9*b - 32. Let x(g) = 2*g**2 + 3*g + 2. Let r be x(-3). Is d(r) a composite number?
True
Let t = -15 + 15. Suppose t = 5*u - 11 + 1. Suppose -u*p + 432 = p + 3*w, p + 3*w - 154 = 0. Is p prime?
True
Suppose -4*z + 7*z = 9. Suppose -z*w + 2197 = 2*r, 3*w + 0*r = 2*r + 2201. Is w a composite number?
False
Let t(r) = r**3 + 83*r**2 + 93*r - 104. Is t(-57) composite?
True
Let c(s) = 0*s**2 - s**2 - 2 + 13*s + 18. Let k be c(14). Suppose b + 3*r = -k*b + 393, 8 = 2*r. Is b a prime number?
True
Suppose -4*s - 7*c + 2*c + 13546 = 0, 3*s + 5*c - 10157 = 0. Is s a prime number?
True
Suppose 2*b = -s - 108, 0 = 4*s - 5*s - 4. Let m = b - -237. Is m a prime number?
False
Suppose 5*f - 4*y = 26886, 5*f + 2*y = 3*f + 10740. Is f a composite number?
True
Let g(s) = 23*s**2 + 7*s - 8. Let y be g(6). Suppose -4*b = -3*b + y. Is (b/2)/(1/(-1)) a composite number?
False
Suppose 24*a - 29*a + 25 = 0, -46954 = -3*r + a. Is r a composite number?
Tr