7045. Is o a prime number?
False
Suppose 0 = -2*n + 5*u + 346946, 4*n + 5*u = -n + 867365. Is n prime?
True
Let y(h) = 9*h + 12. Let d be y(-8). Is 6/(-8)*596080/d composite?
False
Let n(m) = 8*m**3 + 6*m**2 + 8*m + 12. Let y be n(6). Is y/(-24)*(-2 + (-1 - -1)) prime?
True
Suppose -63*p - 3*i = -64*p + 111083, -3*i + 555451 = 5*p. Is p a prime number?
False
Suppose 5*d = 19601 + 19394. Suppose 2*l - 3*v = -l + 4683, 5*l + v - d = 0. Suppose 2*g = -3*y + 778, 4*g + 0*g - l = -5*y. Is g a prime number?
False
Let z(p) = 295*p - 7. Let s(l) = 148*l - 3. Let c(x) = 5*s(x) - 2*z(x). Let y be c(10). Suppose 2*o = -5*d + 2499, -4*d - o = -d - y. Is d a composite number?
False
Is ((-5)/((-75)/4610715))/1 composite?
False
Is (88 - 2)/2*62812/164 a prime number?
False
Suppose 17*l + 7*l = 192. Is (l + (-5 - -13894))*1 a prime number?
False
Let v = 67 - 60. Suppose 192 = -v*d + 1424. Is (d - 13) + 0/(-1 - 0) composite?
False
Suppose 4*o = -3*f - 15, -3*f - 7 = -8*f + 4*o. Is (-96)/(-24) - (-15180 + f) composite?
True
Let i(g) = 4*g - 48. Let j be i(10). Let u(t) = -2*t**3 + 9*t**2 + 17*t - 5. Is u(j) a prime number?
True
Let b = 1139751 + -249746. Is b composite?
True
Suppose -45*p = -40*p - 289785. Is p a composite number?
True
Let n = 2969 + -5140. Let l = 1878 - n. Is -2*l*5/(-10) composite?
False
Let f(m) be the first derivative of m**3/3 + 5*m**2 - 10*m - 15. Let n be f(4). Let w = 53 - n. Is w prime?
True
Let f be 9/(-6)*2 - 1 - -3349. Suppose -f = -518*h + 513*h. Is h composite?
True
Let s = 125829 - 57859. Let a = -248355 + s. Is 4/(-10)*a/86 composite?
False
Let z(h) = 1296*h**2 - 436*h - 41. Is z(-15) a composite number?
False
Let k = -661841 - -1132968. Is k a prime number?
False
Let n = 12833 - 1720. Is n prime?
True
Suppose 3*v - 3*c = 65454, 14*v - 2*c = 16*v - 43624. Is v a composite number?
True
Suppose 174*q - 29605604 = -22*q. Is q composite?
False
Let c(k) = 217*k - 910. Is c(21) a prime number?
False
Let b(g) = -2197*g + 255. Let i = -320 + 313. Is b(i) a prime number?
False
Let j be 1/(-1) + (-2)/4*10. Is j/30*2*-815 a composite number?
True
Let p(z) = 35364*z + 381. Is p(3) prime?
False
Suppose 2*n - 105932 - 141994 = -5*u, -4*u - 123989 = -n. Is n composite?
False
Let f be (-10)/(-70) - (-90)/7. Let a(q) = 553*q + 7*q**2 + 553*q - 1106*q - 20. Is a(f) prime?
True
Suppose 10 = -3*v + 4, 5*d = -3*v + 14. Suppose 2*p - d*g = 10206, 0 = p + 2*g - 1215 - 3872. Is p composite?
True
Suppose 0 = 3*g - 16 + 4. Suppose -g*n + 838 = -534. Let q = 106 + n. Is q a composite number?
False
Let w = 676432 - 296555. Is w a prime number?
True
Suppose -29*t + 156 + 340 = 3. Let h(n) = -n**2 + 5*n - 1. Let c be h(3). Suppose -t*p = c*m - 19*p - 4197, 2*m - 4*p = 1666. Is m composite?
True
Let u(s) = -3*s - 35. Let r be u(-13). Suppose -86973 = -2*c - 2*c + 3*o, -3*c = r*o - 65211. Let a = -13748 + c. Is a a prime number?
True
Let k(q) = 7*q**2 + q - 12. Let c(y) = 20*y**2 + 2*y - 35. Let i(h) = 6*c(h) - 17*k(h). Let p be i(7). Suppose p*w + w - 1719 = 0. Is w a prime number?
True
Let n = 324 + -320. Suppose n*o - 13521 = -m, 2*m = -3*o + 18173 + 8864. Is m prime?
False
Suppose 21*d + 5*b + 77237 = 23*d, 2*d - 77246 = -4*b. Is d composite?
True
Let k(t) = 891*t + 9469. Is k(167) a composite number?
True
Let f(k) = 2*k + 13. Let z be f(12). Let q = 30 - z. Let v(y) = 42*y**2 - 5*y + 6. Is v(q) a prime number?
True
Let x be (-5 + 1)*1 + 275. Let d = x + 1998. Is d a composite number?
False
Let l = 4112 + -12477. Let z = -3106 - l. Is z prime?
False
Let v(z) = 628*z + 59. Let a(g) = g - 2. Let f(h) = 6*a(h) - v(h). Is f(-4) a composite number?
False
Let l = 5114 - 371. Suppose 4*g - l - 3973 = 0. Suppose 8*f - 9*f = 3*k - 3251, 0 = 2*k + 3*f - g. Is k a composite number?
True
Suppose 0 = 4*y + j + 25, 5*y - 4*j + 7*j + 40 = 0. Let a(w) = 50*w - 66*w - 3 - 64*w + 10. Is a(y) prime?
False
Let c(d) = 11 + 18*d + 10*d**2 - 1 - 3*d**2 + 10. Let f be c(-7). Suppose -4*m + 527 = -f. Is m prime?
True
Suppose 0 = -2*m + 5*c + 27187, 0 = -5*m - 0*m - 2*c + 67953. Let k = m + -6522. Is k a composite number?
False
Let a(n) = -3*n - 6. Suppose 0 = w + 6. Let k be a(w). Is 3118/k*4 - 3/9 a prime number?
True
Let i be (-7 - -1)/((-18)/60). Let r be ((-555)/i)/(-3)*(-1 - -13). Suppose -a + 5*n - r + 462 = 0, -4*a + 1452 = 4*n. Is a composite?
True
Let s = -155 - -120. Is (-2122)/(1 - 3*(-15)/s) a composite number?
True
Let f = -559 - -555. Let s(p) = 38*p**2 + 2*p + 13. Is s(f) composite?
False
Suppose -3*g = 1 - 16. Suppose -g*l = -3*l - 4. Suppose -4*y + 12814 = -f, -l*f = 3*y - 3*f - 9611. Is y prime?
True
Let f be (-8)/16*(3 - 7). Suppose -4*l + a = -32696, -3*l + 5*a + 8193 = -f*l. Is l a prime number?
False
Let c(m) be the second derivative of 8*m**5 + m**3/6 + 3*m**2/2 + 3*m. Let v(d) be the first derivative of c(d). Is v(-1) a composite number?
True
Suppose 2*z = 2*i + 7 - 1, 4*z - 4 = 0. Is (373/2)/(i*2/(-8)) prime?
True
Is 72360 + 7/2*20/(0 + -10) a composite number?
False
Suppose 4*h + 5*r - 31 = 0, 12*r - 17*r = 3*h - 27. Let o(l) = 1527*l + 7. Is o(h) a prime number?
False
Let u(z) = 10*z - 16. Let d be u(13). Let j = 13 + d. Let o = j + -58. Is o a prime number?
False
Is (-62)/1085*15/(-6) + (-885876)/(-14) a composite number?
False
Let q(p) = p**3 - 41*p**2 + 34*p + 64. Let f be q(-23). Is -2 + f/(-4) + (-19)/38 a prime number?
True
Suppose i + 25101 = s, 3*s + 5*i - 125505 = -2*s. Suppose -s = -19*u + 16*u. Is u a prime number?
False
Suppose 2*w - 9*w = -129857. Let u = w + -11104. Is (u/(-44))/((-2)/8) a prime number?
True
Let z be ((-3731)/(-14))/((-2)/(-4)). Suppose 2611 = 3*h + 2*h - 2*o, z = h - 4*o. Let w = -112 + h. Is w prime?
True
Suppose 5*a - 1932 = 15233. Let p = a + -1151. Suppose t - p = -t. Is t prime?
False
Let f(a) = -a**3 + 38*a**2 + 18*a - 81. Suppose r - 13 = 5*c + 5, -4 = -2*c. Is f(r) composite?
False
Let j(w) = -26*w + 5. Let r be (1 - 2 - -2)*-5. Let z be (-4)/20 - (-49)/r. Is j(z) prime?
False
Let j = 40 + -40. Suppose -7*n + 11 + 17 = j. Suppose -n*i = -3*l - 1313, -2*l - 2*l - 1312 = -4*i. Is i a prime number?
False
Suppose 0 = -7*l + 3*l - 20, 3*l = -5*u - 25. Is (u/(-6))/(2/10254) composite?
False
Suppose 3*s - 22 = 41. Let q = -91 + 95. Suppose 3*t + s = q*t. Is t composite?
True
Suppose -33186946 - 1203936 = -28*m - 54*m. Is m composite?
False
Let q = -338 + 506. Suppose -q = -b + 3047. Is b a composite number?
True
Let d(k) = k**3 - 9*k**2 + 12*k + 9. Let v be d(4). Let n = v - -28. Suppose 0 = 5*l - 4*l + n*q - 238, 4*l = 3*q + 883. Is l a prime number?
True
Suppose 59*z + 50 = 54*z. Let w be -1 + z/(((-4)/592)/1). Let o = w + -860. Is o a prime number?
True
Let f = 66443 - -175550. Is f a composite number?
False
Suppose 3*b + r - 16 = -5, 2*r = 2*b + 6. Suppose b*d - 50770 = -8*d. Is d a prime number?
True
Let f(h) = 4 - 8*h + 7*h**2 + 4 + 7*h**3 - 6*h**3 - 4. Let o be f(-8). Suppose -6*z - o*r + 1175 = -z, 0 = z + r - 234. Is z composite?
False
Let j = 145 + -141. Suppose -j*p - 8846 = -2*w, 7*w = 5*w - 4*p + 8854. Suppose 5*r - 1160 = w. Is r a prime number?
True
Suppose 3*f = 3*i + 36243, 3*f - 2*i - 31615 = 4633. Let k = -6649 + f. Is k a prime number?
True
Let r(u) = -11*u**3 + 4*u**2 - 45*u - 235. Is r(-12) composite?
False
Suppose 34 = 28*j - 26*j. Suppose j + 25 = 14*x. Suppose -s + 1051 = 5*n, n = 2*s - x*n - 2130. Is s composite?
False
Let b(q) = q**3 - 2*q**2 + 1. Let c(h) = -18*h**2 + 20*h - 40. Let a(r) = -b(r) - c(r). Is a(18) composite?
True
Let q(l) = l**3 + 67*l**2 - 66*l + 457. Is q(-33) a prime number?
False
Let b be (-30 - -32)*115/2. Suppose 0 = -110*m + b*m - 18745. Is m prime?
False
Let i = 193 + -127. Suppose 185 + i = o. Is o a prime number?
True
Suppose 22 - 36 = -7*h. Is 1 + 7316/(4/h) prime?
True
Let c = 159 + -157. Let w(z) = 34*z**2 + 7. Is w(c) a composite number?
True
Suppose 196*v - 3379419 - 16816621 = -106628. Is v prime?
True
Let l = 96890 - 54620. Suppose 10*i - 25*i = -l. Is i a composite number?
True
Suppose 2*j = 2*s + 7126732, -4*j + 2214*s - 2218*s + 14253504 = 0. Is j composite?
True
Let l = -69255 + 123772. Is -5 - (2 + -1 - (l + 18)) a composite number?
True
Let z(f) = f**3 + f + 408. Let x be z(0). Let y be (-12)/78 - x/52. Is 3*313 - (4 + y) a prime number?
False
Is 2 - 