 + 3412. Is d a prime number?
True
Suppose -538246 = -79*f + 1318697 + 3414490. Is f prime?
False
Suppose -p - 2*v - 77286 + 1130275 = 0, -v - 2105978 = -2*p. Is p prime?
False
Let i(y) = 3*y**2 + 66*y - 3218. Is i(129) prime?
True
Suppose 3*a + j = 76241, -23285 = -4*a + j + 78372. Suppose 0 = -2*i - 4, 4*q + 2*i - a = 3*i. Is q prime?
True
Let t be (2 - 0)/(3*1/3). Let k be (2 - t)*3/(-9)*-3. Suppose 4*o - 4*m + 48 - 13660 = 0, k = -5*o + 3*m + 17023. Is o composite?
False
Let n(l) = 3*l**2 - 84*l - 606. Let q be n(19). Suppose -6*u + u + 11065 = 0. Let s = q + u. Is s composite?
True
Let g(o) be the third derivative of -7*o**6/60 - 7*o**5/60 - 19*o**4/24 - 4*o**3/3 - 7*o**2. Is g(-6) prime?
False
Suppose 5*q - 32 = 2*u, -4*u + 0 = 4. Let b be ((40/q)/2)/(4/294). Suppose -w + b + 678 = 0. Is w a prime number?
False
Let x = -3512 - -15435. Is x a composite number?
False
Let r(x) = 28*x**2 + x + 2. Let a be ((-9)/6)/(3/(-4)) - -9. Suppose -2*v - a = 5*h, 4 = -4*v + h - 7. Is r(v) a composite number?
False
Let c = -33959 - -48066. Is c prime?
True
Let r be (5/10)/(-3 + (-201)/(-66)). Let c(g) = -7*g**2 + 8 - 8*g**3 + 9*g + 3*g**3 + 4*g + 6*g**3. Is c(r) a composite number?
True
Suppose -4*x - 3*x = -8848. Let p = x + -1867. Let j = p + 1634. Is j a composite number?
False
Let l be ((-16)/(-24) - 20/(-6)) + -10. Let v(w) = -12*w**3 - 5*w**2 + 9*w + 37. Is v(l) prime?
False
Let d(g) = g**3 - g**2 + 3*g + 866. Let a be d(0). Let v = 1239 - a. Is v a composite number?
False
Let l(v) = -6169*v**3 + v**2 - v + 1. Let m = -8 - -9. Let d be l(m). Is (d/(-3) - 0)*2 + -1 a prime number?
True
Let k = 1474 + -449. Suppose 451 = 2*u + h, 1072 = 4*u + 5*h + 185. Let l = u + k. Is l composite?
True
Let h = 155009 + -104302. Is h a composite number?
False
Suppose -40*r - 14*r = -32*r - 525778. Is r prime?
True
Let y be (467056/(-20))/(-2) - 24/(-40). Suppose u - 3*v + y = 5*u, 5*u - 2*v - 14625 = 0. Is u prime?
False
Let j = 10920 - -58069. Is j a prime number?
False
Let g be 2/(-4)*(-11)/((-33)/(-48)). Suppose 104 - 8 = -g*c. Let a(j) = -j**3 - 3*j**2 - 16*j + 9. Is a(c) prime?
False
Let g(o) = 10*o**3 - 18*o**2 - 21*o + 21. Let c(l) = -9*l**3 + 17*l**2 + 18*l - 22. Let v(x) = -4*c(x) - 3*g(x). Is v(14) prime?
True
Is (-20)/(-6)*(130/20 - 8) + 283546 a prime number?
True
Let c(r) = 59 + 2*r - 77 + 2*r - r. Let j be c(9). Let m = 11 - j. Is m a prime number?
True
Suppose -130*o - 659681 = -141*o. Is o prime?
True
Suppose 0 = -y - 4, -2*o - o = 3*y + 2322. Let z = o + 1789. Suppose 0 = -2*w + w - 4*f + 199, -z = -5*w + 4*f. Is w prime?
False
Suppose 0 = -3*u + 24, -82889 = -i + u - 4400. Is i a prime number?
True
Let c(k) = 4*k + 32. Let b be c(-7). Let d be b/1 - (-980 - 0). Suppose 2*q + 1631 + d = 5*m, -m + 546 = -5*q. Is m prime?
True
Suppose -153*b + 135*b = -1055394. Is b a composite number?
True
Let r(b) = 62484*b - 17. Is r(2) prime?
True
Suppose 2*a - r + 726 = -104, -1672 = 4*a + r. Let s = a - -1088. Is s prime?
False
Let y(o) = -3*o**2 - 13*o + o**2 - 18 + 1 + 3*o**2. Let f be y(8). Is (-6)/(-4)*(-8246)/f a composite number?
True
Suppose 2*q + 38 - 41 = -3*z, -12 = -q - 5*z. Is (q - 381624/(-27)) + (-14)/63 a prime number?
False
Suppose -110*c - 2026765 = -123*c. Is c prime?
False
Suppose 24*f = -y + 25*f + 1132069, -4*y - 2*f = -4528240. Is y prime?
True
Suppose -5*j = -25, 49360 = -48*s + 53*s + 3*j. Is s composite?
True
Suppose -15 = -5*k + 65. Suppose -26*j = -63*j. Is 305 - (k/(-4) - j) prime?
False
Let y be (-6)/27 + -2 + (-546)/(-27). Suppose -4*o - y = -30. Suppose 3*h - o*w = 216, h - 226 = -2*h + 5*w. Is h prime?
True
Suppose -2*w - 660 = 4*w. Let a = w + 103. Is ((1671/(-12))/(-1))/(a/(-28)) composite?
False
Is 13490 + (-3 - (14 + -26)) composite?
False
Let p(l) = 28278*l**3 + 1. Let k be p(1). Suppose o - 9538 = -3*r + k, 2*o + 50436 = 4*r. Is r a composite number?
True
Let a(b) = b**3 + 4*b**2 - b - 1. Let y be a(-2). Let l(u) = -10*u**2 - y*u - 12*u**3 + 13 + 6*u**3 + 8*u**3. Is l(14) prime?
False
Let l(n) = n**2 + 6*n + 26. Let y be l(-12). Suppose y*g - 93*g = 12085. Is g a composite number?
False
Let u = 72058 - -13713. Is u composite?
True
Suppose 0 = -61*c - 1526591 + 8511274. Is c a composite number?
True
Let q(s) = s**2 - 6*s - 9. Let z be q(8). Suppose -9 = -3*m, 10*d - 14730 = z*d + m. Is d prime?
False
Suppose 4*d - 609 = -705. Is 3*((-64280)/d + 4) a prime number?
False
Is 10/60 - 1190090/(-60) composite?
True
Suppose -5*m = -4*t - 8, 6*m + 17 = -t + 11*m. Suppose -t*w + 3*j + 3485 - 176 = 0, 2*w - 2206 = -2*j. Suppose 92 = -3*f + w. Is f composite?
False
Let l = -159672 - -299053. Is l a composite number?
True
Suppose -13*w - 16 = -42. Suppose 2*k - 146 = -2*x, -w*k = 2*k - 16. Is x a composite number?
True
Let q(r) = -28*r - 143*r - 3*r - 27. Let m(x) = x**3 + 17*x**2 - 37*x - 346. Let a be m(-18). Is q(a) a prime number?
False
Let v(x) = -x + 15. Let i be v(5). Let q(w) = 5*w**2. Let c be q(1). Let a = c + i. Is a a composite number?
True
Let u(j) = -5*j - 38. Suppose 56 = -2*n - 5*n. Let g be u(n). Is 1601 + g/4*4 prime?
False
Let m(x) = 300*x**2 - 10*x + 18. Let y be -93 + 97 - 1*2. Is m(y) a composite number?
True
Let q(r) = 57*r + 22. Let m(g) = 52*g + 21. Let s(k) = -53*k - 21. Let j(z) = 4*m(z) + 5*s(z). Let x(c) = -3*j(c) - 4*q(c). Is x(-6) prime?
True
Let q = -50 + 53. Suppose q*v - 4*c - 12303 = 14854, -2*v - 4*c = -18118. Is v prime?
False
Let b(y) = 11196*y**2 + 181*y + 707. Is b(-4) a composite number?
False
Let t(k) = -k**3 - 19*k**2 - 16*k + 41. Let q be t(-18). Suppose 0 = q*z - 4303 - 9582. Is z prime?
True
Let o(b) = 27*b + 2 + 262*b**2 - 9*b - 17*b + 414*b**2. Let p be o(-2). Let i = p + 73. Is i prime?
True
Let o = 101591 - 41728. Is o prime?
True
Let v = -109 - -79. Let p = 38 + v. Let t = 557 + p. Is t composite?
True
Suppose 15*m = 14*m - 11. Let h = m + 29. Is ((-6)/h)/(3/(-3357)) composite?
False
Suppose 25*h - 73270 = 15*h. Is h prime?
False
Let s(l) = 1541*l - 3071. Is s(30) composite?
False
Let i = -3363 + 3365. Suppose -4*p - 2*b = -6646, -3*p - 4*b - 1558 = -6555. Suppose -5*s = -g + p, -i*s - 2055 = -g - 402. Is g a prime number?
False
Let w = -5486 - -7783. Suppose w = g - 2*u, u = 3*g - 5*g + 4569. Is g a composite number?
False
Suppose 0 = 8*s - 7*s + 15. Let u be 3/s + (-51312)/(-10). Suppose -5*k + u = -3*t + 956, 3*k - 2505 = -4*t. Is k prime?
False
Let j = -90274 - -185001. Is j a composite number?
False
Let w(t) = -t**3 + 85*t**2 - 7*t + 1273. Is w(50) a composite number?
False
Let w(c) = -182*c**3 - 3*c**2 + 4*c + 3. Suppose v + 0*n = 2*n - 15, 22 = -2*v + 2*n. Let u(y) = y + 5. Let g be u(v). Is w(g) a composite number?
False
Let u = -123 - -121. Let m be (72/(-40))/(3/30*u). Suppose 44539 = m*v + 2*v. Is v a composite number?
False
Let g(v) = 173*v**2 - 160*v - 1210. Is g(-7) a prime number?
True
Let v = -18797 - -46370. Suppose 7*p = v + 24304. Is p a prime number?
True
Let b = -651373 - -1439630. Is b composite?
True
Let s(j) = -7*j + 5. Let c be s(1). Let q(t) = t**3 + 11*t**2 + 11*t + 12. Let h be q(-10). Is 251*(6/4 - h)*c composite?
False
Let u = 744 - -103. Suppose -4*o + u = -5669. Suppose 4*m - 1264 = -4*t, -4*t + o - 356 = -5*m. Is t composite?
False
Suppose 149 - 169 = -5*w. Let o(x) = 3*x**2 - 18*x + 4. Let y be o(w). Is 8465*(8/y)/(-2) prime?
True
Suppose 4*j = -5*v + 35157, -15765 = -3*v + j + 5336. Is v composite?
True
Let q(b) = b**3 + 7*b**2 + 10*b + 3. Let i be 57/(-9) - 4/(-3). Let n be (-53)/11 - (i - 342/(-66)). Is q(n) prime?
True
Is (-318396)/(-15) - (216/(-10) - -21) prime?
True
Suppose -10*k - 19*k = -116. Suppose -3*o - 9780 = -7*o - k*t, -5*o + 12241 = t. Is o composite?
True
Let a(r) be the third derivative of 0 + 13/6*r**4 - 7*r**2 + 19/3*r**3 + 0*r. Is a(12) prime?
False
Suppose -m + 3*d - 31252 = 0, -d + 93776 = -3*m + 4*d. Let g = 12207 + m. Is ((-4)/(-20))/((-4)/g) composite?
False
Suppose i - 61187 - 13730 = -l, -374591 = -5*l - 4*i. Is l a prime number?
True
Suppose 6*d + t = 3*d + 3, 3 = -3*d + t. Suppose 0 = 4*h - j - 29, -3*j + d*j = h + 9. Is 14274/22 - h/(-33) a composite number?
True
Let n = 42 - 46. Let a = 142 - 82. Is (49/n + 3)*a/(-5) a prime number?
False
Let i = 31211 + 3888. Is i a prime number?
True
Suppose 39*r - 29861 - 579383