et w = a + 7272. Is w prime?
True
Let d = -107 + 105. Is (6/15)/(d/(-12895)) a composite number?
False
Let t be (-2)/6 - (-8924)/(-12). Let z(l) = 360*l + 182. Let w be z(-4). Let r = t - w. Is r a prime number?
False
Let b = 8 - -2. Let k = -1956 - -2201. Suppose -b*q + 285 + k = 0. Is q a prime number?
True
Let o = -714 + 716. Is (-11 - -138)*-34*o/(-4) prime?
False
Let f = 1384 + 1439. Suppose -85*n + 88*n = f. Is n composite?
False
Let z(w) = 2*w**2 + 25*w + 22. Let r = 133 + -83. Suppose -k = -3*k - r. Is z(k) a prime number?
True
Let z(o) = -18*o**3 + 5*o**2 + o - 3. Let a be z(-3). Suppose 2*v = -11*v + 11960. Let j = v - a. Is j composite?
True
Suppose t = -2*t + 3. Suppose -51*d + 67420 + 3167 + 37533 = 0. Is (t/4)/(10/d) prime?
True
Let a(c) = 2447*c**2 + 23*c - 325. Is a(17) composite?
False
Suppose -f - 2778664 = -4*n, -n + 450641 = 5*f - 244046. Is n a composite number?
True
Let q = -107 + 119. Let u(n) = -11 - 176*n - 50 + q. Is u(-9) prime?
False
Is 1 - (-5)/((-15)/(-12)) - (-9 + -18023) prime?
False
Let y(z) = -26*z**3 - 2*z**2 - 8*z - 13. Let w be y(-2). Is 2874/4*(-1 - w/(-21)) composite?
True
Is ((-3)/2 - 2)*-37084 + (64 - 65) composite?
False
Suppose -20*d + 3534887 = 28*d + 35*d. Is d prime?
True
Let a(b) = b**3 - 7*b**2 - 16*b + 2. Let u be a(9). Suppose u - 17 = n. Suppose n*s - 4*s - 2*x + 473 = 0, 0 = -4*s + 2*x + 1922. Is s a composite number?
False
Suppose 4*k + 9*i - 5*i - 12 = 0, -5*k = i - 27. Is 561/(-88)*(-8)/k*74 prime?
False
Suppose -3*i + 2 = -2*i. Let a be (-6 + 12/(-3))*(-29 - i). Suppose 11*v - a = 9*v. Is v composite?
True
Let a(k) = -2*k + 11. Let h be a(4). Let o(r) = 19*r**3 + 5*r**2 - 3*r - 1. Let p be o(h). Suppose p = 6*f - 718. Is f prime?
True
Suppose 185 = 9*l + 32. Is 1118/2 - (-15 + l) a prime number?
True
Suppose 0 = 2378*v - 2366*v - 2421756. Is v a composite number?
True
Let k = -53 - -56. Let b(d) = d**3 + d + 2. Let y be b(2). Is -1 + k*16/y a prime number?
True
Suppose 0 = -i + 4*i + 9. Let c be (2 - 5) + (2 - i). Suppose -26 - 1574 = -c*a - 3*v, 2*v + 1590 = 2*a. Is a prime?
True
Let o(d) = 2052*d + 69. Let c be o(14). Suppose 3*l - 5*j - 28797 = 0, c = 3*l - 2*j + 6*j. Is l a composite number?
True
Suppose -2*o = -8, -4*r - r + 15 = -5*o. Suppose 0 = -j - k + 5478, 401*k + 5462 = j + 406*k. Suppose -r*f + j = -5*f. Is f prime?
True
Suppose -6*v = -220380 + 59724. Suppose 27*h = 23*h - v. Let x = -3855 - h. Is x a prime number?
False
Let m be ((-4 - -4) + -3 - -4) + 1. Suppose -3*y - 3*o + 10632 = 0, -m*o = 3*y - 3*o - 10628. Is y a prime number?
False
Is (-42)/(-77) + 9725150/110 composite?
False
Let i(c) = c. Let k(p) = 30*p + 28. Let q(o) = -5*i(o) + k(o). Let f be q(20). Suppose 730 + f = 2*m. Is m a prime number?
False
Let l = -276 - -279. Is ((-5)/l - -2)/(2/102954) prime?
True
Let m = 327564 - -4150. Is m prime?
False
Let w be (400/(-15))/(-8)*(-6)/(-4). Suppose 2*y - w*y - 29 = 2*d, -y = -d + 3. Let s(x) = 4*x**2 - 10*x - 7. Is s(y) prime?
False
Suppose -67*m + 75*m - 209312 = 0. Let z = m + -15681. Is z a composite number?
True
Let d = -73230 + 183547. Is d a composite number?
True
Let a be 4630/(-5 - (-12 - -5)). Let n = a + -838. Is n a composite number?
True
Let s be ((-15)/(-25)*5)/1. Let z(r) = 203*r**3 + 5*r**2 + r - 10. Is z(s) composite?
False
Let h(w) = w**3 - 15*w**2 - 580*w + 1. Is h(51) composite?
True
Suppose 297 = -36*a + 39*a. Let n = a + -96. Suppose -2*u + 5191 = 5*i - 890, -n*i + 4*u = -3659. Is i a prime number?
True
Suppose 11*y + 279 + 3593 = 0. Let m = -104 - y. Suppose 0 = n - 203 - m. Is n composite?
True
Suppose 148*a + 19*a + 3250630 = 8295867. Is a a prime number?
True
Let j(w) be the first derivative of 30113*w**3/3 - 3*w**2/2 + w - 352. Is j(1) a composite number?
True
Let w(y) = -y**2 + 12*y - 24. Let a be w(10). Let c be a/(-2) + (3/(-3) - -2). Suppose 2*n + 1043 = c*n. Is n a composite number?
True
Let j = -5 - 0. Is ((-151170)/(-75))/((-2)/j) a composite number?
False
Let w(y) = -y**3 - y**2 - y + 31. Let g be w(0). Let c = g + -27. Is c/((-12)/(-177)) + 0 a composite number?
False
Let p be (1129 - 1) + 23/((-184)/(-40)). Suppose -5*q + 11266 = 2*l, 2*q + 6*l = 4*l + 4504. Let b = q - p. Is b a composite number?
True
Let z(l) be the second derivative of 25*l**4/24 + 17*l**3/6 + 7*l**2/2 - l. Let g(p) be the first derivative of z(p). Is g(10) prime?
False
Suppose -11014090 = -20*s - 27*s + 5685903. Is s prime?
False
Let g = -2712 - 2813. Let k = 16644 - g. Is k a composite number?
True
Let u(g) = -49262*g - 25. Let n be u(13). Is n/(-21) + 12/42 a prime number?
True
Suppose -7*m + 24 - 3 = 0. Let p(h) = -1 + m + 8*h**2 + 16*h + 0 - 5*h. Is p(5) composite?
False
Suppose 6 = -3*s + 3. Let f be (2/(-6))/s - (-2600)/12. Let w = f + -150. Is w a prime number?
True
Let a(p) = 7*p**3 + p**2 + 11*p - 24. Let u = 131 + -124. Is a(u) a composite number?
False
Suppose -2*m - 14 = 5*d, -3*d + 35 = 5*m - 8*d. Suppose m*b = 10921 + 2198. Is b composite?
False
Let o(h) = -3*h**3 + h - 1. Let r(v) = v**3 - v + 2. Let g be r(-2). Let l be o(g). Let i = 496 - l. Is i a prime number?
False
Suppose 3072 = 22*i - 18*i. Let q = i + 2310. Suppose -a - 3*j + 692 = -839, -2*j + q = 2*a. Is a composite?
False
Let q = 270153 - -119570. Is q a prime number?
True
Suppose 0 = -198*y + 190*y + 56. Suppose -12*w - 1878 = -p - y*w, -1899 = -p - 2*w. Is p prime?
False
Let l(w) be the first derivative of w**2/2 + 9*w - 17. Let a be l(-7). Suppose m = a*n + 697, -3*m + 2838 = m + 2*n. Is m composite?
True
Suppose q - 3*q - j = -9717, -3*q + 3*j + 14598 = 0. Is q a composite number?
False
Let r(a) = 2*a**2 + 17*a - 5. Let h be r(-9). Suppose -2 = h*x + 3*o, -2*x = 3*x + 2*o + 6. Is x/(-3) - (-2500)/12 composite?
True
Let d(j) = -2*j**3 - 6*j**2 - 6*j + 1. Suppose -36 = 3*w - 12*w. Suppose -w - 1 = u. Is d(u) a prime number?
True
Let g(s) = 7449*s + 978. Is g(7) a prime number?
False
Let x(k) = -9*k**3 - 63*k - 83*k**3 - 51*k + 122*k + 3. Let f(c) = -92*c**3 + c**2 + 8*c + 4. Let m(n) = 4*f(n) - 3*x(n). Is m(-3) prime?
True
Suppose i + 82613 = 4*l, -5*l = 2*i + 12992 - 116255. Is l a composite number?
True
Suppose 0 = -4*b + 7*b - 5*y - 127, y = -4*b + 177. Suppose -46*x = -b*x - 1262. Is x a composite number?
False
Let y = 45 - 30. Let t be 4/(4 - 40/y). Suppose 2*g - 2*j = 1166, -g + 4*j = -t*g + 1166. Is g a composite number?
True
Suppose -2*u + 94596 = -19*r + 24*r, -4*u + 14*r + 189240 = 0. Is u a composite number?
False
Let s(c) = -1941*c + 482. Is s(-77) a prime number?
True
Suppose -5*a - 32 = -3*n, -2 = -5*n + 4*a + 34. Suppose x + x - 2*f = 3800, -1909 = -x + n*f. Is x a prime number?
False
Let z = 18834 - 13196. Is z a composite number?
True
Let k be (-1535)/((-4)/(-6) + -1). Let o be (1 - 4)*((-59)/3 + 3). Suppose 47*u - o*u = -k. Is u a composite number?
True
Suppose -9*x + 14*x = 15. Suppose -3*h + 14465 = l, -2*l - x*h = -4*h - 28902. Is l a prime number?
False
Suppose -n + 2*c = -26189, 0 = 5*n + 654*c - 649*c - 130870. Is n a prime number?
False
Suppose 0 = -3*q + 2*j + 20562, 0 = 2*q - 5*q - 2*j + 20550. Suppose q = 39*f - 36*f. Suppose -f = -4*t - 0*t. Is t composite?
False
Let o(k) = 8140*k - 2709. Is o(11) a prime number?
False
Let c(f) be the second derivative of f**3/3 + 3*f**2 + 6*f. Let a be c(0). Is a - (6 - 4) - -409 a prime number?
False
Let d be 1/((-4)/6*3/2). Let r(w) = -w**2 - w + 1. Let j(g) = 2*g**2 - 6*g - 14. Let t(q) = d*j(q) - 5*r(q). Is t(-11) composite?
False
Let g be -10*(3/12 - (-81)/(-36)). Suppose -11*v + 16760 = -6*v - 3*c, -g = 4*c. Is v a prime number?
False
Let a(v) = 1187*v - 165*v + 278*v + 1364*v + 17. Is a(2) prime?
False
Is 9/(-162) + 229222566/324 prime?
False
Suppose 595*o + 2673463 = 608*o. Is o a prime number?
True
Suppose -32*s + 11820 = -38*s. Let l = -571 - s. Is l composite?
False
Suppose -4*h - 3 = 5. Let l(s) = 3 + 15*s - 43*s - 9*s. Is l(h) composite?
True
Suppose 9*g = 7*g + 1284. Let x = 3641 - g. Is x prime?
True
Suppose -3*r - 5*n = -4147, 0 = -2*r + 2*n + 2689 + 81. Let y = 390 + -386. Suppose -3*j + c + 2*c = -1008, -y*j - 4*c + r = 0. Is j a prime number?
False
Let d(b) = b**3 - 5*b**2 + 4*b. Let g be d(4). Suppose g*i + i = 3*t + 973, -t - 3*i - 341 = 0. Let k = -135 - t. Is k composite?
False
Let n = -36967 