mber?
True
Let o = 102 + 853. Is o prime?
False
Suppose 0 = -2*c - 3*c - 45. Let o = c + 5. Is -2*(2 - (-46)/o) a prime number?
True
Let h(r) = 22*r + 17. Is h(18) composite?
True
Suppose 4*m - 5*h = 22, 2 = 4*m + 6*h - h. Suppose 7*i - 460 = m*i. Suppose -43 - i = -2*o. Is o composite?
False
Suppose -2*j = -0*j - 102. Suppose j = k - h - 71, 4*k - 467 = -3*h. Is k prime?
False
Is (-2)/(-4) - (-5640)/48 prime?
False
Let o(u) = 7*u**2 + 1. Let l be o(-2). Suppose 0 = -2*z + l + 23. Is z composite?
True
Suppose -b = -5 + 19. Let o = b - -5. Is (o/(-2))/3*26 composite?
True
Let i be 1/((-2)/(-4)) + 0. Suppose 0 = i*j - j - 119. Is j prime?
False
Suppose -z + 4 = 13. Let p = 2 - z. Suppose 3*d = p + 34. Is d a composite number?
True
Suppose 0 = 4*y - 3*g - 1, y + 0*y - g - 1 = 0. Let a be y/(-4)*-4 + 424. Is -2*a*(-1)/4 composite?
False
Suppose -3*w - 3 = 0, -2863 - 2773 = -z - 3*w. Is z a prime number?
True
Let g = 0 + 0. Let d(p) = 22 - p**2 + 0*p + 4*p - p - 2*p. Is d(g) prime?
False
Suppose 2*k + 2*k = 5*p, 0 = -3*p + k. Suppose p = 5*v - 401 + 126. Is v a composite number?
True
Let z be (-38)/6 - (-1)/3. Let c(l) = l**2 + l. Let n(p) = -7*p**2 - p + 7. Let q(b) = -5*c(b) - n(b). Is q(z) prime?
True
Suppose -3*b + 2*w + 1267 = 0, 3*b + 2*w - w - 1252 = 0. Is b a prime number?
True
Let m(l) = -l**3 - 5*l + 5. Is m(-6) a composite number?
False
Let d be -33*(2 + (-21)/9). Let y = 15 - d. Suppose y*j = 2*l + 384, -2*j + 5*l - 1 + 209 = 0. Is j a composite number?
True
Let s = -476 + 2253. Is s a composite number?
False
Let i = -6 - -9. Suppose i*m + 0 + 3 = y, 5*y = m + 15. Suppose 2*n = -m*n + 98. Is n composite?
True
Let u(d) = 228*d + 11. Is u(9) composite?
False
Let t(a) = a**3 - 6*a**2 + 9*a - 4. Suppose 6 = -l + 2*l. Let i be t(l). Let d = i + -27. Is d a composite number?
False
Suppose 3*y = 5*y, -5*y - 12 = -3*i. Suppose 3*w - 2*l + 337 = 4*w, 0 = i*w + 2*l - 1342. Is w a prime number?
False
Let f = 2340 + -1607. Is f composite?
False
Suppose 0*v + 9 = 3*v. Suppose 4*j - r = -63, 6*j = v*j - r - 49. Is 10/(-4)*j/20 a prime number?
True
Suppose -g + 5 = -3*q, -6*g + 5*q = -3*g - 23. Is g a composite number?
False
Let h = 20 - -2. Let g(i) = i**3 + 9*i**2 - 10*i + 2. Let n be g(-10). Suppose -y + n*y - h = 0. Is y a prime number?
False
Let h(u) = 2375*u + 42. Is h(3) a composite number?
True
Let b be 0/(1 + 3) + -11. Is (13 + b)/((-4)/(-70)) a composite number?
True
Let g(x) = 2*x**3 + x**2 - 2*x - 2. Let b be g(-2). Let k be (-2)/6 + b/(-3). Is ((-2)/k)/(6/(-117)) composite?
False
Let n be ((-18)/3)/(-2) + -5. Let f be 1 + -42 + 2 + 2. Is (1 + n)*(f + 0) a prime number?
True
Suppose 3*c - 20 = 5*u - 10*u, c = 4*u - 16. Suppose -l + 4*v + 15 = c, -4*l + 3 = v + 2*v. Suppose -l*a - 9 = 0, 4*a = w + 3*w - 88. Is w prime?
True
Let f be ((-1)/(-3))/(1/15). Suppose 0 = 3*s - s - z - 253, -513 = -4*s - f*z. Is s prime?
True
Is 3 - (3 - 192) - 1 a composite number?
False
Let d = 115 - 262. Let g = d - -229. Is g a prime number?
False
Suppose 1508 = 4*u + 328. Is u a prime number?
False
Suppose -3*o + 3*m = 21, -2*o - 3*o - 5*m = 15. Let k(g) = g**3 + 6*g**2 + 5*g + 4. Let r be k(o). Suppose l - 185 = -r*l. Is l prime?
True
Let o = 6 - 4. Suppose -o*z + 7*z = 225. Suppose -z = -v + 20. Is v a composite number?
True
Let z be ((-76)/(-6))/((-10)/(-15)). Let h = 40 - z. Suppose h = u - 28. Is u a prime number?
False
Let o(w) = -6*w + 1. Let a(x) = x + 2. Let y be a(-8). Is o(y) a composite number?
False
Let p(f) = -f**3 - f**2 + 4*f + 5. Let r = 20 + -26. Is p(r) prime?
False
Let w(p) = 114*p**2 + 3*p - 2. Let r be w(2). Is r/5 + 1/(-1) a composite number?
True
Let j = -243 + 442. Is j composite?
False
Let z(v) = 8*v**3 + 3*v**2. Let u be z(-2). Let g = -21 - u. Is g composite?
False
Let s = -11 - -15. Suppose -3*o + 15 + 99 = c, -o = -s*c + 443. Is c prime?
False
Suppose 0*m + 3 = -5*l + 3*m, 2*m - 2 = -4*l. Suppose 4*f + 907 = -2*k + 3*k, l = 2*k + 5*f - 1814. Is k prime?
True
Let o = 1762 - 549. Is o composite?
False
Let u = -80970 + 44369. Is (u/(-51))/((-2)/(-6)) composite?
False
Suppose -7 = k - 2*k. Suppose o - k = 3. Is o composite?
True
Is (1/(-3))/((-2)/942) a composite number?
False
Is 1/((10/(-1754))/(-5)) a composite number?
False
Is (-22)/((6 - 16/4)/(-7)) a composite number?
True
Let x(c) = c**2 - 7*c + 6. Let j(y) = -4*y**2 + 28*y - 23. Let a(i) = 2*j(i) + 9*x(i). Let v be a(6). Is ((-66)/v)/(3/(-3)) a prime number?
False
Suppose d = z + 1, z + 0 - 17 = -5*d. Suppose 115 = 2*j + d*g, -53 = -3*j - 2*g + 122. Is j prime?
True
Let d(p) be the second derivative of p**4/3 - p**3/2 + 3*p**2/2 + 3*p. Is d(4) a composite number?
True
Let w(n) be the first derivative of 63*n**2/2 + n + 4. Is w(4) a prime number?
False
Let q be (-8)/6*(-3)/(-1). Let v be 2/q + (-2)/(-4). Suppose w - 37 = -v*w. Is w a composite number?
False
Suppose 2*b - 4 = 2. Suppose -133 = -a + z + 89, -b*z = 15. Is a prime?
False
Suppose 0 = -a + 5*a - 3628. Is a composite?
False
Let c be 2181/5 - 4/20. Let g = c + -219. Is g composite?
True
Suppose 1415 = 4*g + 5*r, 1063 = 3*g - r + 3*r. Is g a composite number?
True
Suppose -2*b + 4 = -12. Is 2/(-8) + 1018/b a prime number?
True
Let c be (4/(-8))/((-1)/1102). Suppose -4*d + 5*j = -c, 4*j - 524 = -3*d - 103. Is d prime?
True
Suppose g + 3*g + 52 = 4*p, -g = 5*p - 35. Is 2/p + (-307)/(-4) a composite number?
True
Let g(m) = 93*m - 16. Is g(5) a prime number?
True
Let u = 95 - 12. Suppose -4*x + u = -3*m, -3*m = -14 + 5. Let r = 46 - x. Is r composite?
False
Let m(d) = 4*d**3 + d**2. Let y be m(1). Suppose -5*o = y*j - 155, -5*o = 3*j - 84 - 75. Is o a prime number?
False
Let j = -24 - 405. Let f = -172 - j. Is f prime?
True
Is (-32)/8 - (-584 + -1) a composite number?
True
Let j(i) = 29*i**2 + 5*i + 5. Is j(8) a prime number?
True
Let n be -14*1 + -2 - -2. Is n/4*(9 + -11) a composite number?
False
Suppose -9*m = -8*m - 3011. Is m a composite number?
False
Let w = -7 + 2. Let g = 58 + w. Is g a prime number?
True
Let c(r) = r + 0*r + 7*r + 3. Let f be (0 - 10)*(-1)/2. Is c(f) composite?
False
Suppose 5*s + 4*k = -1 - 10, k + 2 = -2*s. Let p = s + 1. Suppose p*v - 4*m - 35 = 55, 0 = -5*m - 20. Is v prime?
True
Suppose g + 42 = -2*g. Let b = g + 8. Is (6 - -3)*(-2)/b composite?
False
Suppose j + 27 = d, 4*j - 2*d + d + 102 = 0. Let i be (j - -2)*-6*-2. Is -2 + 2 + i/(-4) a prime number?
False
Let l be -111 - (1 + 0)/(-1). Is ((-2)/4)/(1/l) a prime number?
False
Let u(a) = -15*a + 2. Let t(s) = 5*s**3 - s**2 + 1. Let k(f) = -f - 4. Let z be k(-3). Let l be t(z). Is u(l) a composite number?
True
Is (-7546)/(-42) + 3/((-27)/(-12)) composite?
False
Suppose 0 = 2*s - 4*d - 422, -5*s + 1484 - 473 = d. Is s a prime number?
False
Suppose -w = -4*r - 106 - 84, -5*w - r + 887 = 0. Is w composite?
True
Suppose -3*h = 5*f + 207, 4*f + 127 = -4*h - 37. Let b = f + 73. Is b prime?
True
Let u(q) = -q - 2. Let b(n) = 2*n + 6. Let z be b(-5). Let p be u(z). Suppose -f = -0*f - 4, 227 = 5*v - p*f. Is v a composite number?
False
Is (-950)/15*3/(-2) a prime number?
False
Is 3/((-12)/(-2698)) + 7/(-14) a composite number?
True
Is (5 - -143) + -1 + 2 prime?
True
Let h(c) = c**3 - 3*c**2 + c + 2. Let f be h(2). Let p = f - 23. Let d = 44 + p. Is d a composite number?
True
Suppose 6 = 11*j - 8*j. Let c(m) = 42*m**3 + 3*m - 3. Is c(j) a prime number?
False
Suppose 110*x + 4124 = 114*x. Is x a composite number?
False
Let j = 1261 - 630. Is j a composite number?
False
Is 3986/8 - (-3)/4 a composite number?
False
Suppose -5*j = -278 - 377. Is j a prime number?
True
Suppose -r + 5544 = 3*a + 1909, 4*r = -a + 1219. Is a a composite number?
True
Let v be -1 + -3*(-2)/6. Suppose v = -5*c + 2642 + 668. Suppose 3*k - k = 2, 5*n - c = 3*k. Is n a composite number?
True
Let r = 95 - 43. Suppose -b = b - 6. Suppose 5*u = -b*v + 102 + r, -4*u = 2*v - 102. Is v a composite number?
False
Let w(j) = j**2 + 5*j - 4. Let o = -9 + 4. Let c be w(o). Is 1/c - (-2665)/20 prime?
False
Let s(q) = 1 - 82*q - 245*q - 207*q. Is s(-1) a composite number?
True
Let g(m) = -m + 10. Let x be g(7). Let l(c) = -c**3 + 3*c**2 - 3*c + 3. Let d be l(x). Is (d/5)/(4/(-30)) composite?
True
Suppose -5*k + 0 = -15. Suppose s - 28 = -3*j, -35 = -4*j + 4*s - k*s. Suppose -r - j = -122. Is