
Suppose 5*d = 0, -4*d - 8 = -4*u + 16. Suppose 3*j - 6 - u = 0. Suppose -3*n - 5*b = -74, -2*b - 2 = -j. Is n a prime number?
True
Suppose 0 = -w - 4*w. Suppose -5*l - 4*p + 1275 = w, l + 3*l = 4*p + 984. Is l composite?
False
Suppose r - 92 = -13. Is r composite?
False
Suppose 0 = -0*c + c - 5. Suppose 3 + 2 = -c*r. Is 3 - (-21 - (-2)/r) a prime number?
False
Let z = -16 + 24. Is z/24 + 388/6 composite?
True
Suppose s + s - 46 = 0. Suppose 12 = 6*z - 2*z, 5*d = -z + s. Suppose -2*u - 278 = -d*u. Is u composite?
False
Is -382*3*(-3)/18 a prime number?
True
Let l(g) = -3990*g**3 - 3*g**2 - 4*g - 2. Is l(-1) composite?
False
Let c(a) = 2*a**3 - 2*a**2 - 3*a + 2. Suppose 5*z + t - 6 = 0, -z - 6*t = -3*t + 10. Let q be c(z). Is (-6)/24 + 61/q prime?
False
Let g = 7 - -2. Suppose l - 28 = -g. Is l prime?
True
Let z be (-2 - -3) + -10 + 2. Let x(p) = p**3 + 10*p**2 + 10*p + 2. Is x(z) a composite number?
False
Let v be 3 - 1/(1/(-1098)). Let x = v - 664. Is x composite?
True
Is (-5)/(5/(-20)*4/5) prime?
False
Let z = -3 - -9. Let w be ((-3)/1)/(z/(-148)). Suppose 0*o + 2*o = w. Is o a prime number?
True
Let z(v) = -2 + 0 + v + 0*v + v**2. Is z(-4) composite?
True
Let y = -310 - -99. Let b = y - -330. Is b prime?
False
Suppose 0 = -5*o + 3*u + 6, 3*o - u + 6*u - 24 = 0. Suppose -20 = 5*v - y, 3*y = o + 12. Is (-60)/(-8)*(-26)/v prime?
False
Let a(m) = m**3 - 17*m**2 + 16*m + 18. Let b be a(16). Is (12/b)/((-2)/(-879)) a prime number?
True
Suppose f - 2*l = -f + 13032, 5*f - 3*l - 32590 = 0. Is f a composite number?
False
Let k(a) = 55*a**2 + 3*a - 5. Let c(m) = 2*m**2. Let o be c(-1). Is k(o) a composite number?
True
Let r = 9 + -7. Let o = r + 3. Suppose 0*c + o*x = -2*c + 245, -3*c = -3*x - 336. Is c composite?
True
Is (-2)/((-2)/(-3)) + 34 a composite number?
False
Suppose -91 = -j + 139. Let r = 4 + -4. Suppose r = -0*n - 2*n + j. Is n a prime number?
False
Suppose 2*d = -d + 9. Suppose -4*s = -2*f - d*f + 355, -4*f + 2*s + 278 = 0. Is f composite?
False
Let v(z) = z**2 + 8*z - 2. Is v(-9) composite?
False
Let z(s) = s**3 - 7*s**2 + s + 4. Let x be z(8). Suppose -3*u + x = u. Is u a prime number?
True
Let l(t) = 12*t**3 - 5*t**2 + 6*t + 1. Is l(3) a prime number?
False
Let p(a) = -57*a + 49. Is p(-9) a prime number?
False
Let l(r) = 46*r**2 + 14*r - 39. Is l(5) a prime number?
True
Suppose -f + 245 = 2*y, -y - 1181 = 2*f - 7*f. Is f prime?
False
Suppose 12 = 3*h - h. Suppose y + 95 = h*y. Is y a prime number?
True
Suppose 0 = -5*f + 5*y + 2325, 572 = f + y + 105. Suppose 0 = 4*h + 3*w - 389, -5*h + 5*w + f = 2*w. Is h prime?
False
Let y(v) = 4*v - v + 1 + v. Suppose k - 10 = -l, -2*l - 2 = -4*k + 2. Is y(l) prime?
False
Suppose -5*c = -3*t - 18, 5*t + c = 2*c - 8. Is t/4 - (-996)/16 prime?
False
Let h(z) = 21*z**2 - z - 3. Let j be h(4). Let m = j + -180. Is m composite?
False
Let f(w) = -2 + 10*w - 3 + 7*w - 12. Is f(8) a composite number?
True
Let a = -67 - -152. Is a prime?
False
Let u be (1 + 0 - -143) + 2. Let d be u/10 - 2/(-5). Let n = -5 + d. Is n prime?
False
Suppose 4*f - 3*i - 183 = 0, 2*f - 2*i - 94 = 2*i. Is 6/f - 566/(-30) a composite number?
False
Suppose -3*s + 14 = -v, 0 = 3*v - 0*s - s + 10. Is (789/(-12))/(v/8) prime?
True
Let i = -6 - -6. Suppose -2*a + 4*x + 92 + 238 = 0, i = -3*a + 4*x + 505. Suppose -2*j = -3*s + s - 70, -5*j = -3*s - a. Is j composite?
True
Is -8419*(7/35 + 18/(-15)) composite?
False
Suppose 0*r - 10 = -r. Let u = r + 13. Is u a composite number?
False
Suppose 0 = 5*w - 0*w - 50. Let y(a) = a**2 - 9*a + 5. Is y(w) a prime number?
False
Let v = 26 + 9. Is v a composite number?
True
Let g = -3 - -9. Suppose w = g*w. Suppose -2*f + 50 + 84 = w. Is f a composite number?
False
Suppose 0 = 2*k - 6 - 0. Suppose 16 = 5*y - 3*f + 2*f, -k*y + 4*f + 13 = 0. Let w = y - -8. Is w a composite number?
False
Let k be ((-45)/(-2))/((-1)/(-2)). Suppose 5*c = 4*w - k, 5*w - 35 = c + c. Suppose 399 = w*p - 156. Is p prime?
False
Suppose 0 = 5*r - 4*j + 38 - 15, r + 2*j - 1 = 0. Is -3 + (-10)/(2 + r) prime?
True
Suppose -5*r = -330 - 1135. Is r a prime number?
True
Let y = 0 + 6. Suppose -q + 47 = -y. Is q a prime number?
True
Suppose 0 = 5*j + 3*o - 7207, 0*j - j + 4*o = -1423. Is j prime?
True
Let h = 1169 + -677. Suppose h = 4*v + 4*j, 5*v = 2*j + 347 + 233. Is v prime?
False
Let z(x) = x**2 - 7*x + 9. Let k = 7 + -1. Let i be z(k). Is (74/i)/(4/6) a composite number?
False
Let t = 181 - 128. Is t composite?
False
Let l = -3 - -5. Suppose 2*c + 8 + 8 = l*j, j + 4*c = -2. Is (52/(-12))/((-2)/j) a composite number?
False
Suppose -4*v - 11 = -51. Suppose -4*q - v = -2*z + 7*z, 0 = -4*q + z + 2. Suppose -4*s - 3*o = -4, -5*s + q*s + 40 = -5*o. Is s a prime number?
False
Let f(g) be the third derivative of g**6/120 - g**5/15 - g**4/8 + g**3/6 - g**2. Is f(6) a composite number?
True
Let h be 0 + (-2*1 - -4). Suppose 0 = -h*b + 12 + 40. Let p = b - 5. Is p a prime number?
False
Let n(m) = -304*m + 3. Is n(-1) a composite number?
False
Suppose -3*n = 2*m - 1555, 3*m = 2*n - m - 1058. Is n composite?
False
Suppose h - 1 = 3. Let x be ((-352)/(-6))/4*3/2. Suppose 2*r + x = 4*z, -h*z + r - 5*r = -40. Is z prime?
True
Let x = -255 - -366. Is x prime?
False
Suppose 97 = -3*a - 5*c, -3*a - 105 = -0*a + 3*c. Let x = 64 + a. Suppose -2*t = -159 + x. Is t a prime number?
True
Suppose -u - 57 = 70. Let v(g) = -30*g - 6. Let f be v(8). Let i = u - f. Is i a composite number?
True
Let o(l) = -l + 5. Let v be o(4). Let z(j) = 45*j**2 - j. Let p be z(v). Suppose -3*x = -7*x + p. Is x prime?
True
Let k be ((-18)/(-27))/((-4)/(-78)). Suppose -5*h = 4*d - 25, -3*d + d - 19 = -h. Let g = h + k. Is g a composite number?
True
Let l = -72 + 251. Is l composite?
False
Let u be (-16)/(-56) - 6290/14. Let p = -306 - u. Is p a composite number?
True
Suppose -4*c - 2*v + 504 = 0, 6*v - 3*v + 387 = 3*c. Is c a prime number?
True
Let t = 298 + -213. Is t prime?
False
Suppose -5*w - 8 = t, 5*w + 22 - 6 = 3*t. Let s be 0 - (1*-2 - w). Suppose s = -2*h + 5*h - 231. Is h composite?
True
Let l(n) = -28*n**2 - n + 6. Let v(k) = 85*k**2 + 4*k - 17. Let w(c) = 8*l(c) + 3*v(c). Is w(2) composite?
True
Suppose -3*j = 0, j - 391 = -3*d + 2*d. Suppose 3*a = -r + d, r - 3*r + 5*a = -738. Is r composite?
False
Let l(d) = -2*d**3 + 9*d + 1. Is l(-6) composite?
False
Suppose -5*y - k = -839 + 139, -y - 5*k + 116 = 0. Is y prime?
False
Let t(w) be the first derivative of 1/2*w**2 - 1 + 10*w. Is t(9) a prime number?
True
Let i be (44/(-8))/((-2)/(-44)). Let m = 42 - i. Is m a prime number?
True
Suppose 5*b + 44 = 4. Is ((-628)/b)/(1/2) prime?
True
Suppose 19 = -5*v - 21. Let q be 2*2/v*0. Suppose -2*o + 30 = -q*o. Is o a prime number?
False
Let x = -3 - -11. Let n(g) = -g + 10. Let z be n(x). Suppose z*p = -2*j + 16, -5*p + 97 - 27 = -5*j. Is p prime?
True
Let l = -3142 - -5643. Is l composite?
True
Is 7756/(-12)*(-2 + -1) composite?
True
Let p(s) = -s + 10. Let l be p(14). Is (-4)/(-1) - (l - 243) a composite number?
False
Let a = 8 - 2. Let j = 6 - a. Suppose j*f - 3*f + 345 = 0. Is f prime?
False
Suppose 0 = 5*x - n - 3958, 5*n + 3179 = 4*x - 0*x. Is x composite?
True
Suppose -629 = -2*h - 2*s + 5*s, 4*h - 1264 = 4*s. Is h a prime number?
False
Suppose 6*i - 2*i - 264 = 0. Suppose -92 = -2*u + i. Is u composite?
False
Let l(u) be the first derivative of -u**5/20 - u**4/12 + u**3/6 + 37*u**2/2 + 3*u - 2. Let p(j) be the first derivative of l(j). Is p(0) composite?
False
Let j(s) = s**3 - 3*s**2 + 10*s - 15. Let k be j(6). Let m = 194 + k. Is m a prime number?
True
Let z(i) = 90*i**3 - 4*i**2 + i + 6. Let g(k) = 269*k**3 - 11*k**2 + 3*k + 17. Let l = -12 - -6. Let u(w) = l*g(w) + 17*z(w). Is u(-1) composite?
False
Let d(b) = 4*b**2 + 2*b - 13. Is d(-9) prime?
True
Let u(n) = -4*n**2 - n**2 - 4 + 3*n**2 + 4*n**2. Suppose 5*l + 7 = -2*q - 4, 7 = -q - 4*l. Is u(q) composite?
True
Is 1/(12/54 + 749/(-3411)) a composite number?
False
Let o = 263 - 123. Suppose 0 = -0*s + 4*s - o. Is s prime?
False
Let p = 279 + -166. Is p composite?
False
Suppose 5*x + 88 = -4*m + 2301, 2773 = 5*m + 4*x. Is m prime?
True
Let i be 4 + 4 + -4 + -4. Suppose 62 - 689 = -u - 2*m, -u - 4*m + 625 = i. Is u prime?
False
Let s(q) = q + 10. Suppose -23 = 4*i - 3*v, 2*i - 3*v + 13 = -0. Let u be s(i).