rime?
True
Let y(v) be the third derivative of v**5/30 - 5*v**4/3 + 13*v**3/6 + 30*v**2. Let k be y(20). Suppose 4629 = k*q - 7318. Is q a prime number?
True
Let d(v) = -v**3 - 12*v**2 - v - 4. Let f be d(-12). Let y be -4 - -183 - f/(-2). Suppose -w - j = -y, -4*w - 63 = 2*j - 799. Is w a prime number?
False
Let u be (44/12 - 3)/((-8)/12). Is 17/(-17)*(-408 + u) prime?
True
Let m(x) = -x**3 + 3*x**2 - 1. Let p be m(2). Suppose 5*c = 2*t + 27087, c + p*c = 2*t + 21668. Suppose -u + 1083 = n, -2*u + 7*u = -4*n + c. Is u composite?
False
Let g(i) = -12*i - 18. Let n be g(-2). Let p(w) = w**3 - 5*w**2 - 9*w + 24. Let h be p(n). Suppose -h*d = -k - 3*d + 8719, -2*k + d = -17418. Is k composite?
False
Suppose 3*n = 2*q + 44 + 45, 5*q - 41 = -n. Suppose -n*u = -26*u - 35215. Is u prime?
True
Let s = -1390 + 867. Suppose z - 468 = 5*x + 491, -2*z = -5*x - 958. Let l = x - s. Is l a composite number?
False
Suppose -47*k = -52*k + 620. Suppose k*m - 30679 = 113*m. Is m a prime number?
True
Suppose -4657568 + 1844431 = -30*z + 3214493. Is z prime?
False
Let k be -2 - (-6 + -1 - 3). Let c(b) = 210*b + 6. Let r be c(k). Suppose 5*p - r = -2*m + 621, -3*m + 3450 = -3*p. Is m a composite number?
False
Let y(v) = v**3 + 56*v**2 + 18*v - 89. Is y(-38) a composite number?
False
Let p = -625 + 285. Let k = 24 - p. Let j = 717 - k. Is j composite?
False
Let a = -629 - -1310. Suppose 23*t + 1823 + 8159 = 0. Let n = a + t. Is n a composite number?
True
Suppose -4233730 = 22*z - 45*z + 603285. Is z prime?
False
Let r(s) be the second derivative of s**5/20 + 5*s**4 + 17*s**3/6 - 47*s**2/2 + 96*s. Is r(-55) prime?
True
Let g(x) = 2*x**3 + 2*x**2 - 2*x + 81316. Let p be g(0). Suppose -p = -13*r - 20177. Is r a prime number?
True
Let c(s) = 989*s**2 + 27*s - 15. Let d(v) = -495*v**2 - 14*v + 8. Let j(g) = 3*c(g) + 5*d(g). Is j(2) prime?
False
Suppose -28 = -11*g + 16. Suppose -g*c = -9675 - 5569. Is c composite?
True
Suppose 2*f - 4*a - 13576 = 0, 4*a + 3611 = -3*f + 23995. Suppose 3*x - f - 9099 = 0. Is x a composite number?
False
Let w be 4/8 - (-6769)/2. Suppose 5*s + 4*q = 685 + w, -q = 5. Is s composite?
True
Let y(z) = 1422*z**3 - 6*z**2 - 2*z + 27. Let d(g) = 4267*g**3 - 18*g**2 - 5*g + 80. Let h(o) = -4*d(o) + 11*y(o). Is h(-3) composite?
True
Suppose -10 = -12*d + 7*d. Suppose -3 + 7 = 4*i, 4197 = d*n - 5*i. Is n composite?
True
Suppose 2*y = o + 8, 4*o = 9*y - 5*y - 12. Suppose q - 2297 = o*h, 3*q - h - h = 6883. Is q a prime number?
True
Suppose -3*f = o - 5798, 3*f - 5*o = o + 5763. Is f prime?
True
Suppose 0 = -2*l - 2*j + 5 - 1, -4*l = 3*j - 10. Suppose -5*f + 18 = l*f. Is 3286/((f/3)/((-6)/(-18))) a composite number?
True
Suppose 2*b = -2*c - 10, 4 = -3*b + 4*c + 10. Is 1791856/(-264)*3/b prime?
True
Let m(w) = 218*w**2 - 3*w - 4. Let y = -6 - -9. Suppose -7*c + 8*c = y. Is m(c) a composite number?
False
Suppose -2*f + 13 = -3*d, -4*f - 13 = -3*d - 42. Suppose 0 = h + 2*q - f, h - 4*q + 3 + 7 = 0. Suppose -1743 = -3*s + 4*l, -3*s + l = h*l - 1743. Is s prime?
False
Let x = -1449802 + 2105031. Is x a composite number?
False
Suppose 0 = -y + i + 40, -7*y = -5*y - i - 85. Let r = 51 - y. Suppose -1111 = -r*v + 1451. Is v prime?
False
Let r be (-568)/10*(-17 + 22). Let s = 19 - r. Is s a prime number?
False
Let o(a) = -485*a - 7716. Is o(-65) a composite number?
True
Suppose -3*s = 2*k + 3435, 0 = -8*s + 11*s + 9. Let r = 5452 + k. Is r prime?
True
Suppose -136*u + 10 = -131*u. Suppose 2*j = 4*x + 29218, -x + 58391 = 2*j + u*j. Is j composite?
True
Suppose -3*c + 3 = 0, -3*c = -4*m - 7*c + 20. Suppose -5*p = -m*h + 1310, -7*p + 4*p = 6. Let x = h + -104. Is x a prime number?
False
Suppose 49*d - 3952226 - 1869053 = 2*d. Is d prime?
False
Suppose -4*u - 3*i = -11978, -6968 = -5*u - i + 7999. Let t = u + -940. Is t a prime number?
True
Let r(c) = -1539*c - 7. Let k be r(4). Let t = k - -8764. Let x = t + -1400. Is x composite?
False
Is (-13)/26*-2770 + 14 a prime number?
True
Suppose -3*n + 4*f + 4 = 8*f, -f = 4*n - 1. Suppose n = -6*b + 10*b + 3*l - 14726, 5*b - 18417 = l. Is b prime?
False
Let f be 4*(18/4 + 6 + -10). Suppose 3*l - 3119 = -f*b, -2*l - 6*b + 2081 = -3*b. Is l composite?
False
Suppose -46*n = -50*n - 16. Is ((-14)/21)/(n/9942) composite?
False
Let f(d) = 18*d**2 + 2*d + 23. Let y be (-2)/(-8) + 1521/12. Suppose q - 134 = -y. Is f(q) prime?
True
Let h(i) = 4*i**2 - 1. Let p be 2 + (0/3 - -1). Let b be h(p). Is (-6)/21 + 13275/b prime?
True
Let o = -5555 - -26578. Is o a composite number?
False
Suppose -4*r + 79 = -3*h, -2*r + 2*h - 31 = -69. Let j(a) = 33*a**3 - 2*a**2 + 1. Let u be j(1). Suppose -r*v + u*v = 1130. Is v prime?
True
Let r = 9146 + 1617. Is r prime?
False
Let r = 92873 - 55042. Is r a composite number?
False
Suppose 8*u + 53774 = 10*u - 4*j, 0 = -3*j + 15. Is u prime?
False
Let y be (-3448)/16*10 - -3. Let q = 3021 + y. Is q prime?
False
Let s(b) = -2*b**2 + 27*b + 10. Let p be s(14). Let d be ((4656/(-9))/p - 2)*6. Is d + ((-20)/4 - -8) prime?
False
Let z = 61254 + -30623. Is z a composite number?
False
Suppose 4*q = -33 - 23. Is ((-476993)/(-77) - 2) + (-4)/q a prime number?
False
Let k = 162136 + 65227. Is k a prime number?
True
Let i = 256 - 257. Is (6*i/(-12))/(1/59702) a prime number?
True
Let l be 2/(-18) + (-5208)/(-216). Let w be (-124)/(-24) + (-4)/l. Suppose -2*o + w*y + 2783 = 0, 2*y + 2792 = -o + 3*o. Is o a prime number?
True
Suppose -18266*w - 13128077 = -18307*w. Is w prime?
False
Suppose -132441766 = -381*c + 95222117. Is c composite?
True
Let i = 554 - 999. Let a = 782 + i. Is a prime?
True
Suppose 125209 = 4*l + 15*k - 12*k, -2 = 2*k. Is l composite?
True
Suppose 5*h = 103*h + 98. Let q(m) be the second derivative of -1715*m**3/3 + 3*m**2/2 + 4*m. Is q(h) a prime number?
True
Let d = -25226 + 39400. Suppose -6*b = 788 - d. Is b prime?
False
Let z = -14921 + 26931. Suppose -30103 = -u + z. Is u a prime number?
False
Let s(t) = 22*t**3 - 13*t**2 - 22*t - 83. Is s(24) a composite number?
True
Let g(c) = 2*c + 58. Let y be g(34). Is 8/(-18) - (-4970)/y a composite number?
True
Is (31920 - -187)*(0 + (0 - -1)) a composite number?
True
Suppose 4*z + 8 = 0, 0 = -18*h + 17*h + 2*z + 49577. Is h a composite number?
True
Is 142/(-4)*(844/7)/((-122)/427) prime?
False
Suppose -33415226 - 32860698 + 9159978 = -46*t. Is t a composite number?
False
Suppose -4*b + 11*b = 14. Suppose -12339 = -d + b*u, -u - 10 = u. Suppose -6*c - 5 = -c, -2*o + d = 5*c. Is o composite?
True
Let g be (-1109 + -1)*2/(-4). Suppose -11*m - g = -16*m. Suppose -4*n + 1677 + m = 0. Is n a composite number?
True
Suppose -5*j = -3*j - 4. Let r(z) = 357*z**3 - 4*z**2 + 3*z - 1. Let n be r(j). Is 9 + -9 - (2 - n) composite?
False
Suppose 765*f - 758*f = 56. Is -831*(-3 - -2) + f a prime number?
True
Suppose 170*d = 45265584 - 2960404. Is d composite?
True
Let n = 5224 - 2914. Let i = n + -1399. Is i prime?
True
Is ((-270209)/(-5))/(1488/(-60) - -25) composite?
False
Suppose -5*a + 18 = -u + 143, -4*a + 596 = 5*u. Let j = u + -112. Suppose 0 = j*y - 3*y - 2705. Is y a prime number?
True
Let l be 3 + 119/(-49) + (-114)/(-21). Suppose 0 = 5*f - 4*q + 1471 - 30374, 0 = 3*q + l. Is f prime?
True
Let v = -42 + 53. Suppose 6*k - 3*k = -t - v, -5*k = -5*t + 45. Let x(h) = 68*h**2 + 9*h - 9. Is x(t) a prime number?
False
Let u = -299 + 300. Is (u - 5/10)*45896/4 a composite number?
False
Is (4 + -1 - (-119301 - -2))*(-3124)/(-568) composite?
True
Let o(u) = 54986*u**2 - 335*u - 334. Is o(-1) prime?
False
Let g(h) = 19 + 22 + 1038*h**2 - h + h + 7*h + 0*h. Is g(-4) composite?
True
Suppose -4*v + 4 = -b - 0, 0 = -5*v + 5*b - 10. Suppose v*t - 5*r - 12 = -2*r, 5*r = -10. Suppose -2*c = -3*l - 397 - 252, 0 = c + t*l - 320. Is c prime?
False
Let q(i) = 3*i + 22. Let d(m) = -8*m + 1. Let f be d(1). Let h be q(f). Is h - -3 - 1 - -688 prime?
True
Suppose -3*z + 3 + 9 = 0. Suppose -a = 3*a + 2*x - 5624, -z*a - x = -5620. Suppose -a = -3*y + 6333. Is y a composite number?
False
Let m be (-289)/(5/(-4 - 6)). Let l = 161 + m. Is l a composite number?
False
Is (-2)/1 - -20568 - (-56 - -59) a composite number?
False
Is (140745/(-30) - 15)*-2 prime?
True
Let g(o) = 4319*o**2 - 29*o - 13. Is g(10) prime?
True
Let g(d) = -21495*d + 12559. Is g(-6) a prime number?
True
Let o 