prime number?
True
Let i = -269 + 608. Is i prime?
False
Suppose -5*x + 12273 = 4*t, -3*t - t - 2*x + 12270 = 0. Suppose f = 995 + t. Is 4/14 + f/42 composite?
False
Let v(m) = 3328*m**2 - 5*m - 41. Is v(4) a composite number?
True
Suppose -u = -773 - 146. Suppose 3*g + 0*g + 5*x = u, 2*g - 642 = 4*x. Let o = g + -224. Is o a prime number?
True
Suppose 3*b - 6184 = -5*c, -2078 = -2*b + b - 5*c. Is 0 + b + 0 + 0 composite?
False
Let f = 4 - 0. Let v be (-783)/(-21) + f/(-14). Let n = 60 - v. Is n prime?
True
Let f(c) = -2*c + 12. Let r be f(11). Let b(i) = 6*i + 6. Let a be b(r). Let s = 93 + a. Is s a composite number?
True
Let d = 3022 + -1620. Is d prime?
False
Let o be (-998)/4*-16 - 0. Suppose -o = -16*d + 8*d. Is d a prime number?
True
Let o = -32 + 39. Suppose 11*l = o*l + 664. Is l composite?
True
Let u be (-25854)/15 + 6/10. Let m = 1476 - u. Is m prime?
False
Let z(g) = 74*g - 16. Let m(k) = k**2 - 6*k + 12. Let p be m(5). Is z(p) prime?
False
Let l be ((-60)/75)/(1*2/(-40)). Suppose -l*d - 1521 + 4065 = 0. Is d composite?
True
Let w = 1884 + -1095. Suppose 2*l + 0*t = -t + w, -4*l + 1557 = -5*t. Suppose -3*v - 3*c = -1632, v + 3*c - 145 - l = 0. Is v a composite number?
False
Suppose 6*w = 21 + 3. Suppose 5*p - 121 = -w*s + 110, -2*p + 5*s + 66 = 0. Is p prime?
True
Is (5772/18)/(-13)*-3 prime?
False
Let l = -909 + 1956. Is l composite?
True
Let b(l) = -2 + 0 + l**2 - 2 + 0 + 3*l. Let g be b(-5). Suppose 0 = 20*o - 18*o - g. Is o composite?
False
Suppose 7*s + 0 = -0. Let n(h) = -h**2 - 2*h + 211. Is n(s) composite?
False
Let u = -1 - -3. Suppose -3*f = 2*a + 42, -4*a - 3 = -4*f - 39. Is (11 + f)/(u/(-2722)) a composite number?
False
Suppose 6*f = 3*f + 6. Suppose 4*k + 2*i - 10 = 0, -3*i = -5*k + f*i - 25. Suppose k = 2*o + 316 - 1874. Is o composite?
True
Let h be 1*391 - (-11 + 10). Suppose -5*w = -h - 793. Suppose -w + 634 = 4*y + 5*c, 0 = -2*y - 5*c + 191. Is y a composite number?
False
Let d(h) = -146*h + 1. Let m be d(5). Let g be (3201/6 + -2)*(-1 + 3). Let l = g + m. Is l a composite number?
True
Is (-9260805)/(-75) + 13 + 6/10 prime?
True
Let x = 2030 + -943. Is x a composite number?
False
Let v = -56 + 58. Suppose 3*l + v*l - 6135 = 0. Is l a composite number?
True
Let c = 102 - -52. Let y = c + -65. Suppose y + 147 = 4*v. Is v a composite number?
False
Is ((-3382)/6)/((-5)/15) a composite number?
True
Suppose -13*j + 12*j = 0, a - 4*j - 211 = 0. Is a a composite number?
False
Let w(y) = 68*y**2 - 3*y + 3. Let m(i) = -6 + 5 - i + 1. Let l be m(-2). Is w(l) prime?
True
Is 6474/(-4)*(-6)/9 prime?
False
Is (-2 - 1)/((-1358350)/169790 - -8) composite?
False
Let c = 16995 + -10798. Is c a composite number?
False
Let f(p) = -p**2 - 3*p + 17. Let h be f(-6). Is h - ((-1240)/8 + (-4 - -1)) prime?
True
Suppose 23105 = 16*v - 11*v. Is v a composite number?
False
Suppose -27*y + 24*y + 1422 = 0. Suppose 0 = 7*x - 16585 - y. Is x a prime number?
True
Suppose k - 2*k + 3*a = -593, -4 = 2*a. Is k a composite number?
False
Suppose -u + 7*p + 14 = 4*p, u = -4*p - 14. Suppose -u*c + 8 = 2*c. Suppose -v = c*v - 2949. Is v a prime number?
True
Let i = -4623 - -2865. Let r be (6 - -1*1)*-5. Is 5/r + i/(-7) a composite number?
False
Suppose -9*b = -8*b + 7. Is 8/(-2) - ((b - -3) + -257) a prime number?
True
Let z = 1035 + -2344. Let r = 755 + z. Let b = -261 - r. Is b a composite number?
False
Let n(k) be the first derivative of -k**3/3 + 17*k**2/2 + k - 6. Let z = -5 + 11. Is n(z) composite?
False
Let t = 93 - 90. Suppose -3*g = -0*g - 12. Suppose -g*p + 182 = -a - 93, -212 = -t*p - 5*a. Is p composite?
True
Is (18/(-9))/((-12)/167082) composite?
False
Suppose -4*f - 4 - 12 = 0, -2*r - f = -840. Is r a prime number?
False
Let t be ((-1)/(-2))/((-2)/(-20)). Let z(d) = t*d - 6 + d - 3 + d**3 - d + 6*d**2. Is z(6) a composite number?
True
Suppose -9*t + 323746 + 10937 = 0. Is t a composite number?
True
Let u(z) = 2*z**3 - 8*z + 10. Suppose 0 = 5*c + 3*b - 37, 4*b - 11 = 5*c - 4*c. Let k be u(c). Suppose -r + k = 9. Is r a composite number?
False
Suppose -2*p + 24 = -6*p. Is ((-4)/(-6))/(-2)*(-105 + p) a composite number?
False
Let v(s) = -135*s - 4. Let m be v(6). Let x(u) = -u**3 + 20*u**2 + 28*u - 13. Let n be x(24). Let g = m - n. Is g a composite number?
True
Suppose 3*b = -3*n + 39, 3*n + 0*b - 23 = b. Suppose -u - j = n + 18, -5*u - 159 = -j. Is (0 - u)/(6 + -5) a composite number?
False
Suppose -105*b = -87*b - 52578. Is b a prime number?
False
Suppose -49*r = -47*r + 6. Let k(i) = -177*i - 2. Is k(r) prime?
False
Let z(t) = -t**2 + 4*t + 9. Let l be z(5). Suppose 3*g = 3, -4*i - l*g = -7*i + 2039. Is i composite?
True
Let v(o) be the first derivative of o**4/12 + 5*o**3/6 - o**2 + o - 2. Let b(u) be the first derivative of v(u). Is b(3) a composite number?
True
Let y(g) = 59*g**2 - 10*g - 8. Is y(-11) composite?
True
Let j = 10 - 4. Suppose g = j*g. Suppose -643 = -5*i - 3*s, g*s - 2*s - 8 = 0. Is i prime?
True
Let h = 2149 - 1423. Let g = h - 333. Is g prime?
False
Let n = 5674 - 2413. Let u = n + -2042. Is u composite?
True
Let j(g) = -g**2 - 6*g - 2. Let h be j(-4). Suppose -4*f + h*f = 0. Suppose -2*l + 746 + 384 = f. Is l a composite number?
True
Let i = -73 - -78. Suppose -i*r + 8163 = 2*x, 1 - 3 = 2*x. Is r a prime number?
False
Suppose 2*t = 2*p + 26, -2*t - 4*p - 12 = -44. Let k be 14/(-4) - (-7)/t. Is 465 + k/((-3)/2) composite?
False
Let r(q) = 14*q + 87. Let f be r(7). Suppose 2*s = 147 + f. Is s composite?
True
Suppose 2*n - 3*b + 20 = b, -3*n - 2*b = 30. Is (25/n)/((-1)/46) a prime number?
False
Suppose 2*r + 14 - 6 = 0. Let d be (r/8)/1*-10. Suppose -d*p = 4*k - 155, -p + 3*k + 31 = -0*k. Is p composite?
False
Suppose 52081 = 8*o - 65991. Is o composite?
False
Let f(k) = 4*k**2 - 5. Let g be ((-6)/2)/(6/(-18)). Is f(g) a prime number?
False
Let i(l) = 37*l**2 + 8*l + 1. Suppose 9*g = 14*g - 30. Is i(g) a prime number?
True
Suppose -12*k = 1945 - 10021. Is k prime?
True
Suppose 6*h = 1078 + 6626. Let b = -891 + h. Is b a prime number?
False
Let o(s) = -s**2 + 13*s - 16. Let f be o(9). Let k = f - -377. Is k prime?
True
Let l(g) = -113*g**3 - g**2. Let p be l(1). Let d(u) = -7*u**2 - u - 2. Let x be d(3). Let h = x - p. Is h prime?
False
Let j(b) = 29*b + 25. Let i be j(6). Suppose g = f + 148, 4*f - i - 252 = -3*g. Is g a prime number?
True
Let i = 82 - 40. Let r = -317 - -146. Let j = i - r. Is j composite?
True
Let g be 3 - (-2 + (-78)/2). Let p(r) = -2 + 172*r + 2 - g*r + 1. Is p(2) a prime number?
True
Let z(w) = -20*w**3 + w**2 - 3*w - 1. Let u(m) = 2*m + 1. Let y be u(-2). Is z(y) composite?
False
Let s be (-12 - -5)*(-2 - -5)/(-3). Let m(g) = 4*g**2 + 27. Is m(s) a prime number?
True
Let x = 2230 - 725. Let d be (-20)/(-6)*21/14. Suppose -x = -d*w - 0*w. Is w a composite number?
True
Suppose 4 = -b + 3*b. Suppose -7*t = -6646 - 2398. Suppose -6 = -2*q, 2*z = b*q - 0*q + t. Is z prime?
False
Suppose -z - 4*t + 1613 = 0, 988 = 2*z - 5*t - 2199. Is z prime?
True
Suppose 4*j - 9*j = -120. Suppose 4 = -5*r + j. Suppose 695 = r*k + 67. Is k composite?
False
Suppose -4*t + 395 + 30057 = 0. Is t composite?
True
Suppose -5*g + 61 - 271 = 0. Is 13969/4 + g/(-56) composite?
True
Is (2/(-12) + 132405/90)/1 a prime number?
True
Let p be 15399/27 - (-2)/(-6). Let d = p - 333. Is d a prime number?
False
Is 1259*(1 - 6 - -6) prime?
True
Suppose 0 = -97*p + 219759 + 63578. Is p a prime number?
False
Let o = 11280 - -8381. Is o prime?
True
Is -7*2*24438/(-84) a prime number?
True
Let p be -2 + 2 - (3 - -1). Is 96 - 6/2 - p prime?
True
Suppose k - 16 = -3*o, k + 0*o + 2*o = 12. Is 4697/21 - k/6 composite?
False
Let b be (-298)/((-6)/3)*-1. Let n = 271 + b. Suppose -2*i = x - 43, 4*x - 2*i - n = -0*x. Is x a prime number?
False
Suppose -4*n - 2 = p - 5, -n + 3 = -2*p. Is ((1 + -7)/(-18))/(n/195) composite?
True
Suppose 4*t = 10*t - 23082. Is t a composite number?
False
Suppose 19*t - 24*t = -10645. Is t prime?
True
Let p(w) = -w**3 - 10*w**2 + 5. Let z be p(-10). Suppose -g + 694 = 2*g + 5*f, -z*g = -2*f - 1198. Suppose -5*m = -3*m - g. Is m prime?
False
Let v be -3 - (108/4 + 2). Is (2/3)/(v/(-343248)) composite?
False
Let k = -24 - -27. Let o(t) = t - 1. Let r be o(k). Suppose -9*u = -r*u - 539. Is u a composite number?
True
Let 