g prime?
False
Suppose -3*v = -3*r - 459, 4*v - 624 = 3*r - 2*r. Is v a prime number?
True
Let g(u) = -79471*u - 14. Is g(-1) composite?
True
Let t = 42 + -22. Suppose 15*d + 355 = t*d. Is d a composite number?
False
Let y(a) = 12*a**2 - 5*a - 14. Let t be y(7). Let l = t + 1006. Suppose -4*o - o + 1203 = 4*q, -5*q + 2*o = -l. Is q prime?
True
Let u(t) = t**3 + 3*t**2 - 5*t - 3. Let l be u(-3). Let q(v) = 3 + 2 - l*v + 4*v**2 + 3 + 1. Is q(-10) composite?
True
Suppose 23*u - 21422 = 40839. Is u prime?
True
Let z be (209 - 5)*4/6. Suppose -327 = -r - z. Is r prime?
True
Let k be 2 + (-11)/6 - (-11333)/42. Suppose 2*n = -n + 3*d + k, 4*n - 342 = -2*d. Is n a composite number?
True
Let o = -233 - -560. Let j(n) = -41*n - 7. Let m be j(5). Let t = m + o. Is t a prime number?
False
Let a = 54 + -54. Suppose -1277 = -5*q + 3*g, 2*g = -a*g - 8. Is q prime?
False
Suppose 2*l - 3*l = -9196. Suppose 641 = -5*r + l. Is r prime?
False
Let a(g) = -g**2 - 2*g + 155. Suppose i - 5*i = 0. Is a(i) prime?
False
Suppose 2*u - 1198 = -o - 0*o, 0 = 4*u - 3*o - 2386. Let y be (-3)/9*3 - -276. Suppose y = 2*q + 5*h - u, 2*h + 2255 = 5*q. Is q a prime number?
True
Let q be (-10)/2*(-4)/(-40)*-238. Suppose -77*i + 76*i = -q. Is i a composite number?
True
Suppose -5*d - 351 = -2*s + 1865, 4*s + d = 4388. Let b = 1577 - s. Is b a prime number?
True
Let s(z) = 168*z**3 + 12*z**2 + 7*z - 13. Is s(6) composite?
False
Suppose 0 = 11*r + 79 - 233. Suppose r*q - 23737 = -4683. Is q prime?
True
Let s = -1358 - -817. Let w = s - -780. Is w composite?
False
Suppose 481 = l - 4*h, -5*l + 451 + 2038 = h. Suppose -x = -3*w - l, -554 = -2*x - w + 412. Is x composite?
True
Let t = -15806 - -36109. Is t composite?
True
Is -3*(-3776)/24 + 7 a composite number?
False
Let w = -3451 + 7418. Is w a prime number?
True
Suppose -26 = -3*q - 4*z, -5*q = z - 2*z - 5. Suppose -q*v = -3*v + 131. Is v composite?
False
Suppose 5*t = 3*q - 66, t + q + 46 = -3*t. Let r be 2/t + 77/(-42). Is 22*((-5)/10 - r) a prime number?
False
Suppose 460455 = 15*y - 74610. Is y a prime number?
True
Let p(t) be the second derivative of t**4/12 - t**3 + 2*t**2 + 7*t. Let b be p(4). Let v = b + 14. Is v prime?
False
Let z be 194*(-2 + 28/8). Suppose 1561 = 5*c + z. Suppose -3*k = -l + c - 85, -2*l + 3*k = -347. Is l composite?
True
Suppose 3*m - 10 = -y + 6*m, 4*m + 24 = 4*y. Suppose -y*a + 0*a = -2116. Is a a composite number?
True
Suppose j = -j + 1922. Let o = 2214 - j. Is o a composite number?
True
Suppose -f = 6 - 0. Is 1*((-10551)/(-27) - f/27) composite?
True
Let f(a) = -a + 6. Let x be f(5). Let w be ((x*762)/3)/2. Let v = -34 + w. Is v prime?
False
Suppose -60 = -q - 3*q. Is -1*1 - (q + -671) prime?
False
Let b be 6/10 + (-47)/(-5). Suppose 0 = -b*k + 204 + 1226. Is k prime?
False
Suppose -t - 4*t = -20. Suppose -8 = -0*c - 2*c. Suppose -t*g = -0*w + c*w - 384, -2*w = -3*g - 177. Is w a composite number?
True
Is 2686/(7/(-35)*-10) a prime number?
False
Let g be 2910/7 - 12/(-42). Let s = 918 - g. Is s prime?
False
Let w be (-1)/(4 - 3)*-1. Suppose 0 = -2*i + 3*i - w. Let k(f) = 62*f. Is k(i) prime?
False
Suppose -2*z + 49487 = 3*b + 2*z, 5*b - 82455 = 5*z. Is b prime?
True
Let b(l) = -l - 9. Let n be b(-6). Let t be (-1)/((-30)/(-9) + n). Is -67*(-2 + t + 4) a prime number?
True
Suppose -n + 5*a - 5 = -30, 0 = -4*n - 2*a + 34. Let w(p) = -10*p**3 + 38*p**2 + 5*p + 3. Let c be w(4). Is (78/c)/(n/(-1005)) prime?
False
Let t = 111 - 106. Let g be 60/(-2 - 32/(-15)). Suppose -4*j + 1477 = t*b, -4*b + 4*j + g = -710. Is b a composite number?
False
Suppose 0 = 5*n - 6 - 14. Suppose -3*r + n = -5, 0 = -5*y + r + 1982. Is y a composite number?
False
Suppose -3*g - 5*g + 12536 = 0. Is g composite?
False
Let l(b) = 29*b**2 - 2*b - 1. Suppose -3*g - 15 = 0, 2*g = c - 3*g - 30. Let o(m) = -59*m**2 + 5*m + 2. Let n(h) = c*l(h) + 2*o(h). Is n(-4) prime?
True
Let m = 0 + 2. Suppose -285 = 3*u - 8*u - 2*f, -4*u - m*f = -226. Is u composite?
False
Let f = -2393 - -71950. Is f prime?
True
Suppose 2*b - 24 = -4*b. Suppose 5*f - 419 = b*f. Is f a composite number?
False
Let i = -289 - -8796. Is i a composite number?
True
Suppose 6 = 3*z - 0. Suppose 2*d - 3*u = 330, 163 = 3*d + z*u - 306. Is d a composite number?
True
Let n(w) = -4*w - 28. Let c(f) = -3*f - 28. Let p(l) = -6*c(l) + 5*n(l). Let q be p(13). Suppose q*r - 2934 = -3*b - r, 3*r = -b + 988. Is b a prime number?
False
Let x(y) = 512*y**2 - y - 5. Suppose 0 = -6*p + 2*p - 12. Let c be x(p). Suppose -4*d - n + c = -3*n, -4*d = -5*n - 4609. Is d composite?
False
Let l(r) = -r - 7. Let d be l(-7). Let k(n) = n**3 - n**2 - n + 4. Let v be k(d). Is (2/v)/((-11)/(-1628)) a prime number?
False
Suppose j + j + 5*p = 229, -4*p = 5*j - 615. Suppose 3*o - 418 + j = 0. Is o a prime number?
True
Is (13 - 12)/(1/787) prime?
True
Let v(r) be the first derivative of -83*r**2/2 + 2*r - 34. Is v(-9) a prime number?
False
Let t(s) = 511*s - 88. Is t(23) composite?
True
Let v = 20 - 18. Suppose -233 = -5*t + 5*c - v*c, 3*t - 133 = -5*c. Is t a composite number?
True
Let w(s) = -s**3 - 8*s**2 - s - 4. Let a be w(-8). Let f(t) = 1 - 2*t**3 - 3*t**2 + 5*t**3 + 1 + 3 + 3*t. Is f(a) a prime number?
False
Suppose -z - 3 = -0, -4*l = -z - 31159. Is l composite?
False
Is (-80)/(-180) + 201857/9 a prime number?
False
Let l(y) = y - 1. Let k(s) = -24*s + 27. Let o(a) = -k(a) - 5*l(a). Is o(23) a composite number?
True
Let t = -7565 + 11766. Is t prime?
True
Is (-3 - 91/(-39))*(-50613)/2 a composite number?
False
Let z(v) be the first derivative of -v**4/4 + v**2/2 - 73*v - 5. Let c be z(0). Let q = c - -630. Is q a composite number?
False
Let i(m) = 53*m**2 - 32*m - 187. Is i(-6) a composite number?
False
Let z(h) = h**2 - 3*h + 1 + 14*h - 4*h. Is z(-16) a composite number?
True
Let s = 396 - 233. Is s a composite number?
False
Suppose -5*n + v + 4225 = -3*v, -4*n - 4*v = -3344. Let g = n - 356. Is g a prime number?
False
Suppose 12*o - 463790 - 9454 = 0. Is o a composite number?
True
Let l(t) = -173*t + 2. Let h be l(11). Let r = h - -3464. Is r composite?
True
Let f = 781 + -244. Is f prime?
False
Suppose 5*s - 3*s + 8 = 0, 5*t - 3415 = -5*s. Let p be 2 - 0 - 8 - (-3740)/(-10). Let n = p + t. Is n prime?
True
Suppose -4*l = -5*l + 3. Let z(k) = 96*k**2 - 5*k + 4. Is z(l) a prime number?
True
Suppose -5*d = -9*d + 10972. Is d a prime number?
False
Suppose -l - 128 = -2*o + 609, -4*l = -o + 351. Suppose 4*m - o = y - 99, 0 = -2*m - y + 142. Is m a composite number?
True
Let i = -28 + 28. Suppose r + i*r - 413 = 0. Is r a prime number?
False
Let z(d) = 3*d**3 + 2*d**2 - 2*d + 1. Let l be z(1). Suppose -352 - 814 = -l*b - 2*h, 4*h + 305 = b. Suppose 25 = -4*n + b. Is n a composite number?
False
Let u(l) = l**3 - 8*l**2 + 8*l - 8. Let y be u(7). Let n be y + 3 + 51*9. Suppose -p + 1260 = 3*i, 4*i + 4*p - 1227 - n = 0. Is i a composite number?
False
Let b(q) = q + 11. Let v be b(-12). Let p be v/(1/1642*-2). Suppose 5*u - p = 3*z - 263, 0 = u + 5*z - 106. Is u composite?
True
Suppose -335 = -12*z + 3829. Is z a composite number?
False
Let t = 77 - 69. Is (-12)/t*(-3548)/6 prime?
True
Let y be ((-2)/(-1))/(7*(-4)/(-42)). Suppose -671 = -y*w + 670. Is w a prime number?
False
Suppose 5*k - 3711 = -2*n, -n + 1861 = -3*k - 0*k. Is n prime?
False
Suppose 0 = 38*g - 37*g + 1, u - g = 68. Is u composite?
False
Suppose -47739 - 139644 = -21*x. Is x a prime number?
True
Suppose 0 = -5*a - 5*s + 50, -4*a + 0*a = -3*s - 68. Let q be (1311/(-4))/(a/(-56)). Suppose -5*v = -2*v - q. Is v a prime number?
False
Let z(p) = 35*p**2 + 11*p - 3. Suppose 10*w + 69 = -41. Is z(w) a prime number?
True
Let h(g) = 9*g - 10. Suppose 5*y = 9 + 1. Suppose 4*d = 2*k + 22, -d = -y*k + k - 6. Is h(d) a composite number?
True
Let s = 27040 - -14049. Is s a prime number?
False
Let a = -45 - -48. Let c = -608 + 1080. Suppose 0 = a*r + r - c. Is r prime?
False
Let o be 3 - 1*(2 + 0). Suppose -o + 4 = -3*z. Is (z + -338)*(-7)/3 prime?
False
Suppose 2830 = 20*l - 9870. Is l a prime number?
False
Suppose -13885 = -3*n - 1738. Is n prime?
True
Let k(n) = -46*n**2 - 8*n + 3. Let m be k(-5). Is (m/27)/((-4)/(-5) + -1) composite?
True
Let t be (-262)/(-10) - 15/75. Let i = t + -27. Is 983/5*(-5)/i a composite number?
False
Let y = 97 - 142