 q prime?
True
Suppose 3*v + 9 = 2*j - 2, j = v + 3. Let q be 50/20 - j/(-4). Is ((-4)/(-12))/(q/942) composite?
False
Let m = -37714 + 53133. Is m a composite number?
True
Let b(w) = -998*w + 11. Is b(-1) a prime number?
True
Is (-8)/((-8)/(-2)) - (-2 + -1649) prime?
False
Let q = 15 + -15. Suppose -2*w + 5*h = -11, q = -w - h + 4 - 2. Is 3386/5 + w/(-15) composite?
False
Is ((-17590)/25 - 0)*5/(-2) a prime number?
True
Let a be (-10)/25 - (-203)/(-5). Let c = a - 7. Let b = -15 - c. Is b composite?
True
Let d(f) = f**2 - 11*f + 20. Let b be d(9). Let i(l) = 5*l**3 + 2*l**2 - 3*l + 4. Is i(b) composite?
True
Suppose -4*q - 3795 = -n, 3*n + q = 4*q + 11376. Is n a prime number?
False
Suppose -4*z + z + 12 = 0. Suppose -z*w = -36 - 52. Is w a composite number?
True
Suppose 6*p - 23*p + 2533 = 0. Is -2 + 4 + p + 6 composite?
False
Let w be 4/(2*2/(-26)). Let v = -23 - w. Suppose -v*j - 229 = -1450. Is j prime?
False
Let z(w) = -7*w - 1. Let n = -45 + 27. Let h = n - -8. Is z(h) prime?
False
Let g = 8 - 7. Let y(v) = 5*v. Let j be y(g). Suppose 3*q + 2*k + 0*k - 49 = 0, -75 = -j*q - 5*k. Is q a composite number?
False
Let u(r) = -713*r - 1. Let x be u(-5). Let d = -2281 + x. Is d composite?
False
Suppose 5 = -3*v + 8. Suppose -4*f + v = -7. Suppose -t + 1443 = f*t. Is t a composite number?
True
Let a(g) be the third derivative of 23*g**5/60 - g**4/8 + g**3/2 - g**2. Let r(v) = 7*v - 19. Let u be r(3). Is a(u) a composite number?
False
Let t be 4 - (9/3 - 3). Let n(w) = 228*w + 7. Is n(t) prime?
True
Let p = 22987 + -9236. Is p prime?
True
Let u be 0/((11 - 10)*(1 - 0)). Is u - (2 - (0 - 1)) - -1120 a composite number?
False
Suppose 2*r = 4*w - 3*r - 33189, w = -4*r + 8313. Is w a composite number?
True
Let g(z) = 2*z - 14. Let l be 74/10 + (-4)/10. Let n be g(l). Suppose n*v = -4*v + 2*t + 820, 0 = 4*v + 5*t - 820. Is v a composite number?
True
Let i = 12 + -7. Suppose 3*t + 2*t = -2*u + 19, -3*t + 30 = -i*u. Suppose -3*n - 4*m + 234 = 47, 5*n + t*m - 320 = 0. Is n a prime number?
False
Is (-4)/(-16) - (-2 - 179457/12) prime?
True
Let o(x) be the second derivative of -x**5/20 + 7*x**4/4 + 2*x**3 - 9*x**2/2 + 29*x. Is o(20) composite?
False
Let o(b) = -4*b**3 - 29 + 15*b**2 - 23*b + 0*b**2 + 5*b**3. Is o(-16) a prime number?
True
Suppose 2*b - 3*b = 0. Suppose b*f = -12*f + 14124. Is f prime?
False
Suppose 44266 = 2*i + 4*s, -8*s = -4*s - 20. Is i a composite number?
False
Let x(w) be the third derivative of 0 + 0*w**3 + 1/60*w**5 - 5*w**2 + 0*w + 1/24*w**4. Is x(-3) composite?
True
Suppose -31292 = -2*g - 3*z + 16314, -119015 = -5*g - z. Is g composite?
True
Let y(u) = -58*u**2 - 5*u + 4. Let o be y(-5). Let i = 2934 + o. Is i composite?
True
Suppose -3*v + 2005 + 3662 = 0. Is v a prime number?
True
Suppose -14*k = -20*k + 5862. Is k a prime number?
True
Let j(a) = -45*a - 114. Is j(-23) prime?
False
Suppose -2*u + 15 = -7*u, j - 4*u - 7527 = 0. Suppose 2*b = j - 2473. Is b prime?
True
Suppose 5*t - 5*b = 180, -5*t + 4*b = -2*t - 109. Suppose 4*k - t = -k. Let m(s) = s**3 + s**2 - 3*s + 10. Is m(k) a composite number?
True
Let d = 18 - 16. Suppose 1 + 17 = -c + d*b, -4*c = 3*b + 17. Is ((-4)/c + 0)*290 a prime number?
False
Let p = 5231 - 2152. Is p a composite number?
False
Suppose 3*h - 5 = -w - 0*w, h + w - 1 = 0. Suppose 5500 = h*p + 626. Is p a prime number?
True
Suppose 3*g = -5*j + 2, 4*g + 2 = -2. Is j/(-7) - 8208/(-28) a composite number?
False
Let b(p) = 71*p**2 + p - 1. Let q be 3/2*14/21. Is b(q) a composite number?
False
Is (-50)/6 - -9 - (-506)/6 a prime number?
False
Suppose 4*n - 45 = -237. Let j = n + 27. Is j*(0 + -7) - -2 composite?
False
Suppose -6*n = 2*r - 8*n - 12496, 31200 = 5*r + 3*n. Is r composite?
True
Let q(k) = -126*k - 229. Is q(-6) a prime number?
False
Let v = -15 + 16. Is (-15)/5 + 147 + v/(-1) composite?
True
Let b(f) = f**2 + 4*f + 7. Let n = -19 - -6. Let t = 7 + n. Is b(t) composite?
False
Let w(z) = 52*z + 39. Let f(a) = -a - 1. Let j(l) = -2*f(l) - w(l). Is j(-27) a composite number?
True
Let v = -38 - -41. Suppose -v*n = -5*o + 2*n + 1445, -5*o - n + 1433 = 0. Is o a prime number?
False
Let i(h) = -19*h**2 - 21. Let q be i(13). Let m = 5589 + q. Is m composite?
False
Let w(j) be the third derivative of 0*j + 1/12*j**4 + 0 - j**3 + 5*j**2 + 89/60*j**5. Is w(-3) a composite number?
True
Let a(g) = g**3 - 8*g**2 + 9*g. Let h be a(7). Let u be 7012/3*21/h. Let z = -2337 + u. Is z composite?
True
Let t be -22 - (-8)/((-16)/(-4)). Let x = t - -338. Suppose -2*m - m + 435 = 3*u, 2*m = 5*u + x. Is m a prime number?
True
Suppose 5*s = 2*n - 6*n + 258, 2*s - 102 = -n. Let j = 273 - s. Is j composite?
False
Suppose -2*a + 3155 = -4*h + 7*h, -5*a - 2*h = -7915. Is a a prime number?
False
Suppose 4*g + 4141 = -4723. Let p = -94 - g. Is p prime?
False
Suppose 3*c - 3 - 3 = 0. Suppose 5*w + j = 2770, 0*j - 4*j - 1130 = -c*w. Let n = 829 - w. Is n composite?
True
Suppose 5*b + 23 = z, 4*b = 5*z + 5*b - 11. Suppose 0 = -3*p - 5*v + 5551, p = -3*p + z*v + 7382. Is p prime?
True
Suppose n = -4*n. Suppose 0 = -n*k - 3*k - 4*a + 4, 4*k = -a + 14. Suppose -k*y = -187 - 169. Is y prime?
True
Let t = 2 + 624. Let a = -115 + t. Is a a prime number?
False
Let c = -4923 - -9482. Is c composite?
True
Let b be ((-12)/8)/((-2)/312). Suppose 0 = 4*q - 1326 + b. Suppose 0*u = -3*u + q. Is u a prime number?
False
Suppose -6283 = -5*i + 3*r, -23 + 3 = -5*r. Is i composite?
False
Suppose 417*i - 408*i = 194715. Is i a prime number?
False
Let g be (-3556)/35*(-1 + -29). Suppose -10*i - 2*i = -g. Is i a prime number?
False
Suppose w = -3*i + 5, -3*w + i + 3 + 2 = 0. Suppose 0 = 5*h + 4*f + 21, -3*f = w*h + f + 6. Let o(p) = -3*p**3 - 6*p**2 + 7*p + 1. Is o(h) composite?
False
Let i = 82 + -115. Let x be 2/3 + (-44)/i. Suppose -5*r - 4*w + 655 = -0*w, 393 = 3*r - x*w. Is r a composite number?
False
Let w(y) = 957*y**2 - y + 1. Suppose 0 = -0*n + n - 1. Let u be w(n). Let k = u - 590. Is k a prime number?
True
Suppose -3*s + 939 - 3779 = -5*t, 3*s + 1145 = 2*t. Let p be 0 - (6 + 0)/(-2). Is t/15 - 2/p a composite number?
False
Let f(n) = -73*n**3 + 12*n + 14. Is f(-3) composite?
False
Let z be 892/3 + 4/6. Let i = z + 123. Suppose 2*w + 6*o - o - i = 0, 1069 = 5*w - 4*o. Is w prime?
False
Let w be (-1 - (-4377)/(-9))*(-45)/10. Suppose -17*m = -20*m + w. Is m a prime number?
False
Suppose 256 = -3*s - 164. Suppose 0*c - 4*c = 372. Let h = c - s. Is h a composite number?
False
Let s(r) = 69 - 35*r**3 - 32 + 4*r**2 + 8*r - 31. Is s(-5) a prime number?
True
Suppose -3*l - 4 + 1 = 0. Let p be 1 - -4 - (-2)/l. Is -1 + (-1 - -18) + p a composite number?
False
Suppose -4*q = -t - 15 - 3, -q + t = -6. Let l(c) = c**3 - 3*c**2 - 3*c - 4. Let a be l(q). Suppose a = u + 37 - 1124. Is u a composite number?
False
Let g = -15 - -18. Let i(r) = -r**3 - 2*r**2 - 5*r + 2. Let w be i(g). Let u = w - -123. Is u composite?
True
Let x(g) = 5*g**3 - g**2 + 4*g + 95. Let d(w) = -14*w**3 + 3*w**2 - 11*w - 284. Let l(a) = -4*d(a) - 11*x(a). Is l(0) composite?
True
Let w(x) = 3 - 5 + 11*x + 3 - 81*x. Is w(-3) composite?
False
Let j(q) = 10*q + 12*q**2 + 9*q + 7*q - 14*q - 3. Is j(-5) a composite number?
True
Let i(f) = -f**3 - 11*f**2 + f + 13. Let t be i(-11). Suppose t*o - 6 - 88 = 0. Is o a composite number?
False
Let x = 2864 + -1370. Let r = x - 355. Is r a composite number?
True
Let k be (-4)/(-1) - (1 + -1). Suppose 2*o + 4*v = 466, o + 0*o - 233 = -k*v. Is o a prime number?
True
Suppose 4*s = -0*s + 16. Suppose -s*f + 7054 = 1458. Is f composite?
False
Let z = -10963 + 23552. Is z a prime number?
True
Suppose 27*f - 338521 = 10*f. Is f composite?
False
Suppose -j - 3*k + 2706 = -7*k, -2*j = -3*k - 5407. Let f = j + -1854. Let a = 1767 - f. Is a a prime number?
True
Let g(l) = -7*l**2 - 17*l + 16. Let u(v) = 8*v**2 + 16*v - 15. Let z(y) = 6*g(y) + 7*u(y). Suppose -23*x + 8*x = -75. Is z(x) composite?
True
Let b = -5562 - -8323. Is b a prime number?
False
Let c = -5244 - -7635. Is c composite?
True
Let v be (18/10 - 0) + 26/130. Suppose v*j - c = 918, -5*j - c + 1367 = -2*j. Is j a prime number?
True
Let u(k) = -k**3 + 2*k**2 + 2*k + 210. Let t be u(0). Let s = 503 - t. Is s composite?
False
Let p be 52/4 + (-2 - -2). Let w be (-13)/(-6) - p/78. Suppose 2*l + 