Is x(m) a prime number?
False
Let k = -20 + 231. Is k composite?
False
Suppose -13*h = 14*h - 50247. Is h a composite number?
False
Let g = 0 - -9. Let q be 3*((-15)/g + 2). Is q + -1 + 409 - 2 a composite number?
True
Suppose 11 = 3*s - k, -4*k + 4 + 17 = s. Suppose s*h + 1 = -2*m, -3*m + 10 = -h - 3*h. Is (-3)/(-6) - (-61)/m prime?
True
Let v be 2*(2 + (-3)/(9/30)). Is 1 + v/4 - -114 prime?
False
Let t = 435827 + -244522. Is t a prime number?
False
Suppose -3*m - 522 = 4*z - 3*z, -1538 = 3*z - 5*m. Let h = z - -3. Let k = h - -932. Is k composite?
False
Let g(n) be the third derivative of n**7/1260 - n**6/360 + n**5/40 - n**4/12 - 5*n**2. Let h(o) be the second derivative of g(o). Is h(8) composite?
True
Suppose 1561 = 13*v + 378. Is v prime?
False
Suppose -2*w = -0*w - 4. Let i(x) = -x + 4*x - 13*x**2 - 1 + 52*x**w. Is i(-3) a composite number?
True
Suppose -11*c + 15 = -8*c. Suppose -2158 = -c*g - u, -3*u + 4 = -5. Is g a prime number?
True
Suppose 658 = -3*i + 673. Suppose d + 4 = 2*f - 9, 0 = -5*f + 5*d + 40. Suppose 0 = 2*j - i*z - 1948, -1904 = -f*j + 4*z + 2983. Is j a prime number?
False
Let b = 10135 + 14346. Is b composite?
False
Let d = 29632 - 19793. Is d composite?
False
Let v(t) = -3*t**3 - 18*t**2 + 15*t - 41. Is v(-13) prime?
True
Let v(b) = -3*b**3. Let y be v(-1). Let r = -139 + 137. Is r/(-12)*y*254 a composite number?
False
Let b(x) = -318*x**3 - 1. Suppose -19*f = -17*f. Suppose f = 3*r - m + 3*m - 1, 4*m - 13 = 5*r. Is b(r) a prime number?
True
Suppose -3*q = -10*l + 5*l + 640045, -2*l = -4*q - 256018. Is l a composite number?
True
Let c(g) = 2*g**3 - 10*g**2 + 4*g + 8. Let z be c(4). Is ((-12)/z)/((-48292)/24152 + 2) prime?
True
Suppose v - 1 + 13 = 5*i, -3*i = 5*v + 88. Let a = 150 + v. Is a a prime number?
False
Let b(w) = w**3 + 18*w**2 + 3*w + 4. Suppose 4*m + l = 17 - 77, m + l = -15. Let h be b(m). Let r = h - -151. Is r composite?
True
Let r = -183 - -1124. Let c = 566 + r. Is c composite?
True
Let q be (-1347)/(2 + 1 + -4). Suppose -5*s + 118 = -q. Is s a composite number?
False
Suppose l - 3*l - 2*c = -4, -3*c = -5*l - 22. Is (-443)/(l + 4 + -3) a composite number?
False
Suppose -5*y - 3*s = -7*s - 22575, 4*s + 20 = 0. Is y a composite number?
True
Suppose 0 = 2*f + o - 3942, -4*f + 0*o = -2*o - 7868. Suppose -x - 3*x + t = -7896, -t = x - f. Is x prime?
True
Suppose a + 4*a = 10, 3*a + 2 = 2*v. Let i(t) = 14*t - 33. Is i(v) a composite number?
False
Suppose 4*q = 4*w - 91 + 15, 4*q + 12 = 0. Let g be 2/16 - 2/w. Suppose -4*a + 953 = -b - 1274, -3*a - 4*b + 1675 = g. Is a prime?
True
Let a be (2 - 282) + -2 + -3. Let k = 144 + a. Let r = 499 + k. Is r a composite number?
True
Suppose 1256 = -30*m + 28*m. Is (3 - m/(-16))*-4 prime?
False
Let q be (-4)/(-10) - 132/30. Let l(a) = 515*a - 1. Let g be l(1). Is (g/6)/(q/(-12)) composite?
False
Let s be 174/(-24)*-1*(-32)/(-2). Let w = s - -281. Is w composite?
False
Suppose -4*q - 18294 = -2*t, -5*t + 45757 = -12*q + 13*q. Is t a composite number?
False
Suppose -1081385 = 505*i - 524*i. Is i a prime number?
False
Is 11570/35*(-182)/(-52) a prime number?
False
Let j(g) = 81*g**2 - 1. Let r be j(-4). Suppose 0 = 5*d - 920 - r. Is d a prime number?
True
Let u be ((-6)/6)/(1*(-2)/10). Suppose u*w + l + 103 = 733, -2*l = -w + 137. Is w prime?
True
Let b = 25 - 46. Is 3/b - 8766/(-14) prime?
False
Suppose -14*a - f = -18*a + 35048, 0 = -4*a + 5*f + 35064. Is a prime?
True
Suppose 15 = 5*c - 0*c. Suppose -271 = c*o + 833. Let w = -202 - o. Is w composite?
True
Let y = 5202 + -2303. Suppose y = 5*h - 3*x, 2*x - 2058 = -3*h - 311. Is h a composite number?
True
Let l(z) = -z**2 - 4*z + 7. Let k be l(-5). Let v(j) = 58*j**2 + 3*j - 1. Let m(t) = t**2. Let b(q) = -5*m(q) + v(q). Is b(k) composite?
True
Let v = -35 - -66. Let j = -27 + v. Suppose -38 - 1190 = -j*w. Is w composite?
False
Let o = -978 + 1890. Suppose -u = -4*c + 3*u + o, c = -2*u + 213. Is c a prime number?
True
Let i = -514 + 868. Suppose i = c + 5*c. Is c a prime number?
True
Let w be -524*(3 - 20/8). Let p = w + 909. Is p a prime number?
True
Suppose -214 + 82 = 6*m. Is (-32058)/m - (24/11 - 2) prime?
False
Let f(z) be the second derivative of -353*z**3/6 - 5*z**2/2 - 13*z. Is f(-2) a composite number?
False
Suppose -5*h + 21 - 1 = 0. Suppose -7*l = -h*l - 1254. Suppose 9*f - l = 7*f. Is f composite?
True
Let u = -17 - -24. Suppose u*f - 4*f - 963 = 2*i, 1612 = 5*f - i. Is f a composite number?
True
Suppose 4*m - 307 = b, m - 16 = -5*b + 87. Suppose -4*d = -a + 203, -a + 104 = 3*d - m. Is a a composite number?
False
Let k(g) = -3*g**3 + 2*g**2 - 1. Let f be k(-1). Let x(m) = -2*m**3 + m**2 + 20*m - 10. Let h(t) = -3*t + 1. Let q(j) = -5*h(j) - x(j). Is q(f) composite?
False
Let y = -11734 + 3740. Is 4/(-6)*-6 + (11 - y) a prime number?
True
Suppose 17 - 3 = 2*b. Let s = 152 - b. Is s prime?
False
Suppose -3*v + 5 = -10. Is v - 2 - 4 - -128 prime?
True
Let d be 426/9 + (-2)/6. Let s be 1217 + (-12)/(-3) - (-1)/(-1). Let c = s + d. Is c a composite number?
True
Let d(h) = h**2 + 3*h + 1. Let u be d(-2). Let c be (-1)/((-2)/(-10)*u). Suppose -5*s - 4*q = -q - 553, 2*q + 573 = c*s. Is s prime?
True
Suppose -455547 + 1590751 = 28*r. Is r a composite number?
False
Suppose -9*l + 5*m = -6*l - 120727, 120743 = 3*l - m. Is l composite?
True
Let z(i) be the second derivative of -6*i + 5/12*i**4 + 0 + 3/2*i**2 + 11/6*i**3. Is z(-11) prime?
True
Suppose 20*t - 17*t = 13593. Is t a prime number?
False
Let n = 0 + 0. Suppose n = c + 13 - 68. Suppose 40 = v - c. Is v prime?
False
Suppose -i + 3*u + 19 = 0, 2*i - 22 = -i + 2*u. Let l = i + 4. Is (114 - -1) + (l - 8) a composite number?
True
Let f = -4866 - -7574. Suppose -q = q - f. Is q a composite number?
True
Suppose 5*q + 5*t = 1575, -7*t + 3*t + 941 = 3*q. Is q a prime number?
False
Is (3 + -21)*-376 - 7 a prime number?
True
Suppose 511 = -4*x - 277. Let h = 732 + x. Is h prime?
False
Suppose 5*x - 6*z - 161701 = -4*z, 4*z + 97015 = 3*x. Is x a composite number?
False
Is ((-453897)/(-36))/(18/48) prime?
False
Suppose 0*q - 5*l = 2*q - 13, 4 = -q + l. Is (q/(-1))/(6/(-4470)*-5) a prime number?
True
Let w(v) = 462*v - 97. Is w(11) a composite number?
True
Let h(r) = r - 6. Let c be h(14). Let j be 4/c - (-5906)/4. Suppose -3*a - 4*m = 390 - j, -5*a = 4*m - 1817. Is a a composite number?
True
Let d(u) = -2 - 82*u + 106*u + 105*u. Is d(1) a prime number?
True
Suppose 5*a - a + 4*y = 92312, 0 = -3*a - y + 69244. Is a a prime number?
False
Suppose o = 5*o - 12. Suppose -w = -2*u + 3512, o*w + 302 = 3*u - 4963. Is u prime?
False
Suppose -104*t + 802012 = -1938076. Is t a composite number?
False
Let j be (0 - (-2 + -1847))*(9 + -4). Suppose j = 8*m - 3*m - 2*i, -m = -4*i - 1867. Is m a prime number?
True
Let f(d) = 10*d + 11. Suppose 5*o - 62 = 2*s, s + s + 50 = 4*o. Is f(o) composite?
False
Let q(u) = -635*u - 93. Is q(-8) composite?
False
Let g(j) = -2*j + 48. Let d be g(26). Is ((-3849)/(-9) - -5)/(d/(-6)) composite?
True
Let z = 6375 + -3608. Is z a prime number?
True
Is -2069*(2/15 - 1041/45) a composite number?
True
Suppose 5*c - 1789 = -3*d, -2*c = -2*d - d - 724. Suppose z = c + 140. Is z composite?
False
Let m = -10472 + 18141. Is m prime?
True
Let l(g) = -75*g + 86. Is l(-13) a prime number?
True
Let z(g) be the second derivative of -101*g**3/2 - 4*g. Is z(-1) prime?
False
Suppose 0 = 2*l - 5*f - 11, 2*l - 3 = -f - 2*f. Suppose 0 = -l*m - 3, -6*a + 3*m = -2*a - 1063. Is a composite?
True
Suppose k = -k. Suppose -i = -3*s - 143 - 94, -2*i - 2*s + 490 = k. Suppose 1258 = 7*r + i. Is r a composite number?
True
Let v be (-10)/(-4)*198/55. Let w(q) = 2*q**3 - 8*q**2 - 5*q - 16. Is w(v) prime?
False
Suppose -18*f + 20*f - 19906 = 0. Is f prime?
False
Let u be ((-16)/(-10))/(3/(-15)). Let y = -2 - u. Is ((-8)/y)/((-16)/408) a prime number?
False
Suppose -1692 = -9*j + 4*j + k, k = 3. Let p = j + -126. Is p a composite number?
True
Let n(w) = w**2 + 5*w - 1. Let l = -4 + 0. Let v be n(l). Is 27 + v + 0/1 a composite number?
True
Let p be 15/(-3 + -2) + 3. Suppose 857 = 2*x - n, p = -2*x + n - 2*n + 851. Is x composite?
True
Let j(v) = -24*v - 3. Let b(t) = 26*t + 2. Let a(x) = -4*b(x) - 3*j(x). Let l be 6*(6/(-4) - -1). Is a(l) a prime number?
True
Suppose -5*h + 0*h + 100