ppose -22806 = 5*c + 54464. Let s = c - -65159. Is s a composite number?
True
Suppose 15 = 7*d - 223. Let w be (-2)/12 - d/12. Is ((-1)/w)/(11/5181) a composite number?
False
Let j(d) = -522*d**2 + 479*d**2 - 14*d + 25 + 3*d**3 - 3. Is j(20) prime?
False
Let y = -61 - -63. Suppose -4*k + 0*d - 3*d + 1142 = 0, -y*k - d + 572 = 0. Suppose -r + k = -456. Is r a prime number?
True
Suppose 3*t - 214617 = 2*h, 12*h + 6 = 10*h. Is t composite?
False
Suppose -2*a = -8*a. Let m(v) = 2*v**2 + 1 - 2*v**2 - v**2 + a*v + 380*v**3 - v. Is m(1) prime?
True
Let w(y) be the third derivative of 2*y**2 - 1/120*y**6 - 3/20*y**5 + 0*y**4 + 0*y - 23/6*y**3 + 0. Is w(-10) composite?
True
Let l(u) = 676*u**2 - 73*u - 646. Is l(-13) composite?
False
Is (-7)/63 + 4052/(-6)*307/(-3) prime?
True
Let w = -1556 - -13762. Let n = 18403 - w. Is n a composite number?
False
Suppose -2*a - 1884 = -6592. Suppose -2 = -15*q - 17. Is a/18 - (4/18)/q a prime number?
True
Let t be (-1)/(-5) - 70/(-100)*14. Is 55290/18 - (-1 - t/(-6)) a composite number?
True
Suppose 5*t + 32045 - 3355 = -3*j, -3*t = 5*j + 47822. Let v = -2348 - j. Is v a composite number?
True
Suppose -4747458 - 8885326 = -277*m + 101*m. Is m composite?
True
Suppose -66*w = -61*w + 10, 4*w - 123047 = -5*l. Is l a composite number?
False
Suppose 2*n = 6*p + 480612, -2*n + p + 146528 + 334109 = 0. Is n a prime number?
False
Let j(t) be the third derivative of t**4/6 + 10589*t**3/6 + 2*t**2 + 49*t. Is j(0) composite?
False
Let o(s) = -2*s**2 - 44*s - 3. Let k(q) = -2*q**2 - 48*q - 3. Let c(j) = 5*k(j) - 6*o(j). Is c(26) a prime number?
True
Let s(j) = -733*j**2 + 18*j - 85. Let t(q) = -2198*q**2 + 54*q - 256. Let c(n) = -7*s(n) + 2*t(n). Is c(4) a prime number?
False
Let i = 39 - 29. Suppose -5*w + 133322 = -j, i*w = 6*w - 5*j + 106675. Is w composite?
True
Suppose -4*d + 25 = -15. Let m = 2185 + -2189. Is 243153/45 + m/d prime?
False
Let m(n) = -5829*n**3 + 5*n**2 + 7*n + 4. Let u be m(-2). Suppose 2*a + u = 2*y + 1800, y = 5*a + 22413. Is y a prime number?
False
Suppose 95*h = 86*h + 111879. Suppose 3981 = p + 4*a, 4*p - 3533 = 4*a + h. Is p composite?
False
Let x be (6/8)/(-3 - 50/(-16)). Suppose 6 = x*a - 4*a, -3*i - a + 9 = 0. Suppose i*l - 4*l = -1398. Is l prime?
False
Let c(s) = -249*s**2 + 11*s + 9 - 31 + 14*s**3 - 37 + 253*s**2. Is c(8) prime?
False
Let p be ((-45)/12 - (-2)/(-8)) + 0. Is (-1183)/(-21) + p/3 prime?
False
Let w(j) = 7*j + 25. Let u be w(-6). Let g = 19 + u. Suppose g*p + p = 13263. Is p composite?
False
Let i = 16 - 13. Let q be (24/(-8))/(18/8 - i). Is q/(-20)*-5 + 1168 composite?
True
Suppose 97*n = 2518508 + 14425161. Is n composite?
True
Let y be 6 - ((-2)/(-1))/2. Suppose 42*v - 20983 - 162515 = 0. Is v - ((-25)/y + 5) a prime number?
False
Let k(y) = -1199*y - 9. Suppose 0 = 2*c, -10 = -2*v - 4*c - 14. Is k(v) composite?
False
Let j = 430313 + -244060. Is j prime?
True
Suppose -4*c + 2*u = -2*c - 27232, -5*c + 4*u = -68077. Is c composite?
False
Let d be ((-32444)/(-5))/(-8 + (-488)/(-60)). Let a = d - 25909. Is a composite?
True
Let c be 1 + 11*(-4 + 3). Let n be (-108)/(-20) + c/25. Suppose -195 + 30 = -n*r. Is r a composite number?
True
Let i = 25006 - -4827. Is i a prime number?
True
Let p = 115 - -189. Let o(s) = -23*s - 5*s**2 + 3*s**2 + 22*s - p*s**3. Is o(-1) a prime number?
False
Let b = -36 + 44. Suppose 7*v - b*v - 6996 = 0. Is (-4)/(-6)*v/(-8) prime?
False
Suppose 3*d = 5*k - 8*k, 0 = 2*d + 5*k. Suppose 5*c - 2*o - 929 = d, -5*c - 4*o + 199 = -4*c. Is c composite?
True
Let t = -507230 + 811047. Is t a prime number?
True
Suppose -54*b + 45*b - 21767 = -416822. Is b prime?
False
Suppose 30*t - 27*t = 12, 0 = 5*y + 5*t + 23630. Let n = y - -17741. Is n a prime number?
False
Let i be (-11298)/(-8) + (-2)/8. Suppose 0*c + 335 = c - 5*p, 0 = 4*c - 2*p - i. Suppose 4*f - 2031 = -c. Is f composite?
False
Is (-930)/279 + 168205/3 prime?
False
Let k(i) be the second derivative of i**5/4 + 5*i**4/3 - 13*i**3/3 + 4*i**2 + 40*i. Is k(15) a composite number?
True
Suppose 0 = 4*u - d - 652267, -5*u - 7*d + 815336 = -6*d. Is u prime?
False
Let y = 310041 + -23687. Is y prime?
False
Suppose 2*n + 2*i - 40 = -2*i, 0 = 3*n - 3*i - 87. Suppose n - 10 = -4*b. Is 1563/9*6/b*-6 prime?
False
Suppose 985865 = -26*j + 1488713 + 7284178. Is j a composite number?
False
Suppose k = 3*k, 399 = 3*x - 3*k. Suppose 14983 = 134*u - x*u. Is u prime?
True
Suppose 3*j + 9 = 0, -2*r = -3*j + 2*j + 25829. Let c = r + 32450. Is c a composite number?
True
Let o(v) = -2*v**2 + 2*v + 5. Let g be o(-2). Let k(a) = -185*a - 3. Let w be k(g). Suppose 2*b - 4678 = -w. Is b prime?
True
Suppose -5*d + 44*v - 39*v = -10, 4*d = -3*v + 29. Suppose -123331 = d*n - 18*n. Is n a composite number?
True
Let o = -100 - -1356. Let c = -2412 + o. Let m = 3659 + c. Is m a composite number?
False
Suppose 4*l + 13*t = 14*t - 8984, 2*l + t = -4498. Let m = l - -6514. Is m composite?
True
Let b(f) = 36*f**2 + 15*f + 11. Let v be (-2)/3*(-189)/(-21). Is b(v) a composite number?
False
Let c = 229616 + -163297. Is c a prime number?
False
Suppose -5*c + 1130985 = -11*b + 3941990, -b - 4*c = -255537. Is b a prime number?
False
Suppose 3*a + 313 = -4*f, 48*f - 3 = 51*f. Suppose 194 = 4*y - 546. Let z = y + a. Is z a prime number?
False
Suppose 3045 - 1025 = 4*k. Suppose -226*p + 227*p = k. Is p a prime number?
False
Let a(z) be the third derivative of 391/60*z**6 + 0 + 0*z + 5/6*z**3 + 0*z**5 - 1/4*z**4 - 3*z**2. Is a(1) a prime number?
False
Let d be (14/(-4) + 1)*-2. Suppose 0 = -3*p + g - 34, d*g + 36 = -2*p - 15. Is ((-322)/(-7))/((-2)/p) prime?
False
Let r be 6/(-8) - 5/(20/(-167)). Suppose r = -7*l + 195. Suppose l*n - 20*n - 2158 = 0. Is n prime?
False
Let h be 1/(-3) + 4/12. Suppose -r + 10*z - 5*z + 380 = 0, 2*z + 6 = h. Suppose 20 = -3*p + r. Is p prime?
False
Let s = -36589 + 126750. Is s a prime number?
False
Suppose 16*h + 5*h = -4*h. Suppose h = -2*t - 5*j + 1324, -5*t - 6*j + 3327 = -2*j. Is t a prime number?
False
Suppose 0 = -5*a, 11*a = -p + 6*a + 7069. Is p a prime number?
True
Let g be ((-4 - 0) + -1)/((-25)/10). Let z(p) = -13 - 18*p - 58*p**3 + 57*p**3 + 0 - 9*p**g - 2. Is z(-12) prime?
False
Let h(i) = -5*i**3 + 3*i**2 - 89*i - 57. Is h(-28) a prime number?
True
Let m(w) be the first derivative of 58*w**2 - 9*w + 8. Is m(7) prime?
False
Let s = -155298 - -267247. Is s prime?
True
Let t = 4159 - 6783. Let p = -1425 - t. Is p a composite number?
True
Let y = -6 + 0. Let o be 3*y/9 - -6. Let i(t) = 13*t**3 + 5*t**2 - 5*t - 5. Is i(o) composite?
False
Let l(r) = 10045*r - 5937. Is l(10) a composite number?
False
Suppose 7*k - 3*k = 1816. Suppose 9*p = 7*p + k. Let z = 50 + p. Is z a composite number?
False
Let n = 111858 - 70821. Is n composite?
True
Let m(p) = p**3 - p**2 - p. Let z = 19 + -17. Let f be m(z). Suppose 0*v = 2*u + 2*v - 1164, -4*u + f*v + 2310 = 0. Is u a prime number?
False
Suppose 229 - 229 = -6*h. Suppose -7*t + 18*t - 19371 = h. Is t composite?
True
Suppose 7*v - 3*v + 3*q - 59 = 0, -4*v + 29 = -3*q. Suppose v*o + 29990 = 21*o. Is o a composite number?
False
Let f = 60 - 58. Suppose -5*g - 4 - 3 = -i, 0 = f*i - 3*g. Let h(v) = -1543*v - 8. Is h(i) composite?
False
Let t(f) = -f**2 + 11*f - 25. Let k be t(7). Is 1345/k + (-38)/(-57) a composite number?
False
Let o be 10 + -5 - (0 + 0)/(-1). Suppose o = 5*u - 2*m - 10, 0 = -u + m. Suppose u*x - 1190 = 2885. Is x prime?
False
Let r = 316452 + -225481. Is r composite?
False
Suppose r - 114 = 173. Suppose 17 + r = -4*i. Is (-11837)/i + (-6)/8 a prime number?
False
Let r(l) = -l + 5. Let h be r(0). Suppose h*v - 1 = 4. Is 191/v*(0 - -1) prime?
True
Suppose 5*b - v - 24 = 0, 3*b = v + 8 + 6. Suppose -b*z = 2*s - 6301, -s = -z - z + 2524. Is z composite?
True
Let v = 11 + -4. Let i(y) = -2*y**2 + y - 37. Let g(c) = 7*c**2 + 9*c - 165. Let z(p) = g(p) - 4*i(p). Is z(v) a prime number?
False
Suppose 0 = 5*f - p - 22, -2*p - 10 = -2*f - p. Suppose 14449 = -f*o + 5*k + 61582, k = 5*o - 58890. Is o a prime number?
True
Suppose -683998 = 6*y - 13*y. Suppose 0 = 14*g - y + 24620. Is g composite?
True
Suppose -4*c + 2*d + 161002 = 0, -c + 3*c + 3*d = 80489. Is c a prime number?
False
Suppose 7*g - 505 = -512. Is 2225 - -2*((-1)/g)/1 a composite number?
True
Suppose c 