8, 2*q + 2*i = -12. Let m be 2/q*(0 - 1). Is (m + -447)*(-2)/4 a composite number?
False
Let c(k) = -24*k**2 - 7*k - 12. Let a be c(-11). Let q = a - -4250. Is q prime?
False
Let j(t) = -t**3 + 5*t**2 + 24*t + 3. Let i be j(8). Suppose 217 + 1532 = i*s. Is s prime?
False
Is (-218373)/(-3) + -4*(-15)/10 a prime number?
True
Is 3/(-5) - 24/(-15) - -34030 composite?
False
Let h(a) = -a**3 - 7*a**2 + 24*a + 7. Let i be h(-10). Suppose -i - 20 = -m. Is m composite?
True
Let h be (5 - 3) + -1 - -53. Suppose h = 3*z + 318. Is (1/2)/((-4)/z) a prime number?
True
Suppose 120*a = 117*a + 3741. Is a prime?
False
Let b(v) = -v + 3. Let n be b(4). Let i = 4 + n. Suppose -2*u = m - 732, 2*u + i*u = -m + 1833. Is u prime?
True
Suppose -b - 258 = -2*b. Suppose -2*c + 666 = z, 3*z + 424 = 2*c - b. Is c a composite number?
True
Suppose 5*y = 3*l - 738, 5*y = l + l - 737. Let i = 338 + y. Is i a prime number?
True
Suppose f = -5*a + 58649, -4*f + 56849 = 5*a - 1812. Is a composite?
True
Let a = -8 + -2. Is ((-6184)/a - -1) + 2/(-5) prime?
True
Suppose -9*g + 3460 = -14189. Is g a prime number?
False
Let q(u) = 371*u**3 - u**2 + 3*u - 2. Let p be q(1). Let t = p + -114. Is t a prime number?
True
Suppose -2*c - 2*b = 0, 8 + 2 = c - b. Let q(h) = h**2 - 4*h. Let k be q(c). Let z(f) = 5*f**2 - 7*f + 4. Is z(k) prime?
False
Suppose -331870 = -2*z + 4*j, 2*z - 17*j + 20*j = 331884. Is z composite?
True
Suppose -4*z + 3*j + 957 = 0, -258 = -5*z - 3*j + 918. Is z a prime number?
False
Is (-1)/((-6)/(-57) - (-1366833)/(-12982567)) a composite number?
False
Suppose 0 = 8*y - 4676 - 26820. Is y composite?
True
Suppose r = 2*x + 18789, r - 3*x + 2353 = 21137. Is r prime?
False
Suppose 8*d - 3*d = 5*g, 4*d = -5*g. Suppose -1941 = -4*q - 3*t, g = -5*q - t - 3*t + 2427. Suppose 0 = -3*c - 0*c + q. Is c composite?
True
Let i = 1363 - -260. Is i composite?
True
Let f = -3601 + 8645. Suppose 0 = 25*c - 29*c + f. Is c composite?
True
Let s(p) = -20*p**3 - p**2 + p - 1. Suppose 3 = -n + z, n + 1 = -4*z + 18. Let t be s(n). Is ((-7)/t)/((-2)/(-1290)) a composite number?
True
Let k(i) = 7*i**3 - i + 2. Let p be k(2). Suppose 51*r + 7535 = p*r. Is r a composite number?
True
Let q(p) = p**2 - 11*p - 15. Let w be q(12). Is w/12 + 8468/16 a composite number?
True
Let l = -20 + 20. Let w(v) = -v**3 + v - 11. Let q be w(l). Let s = q + 24. Is s composite?
False
Let y = -24 - -28. Is (0 + 1)*-1 - (-1040)/y a prime number?
False
Suppose 7*w = 5*w. Suppose -3*t - 3 - 3 = 0. Is -251*(1 + t) - w prime?
True
Suppose 3*a = 4*a. Let t be -2 + a + -1 + 4. Is 4 + 116 + t + -2 a prime number?
False
Let p = 2 + -8. Let o(x) = -x**3 - 7*x**2 - 6*x + 4. Let l be o(p). Suppose i - 86 + 3 = -4*n, -l*n = -i + 83. Is i prime?
True
Let g = -13 + 21. Let z = 98 - 69. Suppose -z - g = -f. Is f a prime number?
True
Let s be 49010 + (-8 - (-1 - 3)). Let r be s/26 - 4/(-26). Suppose 0 = 3*j + 5*b - r, -2*b + 6*b = 3*j - 1921. Is j prime?
False
Let b(z) = -3*z - 10. Let h be b(-8). Suppose -h = 5*f + 1. Is (0 + 6)*(-17)/f prime?
False
Suppose -5*f - 3 = 12. Let p = -13 + f. Let z(g) = -g**3 - 13*g**2 + 2*g + 7. Is z(p) composite?
False
Let i(m) = 68*m**2 + m + 4. Let a be i(-3). Let b = a + 636. Is b composite?
False
Suppose 53 = 12*q - 7. Suppose q*w + 355 = 8470. Is w composite?
True
Suppose 4*q + 0*u - 31 = 5*u, 6 = -2*u. Suppose -118 = -q*o + 2*o. Is o prime?
True
Let p be (5/(-2))/((-5)/2290). Suppose i = -0*i - 3*x + p, 3*i - 3387 = 3*x. Is i a composite number?
True
Let p(g) be the first derivative of 18*g**2 - 2*g - 5. Let z(m) = -35*m + 2. Let c(w) = 5*p(w) + 4*z(w). Is c(4) composite?
True
Suppose 8*u - 23831 = 8833. Is u composite?
True
Let m(t) = -8 - 3*t - 7 - 7*t**2 - t**3 + 4. Suppose 373*b - 360*b + 91 = 0. Is m(b) composite?
True
Is (0 - 46)/(16030/1337 - 12) a composite number?
True
Let o = 987 - -1161. Suppose 0 = -4*p + 4*t + o, -3*p + 985 = 3*t - 626. Is p a prime number?
False
Suppose 0 = -2*t - 3*p - 5 + 3, 0 = 4*t + 4*p. Suppose 2395 = 3*c + t*c. Is c prime?
True
Let g be -2 + 2/(8/4). Is g/(4/(-508) - 0) a prime number?
True
Suppose -9544 = o - 28701. Is o prime?
True
Let n = -13726 + 6510. Let i = n + 18329. Is i a prime number?
True
Let k(a) = 72*a + 167. Is k(23) composite?
False
Suppose -4*y - 3 = -3*a, 4*a + 0 - 5 = 5*y. Is (186/y)/(2/5) composite?
True
Suppose -22 = -4*g + 18. Suppose -w - 4 + g = 0. Let s(o) = 2*o**3 + o**2 + 8*o + 5. Is s(w) composite?
False
Suppose -37*w + 161151 = -124378. Is w a prime number?
True
Suppose -3*u = -w + 7204 + 5172, 0 = -5*w + 5*u + 61870. Is w prime?
True
Let k = -4 + 9. Suppose 0*c = k*c. Suppose c = 2*i + 3*f - 534, -5*i - 5*f + 1335 = -4*f. Is i prime?
False
Let d(m) = 84*m**2 - 31*m + 137. Is d(4) prime?
False
Let m = 307 - -552. Suppose 4*p + 16 = 0, -3*f + 3330 = 2*p - m. Is f prime?
True
Let l be ((-2)/6)/((-2)/12). Suppose 0 = l*y - 6*y - n + 3648, 0 = 2*n - 8. Is y a composite number?
False
Let u = -22 + -6. Is (u/16)/((-2)/16) composite?
True
Suppose 0 = t, -8 = -4*v + 2*v - 5*t. Suppose 50 = v*k + k. Let p(c) = c**3 - 9*c**2 + c + 1. Is p(k) a prime number?
False
Let m(j) = -12*j**2 + 35*j - 31. Let n(l) = 4*l**2 - 12*l + 10. Let t(v) = 2*m(v) + 7*n(v). Is t(-7) composite?
True
Let w = 7684 - 3515. Is w prime?
False
Let m be (2/4)/((-4)/64). Is m/(-60) - 868/(-15) composite?
True
Suppose 5*u - 319 - 2396 = 0. Suppose -3*p + u = 5*q, 0*p = 4*p + 16. Is q prime?
False
Let t(a) = 104*a**2 - 2. Let h be t(3). Suppose 2*s - h = -192. Is s composite?
True
Let o be -3855*(-3 - 8/(-3)). Suppose 3*a + 1253 = 5*w, -5*w - 4*a + o = a. Is w a prime number?
False
Let p(v) = 3*v - 12. Let k be p(5). Suppose 928 = -k*b + 12469. Is b a composite number?
False
Let d(j) = -j**2 - 13*j + 14. Let g be d(-14). Suppose g = -3*i - 2*c - 212, 2*i = -3*i - c - 344. Let b = 783 - i. Is b a composite number?
True
Let c = 8685 - 5042. Is c a prime number?
True
Let q(s) = 206*s + 237. Is q(11) prime?
True
Let d(k) = -87*k + 30. Let s be d(14). Is 20*(-2 - s/8) + 3 composite?
True
Let w = 7 - 0. Let f(r) = -r**2 + 15. Let c be f(w). Let a = c - -59. Is a a prime number?
False
Suppose 5*j + 397 = 4*f - 905, 3*f - 980 = 2*j. Suppose 4*p + f - 68 = 0. Let s = -28 - p. Is s a composite number?
False
Let g be (0 - 2 - -2) + 2. Suppose 0 = g*k - 6, 4*z + 5*k - 15 = z. Suppose z = 2*i + 4*i - 1986. Is i prime?
True
Suppose 21*k - 1271740 = -511687. Is k a prime number?
False
Let n = -2157 - -4866. Let s = n + -1561. Suppose 5*z = 9*z - s. Is z prime?
False
Let t(w) be the first derivative of 9/2*w**2 + 4*w - 1/3*w**3 + 6 - 1/4*w**4. Is t(-7) composite?
True
Let x be (2*426/14)/(1/42). Is x + 3*(-2)/(-6) - 3 prime?
False
Suppose 196 = 2*n + 2*n. Suppose c = -48 - n. Let o = c + 164. Is o prime?
True
Suppose 3*d - 5468 = -d. Let k = -174 + d. Is k a composite number?
False
Suppose -950 = -5*g - 0*g. Suppose -7*o - 4*a = -9*o + g, 335 = 4*o + a. Is o prime?
False
Let t = 198 + 3649. Is t a prime number?
True
Let x be (38680/(-6))/(-5) + 6/9. Let f = x - 203. Is f a composite number?
False
Is ((-2242)/8)/(-4*(-10)/(-160)) a composite number?
True
Let k(n) = -660*n - 1. Let j be k(-1). Suppose 1669 - j = 2*m. Is m a prime number?
False
Suppose -10 = -5*n + 3*p + 2*p, p = -2. Suppose n = -5*r + 523 + 132. Is r a prime number?
True
Let y = 1232 + -1199. Is y composite?
True
Is 3 + (1382654/130 - (-2)/10) composite?
False
Let h = -137194 + 200683. Is h composite?
True
Suppose m + 0*m + 5*k = -2, 4*m = 5*k + 17. Suppose -3*j + m*f = -0 + 3, 4*j + 6 = 5*f. Is j/(0 + (-3)/(-465)) a composite number?
True
Let v = -7309 + 15588. Is v composite?
True
Let j(h) = 1238*h**3 - h**2 - h + 3. Is j(2) composite?
False
Let g(q) = 104*q + 2. Let h be g(2). Suppose -2*v - 179 - 233 = -2*t, -t - 3*v = -h. Let f = 296 - t. Is f a prime number?
True
Is 6/10 + (-1062942)/(-255) prime?
False
Suppose y - 6*y = -4*m + 1903, 5*m - 3*y - 2395 = 0. Suppose 0 = 5*q - 543 - m. Is q prime?
False
Suppose 8*v = 4*v. Suppose -4*y + 3*d + 1019 = v, -6*d + 269 = y - 2*d. Is y prime?
True
Suppose -4*z - 20 = -0*z, -5*r + 4*z = -75. Suppose 6*c = 13 + r. Suppose c*k - 139 = -j, 4*j + 0*j - 4*k - 496 = 0. Is j composite?
False
Let l(a) = 26*a**2 + 10*a - 501. Is l(-35) composite?
True
Let x = 20638 - 11399. Is x