*a = a - 2. Suppose 4*w + 3*v - 27 = a*v, 0 = -3*w - 3*v + 18. Is w prime?
True
Let o(c) = -110*c**3 + 2*c**2 + 2*c + 3. Let t(z) = -109*z**3 + 3*z**2 + 2*z + 4. Let u(j) = -5*o(j) + 4*t(j). Is u(1) composite?
True
Suppose -9*f - 12176 = -195947. Is f a prime number?
False
Let w = 862 - 12. Suppose 4*c - w = -2*j + 7*c, j - 423 = c. Is j a composite number?
False
Is ((-1964)/6)/(-5*(-4)/(-30)) a prime number?
True
Let w = 41586 - 29389. Is w composite?
False
Suppose 0 = -3*y + 3 + 3. Suppose 0 = -o + y*o - 215. Suppose q - 38 - o = 0. Is q composite?
True
Let x(w) = -w**3 - 20*w**2 + 43*w - 17. Let m be x(-22). Suppose 5*a = m*i + 2400, 5*i - 2390 = -2*a - 3*a. Is a a composite number?
False
Is -2 + (39495/10)/(1/2) prime?
False
Let w be (-1*1)/((-11)/(-66)). Is ((-1114)/(-6))/(3*w/(-54)) a prime number?
True
Let d = 86 - 95. Let u(t) = -t**2 - 19*t + 29. Is u(d) a composite number?
True
Suppose k = -2*n, 4*k = -0*k. Suppose 0 = 3*y, -4*v - 2*y + 388 = -n*y. Is v prime?
True
Let z(w) = 1131*w - 13. Is z(6) a composite number?
True
Suppose 0 = q - 126 - 150. Let c = -165 + q. Let m = c + 7. Is m prime?
False
Suppose 0 = -5*z, z + 5 = w + 3. Suppose -5*c - w*c = -5558. Is c a composite number?
True
Suppose 0 = -9*u + 7*u - 10. Is (-502 - 0/3)*u/10 a composite number?
False
Let p be (1 - 0)*(-3 + 3). Let g = p - -3. Suppose -g*f - f + 60 = 0. Is f a composite number?
True
Suppose 10*s - 33639 = 7*s. Is s composite?
False
Let w(o) = -o - 12. Let s be w(-11). Let h be s/(-1 + (-20)/(-16)). Is 90 - (-9)/(12/h) composite?
True
Suppose 5*r - 5 = 35. Suppose 3*j - 17 + r = 0. Suppose -j*w + 184 + 308 = -3*c, -811 = -5*w + 2*c. Is w composite?
True
Is (-2155)/((-4 + 5)*1 - 2) a prime number?
False
Let n = 36 + -26. Suppose 0 = -12*u + n*u + 2314. Is u a prime number?
False
Let r = 1044 + -545. Is r composite?
False
Suppose 5*s - 25202 = -4*x, -27*s - 4*x - 10092 = -29*s. Is s composite?
True
Let j(q) = -286*q**3 + q**2 + 2*q - 2. Let t be j(2). Is (0 + t/(-3))*(-51)/(-34) prime?
False
Suppose 4*y - v - 13 = 4*v, 5 = -5*v. Suppose 5*q + y*j - 891 = -0*q, -5*q + 4*j + 873 = 0. Is q composite?
True
Let u(o) = o**3 - 9*o**2 - 20*o - 14. Let p be u(11). Suppose 9865 = p*x - 3*x. Is x prime?
True
Let d be (2/(-9) + (-7)/9)*-2. Is d + (-524)/(-2) + 3 a prime number?
False
Let b(n) = -1366*n**2 + n. Let l be b(-5). Is (-3)/15 + -5 + l/(-25) a prime number?
True
Let n(w) = 169*w**2 - 2*w - 4. Let s = -39 + 42. Is n(s) composite?
False
Suppose 0 = 63*b - 279576 + 51327. Is b prime?
True
Let j(d) = 11468*d + 373. Is j(8) a prime number?
False
Is 1*(-4098)/3*2/(-4) prime?
True
Suppose 0 = -4*y + 5*o - 15, 8*o - 15 = -3*y + 3*o. Suppose y = 5*p + 5*v - 5305, -2*p + 4*v + 2122 = v. Is p a prime number?
True
Let s(t) = t**3 + 30*t**2 - 61*t - 13. Is s(-27) a composite number?
False
Suppose -13*r = -14*r + 30. Let o be (r/12)/(2/4). Suppose -c - 3 = 0, -3*c + 1129 = o*w - 1377. Is w a composite number?
False
Suppose h = 3*h - 2. Is -3 + (h - (-69)/3) a prime number?
False
Let k(g) = -18*g + 5. Let z(t) = -t**2 + 5*t - 3. Let m(v) = v - 1. Let j(q) = -3*m(q) - z(q). Let o be j(4). Is k(o) prime?
False
Let u = -106 + 246. Let b = u - 37. Is b a prime number?
True
Is (0 + -2)*(-3 + (-36869)/14) a composite number?
False
Suppose -2*w + 18 = 14. Suppose -w*o + 898 = 3*a - 683, -3*o = 5*a - 2636. Is a composite?
True
Let p = 13358 - 1287. Is p prime?
True
Let l = -3560 + 6949. Is l a prime number?
True
Suppose -4*q = -j + 8, 6*q - 2*j = 2*q - 8. Let a be q/5 - 12/(-5). Suppose a*c - c - 3 = 0. Is c composite?
False
Is (-8 - -10)*43284/8 composite?
True
Let c(u) = 2*u - 2 + 9*u**2 + 8 - 6*u. Suppose 21 - 41 = -5*n. Is c(n) a prime number?
False
Let p = 6 + -1. Suppose 0*c + 3345 = p*c. Is c a composite number?
True
Let q(i) = -364*i**3 - i**2. Suppose -b + 4*k + 1 = 4*b, 0 = -3*k + 3. Let p be q(b). Let s = p - -844. Is s a prime number?
True
Let n(o) = -373*o + 178. Is n(-15) a prime number?
False
Let n = 5 - 1. Suppose 0*u + 2*y - 170 = -2*u, 4*u = n*y + 356. Is u prime?
False
Let x = 2038 + -1161. Is x prime?
True
Let h(z) = -2*z - 6. Let r be h(-6). Let y(g) = g**3 - 6*g**2 + g - 2. Let n be y(r). Suppose -3*c + 65 = 5*s - 69, -n*s - 179 = -3*c. Is c a composite number?
False
Suppose -5*j + 0*m - 4*m = -2, -5*j = 5*m. Let r be j/(-4)*(-7664 - 2). Suppose -5*u + 3*w + r = -0*u, 785 = u + 4*w. Is u prime?
True
Suppose -27*g + 2731293 = -0*g. Is g a composite number?
False
Let l = -2 + 6. Suppose 5*m = -5*s - 65, 2*m = -l*s - 12 - 22. Is ((-474)/m)/((-12)/(-54)) a composite number?
True
Let a(p) = p**3 + 10*p**2 - 13*p + 1. Let m be a(-10). Let b = m - -2. Is b a composite number?
True
Let v = 2 + 10. Let c be v/5 + (-2)/5. Suppose -3*j + 1335 = c*j. Is j a prime number?
False
Suppose 3*u - 6 - 24 = 0. Let l be u*((-66)/15)/(-1). Suppose -l = -2*v - 3*w, -4*v + 4*w + 54 = -14. Is v composite?
False
Let l = -2468 + 4557. Let d = l - -2038. Is d prime?
True
Is 0 + 1 - (-6)/(36/1158) a prime number?
False
Let f(g) = -g**2 - 9*g + 9. Let s be f(-10). Is 3199 + s + 5/5 a composite number?
True
Let b(a) = 159*a + 28. Let f(p) = p. Let z(l) = -b(l) + 6*f(l). Is z(-7) a prime number?
False
Suppose 4*k + 4*l = 9860, 2*k = -3*l + 358 + 4570. Suppose 4*g - 2960 = -3*f, 2*g + 4*f - k = -977. Is g composite?
True
Let q(m) = 0 - 2*m + 10 - 3 + 0*m. Is q(-16) composite?
True
Let i(h) = -6*h**3 - 9*h**2 + 19*h - 3. Is i(-17) a composite number?
True
Let n(x) = 2*x**2 + 13*x + 12. Let m be n(-8). Let v = 26 - m. Is ((-244)/5)/(v/25) a composite number?
True
Suppose -2*h = 8, -3*r - 2*h - 26 = 3*h. Let f be (-3)/(r + 3 + -2). Suppose 0 = -2*i + f*i + 5*c - 239, 5*c = 0. Is i composite?
False
Suppose 126321 = 3*i + 2*k, 9*k = -4*i + 5*k + 168424. Is i a prime number?
False
Let c = 11 + -21. Let r(b) = -31*b - 19. Is r(c) composite?
True
Let q(d) = -5*d**2 + 8 - 15 + 15*d**2 + 5. Let v be q(-2). Suppose r - v = -r. Is r composite?
False
Let d = 11269 - 6626. Is d composite?
False
Suppose 5*q + 3*f = 37 + 26, 5*q + f = 61. Let u be q*-2*2/(-4). Let p(b) = b**2 - b - 13. Is p(u) prime?
False
Let t be 8/3*399/14. Suppose -t = -v - 0*v. Let z = 159 - v. Is z a composite number?
False
Suppose 0 = -5*u - 2*p - 0*p + 35, 5*u - 2*p = 15. Suppose -3*l = -5*g - 65, -u*l + 2*g + 87 = -g. Is 6315/9 + (-10)/l a composite number?
False
Let s = -89 - -86. Is s/(-6)*6818/7 a prime number?
True
Suppose -5*o - 23*o = -311668. Is o a composite number?
False
Let h(i) be the third derivative of -i**6/120 + 7*i**5/60 + 3*i**4/8 - 4*i**3/3 - 7*i**2. Let o be h(8). Suppose o*v - 5*v = -2405. Is v composite?
True
Suppose 4*b + 53 = 53. Suppose -5*k + 2 + 8 = 0. Suppose k*d - 3*d + 395 = b. Is d composite?
True
Suppose -23 = -5*p - 2*t, -p - t + 3 = t. Let j(h) = -h + 5. Let x be j(p). Suppose x = -2*k - 5*a + 12 + 171, -3*a - 222 = -3*k. Is k a composite number?
False
Suppose -2*r - 6823 = -x, -145*r + 150*r = -4*x + 27292. Is x prime?
True
Suppose 3*l - 21824 = 5*x, 20*x = 3*l + 17*x - 21834. Is l a composite number?
False
Let f = -3182 + 8071. Is f a composite number?
False
Let g(o) = -77*o**3 + o**2 - 2*o - 2. Let f be g(-1). Is ((-18)/(-24) + 5/(-12))*f a composite number?
True
Suppose 4*o = 2*o. Let m(n) = o*n + 6*n + 5 + 2. Is m(8) a composite number?
True
Let z(b) = -b**3 + b**2 - b + 796. Let f be z(0). Let j = -127 + f. Is j a composite number?
True
Let l = 10549 - 2940. Is l a composite number?
True
Suppose 0 = 2*y + 3*y - 290. Let n = -21 + y. Is n composite?
False
Suppose 3*n = m + 8, -3*n + 2*m + 6 = 2. Suppose 3*u + 339 = -u + 5*q, 346 = -n*u - 2*q. Let x = u - -135. Is x composite?
True
Let x(h) = -906*h + 10. Let c be x(-4). Suppose 0 = 2*w - 3*g - c, 0*w + 2*g = w - 1815. Is w composite?
False
Suppose 3*u - 49350 - 9003 = 0. Is u a composite number?
True
Suppose -y + 2485 = -1108. Is y a prime number?
True
Let o = -81 - -82. Let c(n) = 390*n**3 + 3*n**2 - n - 1. Is c(o) composite?
True
Let o(u) = -u**3 - 9*u**2 - 7*u + 8. Let k be o(-8). Let c be 886 - k*2/8. Suppose c = -26*m + 28*m. Is m composite?
False
Let p(r) = -r**2 - 15*r - 28. Let x be p(-13). Is 5 + x + (-5 - -955) prime?
True
Is -2 + 13122 + (-12 + 2 - -9) composite?
True
Suppose -61387 = -3*w + 123956. Is w a composite number?
False
Su