d a prime number?
True
Suppose 29*p = 27*p - 2*w - 2, 0 = 4*p - 3*w - 24. Suppose -5*m + 17031 = -s, -m + 13616 = p*m - 3*s. Is m composite?
False
Let p be 48/36*(-2 - 240754/(-8)). Is p/4 + (-33)/(-132) prime?
False
Suppose 2*c = 2*r + 13598, -237*r - 16 = -241*r. Is c composite?
False
Suppose v + 2837091 = 5*i, 1027*v - 1025*v = -i + 567427. Is i composite?
True
Let l(h) = -2282*h + 52. Let y be l(-2). Let f = 8377 - y. Is f a composite number?
False
Suppose -2 = 35*m - 33*m. Let p be 0 - 2 - m/(1/97). Suppose 164 = 7*w - p. Is w composite?
False
Let x = -296 + 324. Is (6/9)/(x/33054) composite?
False
Suppose -2*n + m = -272888, -5*n + 281*m - 276*m = -682225. Is n a composite number?
True
Suppose -5*v = -4*s - 46877, -v - 3*s = -5*s - 9373. Is v composite?
False
Is ((-1)/31 - 1400/4650)*576363/(-1) prime?
True
Suppose -d + 5*q = -5*d + 25, -3*d + 3*q = -39. Suppose 0 = c - 3*n - 5 + 20, -d = 2*c - 2*n. Suppose c*p + 4764 = 4*p. Is p a composite number?
True
Let n(j) = -142210*j**3 + j**2 - 81*j - 81. Is n(-1) a prime number?
True
Suppose -3*f + 0*h - 3*h = -27, -36 = -4*f + 3*h. Let y be ((-12)/f)/((-2)/(-18)). Is (-3)/(y/80) + 3 composite?
False
Suppose 15*l + 22*l - 107169456 = 65554721. Is l a composite number?
False
Suppose -2*c - 11 = -31. Suppose 8397 + 11033 = c*j. Is j a composite number?
True
Let k(q) be the second derivative of 505*q**4/6 + q**3/3 + 3*q**2/2 + 26*q. Let p be k(-1). Suppose -p - 3584 = -5*g. Is g prime?
True
Suppose -s = -2*y + 223407, -11*y + 2*s - 558513 = -16*y. Is y a prime number?
False
Let v be 111/15 + -5 - (-2)/(-5). Suppose -5*l = -10, 0*m - 2*m + l + 1480 = 0. Suppose -89 = -v*r + m. Is r composite?
True
Let i = 9 - 5. Suppose 4*s - 376 = -i*k, s - 184 = -2*k - 1. Let j = 280 - k. Is j a prime number?
True
Let l = -19509 + 62176. Is l a prime number?
True
Suppose 2*w = 7*w + 4*x - 11, -3*w + 2*x + 11 = 0. Suppose w*d - 1628 = -2*g + 612, 2*d - 4488 = -4*g. Suppose 2*t - g = -137. Is t a composite number?
True
Let b = -2994 - -24263. Is b a prime number?
True
Is ((-4)/(-8))/((-663295)/(-663270) - 1)*5 a composite number?
True
Suppose -4*u + 16079 = 3*x, u = 6*u - 25. Let z = 12834 - x. Is z a composite number?
False
Is (-1677979)/(-18) + 22/(-396) a composite number?
True
Suppose -4*c + 4 = 2*i, 5*c - 7 = -4*i + 4. Is (33/66)/(c/(-7382)) a prime number?
True
Let k(i) = 8*i**3 + 2*i**2 + 3*i. Let b be k(-1). Let h(a) = -126*a - 20. Is h(b) a prime number?
False
Suppose 2790*v - 25 = 2795*v, -4*v = s - 17139. Is s a composite number?
False
Let c(o) = 5*o**3 - 83*o**2 + 221*o + 127. Let r(f) = 2*f**3 - 28*f**2 + 74*f + 42. Let m(v) = 3*c(v) - 8*r(v). Is m(-28) composite?
False
Suppose -10 = -d + 6*f - f, -3*f = 5*d - 50. Let o be (30/25 - 0)/(3/d). Suppose 7*q - o*q - 1569 = 0. Is q prime?
True
Suppose -5*c + 6*c = 12. Suppose -c = -5*z + 28. Suppose 5 = -x, -5*x - 868 = -5*n - z. Is n prime?
True
Suppose 41*r = 3298304 - 144133. Is r composite?
True
Suppose 64*y - 67*y - 6*k + 158427 = 0, 0 = y + k - 52810. Is y prime?
False
Let h be (-2)/(-11) - (-1863)/99. Suppose -5*a + 29 = 3*x, -a - 8*x + h = -3*x. Suppose -t - 2*t = -a*u - 95, -4*t = u - 152. Is t a composite number?
False
Let l(x) = 1. Let w(r) = -342*r + 59. Let i(t) = 4*l(t) - w(t). Is i(12) a prime number?
True
Suppose -9 = 91*k - 94*k. Suppose -k*a + 8024 = -2449. Is a composite?
False
Let a(h) = -7899*h**3 + 3*h**2 - 4*h - 5. Is a(-1) composite?
False
Suppose 5*q + 1045 = 5*i, 2*q + 2*q = 5*i - 1050. Is (-4)/(-10) + 170/(-50) + i a prime number?
True
Let u be -2 - ((-892)/3)/((-9)/27). Let d = u + 2428. Let r = d + -797. Is r a composite number?
True
Let n(p) = 70*p**2 + 7. Let r(x) = 6*x + 41. Let a be r(-6). Suppose 0 = -5*q + 5*i - 20, a*q - 2*i = 6*q + 13. Is n(q) a prime number?
False
Let g(y) = y**2 + y - 1. Let p(j) = 106*j**3 + 7*j**2 - 4*j - 3. Let l(b) = g(b) + p(b). Is l(3) a composite number?
True
Suppose 60*a + 54*a = 90*a + 271464. Is a a composite number?
False
Let o(k) = 2*k**2 - 12*k + 7. Let g(f) = 3*f**2 - 23*f + 13. Let n(u) = -6*g(u) + 11*o(u). Is n(12) composite?
False
Let u(m) = 9204*m + 365. Is u(7) a prime number?
True
Is (-1 - 3) + 194369 + 90 + (-2 - -8) composite?
True
Let n(l) = -2575*l + 117. Let p be n(4). Let r = p - -19130. Is r prime?
False
Let h = 33288 - -1663. Is h composite?
True
Let s(c) = 212568*c**3 + c**2 + 17*c - 19. Is s(1) a composite number?
True
Suppose 3*r = 5*b + 275695, -4*r + 68046 = -5*b - 299549. Suppose 0 = 4*u + 4*f - r, -2*f - 69757 = -4*u + 22113. Is u/110 + (-4)/(-22) prime?
False
Let o(c) = 95*c**2 + 44*c + 64. Is o(-9) composite?
True
Suppose -114482621 - 123963247 + 40800500 = -488*m. Is m a composite number?
False
Suppose -6*v - v = -7. Is (-291 + -2)/((-2)/26*v) composite?
True
Let j be ((-1094)/8)/(1/4). Let t = 146 + j. Let r = t + 850. Is r prime?
True
Let t = -19150 + 72545. Let m = t + -31536. Is m a prime number?
True
Suppose 335*x - 331*x + 3*z - 781415 = 0, 4*x = 2*z + 781450. Is x prime?
True
Suppose 0 = 24*n - 158574 + 29028 - 133806. Is n a composite number?
False
Suppose 5*y - 40 = 20. Let v be y*(-2)/8*2. Is (-2755)/(-3) - (-3 + (-14)/v) prime?
True
Suppose 163591 = 3*t + j + 36071, 5*t = -j + 212530. Is t a prime number?
False
Suppose 3*x - k = 7583, -k + 2509 = x - 6*k. Suppose 3*m = -2*u - 2*u + x, 2*u = -4*m + 1262. Is u prime?
False
Let o(g) be the third derivative of g**6/40 + 2*g**5/15 - g**4/6 + 5*g**3/3 - 20*g**2 - 3*g. Is o(11) a composite number?
True
Suppose -4*o - 540 = -o. Let g be -113 + -9 + (-15)/3. Let y = g - o. Is y prime?
True
Suppose 3*w + 52 = 67. Suppose g - 17968 = -2*g - 5*a, w*g - 4*a = 29885. Is g a prime number?
True
Let q = -21 + 27. Suppose -6522 = -2*k + 2*i, 2*k + q*i - i = 6550. Is k a composite number?
True
Let n(w) = 4*w**3 + 6*w**2 - 8*w - 4. Let g(c) = -c**3 - c**2 + c. Let q(o) = 3*g(o) + n(o). Let f be q(-4). Suppose f = -17*s + 9*s + 552. Is s prime?
False
Suppose 21592706 = 296*l - 251*l + 398*l. Is l prime?
False
Let v = -202 + 212. Suppose -v*y + 10107 + 1313 = 0. Is y prime?
False
Let g(z) be the third derivative of -43*z**7/5040 + 13*z**6/180 - z**5/12 - 13*z**2. Let q(v) be the third derivative of g(v). Is q(-21) a prime number?
False
Let m = 55 - -208. Suppose -m = -u + 426. Is u prime?
False
Let l = 320302 + -39465. Is l composite?
False
Let a = 140 - 138. Suppose 0 = 3*t - 0*q - a*q - 91649, 122184 = 4*t + q. Is t composite?
True
Is ((-2)/(-8))/((-593)/(-48486052)) a composite number?
False
Let l(t) = 1055*t + 2. Let d be l(-1). Let y = -746 - d. Is y a prime number?
True
Suppose 5*p + 2*a = -160, 0 = -2*p + 6*p - 3*a + 105. Is 2/(-1)*92385/p prime?
False
Let g(d) = 29*d**3 - 13*d**2 + 22*d + 11. Let r(k) = 30*k**3 - 13*k**2 + 23*k + 11. Let h(o) = -5*g(o) + 4*r(o). Is h(-7) composite?
True
Suppose 5*g + 0*g + 5 = 0, -3*g - 56 = -m. Suppose 0 = 48*t - m*t + 1770. Suppose -t = -2*l + 754. Is l a composite number?
True
Let u(x) = -10*x + 68. Let l be u(15). Is l/(-41) + (6430 - -1) a prime number?
False
Suppose -5*m - 46101 = -2*q, -17*q + 15*q = m - 46071. Is q prime?
False
Suppose -4*k + 8804 = -4*g, 11*g - 14*g - 6609 = -k. Let u = 3877 + g. Is u prime?
False
Let f(g) be the third derivative of -1/3*g**4 + 10*g**2 + 0*g + 1/20*g**5 + 0 + 5/3*g**3. Is f(4) composite?
True
Is 26/(-130) - 2/(-10) - -259703 prime?
False
Suppose 12*u = 4*z - 430216, -50*z + 49*z - 2*u = -107569. Is z composite?
False
Suppose -4*q = -w - 12314, q - 11*w - 3073 = -8*w. Is q a prime number?
True
Let s be (-1806)/(-34) - 2/17. Let g = 77 - s. Let k = g - -13. Is k composite?
False
Suppose h - 5 + 0 = -4*b, 2 = -5*b - 4*h. Let c be 1090 + -6 + 2 + 7. Suppose -4407 = -4*n + t, 0*t + c = n - b*t. Is n a prime number?
True
Let b(x) = x**3 + x**2 - x + 13. Let r(d) = 8*d - 2. Let m be r(1). Let l be b(m). Is (1*11)/(((-42)/l)/(-6)) a prime number?
False
Suppose 2*s - 5*z = -1 - 0, 4*z - 6 = -s. Suppose -g + s*y + 819 = 0, 6*g + 3*y = 3*g + 2439. Is g a composite number?
True
Suppose 9*a - 226 = -g + 10*a, 3*g - 693 = -2*a. Suppose 0 = -13*u + 96 + g. Is u a prime number?
False
Suppose 4*w + 41*h = 46*h + 63518, 3*w - 4*h - 47639 = 0. Is w a prime number?
True
Let k(v) = -3*v**3 - 2*v**2 + 3*v + 1. Let c(t) be the first derivative of -t**4/4 + 4*t*