-x*h + h. Is v a prime number?
True
Let x = 1475 + -2089. Is -2 + (8 + -6 - (x + 1)) prime?
True
Let w = -20 - -30. Let o(f) = 101*f - 31. Let q(m) = -102*m + 33. Let i(u) = 4*o(u) + 3*q(u). Is i(w) a composite number?
True
Let n(v) = 358*v**2 - 2*v - 2. Let u be n(2). Suppose -7*l + 1297 = -u. Suppose -i = -3*b + l, 33 = -2*b - 2*i + 303. Is b a prime number?
True
Let p(a) = 9653*a + 755. Is p(4) a prime number?
True
Is (-11)/4 + 41981898/664 a composite number?
True
Let t = 512395 - 273276. Is t composite?
False
Let p be 2/2 + -2*(5 + -4). Let k be -223*(5 + p - 1). Let d = 370 - k. Is d a prime number?
True
Suppose 3*p - 4*i = -1274, -2*i + 403 = -p - 5*i. Let h = p - -609. Is h a composite number?
False
Let i = -118 + 72. Let g = i - -42. Is (g + -443)/(0 - -1 - 2) a composite number?
True
Suppose -9*j + 4*j + 4*q + 28 = 0, -q = -5*j + 37. Suppose -j*y + 12262 = 590. Is y a composite number?
False
Let s = 473059 + -305774. Is s a prime number?
False
Suppose 2*r = -3*z + 5825145, 0 = -8000*z + 8001*z + r - 1941716. Is z prime?
False
Suppose 0 = 12*r - 13*r. Let o = -18 - r. Is o/6 - -4*188 composite?
True
Let d(i) = 416*i**3 - 2*i - 3. Let n be d(2). Let o = -4757 + 2809. Let j = n + o. Is j a prime number?
True
Let f = -37586 - -60593. Let p = f + -14398. Is p a composite number?
False
Suppose 0 = 2*w + 2*w - 12. Is (-146344)/(-40) + (w - (-52)/(-20)) a composite number?
False
Let d = 347 + -333. Suppose 50709 = d*h - 31177. Is h a prime number?
True
Let x(n) = n**3 - 10*n**2 + 21*n + 8. Let u be ((-45)/6)/(((-7)/2)/(-7)). Let m be x(u). Is -2 + (-5)/(20/m) a composite number?
False
Suppose -4*z + 78 = -z. Suppose -5*t + 1 = -5*x + z, -2*t + 5*x = 25. Suppose t = -5*b + 5*c + 6980, 0 = 6*b - 3*b + 2*c - 4203. Is b a prime number?
True
Let g(y) = 16207*y**2 + 9*y + 1. Suppose 599 = 4*w + 595. Is g(w) a prime number?
True
Let f = 789 + -742. Suppose -58*a + f*a = -25465. Is a a prime number?
False
Let m(y) = 40*y + 27. Suppose 3*c - 12 = -5*w - 0*w, 4*w + 5*c = 7. Suppose 1 + w = s - 3*z, -4*z = -2*s + 10. Is m(s) a composite number?
False
Suppose s = -4*y + 22477, -4*y + 7*y = 5*s - 112385. Let w = -6116 + s. Is w a prime number?
True
Suppose 6*m + 80 = 2*m. Let z be ((-24)/m)/(6/3860). Suppose k - 387 - z = 0. Is k a composite number?
True
Let v be (-16)/(-1) + (78 - 27). Suppose 2*i = 1 + 1. Is i/3*84/4*v composite?
True
Let a(c) = 2*c - 5. Let s be a(10). Is 11406 - (-5 + s + -5) composite?
True
Let s = -378 + 823. Let o = 512 - s. Is o composite?
False
Let o(p) = -3*p**3 + 17 - 75*p**2 - 4*p + 39*p**2 + 27*p**2. Is o(-8) prime?
True
Let k = -66 + 43. Let p = -18 - k. Suppose 0 = -p*a + 24 + 3331. Is a a composite number?
True
Let r = -6 + 2. Let t be 0/(5/((-10)/r)). Suppose t*a - 9135 = -5*b - 4*a, 4*a = -3*b + 5473. Is b composite?
False
Suppose 445*z = 823034 + 810943 + 409908. Is z a composite number?
True
Let s = 663 - 1484. Let r = s - -1264. Is r composite?
False
Suppose -7207987 = -42*h - 2612053. Is h a composite number?
True
Let n(i) = -112999*i - 156. Is n(-1) a prime number?
True
Suppose 0 = -3*u + 6. Let z(j) be the second derivative of 47*j**3/6 - 4*j**2 - 762*j. Is z(u) composite?
True
Let c(o) = -200*o - 3. Let v(i) = -i + 1. Let h(t) = -2*c(t) - 6*v(t). Let d be h(6). Suppose -2*n + 1134 + 1307 = -3*j, 2*j = 2*n - d. Is n prime?
True
Let m = -101 + 111. Let v(r) = r**3 - r**2 + 20*r - 13. Is v(m) prime?
True
Let i(r) = 56*r. Suppose 5*k + 5 = 4*k. Let d be i(k). Let y = d - -503. Is y a prime number?
True
Let h = -12 + -5. Let v(t) be the first derivative of t**4/4 + 6*t**3 + 13*t**2/2 - 13*t - 50. Is v(h) prime?
False
Is ((-558748)/16)/(2/(-12)*(-18)/(-12)) a prime number?
False
Suppose c - 5*z = 152218, -717*c + 722*c + z - 760908 = 0. Is c prime?
True
Is (4/6*3)/(14/(-4452714)*-18) composite?
False
Let z = 326393 + -111652. Is z prime?
True
Let j be -1 - 1 - -2 - 1/(-1). Suppose 4 = 3*k - 4*u + 2, -j = -u. Suppose -3*t + 2*a = -1755, -k*t - t + a + 1758 = 0. Is t composite?
False
Let l = 44 - 44. Suppose l*i - 2*i = 5*k - 18, 5*i - 16 = 2*k. Suppose 50 = k*g - 2516. Is g prime?
True
Let c = -2 - 20. Is 191322/66 - 4/c prime?
False
Suppose -2*c - 55 = -3*h, -5*h = -10*h - 4*c + 99. Suppose -h*z + 61*z = 108318. Is z a prime number?
True
Let t(v) = v**3 - 4*v**2 - 5*v + 5. Let c be t(4). Let p = c + 3. Let u = 26 - p. Is u a composite number?
True
Suppose -3*f + 62 = -88. Let v = -45 + f. Suppose -5*k + 181 = -2*h, 0*h - 15 = v*h. Is k prime?
False
Let v be 1213/(-8 + (-1060)/(-132)). Is 8/2 - v/(-11) composite?
False
Suppose -70*d - 5*o = -71*d + 264746, -2*d + 529401 = 3*o. Is d a prime number?
False
Let m = 10349 - 4000. Is m a prime number?
False
Let v(i) = -i**3 - 17*i**2 - 32*i + 20. Let b be v(-16). Suppose o = -3*o + 7876. Suppose o = n + b. Is n a composite number?
False
Let r be (-1 + 17)/(-6 - 7406/(-1234)). Let g = r + -4981. Is g composite?
True
Let a be 0/(-5) - 45*-17. Let f = 1096 - a. Is f composite?
False
Let o(v) = 38 - 85*v + 0*v**3 - 2*v**3 - 3*v**3 + 27*v**2 + 6*v**3. Is o(-29) prime?
True
Let d(u) be the second derivative of 2*u**4/3 - 11*u**3/6 + 53*u**2/2 - 11*u - 2. Is d(-8) composite?
False
Suppose 0*r = -11*r - 55242. Let b = -1697 - r. Suppose 4796 = 3*y - b. Is y a prime number?
True
Let m(s) = -2*s**3 - s**2 + 5*s + 7. Let w be m(-2). Is 101218/8 + w/12 - -2 a prime number?
False
Suppose 0 = -4*k + s + 61, -4*s + 5*s = -1. Let f(q) be the third derivative of 11*q**4/24 + 8*q**3/3 + 55*q**2. Is f(k) prime?
True
Let n be (-266)/(-42) - (-3)/(-9). Is (8/n)/((-224)/(-1000104)) composite?
False
Suppose -i - 2*w - 20 = 0, 20*i - 25*i = -w + 56. Is i + 18/6 + 3 + 10501 composite?
True
Is (2/((-3)/(27/24)))/(19/(-10982836)) composite?
True
Suppose -4*o + 22*o = 383886. Suppose -13*f = -165834 - o. Is f a composite number?
True
Suppose 14*v + 691277 = 3540963. Is v composite?
False
Suppose 4*x = -20, -22 - 3 = 5*g + 3*x. Let s(j) = -2*j**2 - j - 2. Let z be s(g). Is ((-3)/12)/(z/132064) composite?
False
Suppose 10 = -3*w + 2*w + u, -4*w - 2*u = 22. Let f be 2/w + 230/70. Is f*(-115)/(1 - 6) composite?
True
Let n = -45180 + 101771. Is n a composite number?
False
Is (20 + -17)/(-3 - 85536/(-28511)) composite?
True
Let y(t) = -5*t**3 - 6*t**2 + 15*t + 3. Let u(p) = p**2 - p - 6*p - 10 + 3*p - 2*p**2. Let d be u(-4). Is y(d) a prime number?
True
Suppose 4444030 = 3*o - s, -2266526 = -2*o + 5*s + 696191. Is o a composite number?
True
Suppose 5*z - 4*m + 83 = -57, -4*z - m - 112 = 0. Let n be (-8)/z - 6948/14. Let c = 1837 - n. Is c composite?
False
Let b(z) = 14*z + 905. Is b(-48) composite?
False
Let z = 34 + -28. Suppose 6*x - 108 = -z*x. Is 6113/x - (-20)/(-90) composite?
True
Let x(q) = -q**3 + 4*q**2 - 8*q - 27. Is x(-17) a composite number?
True
Suppose 0 = 3*y - 2*p - 57935, 0 = -y - 14*p + 12*p + 19325. Is y composite?
True
Let v = 816479 - 297920. Is v composite?
True
Suppose -107*b = -1856480 - 23892751 - 7148668. Is b a prime number?
False
Suppose 5*g - 4*m - 4958 = -1881, -g + 623 = 3*m. Suppose -4*h - 2*f = -8396, -g + 4815 = 2*h - f. Is h prime?
True
Suppose f = 3*f - 3*x - 3311, -3*f = -5*x - 4968. Is f prime?
False
Let v(l) = -l**3 - 108*l**2 + 32*l + 432. Is v(-133) a prime number?
True
Suppose -a + 3*n - 2*n + 6 = 0, -2*a + 5*n = -18. Suppose -a*w + 4*r = -2828, -3*w = -2*r - 2429 + 304. Let m = w + -400. Is m composite?
False
Let u be (-5 - -8)/((-2)/(-26)). Let o = 157 - u. Suppose 0*w = 2*w - o. Is w composite?
False
Suppose 1 = -u - n, -4*n - 7 = u + 3. Let t(d) = -6*d + 17*d**u - 16 + 11 + d**2. Is t(-4) prime?
True
Let d(c) = 4*c**2 - 14*c + 10. Let m(r) = -4*r**2 + 14*r - 11. Let s(w) = 6*d(w) + 5*m(w). Is s(6) prime?
False
Suppose -84*r = -80*r + o - 1088787, -3*r = -5*o - 816596. Is r prime?
False
Let j(z) = -2*z**3 - 15*z**2 + 23*z + 26. Let s = 214 + -226. Is j(s) composite?
True
Let w = 325 + -225. Let m = -31 + w. Is m a composite number?
True
Let b = -90 - -109. Let x be 7/(-2 - 15/(-6)). Suppose -11015 = -b*o + x*o. Is o a prime number?
True
Let k = 86 - 93. Let z(g) = -g**2 - 15*g - 19. Is z(k) composite?
False
Let k = -568 + 567. Is (-31998)/(-12)*(4 + 2/k) prime?
True
Let t = -12010 + 19408. Suppose 3826 = -4*h - t. Is (2 - h)/2 - 5 a prime number?
True
Suppose 