prime number?
False
Let q(s) = 3*s**3 + s**2 - s. Let f be q(1). Suppose 10 = x + f*p, -45 = 2*x + 2*x - 5*p. Let t(n) = n**2 - 2*n - 4. Is t(x) prime?
True
Let z(v) = v**3 + 5*v**2 - 6*v - 3. Let n be z(-6). Let u(o) = o. Let w(g) = -g**2 + 13*g - 9. Let p(y) = n*u(y) + w(y). Is p(6) composite?
True
Let b(c) = -c - 1. Let y(v) = -39*v - 7. Let z(d) = 5*b(d) - y(d). Let i be z(2). Suppose 4*s + s = i. Is s a prime number?
False
Suppose 0 = -4*k - 3*n - 12 + 3, 5*k = n - 16. Is -2 + k/(-1) - -2 prime?
True
Let x(y) = 9*y**2 - 9*y - 7. Is x(-6) prime?
False
Let n(d) = -896*d**3 - 5*d**2 - 7*d - 5. Let w(b) = 448*b**3 + 2*b**2 + 3*b + 2. Let f(m) = 2*n(m) + 5*w(m). Is f(1) prime?
True
Let j = -4 + 7. Let t(z) = -3*z**2 + 2*z - 4. Let l be t(2). Is (-4)/l + 68/j a prime number?
True
Let a be 3 - ((-6)/(-2) + -1). Suppose 2*x - 4 = -v + a, 2*x - 8 = -4*v. Suppose 93 = r - 4*i, -x*r + 138 = i + 3*i. Is r composite?
True
Let p(t) = t - 6*t + 1 - 2 - 9. Is p(-9) a prime number?
False
Suppose -5*v = 4*a - 624, 0 = -3*a + v + 375 + 112. Is a a composite number?
True
Let j(s) = -s**3 + 4*s**2 + 9*s + 5. Is j(-8) composite?
False
Suppose 4*b - 2267 - 409 = 0. Is b a composite number?
True
Let h(d) = d. Suppose 4*x = 5*z - 22, z = 4*z + 2*x. Is h(z) a composite number?
False
Suppose -g + 154 + 58 = j, -4*j + 4*g + 848 = 0. Let x(l) = 3*l**3 + 4*l**2 + 1. Let q be x(3). Let z = j - q. Is z a prime number?
False
Let v be 1*3/((-6)/(-10)). Suppose 101 = 2*o + v*d - 14, 2*d + 273 = 5*o. Is o a composite number?
True
Let m(w) = w**3 - 8*w**2 - 9*w + 3. Let g(b) = -12*b**2 + 2*b + 3. Let j(o) = -13*o**2 + 3*o + 4. Let c(l) = -3*g(l) + 2*j(l). Let v be c(1). Is m(v) prime?
True
Suppose 3*z - 974 = -4*s + 225, 4*z - 3*s = 1582. Is z composite?
False
Is 291*(-3 - 10/(-3)) composite?
False
Let x(t) = -t + 11 + 0*t - 5. Let b be x(-6). Is b - (2 + -1 + -2) composite?
False
Let i = -864 - -1415. Is i a composite number?
True
Let f = 274 - 100. Let j(i) = -106*i + 1. Let k be j(1). Let o = f + k. Is o prime?
False
Let x = 29 + -18. Is 20/x + (-14)/(-77) composite?
False
Suppose 5*m + 8 = 7*m + 2*u, 5*m - 4*u = 20. Suppose 7*b = m*b + 471. Is b a composite number?
False
Let p(s) = 2*s**2 + 6*s - 15. Is p(-12) a prime number?
False
Suppose p - 3*v - 18 = 0, -5*p + 7*v = 3*v - 35. Let i be 1/(-1)*(1 + -5). Let w = i + p. Is w prime?
True
Let a = 3417 - 2018. Is a prime?
True
Let h be 6/(-4) + 2/(-4). Let n(s) = 0*s - 3 - 11*s - 4 + 4. Is n(h) a composite number?
False
Let z(c) = -4*c. Let f be z(-1). Suppose 0 = -5*x - 2*n + 5 + 43, -3*x + 25 = 5*n. Suppose -l - f*l = -x. Is l composite?
False
Suppose 3*x + 8 - 23 = 0. Suppose -4*m + 871 = o, 4*m - 689 = -x*o + 194. Is m prime?
False
Suppose -4*j + 289 = 21. Is j a composite number?
False
Let y(v) = v**3 - 3*v**2 + v. Let h be y(2). Is h/(-6) + 340/6 a composite number?
True
Let v be (2 - 1)/(2/(-4)). Let m = v + 2. Suppose m*f - 35 = -f. Is f prime?
False
Let x(w) = -738*w**3 + w**2 - 2. Is x(-1) a composite number?
True
Suppose t = 6*t - 60. Let y = t - 7. Suppose y*w + 44 = 209. Is w prime?
False
Suppose -2*a + 65 = 3*a. Let j = a + 66. Is j composite?
False
Let z = 1 - 1. Let t = z + -4. Let x = -2 - t. Is x a prime number?
True
Let x = -8 + 915. Is x prime?
True
Is 582/(-4)*10/(-3) composite?
True
Let k(v) = 46*v - 7. Is k(3) a prime number?
True
Let m(z) = -10*z**3 - 3*z - 1. Let f be m(-2). Suppose r - f = 58. Let l = r + -90. Is l prime?
True
Let f(b) = b**3 + 20*b**2 + 14*b - 15. Is f(-18) prime?
False
Let v = 11 + 8. Is v a prime number?
True
Suppose -5*v + 0*v = -70. Let q be (-24)/v + 4/(-14). Let k(c) = 21*c**2 - 4*c - 3. Is k(q) a composite number?
False
Suppose 0*i = -2*i + 188. Is i prime?
False
Suppose -24 + 126 = 6*c. Suppose s = 34 + c. Is s a composite number?
True
Let c be 0/(1 - 1 - 1). Suppose 3*h - 2*d - 659 = c, 0*d + d - 5 = 0. Is h a composite number?
False
Suppose -5*n - 2*n = -35623. Is n composite?
True
Let c(d) = 33*d - 5. Suppose -g = 4*u - 3*g - 10, 0 = -5*u + 5*g + 5. Is c(u) a prime number?
True
Let g(b) = b**2 + 2*b - 3. Suppose 0*w + 2*w = -12. Is g(w) a prime number?
False
Let x be 0 + 2 - (-4 + 1). Suppose -42 = -2*b + 4*d - 0*d, -2*b = x*d - 33. Is b a prime number?
True
Let p(q) = -3*q**3. Suppose 4*v = -5 + 1. Let l be p(v). Suppose -l*i - 2*u + u + 45 = 0, i - 11 = u. Is i prime?
False
Suppose -i - 3*i = 5*q - 3845, q = 5. Is i a composite number?
True
Let p(t) = -t**3 - 6*t**2 + 3*t - 3. Let x(o) = -2*o**3 - 5*o**2 + 3*o - 2. Let f(b) = 4*p(b) - 5*x(b). Let i be f(-2). Is (-6)/9 + i/(-6) composite?
True
Let y be 5/(-25) - 1202/(-10). Let d = y + -5. Is d prime?
False
Is 2/(-4) - (-4335)/34 prime?
True
Let f(i) = 122*i**2 + 7*i - 2. Is f(3) composite?
False
Suppose -4*x = -x - 1257. Is x a composite number?
False
Suppose -12*b = -11*b - 191. Is b a composite number?
False
Suppose -2*v + 398 = 4*c, -820 = 2*v - 6*v + 4*c. Is v composite?
True
Suppose -2361 = -2*q - q. Is q prime?
True
Let l(c) = c + 8. Let b be l(-4). Suppose 3*i = i + 6. Suppose -z + 59 = -5*k, -i*z = -4*k - 181 + b. Is z a composite number?
False
Suppose w + 23 = -4*i, -2*i - 2*w = -5*w + 15. Let r be 18*((-1)/3 + 1). Let j = r + i. Is j a composite number?
True
Let p(d) = 55*d - 3. Let g be p(5). Let a = 385 - g. Is a prime?
True
Suppose 0 = 5*j + 4*d - 14, 0 = 2*j - 2*d - 2*d. Let g be j/(1*3/6). Suppose 4*s + 3*u = s + 30, -2*u = -2*s + g. Is s prime?
False
Is (-1015 - -6)*(2 + -3)*1 composite?
False
Let c(x) = -x**2 + 10*x + 12. Let i be c(-11). Let z(v) = -72*v - 4. Let g be z(5). Let k = i - g. Is k a composite number?
True
Suppose l - 20 = 3*f + 10, -l - 4*f + 51 = 0. Let b = l + 40. Is b a prime number?
True
Suppose g - 3*g - 2 = 0. Let p = 1 + g. Is -1 - (-52 - (p - -2)) composite?
False
Suppose -3*n - 2*n + 1045 = 0. Let j be 9/3 + -2 + n. Is (2/(-4))/((-3)/j) a prime number?
False
Is 0 + ((-8)/(-28) - (-845)/7) a prime number?
False
Let j(b) = -4*b**3 + 2*b**2 + 6*b + 7. Is j(-3) a composite number?
True
Let x(n) = -2*n + 12. Let y be x(11). Let q be (16/10)/((-4)/y). Suppose -s - q*g = -3*g - 9, -4*s + g + 56 = 0. Is s prime?
True
Let y(n) = -3*n**3 - 2*n**2 - 3*n - 3. Let a be y(-3). Suppose 4*m + 7 = -3*v + a, -4*v + 5*m = -31. Let t = -1 + v. Is t a composite number?
False
Suppose -4*t + 0*t + 36 = 0. Is 4/(-6) + 1077/t a composite number?
True
Suppose 0*d = 3*d - 15. Suppose -l = -3*o - 8, -5*l = d*o - 2*o + 32. Let q = l - -51. Is q composite?
False
Let c = -6 + 17. Let d(b) = -b - 4. Let m be d(-6). Is c*(-13 + m)*-1 a composite number?
True
Suppose 3*m - 760 = -3*i - i, 3*m = 0. Suppose -i = -n - 4*n. Is n a prime number?
False
Suppose 2*c - 7*c + 5*y = -18185, 3*c - y - 10919 = 0. Is c a composite number?
True
Suppose 30 = -s + 3*v, 4*s + 3*v + 80 = 5*v. Suppose -3*k + 37 = 2*w - 2*k, w = 4*k + 5. Let l = w - s. Is l a prime number?
False
Let o(s) = -s**3 + 2*s**2 + 4*s + 1. Let v be o(3). Suppose -93 + 640 = -3*x + v*f, -3*x = -5*f + 548. Let i = x - -302. Is i composite?
True
Suppose -11 = -3*m - 2. Suppose m*l - 391 = -10. Is l a prime number?
True
Let b(l) be the third derivative of l**5/60 + l**4/24 - 5*l**3/6 + l**2. Suppose 3*z - j = -4*j + 12, 0 = -5*z - 4*j + 21. Is b(z) prime?
False
Let n(a) be the third derivative of -a**6/120 + 2*a**5/15 + a**4/24 - a**3/6 + 2*a**2. Is n(6) a prime number?
False
Suppose -2*d + 588 = 4*j, 0*d - 147 = -j + 5*d. Suppose 0 = 6*i - 3*i - j. Is i a prime number?
False
Let u(t) = -t**3 - 7*t**2 - 6*t - 13. Suppose -2*y + 3*i - 15 = 0, -4*y - 5*i = 27 + 14. Is u(y) composite?
True
Let f be (-7)/(-14)*(0 - -10). Let c = 1 + f. Is ((-2)/c - 0)*-903 composite?
True
Suppose 4*f = 4*s - 7*s - 11, -30 = 3*f - 5*s. Let n(c) = c. Let h(y) = -7*y + 3. Let g(d) = h(d) + 3*n(d). Is g(f) a composite number?
False
Let y be (-2)/8 + 69/(-12). Let w(f) = f**2 + 6*f - 8. Let d be w(y). Is (596/d)/(2/(-4)) a composite number?
False
Let v(h) = 4*h + 1. Let t be v(1). Suppose -t*u - 2*b = -1271, 4*u - b + 6*b = 1010. Suppose 3*d = 6*d - u. Is d composite?
True
Suppose -3*a + 13 = c, 6 = 5*c - 3*c + 2*a. Is c + 1 - -54*1 a prime number?
True
Is ((-10)/4 - (10 + -13))*478 composite?
False
Let y be ((-24)/10)/(12/(-30)). Is -11*(-2)/y*15 a composite number?
True
Let o(y) 