l = -3*p - 86112. Is l prime?
False
Let b = -246 - -256. Is 1370 - -16 - 4/((-8)/b) a prime number?
False
Suppose 8*x - 2*a = 13*x - 255291, -153173 = -3*x - 2*a. Is x composite?
False
Let b(z) be the second derivative of 2*z**3/3 - 33*z**2 - 31*z. Let h be b(16). Is h/(-1) + 1833/3 prime?
True
Suppose d + 4*b - 3*b = 27334, -d - 5*b = -27326. Suppose -6*z = 18*z - d. Is z composite?
True
Let l(k) be the first derivative of 32*k**4 - k**3 - 3*k**2 + 8*k + 156. Is l(1) composite?
False
Let i = 29301 - 6586. Suppose -n = 3*v - i, -10*n + 5*n = -5*v + 37845. Is v a composite number?
True
Let z = 43 + -40. Suppose -5 = -2*x - z*n + 10, -2*x + 3*n = 3. Suppose -3*u + h = -5677, -x*h + 2806 - 927 = u. Is u a prime number?
False
Suppose 0 = i - 2, -4*c + 9772 = -i - 39670. Is c composite?
True
Let y = -38319 - -144965. Is y a composite number?
True
Let u(x) be the third derivative of -1013*x**4/24 + 31*x**3/3 - 7*x**2 + 2. Is u(-7) a composite number?
True
Let q(g) = 89*g - 2. Let o = -17 - -20. Let y be q(o). Let x = 684 - y. Is x composite?
False
Is (-50999648)/(-336) + (-2)/3 - -9 a composite number?
True
Is 11847/(-6)*-4 - (-3)/(-3 - 0) composite?
True
Suppose 3*o - 9 = -3*i, 7*o - 6*o + 2 = 0. Suppose -439 = -i*r + 5*d - 4*d, 277 = 3*r - 4*d. Is r a composite number?
True
Suppose 0 = 4*i - 8, -64*o + 60336 = -63*o - i. Is o a composite number?
True
Is (-6)/((462/(-425777))/7) prime?
True
Let w = -8 + 2. Is (382/4)/(w*(-4)/1104) a prime number?
False
Let l = 462 - -624. Let d = l + -44. Let w = 1535 - d. Is w a composite number?
True
Suppose 2231*a = 2238*a - 2011079. Is a a composite number?
False
Let l(s) = -449*s - 11. Let i(w) = 1. Let v(y) = -3*i(y) - l(y). Is v(1) a prime number?
True
Is 598008/(-18)*-1*18/24 a prime number?
True
Is 489906 - (1 + 12 - -2 - 10) composite?
False
Let h(t) be the second derivative of 101*t**4/12 + t**3/3 - t**2 + 46*t. Is h(-3) composite?
True
Let t(r) = -2009*r + 62. Let c(q) = 502*q - 15. Suppose 7*h + 26 = -37. Let p(n) = h*c(n) - 2*t(n). Is p(-3) a prime number?
True
Let c = -597 + 603. Is c/(-10) + ((-94198)/(-5) - 4) prime?
False
Suppose -16*k + 45 = -k. Suppose 5*c = 7*c + 2*z - 18784, 9394 = c + k*z. Is c a composite number?
False
Let m(j) = -2*j**3 + 2. Let q be m(2). Let b be (12 + q)/(1/(2/(-4))). Let a(o) = 133*o**2 - 3*o + 1. Is a(b) a composite number?
False
Suppose -l + 29*k = 27*k - 37295, 0 = 3*l + k - 111871. Is l a composite number?
True
Suppose -40*n + 4838523 = 27*n - 16*n. Is n composite?
False
Suppose 3*s = -22*s - 1500. Is ((-96522)/4)/(90/s) prime?
True
Let b = 7606 - 4098. Let g = b - 1353. Is g a prime number?
False
Let p(r) = -2*r**3 + r**2 - 6*r + 60209. Is p(0) prime?
True
Let r(k) be the second derivative of 40*k**3/3 + 37*k**2/2 + 69*k. Is r(8) a prime number?
True
Let j(u) = -3*u + 10. Suppose 0 = h - c - 10, 1 + 4 = 5*c. Let p be j(h). Let f = 198 - p. Is f composite?
True
Is ((-58444848)/60)/(-33) - 2/(-5) a composite number?
True
Suppose 2*r = -4*m - 10 - 1882, 0 = -3*r - 3*m - 2853. Let s = r + 2413. Is s prime?
False
Suppose 14*h = 28 + 28. Suppose 16737 = 3*r + 3*x, -h*r = -5*x + 3*x - 22328. Is r a prime number?
True
Let s = -14 + 14. Suppose s = -4*u - 2*u + 29334. Is u a prime number?
True
Let l(w) be the second derivative of -w**5/20 + w**4 + 2*w**3/3 + 11*w**2/2 + 5*w. Let z(c) = -2*c**2 - 19*c + 25. Let u be z(-11). Is l(u) a prime number?
True
Is 3413/4*(-816)/(25 - 37) prime?
False
Let a = -657638 + 1201167. Is a a composite number?
True
Suppose -5*y = 4*q + 88182 - 261570, 2*q + 4*y = 86694. Is q a composite number?
True
Let c = 32 + -28. Suppose c*k = -1675 + 7815. Is k a prime number?
False
Let y be (36/30)/((-3)/10). Is (-1)/y + 200760/32 composite?
True
Suppose 0 = -21*u - 266 + 350. Let s(q) = 2*q + 1. Let r be s(2). Suppose u*t - 275 = -5*i + 8*t, -3*i = r*t - 165. Is i prime?
False
Let t be (6 + -20)*(-2)/4. Suppose -2*v = -t*v - 105. Is ((-4)/(-2) - 1)/(v/(-2583)) a prime number?
False
Suppose 156*a - 2078465 - 206447 = 1509476. Is a prime?
False
Suppose 5*u - 2*f + 2327 = 13864, 3*u = -3*f + 6918. Let d = u + -1280. Is d a composite number?
True
Suppose -v - 11 = -9*r + 6*r, 3*r - 4*v - 26 = 0. Suppose r*m - 2210 = 3*f, 0 = -2*m + 4*f + 1575 + 639. Is m prime?
False
Let h(t) = 12250*t**2 - 7*t + 86. Is h(5) a prime number?
True
Let f(z) = 318*z**2 + 6*z - 37. Suppose 72 = -59*r + 50*r. Is f(r) prime?
False
Let h(p) = 204*p + 13 - 557*p + 11. Let v be h(-7). Suppose -9*m - 596 = -v. Is m composite?
False
Let l = 37 - 36. Let n be (1 + l)*(-3)/(-2). Suppose -n*z + 3*s - 5*s = -1625, 0 = -z + 5*s + 536. Is z a composite number?
False
Suppose 5*m = 11*k - 8*k + 2878476, -4*k + 12 = 0. Is m a composite number?
True
Let b = -82 - -86. Suppose 0 = 5*d - 4*l - 32, -b*d + 5*l + 28 = l. Suppose 3*t - 3725 = -d*h, 2*h + 1244 = t + h. Is t prime?
False
Is -17 - -25 - (-521316)/8*2 a prime number?
True
Suppose 0*x + 5*v = x + 23, 5*x - 15 = -v. Suppose -x*z + 739 = -239. Suppose -z = 43*a - 46*a. Is a a composite number?
False
Suppose 5*o - 60493 = 4*p + 147527, 2*p - 83226 = -2*o. Let h = -24531 + o. Is h composite?
False
Suppose -47088 = 24*i - 12*i. Let o = i + 10273. Is o a composite number?
True
Let r(a) = 3*a - 15. Let f be r(5). Suppose -198*k + 194*k + 8516 = f. Is k a prime number?
True
Let t be -2*5/10 + 1. Suppose -15*n + 10*n + 1205 = t. Let p = -164 + n. Is p prime?
False
Suppose 0 = -2*i + 2458 + 268. Let p = i - 2821. Let y = p + 2107. Is y composite?
True
Suppose -177099*r + 177089*r = -2358490. Is r a composite number?
False
Let q(s) = 2*s**2 - s + 5. Let a be q(0). Suppose 2*b = a*b - 27921. Is b composite?
True
Let i = 28749 + -19888. Is i a composite number?
False
Suppose -10*g + 26508 = -8592. Let t = 9965 - g. Is t a prime number?
False
Let p(n) = n**3 + 11*n**2 - n + 25. Let q be p(-11). Is q/24*16106/3 a prime number?
True
Let l(c) be the second derivative of c**4/12 + 7*c**3/2 + 7283*c**2/2 - 140*c. Is l(0) prime?
True
Let z be 8/(-3)*(225/(-10))/15. Suppose -12 = z*f, 5*t - 3*f - 2*f - 294870 = 0. Is (-10)/(-4) - t/(-22) prime?
True
Suppose -2*n + 4*u = -8, 0 = n + 5*u - 2*u + 6. Suppose -121*y + 125*y - 14228 = n. Is y composite?
False
Suppose 305 = 6*k - 67. Let r = -59 + k. Suppose 2*t = r*t - 1527. Is t a composite number?
True
Let u(t) = 1334*t**2 - 7*t + 9. Suppose -h + 3*p + 8 + 6 = 0, 0 = 2*h + 3*p + 8. Is u(h) prime?
False
Let s(b) = -82*b - 13. Let f(g) = -164*g - 26. Let v be 75/(-12) + 6 + (-42)/(-8). Let a(w) = v*s(w) - 2*f(w). Is a(-6) prime?
True
Let p be (-22 - -4)*(-1635)/9. Suppose -d + 10627 = p. Is d prime?
False
Let h(n) be the second derivative of n**7/840 + n**6/360 - n**5/60 + 1759*n**4/24 - 11*n**3/3 + 19*n. Let x(t) be the second derivative of h(t). Is x(0) prime?
True
Let y(v) = 13256*v - 143. Is y(5) a prime number?
True
Let c(n) = -25*n**2 + 6*n - 4. Let k be c(-3). Let y be (2 + -3 + 66)*(-6)/(-15). Is (k/y)/(2/(-172)) a composite number?
True
Let h(x) = 748*x**2 - 40*x - 21. Is h(17) prime?
True
Suppose -4*w + 88 = 5*k, -w = -4*k - 2 - 20. Suppose c - 13 = -2*v, 5*c - 43 = -5*v + w. Suppose 25439 = c*a - 4682. Is a a composite number?
True
Let a be 20/(-6)*180/(-150). Suppose 0*c = 2*c - a*f - 2718, 0 = -3*c - f + 4084. Is c a composite number?
False
Suppose -94828 = -10*d + 101782. Is d composite?
False
Suppose 119*d - 656847 = 98*d + 3317718. Is d a composite number?
True
Suppose 237 = 8*d + 13. Suppose -d*k + 5621 = -21*k. Is k composite?
True
Suppose 1000 = -4*q - 240. Let i be (-8 + 5)*(-2)/3. Is (q/15)/i*-123 a composite number?
True
Let p(s) = 22*s**3 - 4*s**2 + 62*s - 223. Is p(4) composite?
True
Let i be (8/(-4))/1*1097. Let a = 3345 + i. Is a prime?
True
Is (80/40)/((-4)/(-32822)) a composite number?
False
Let o(d) = 7 - 2 - 6*d - 1 - 1 - d**2. Let v be o(-5). Is 2/v + (-70581)/(-28) a prime number?
True
Let q be 1/(-2 + 5946/2972). Let t be 180/3*(414/45 + -8). Suppose -t*h + 74*h = q. Is h composite?
False
Let r(h) = 8*h**3 + 5*h**2 - 4*h - 33. Let x(k) = 7*k**3 + 4*k**2 - 5*k - 33. Let v(j) = -3*r(j) + 4*x(j). Is v(14) composite?
False
Let v(t) be the second derivative of t**4/12 + 2*t**3 + 17*t**2/2 - 15*t. Is v(-30) a prime number?
True
Let v(j) = 19976*j**2 + 75*j - 202. Is v(5) a prime numb