n + 236. Is n prime?
True
Let c = 4776 - 2849. Is c a prime number?
False
Suppose o + 1 = 5*k, 39 - 13 = -4*o - 2*k. Is -2 - o*(7 - 3) prime?
False
Let u(m) = -11*m. Is u(-7) a composite number?
True
Is 4*15/20 - -3776 a prime number?
True
Let b be 15/(-5) - (-1 + -2). Suppose 0 = -4*w - 3*n + 73, b = w - 5*w + 2*n + 78. Is w composite?
False
Let x(y) = -y**3 - 5*y**2 - 8*y - 7. Let a be x(-7). Let g(s) = -s**2 + 3*s + 3. Let n be g(4). Is (0 + n)/((-3)/a) a prime number?
False
Let f be ((-1)/(-3))/((-2)/(-6)). Let o be (0 + 0 - -9)*f. Suppose 0 = -g + 10 + o. Is g a composite number?
False
Let h = 2815 - 1955. Suppose 0 = -4*q + h + 176. Is q a prime number?
False
Let t(n) = -n**3 - 5*n**2 - 3*n - 12. Let x be t(-5). Suppose 0*p - 3*p + x*f = -411, 2*p = -3*f + 259. Is p prime?
False
Let t = 11 + -32. Let a = t + 105. Suppose -a = -3*o - o. Is o composite?
True
Let t(w) = -5*w + 37. Is t(6) a composite number?
False
Let n(i) = 15*i**2 - i + 1. Is n(1) a prime number?
False
Let m(t) be the third derivative of t**5/30 + 11*t**4/24 - 5*t**3/6 - t**2. Suppose 0 = 2*h - y - 3*y + 8, 2*h + 6 = 5*y. Is m(h) a composite number?
True
Let y(w) = 30*w**2 - 5*w + 4. Is y(3) a prime number?
False
Is (-2)/(1 + (-6927)/6921) prime?
False
Suppose -w = 2*k + 3*w - 286, -5*w = 0. Suppose k = 4*i - 309. Is i composite?
False
Is (-3)/((-36)/(-753))*-4 composite?
False
Let x = -209 - -502. Is x composite?
False
Suppose 2*f = -3*w + 1213, 4*f - 1223 = -5*w + 2*w. Is w composite?
False
Let c be (-56)/(-9) - (-4)/(-18). Suppose -15 = -c*o + o. Is (-12)/(-8)*22/o a composite number?
False
Let m(w) = w**2 + 2*w - 1. Let v be m(1). Suppose -3*n + 16 = -v*z, -2*n = -0*z + 4*z. Suppose 5*i + 5*j - 90 = 0, 0 = -4*j - n. Is i prime?
True
Let x(u) = -3*u**3 - 10*u**2 - 5*u + 3. Let o(k) = -4*k**3 - 10*k**2 - 6*k + 3. Let b(r) = 2*o(r) - 3*x(r). Is b(-7) a prime number?
False
Let q = 0 + 7. Let h be q + -2*(0 - -1). Suppose 0*k = f + h*k - 64, 2*k = 6. Is f a composite number?
True
Let k(p) = -5*p**3 + p**2 + 2*p + 1. Is k(-5) composite?
False
Let o(l) = -l**2 - 4*l + 8. Let d be o(-8). Let h be 2 - 0 - (7 - 2). Is (-16)/d - 481/h a composite number?
True
Let j be (-292)/20 + 4/(-10). Let i be j*(0 - -1)/(-1). Suppose 2*m - i - 27 = 0. Is m a composite number?
True
Let t be 27/(-1*(1 + 0)). Let p = -17 - t. Is 372/p - 1/5 prime?
True
Let w(s) = 300*s + 7. Is w(1) composite?
False
Let i be 1/(-3) + 7/3. Suppose -a + 3*z + 22 = 2*z, 2*z - 2 = 0. Suppose -c + 12 = -i*h - a, -2*h = -4*c + 134. Is c a composite number?
True
Let x(t) be the second derivative of -t**4/12 + 4*t**3/3 + 5*t**2/2 + 3*t. Let g be x(5). Suppose -9 = -c - d, 2*c + 5*d = 2*d + g. Is c prime?
True
Suppose 3*l - 8*l - 215 = 0. Is 15/(-12)*(l - 1) a composite number?
True
Suppose 3*q + 13 - 1 = 0. Is (-6)/q - (-638)/4 a prime number?
False
Let d be (40/(-30))/((-4)/114). Suppose 0 = -3*o - k + 556, -d = o + 3*k - 226. Is o a prime number?
False
Suppose 3*h - 8*h = -9835. Is h prime?
False
Let t(u) = u**2 - u + 2. Suppose -5*b - 4*w = -2*w + 19, 3*b = -3*w - 15. Is t(b) a prime number?
False
Let u be 164/(-8)*(6 + -2). Let p = u - -149. Is p a composite number?
False
Let d(m) = -1 + 2 + 49*m - 54*m - 2*m**2 + 5*m**3. Is d(4) a prime number?
True
Suppose 0 = -2*s + v + 140 + 146, -5*s + 705 = -5*v. Is s a composite number?
True
Suppose -219 = -4*f + 3*l + 172, 2*f = -5*l + 163. Is f a prime number?
False
Suppose -3*u + 38 + 172 = 0. Suppose 0 = -0*l - 2*l + u. Is l a composite number?
True
Let t(g) = 37*g. Let p be t(3). Suppose -2*m + p = m. Is m prime?
True
Suppose -2*a + 2*q + 2 = 0, a + 3 = 4*a - 5*q. Is (a/(-2))/(1/(-38)) prime?
True
Let t = 1638 + -887. Is t composite?
False
Let f(p) = p**2 + 4*p - 6. Let b be f(-5). Let n = b + 7. Is (-1)/n*-2*117 a composite number?
True
Let o be -1 + -1 + 3 - -3. Let q(b) = -7*b + 52*b + 153 - 148 + 5*b. Is q(o) prime?
False
Let d = 7675 - 2372. Is d a composite number?
False
Let t(f) = 10*f**2 + 6*f - 6. Is t(-10) a prime number?
False
Let s be ((-3)/1)/((-3)/142). Let t(b) = -b**3 + b**2 + 85. Let k be t(0). Let a = s - k. Is a composite?
True
Let d(r) = -r - 2. Let g be d(-4). Suppose -3*f = -6, 5 = 3*h + 3*f - 7. Suppose -g*n + 52 = h*n. Is n a prime number?
True
Let a(u) = 2*u + 3. Suppose -d = -6*d + 40. Is a(d) composite?
False
Let q = 292 - 165. Is q composite?
False
Is (-4 - -3)/((-1)/113) prime?
True
Let m be (-2)/4*(-292)/2. Suppose m - 687 = -2*z. Is z prime?
True
Let p(n) = 3*n**3 - 3*n**2 - 5*n + 3. Is p(4) a prime number?
True
Suppose 10 + 5 = 5*w. Let c = w + -2. Suppose -3*y - 24 = -9, -s - c = 4*y. Is s prime?
True
Let s be 3/(((-6)/(-3))/10). Suppose 15 = 4*x + 3*u - 36, 3*u = s. Is x prime?
False
Let p(n) = 112*n**3 + n**2 + n - 1. Let s be p(1). Let k be (-1)/(1/(0 + -80)). Let y = s - k. Is y a composite number?
True
Is 2/(-3)*(-759)/2 a prime number?
False
Let d(z) = z**3 + 6*z**2 + z + 7. Suppose 2 = -h - 3*p + p, 6 = -2*h - 3*p. Let m be d(h). Is 166*m*(-2)/(-4) a composite number?
False
Suppose t = 21*t - 76580. Is t composite?
True
Suppose -4*q + i = q + 2802, 1668 = -3*q + 5*i. Is 4/(-24) - q/18 a composite number?
False
Let c = 1388 + -597. Is c a prime number?
False
Suppose o = -4*k - 0*o + 4600, -5775 = -5*k + 5*o. Is k a prime number?
True
Suppose q - 345 = -2*q. Is q a prime number?
False
Is (2/(-3))/(6/(-837)) composite?
True
Suppose -3*i = -4*g - 401, 5*i + 290 = -4*g + 1001. Is i prime?
True
Let k = -22 - -40. Suppose 0*s - k = -s. Suppose 0*z = -3*z - x + s, -9 = -3*z - 4*x. Is z a composite number?
False
Let q = -377 - -532. Is q prime?
False
Let b(v) = v**3 - 3*v**2 - 4. Let x be b(4). Let z = x - -2. Is z prime?
False
Let x(l) = -2*l + 6. Let w be x(4). Let s = w + 1. Is s/(-3) + (-64)/(-6) composite?
False
Suppose 5*t + 106 = 1281. Is t composite?
True
Let c(j) = j**3 - j**2 + j + 217. Is c(0) a composite number?
True
Let a(y) = y**2 + 2*y. Let m be a(-6). Let z = m - 42. Let n = z + 29. Is n composite?
False
Let t = 4 - 1. Suppose 4*k = t*k + 223. Is k a composite number?
False
Let c(j) = -j + 215. Let d be c(0). Is 2/8 + d/20 prime?
True
Let q(u) = 305*u**3 - u**2 + 1. Let v be q(1). Let d = -31 + v. Is d a prime number?
False
Let h be ((-786)/4)/(9/12). Is 15/25 + h/(-5) a composite number?
False
Let x be (-2)/6 - 754/(-3). Let l = x + -79. Suppose 0 = g - 5*g + l. Is g composite?
False
Let o be (2 + (-10 - -2))/1. Let n be ((-7)/(-2))/(3/o). Is n/(-1 - (-1 + 1)) composite?
False
Let a(r) = 798*r**3 - 2*r**2 + 1. Is a(1) a prime number?
True
Let t be -3 - -27 - 2/(-2). Let f be t/20*(2 + 2). Suppose -2*l - i + 237 + 170 = 0, -f*l = -i - 1028. Is l a composite number?
True
Let w = 14 + -9. Suppose -w*c = 16 - 1061. Is c a composite number?
True
Let l be 1/3 + (-78)/18. Let z be (3 - 5)/(l/18). Is (-8)/36 + 281/z composite?
False
Let s = -442 - -749. Is s prime?
True
Suppose -7*g = -2*g - 20. Suppose -g*s - 4 + 20 = 0. Is -1 + (3 - s - -169) composite?
False
Let r = 15 + -11. Let t = 1 - r. Is (-60)/t + -3 + 2 composite?
False
Suppose 100*t - 101*t + 653 = 0. Is t composite?
False
Let f be 85/((2/10)/1). Suppose -6*v + f = -v. Suppose 3*l = -5*m + 201, -3*m - 116 = -3*l + v. Is l a composite number?
False
Let o(v) = v**3 + 4*v**2 + 2*v + 6. Let n be o(-4). Is (-2)/(-2)*(n - -5) prime?
True
Let b = -183 + 81. Let c = 25 - b. Is c a prime number?
True
Let b(t) = 27*t - 31. Is b(6) a prime number?
True
Suppose 0*r = -r + 573. Is r a composite number?
True
Suppose c + 8 = w, 2*w - 4*w = -5*c - 31. Let o(h) = -h + h**2 + 4 - 3*h**3 - 4*h**2 + 2*h**3. Is o(c) prime?
True
Let p(x) = x**3 - 5*x**2 + x + 6. Let n be p(6). Let q be (26/(-4))/((-4)/n). Let l = -25 + q. Is l a prime number?
True
Let t(h) = 11*h**2 + 6*h + 2. Is t(13) prime?
False
Suppose -y + 393 = -5*l, 8*y + l = 4*y + 1467. Suppose -2*g + 218 = -y. Is g a composite number?
False
Let o(w) = w - 3. Let d = 12 + -20. Let y be o(d). Let g = 108 + y. Is g composite?
False
Let d be (-1)/2 + 73/2. Suppose 2*k = 4*k - 4. Suppose 5*s - 67 - d = -2*a, -4*s = k*a - 84. Is s a prime number?
True
Suppose -1 = 2*i - 9, 0 = -3*j - i + 451. Is j a composite number?
False
Let k(t) = -3 - 9*t - 12*t**2 + 16*t**2 - 3. Is k(7) a composite number?
False
Is (290/15)/((-4)/6)*-3 prime?
Fa