d - 12. Is f a prime number?
True
Let r(h) = h**3 + 6*h**2 + 4*h - 1. Let n be r(-4). Let i = n + -10. Suppose -45 = -i*j + 2*j. Is j a prime number?
False
Suppose 4*p - 494 = -2*y, 2*p = -0 - 4. Is y a prime number?
True
Let q(s) = -3*s**2 - 18*s + 27. Suppose -4*z = -v - 20, 3*z + 2*z = 2*v + 25. Let n(p) = 2*p**2 + 9*p - 14. Let i(b) = z*n(b) + 3*q(b). Is i(9) composite?
False
Let c = -1515 - -2876. Is c a composite number?
False
Suppose 2*k = -4*y - 11126, 3*y - 27828 = 4*k + k. Is (1 + -2)/(15/k) a composite number?
True
Is 522093/91 + (-6)/21 prime?
True
Is (-4)/(-18) - (170345/45)/(-7) prime?
True
Let z(q) = 23*q + 10. Let v be z(3). Suppose -d - 2*u - 2*u + v = 0, 223 = 3*d + 5*u. Is d composite?
False
Let n = 61 + -3. Let f = n + 55. Is f prime?
True
Suppose -436 = -i + 451. Is i composite?
False
Suppose 0 = -7*s + 658 + 357. Is s composite?
True
Let u = -1617 + 2978. Is u prime?
True
Is 15*(383/3 + 0) a prime number?
False
Is 1/(-3) - (1 - (-1105)/(-3)) a composite number?
False
Let d = -10 - -15. Let k(o) = 0*o**2 + 2*o**3 + 2 - 5*o**2 - o**3 + 7*o. Is k(d) prime?
True
Suppose -6*s = -s. Suppose s*c = 4*c - 3*b - 251, 4*c - 2*b = 254. Is c a prime number?
False
Suppose 4*n = -5*o + 227, -4*o + 212 = o - n. Is o composite?
False
Let b be -1 - (-5)/(10/(-642)). Let c = 499 + b. Is c a composite number?
True
Suppose 2*r + 9 = -r. Is (r - -5)/(4/14) prime?
True
Suppose -c = -5*m - 121, 127 = c - 3*m + 2. Is c prime?
True
Suppose -2*q + 4 = 0, s - q = -4*s + 13. Suppose 4*f = s*f - 8. Let b(u) = u**3 + 9*u**2 + u + 3. Is b(f) composite?
False
Let l(t) = 9*t**2 - 3*t + 7. Is l(3) a prime number?
True
Let z(d) = d**2 + 2. Let c be z(0). Let q be 4/(-2) + -77 + c. Let y = -24 - q. Is y a composite number?
False
Suppose -16*x = -11*x. Suppose x = 3*s + 4*s - 1309. Is s prime?
False
Suppose -2*a = -3*g - 14, -g + 0*a = -a + 6. Is (12 - g)/(2 - 0) composite?
False
Let w = 0 + 3. Suppose w*b = -32 + 245. Is b composite?
False
Let u = 231 + -344. Let p = u - -178. Is p composite?
True
Is (-20 - -21)/((-1)/(-631)) a composite number?
False
Let i = 61 - -35. Let p = -6 - -4. Is p/(-5) - i/(-10) a composite number?
True
Let a(g) be the third derivative of 1/3*g**3 + 0*g + 1/24*g**4 + 2/15*g**5 + 0 - g**2 - 1/120*g**6. Is a(8) a prime number?
False
Let y be (-9)/2*(-4)/3. Let d(f) be the third derivative of 7*f**4/24 - 5*f**3/6 + 13*f**2. Is d(y) a prime number?
True
Let w be -1 + -42 - 4/2. Let q = w - -99. Suppose 1 = p - q. Is p a composite number?
True
Let l(k) be the third derivative of k**6/120 - k**5/20 + k**4/24 + k**3/6 + 3*k**2. Is l(6) composite?
True
Suppose -m = -139 - 4. Is m prime?
False
Suppose s = -4*s + 2095. Is s prime?
True
Let a(l) = 12*l**2 - 3*l + 2. Let b(k) = -36*k**2 + 9*k - 5. Let u(x) = -8*a(x) - 3*b(x). Is u(-2) a prime number?
True
Suppose -m + 453 = 158. Is m a prime number?
False
Let y(k) = 3*k**2 + 5*k + 3. Is y(-5) composite?
False
Suppose 776 = 4*a - 4*m, -4*m + 516 = 3*a - 45. Is a a prime number?
True
Is (-1)/2*370/(-5) composite?
False
Let z be 1/(-6) + (-476)/24. Is ((-485)/10)/(2/z) composite?
True
Let b = -90 + 158. Is b*2/4 - -3 a composite number?
False
Suppose -2*z - 336 = -5*z. Suppose -5*k = -z - 173. Is k composite?
True
Suppose -4*b + 12 = -b. Suppose -j + 415 = b*j. Is j a prime number?
True
Let c be (-4)/(-18) - 64/(-36). Suppose -c*j + 4*q = j - 427, 5*j - 5*q - 710 = 0. Let r = j + -76. Is r a composite number?
True
Is (3 - (-172 + -1)) + 2 a prime number?
False
Let u = -11 + 9. Is 1 + 1 + (u - -379) a composite number?
False
Let y(o) = -497*o. Let i be y(-2). Let q be i/21*3*1. Is q + -1 + 0 - -2 a composite number?
True
Suppose 5*c + 19 = 44, -3*t - 13 = -2*c. Is -4 - -7 - (t + -117) a composite number?
True
Let m = -228 - -801. Is m prime?
False
Suppose -4*p - 3*v = -3*p + 9, 0 = -4*v - 12. Suppose 4*r - 444 = -p*r. Is r a prime number?
False
Suppose -2*c - 12 = -5*c. Suppose -d + c = d. Suppose w - d*k - 15 + 0 = 0, -w + k + 13 = 0. Is w composite?
False
Suppose 3*q = -3, -2*q = -3*h + 2*q - 53. Let d = h + 74. Is d a prime number?
False
Suppose -y + 0*y + 3 = 0. Let m = 88 - y. Is m a prime number?
False
Let u be -84 + 6 + (-9)/3. Let y = u + 134. Is y prime?
True
Let c = -1749 - -5338. Is c a composite number?
True
Suppose 3*c + 2 = -4*a + 18, -1 = -a. Suppose -c*u + 19 + 245 = 0. Suppose -n = -u + 13. Is n a composite number?
False
Let v be 29*((0 - -11) + -1). Suppose 7*g = 2*g + v. Is g prime?
False
Suppose 0 = 4*x - 3*g - 0*g - 2819, 3*x + 3*g - 2130 = 0. Is x a composite number?
True
Suppose -2*p + 2219 = p + 4*i, 0 = -5*p - i + 3721. Is p a composite number?
True
Suppose -94 = -3*c - 2*h, -2*h + 3*h - 2 = 0. Let d(g) = 71*g - c*g + 78*g - 1 + 25*g. Is d(2) a composite number?
True
Let p = 1089 + -610. Is p composite?
False
Let u(l) be the second derivative of -l**5/20 + 2*l**2 - 2*l. Let z be u(0). Let y(b) = b**2 - b - 2. Is y(z) a prime number?
False
Let w be (36/(-30))/(6/(-20)). Suppose 0 = -w*h + 3*h + 3. Suppose 3*d - 268 = g, h*g - 115 + 29 = -d. Is d prime?
True
Suppose 0 = -5*l - 5*d + 8390, 2*l + 2*d - 3360 = -2*d. Suppose -l = -4*c - 0*c. Suppose -k + c = -0*k. Is k prime?
True
Suppose -p = p - 2*g + 1292, 2*g - 10 = 0. Let a = p - -945. Suppose 5*l + 2*h + a = 7*l, -4*l + 5*h + 611 = 0. Is l a prime number?
True
Is (14126/(-21))/((-2)/3) a composite number?
False
Suppose 0 = -p - n + 95, -530 = -4*p + 4*n - 182. Suppose 2*h = -15 + p. Is h a composite number?
True
Let w(b) = 70*b**2 - 1. Let z be (-1 + (-6)/(-3))/1. Let p be w(z). Let u = 100 - p. Is u prime?
True
Let f(m) be the first derivative of 3 + 31*m + 1/2*m**2. Is f(0) a prime number?
True
Suppose -6*r + 560 = -r. Is ((-23)/(-2))/(8/r) composite?
True
Is 477/6 + (-3)/6 a composite number?
False
Let t be 9/(-3) + 2/1. Let v = 13 - t. Is v prime?
False
Let r(h) = -2*h - 6. Let s be r(-4). Suppose -2*t = s*t + 24. Is (-48)/(-5) + t/(-15) composite?
True
Suppose -i + 185 = 4*i. Is i a composite number?
False
Let x = 129 + -68. Let q = 28 + x. Is q composite?
False
Let k(v) = v**3 - 1 - 5*v**3 + 0*v**2 + 3*v**3 + 2*v**2 + 4*v. Is k(-4) a prime number?
True
Let d(c) = -5*c**2 + 10*c + 9. Let p be d(-8). Let w = p - -602. Is w prime?
True
Let d be (-7)/(((-4)/(-2))/(-2)). Suppose -s + 3 = -0*s. Suppose -s*f + 50 - d = 2*h, -3*f + 41 = h. Is f prime?
True
Let w = 558 + -265. Is w composite?
False
Suppose 2170 = 5*s + 5*f, 4*f + 9 - 1 = 0. Let k = s - 287. Is k a composite number?
False
Suppose -2*q = -x + 2*x + 155, -x = 3*q + 234. Let i = -30 - q. Is i a composite number?
True
Let q = 12 + -10. Suppose 720 = 5*d + 5*g, -4*d + 497 + 85 = -q*g. Is d prime?
False
Let h be ((-174)/(-4))/3*2. Let y = h + -18. Let v = y + 20. Is v a composite number?
False
Suppose -3*t = -8*t + 15. Let p(s) = 2*s**3 - 4*s**2 + 3*s + 3. Let z be p(t). Let r = 63 - z. Is r a prime number?
False
Is 446/5*20/8 a composite number?
False
Let c(t) = -14*t. Let y(m) = -m - 1. Let p(o) = c(o) + 3*y(o). Is p(-4) composite?
True
Let u be (-6)/(-1) - 1/1. Suppose 3*r + u*v - 3526 = 0, 3*r + 2*r + v = 5862. Suppose -5*g + g = -r. Is g a composite number?
False
Suppose 1169 + 709 = 6*m. Suppose 3*h + m = 2218. Is h a composite number?
True
Let o = 508 + -350. Is o prime?
False
Let b be 24/(-9)*(-6)/4. Let q be -2*-2*53/b. Suppose x + 2*a - 32 = -3*a, 0 = 4*x + 5*a - q. Is x composite?
False
Suppose -5*z = -3 - 32. Is z a composite number?
False
Let l(t) = -150*t - 7. Is l(-2) composite?
False
Let k be -1*8/(0 - 2). Suppose k*t = -t + 75. Is t composite?
True
Let m(a) = 2*a**3 - 3*a**2 + 3*a + 3. Is m(4) prime?
False
Suppose 4*c + 3*f - 1282 = 5*f, -4*f = -c + 331. Is c prime?
False
Suppose 7325 = 6*b - 10789. Is b a prime number?
True
Let y(l) = 7*l - 3. Let n be y(2). Suppose -2*m = -33 - n. Is m prime?
False
Let q(g) = 2*g. Let t be q(3). Suppose 0 = 5*m - 3*i + 15 - t, 4*i - 12 = -2*m. Suppose 5*x - 304 - 271 = m. Is x a composite number?
True
Let c be (-11218)/(-8) - (-4)/(-16). Is (-12)/18 + c/6 composite?
False
Let o(f) = 175*f**2 - f + 1. Let y be o(1). Suppose 4*q + 6*z = 3*z + y, -2*q - 3*z + 83 = 0. Is q a composite number?
True
Let j = -864 - -3043. Is j prime?
True
Suppose 30*g = 35*g - 12135. Is g a composite number?
True
Let x(r) be the fir