t y(p) = p + 32. Let b be y(0). Let h = b + m. Is h composite?
True
Suppose 0*l + 1131 = -3*l. Let f = l - -538. Is f composite?
True
Is ((-15784)/8)/(3/(-3)) composite?
False
Is -2 + -71*(-1 + -2) prime?
True
Let p(l) = l**2 + 6*l + 10. Is p(9) prime?
False
Let o(n) = 707*n**2 + 2*n + 2. Is o(-1) a composite number?
True
Let i be 3*((-147)/(-9) + 3). Let y = -528 - i. Is y/(-6) - (-4)/(-6) composite?
False
Let z(f) = -18*f**2 - 2*f + 1. Let l be z(1). Let c = 61 + l. Suppose -t + c = r, 0*t + 4*t = -20. Is r composite?
False
Let c(k) = 488*k**2 + 4*k + 5. Is c(-2) a composite number?
False
Let q(u) = -u**3 - 13*u**2 + 15*u - 57. Is q(-20) composite?
True
Suppose -5*d + 2*d = 30. Let w(i) = -i**3 - 11*i**2 - 10*i - 2. Let b be w(d). Is (-6 - b)*-2 + -1 composite?
False
Let g(r) = -r**2 + 6*r + 9. Let f be g(7). Suppose 7*j = -h + 3*j - 18, -f*j = -h. Is (-200)/(-3) - 2/h composite?
False
Let k = -369 + 581. Suppose -3*q - 14 = -k. Suppose 220 = 2*f + q. Is f a composite number?
True
Let u(o) = 364*o + 11. Is u(2) composite?
False
Suppose 2*l = 3*x - 7517, -x - 2*l + 2081 = -430. Is x a prime number?
False
Suppose -4*u + 79 = -277. Is u prime?
True
Suppose -f + 2*f = 2*o, 4*f = 2*o. Is (1 + o)/1 + 126 prime?
True
Let m be (-2)/((-4)/334) + -2. Suppose -5*h - 67 + 277 = 5*f, 0 = -4*f - 3*h + m. Is f a composite number?
True
Let q(l) = -l + 15. Let s be q(12). Suppose -4*p = -4*o - 280, 342 = p + 4*p + s*o. Is p a composite number?
True
Let d = 1 + -1. Suppose d*w + w + 5*o = 69, 3*w - 4*o - 245 = 0. Is w a composite number?
False
Suppose -9*p + 12*p + 9 = 0. Let h(i) = -5*i**3 - 2*i**2 - i + 1. Is h(p) composite?
True
Let s(k) be the third derivative of k**5/2 + k**4/12 - k**3/6 - 5*k**2. Is s(1) prime?
True
Let p be ((-8)/(-10))/((-8)/40). Is (-15)/(1 - (-2 - p)) prime?
False
Let x = 393 + -124. Is x composite?
False
Suppose 9167 = 3*d + 2780. Is d prime?
True
Suppose p - 4*x + 13 = 0, 5*x - 3*x - 20 = -4*p. Suppose 4*o - 3*s - 1178 = 0, -3*s - 1164 = -p*o - 279. Is o prime?
True
Suppose -k = -2*b - 16, 0 = 2*b - 3*k + 4*k + 8. Let v(c) = 5*c - 4. Let m(p) = 9*p - 7. Let i(n) = -3*m(n) + 5*v(n). Is i(b) composite?
False
Suppose 3*v + 87 = -5*o + 3*o, 0 = -o - 5*v - 26. Let z = 184 + o. Is z prime?
False
Let n = 3 + 1. Suppose 5 = n*t - 143. Is t a prime number?
True
Let o be 2/(-4) - 252/(-8). Let f = -52 + o. Let w = f - -54. Is w prime?
False
Is (-2 - 51/(-21)) + 632/28 a prime number?
True
Is (-18621)/(-21) + 16/56 prime?
True
Suppose 0 = -4*l + 12, -w - 3*w + 4*l - 4 = 0. Suppose 0 = w*q - 54 - 104. Is q prime?
True
Let m = 0 - -4. Suppose 70 = m*a + a. Is a a prime number?
False
Suppose -5*w = -0*x + 3*x - 12, 0 = -w + x + 4. Suppose m + 2 = w. Suppose 3*z = -m + 70. Is z prime?
True
Let t(k) = k**2 + 7*k + 9. Let i be t(-6). Suppose -158 = -i*n + n. Suppose s - n = -12. Is s prime?
True
Suppose -4*l + 48 = -2*v, 3*l + l + v = 36. Let a = -3 + l. Is a a composite number?
False
Suppose -282 = -2*q + 3*o, 4*o - 5*o = -2. Suppose 3*x - l - 329 = 0, -3*x + 179 = 2*l - q. Is x composite?
False
Suppose 1108 - 6491 = -7*o. Is o a prime number?
True
Suppose 5*z = -h + 174, z - 611 = -4*h - 2*z. Is h composite?
False
Let k be (2 + -4)*(-156)/8. Let x be 2/(-6) - 148/6. Let a = x + k. Is a a composite number?
True
Suppose 3*x - 290 = 169. Suppose 0 = -3*d + 4*d - x. Suppose 7*a - 4*n - d = 2*a, 4*n = a - 21. Is a composite?
True
Suppose 0 = -j + 3*p + 1844, -p + 2*p = -3. Is j a prime number?
False
Suppose 4*b = 4, -7*d = -2*d - 5*b - 1515. Let t = d - 57. Is t composite?
True
Let l(d) = 2*d + 7. Let x be l(-9). Suppose 5*n + 5 = 4*n. Let c = n - x. Is c a prime number?
False
Suppose -3*z + 3 = -5*u + 6, -2*z = -2*u - 2. Let v(r) = -1 - 8*r**2 + 14*r**2 - 4*r + 2*r. Is v(u) prime?
True
Suppose -5*n + 817 = 3*s - 3434, 4*s - 2555 = -3*n. Is n a composite number?
True
Let h be ((-1)/(-1))/(5/15). Suppose -2*z = 6*f - h*f - 5876, -2*f - 3*z + 3909 = 0. Is f/42 + 2/7 prime?
True
Let q = 413 - 54. Is q prime?
True
Suppose 0 = 3*o - 1 - 5. Suppose -o*u - 142 = -4*q - 40, -3*u = 5*q - 100. Let c = q - -116. Is c a composite number?
False
Let m(u) = 7*u**2 - 3*u + 3. Is m(6) a composite number?
True
Is (-2)/(-2) + (23 - 1) a composite number?
False
Suppose 3*l = -0 - 6. Suppose 0 = 2*g + 3*c + 89, -4*c - 86 = 2*g - 2*c. Is 2/(l - g/18) prime?
False
Let a(n) = 40*n + 23. Is a(6) composite?
False
Suppose 132 + 808 = 4*n. Suppose 7*w - 2*w = n. Let v = 30 + w. Is v a composite number?
True
Let n = -1148 + 2035. Is n a prime number?
True
Suppose 4*c - 38 - 174 = 0. Is c composite?
False
Suppose 0 = s - 3*v - 69, 4*s + 3*v - 7*v - 236 = 0. Is 158/1 + s/(-18) a composite number?
True
Suppose 4*s + k = -0*k + 336, k = -3*s + 253. Is s a composite number?
False
Let u be (3/(-4))/((-2)/(-8)). Let b = u - -4. Is 1 + -2*(-13 + b) prime?
False
Let y(z) = z - 2. Let n be y(5). Suppose 5 = 2*m + n*m, 1035 = 4*v - m. Is v prime?
False
Let q be (-2)/(-4)*(-4 - -4). Suppose 0 = -3*w - q*w + 39. Is w a composite number?
False
Let l = 191 + -100. Is l a prime number?
False
Let h(d) be the second derivative of 2*d**4/3 + d**3/2 + 2*d. Is h(-5) a composite number?
True
Let u be (-28)/21*9/(-2). Suppose 0 = -u*h + 3*h + 63. Is h a prime number?
False
Let q = 4 + -4. Suppose q*w + 17 = w. Suppose -a + w + 38 = 0. Is a a composite number?
True
Let t(h) = 13*h**2 - 3*h - 3. Let a(f) = f - 1. Let o be a(1). Suppose 3*n - 5*n - 2*y = 12, o = 5*y + 20. Is t(n) a prime number?
False
Let r = -1346 + 2517. Is r composite?
False
Let t(a) = 45*a**2 + 3*a - 2. Is t(1) prime?
False
Let t(b) = -46*b**2 + 14*b + 6. Let d(u) = -15*u**2 + 5*u + 2. Let q(n) = -17*d(n) + 6*t(n). Let p be q(-2). Is (5/2)/((-8)/p) a composite number?
True
Suppose -3*j - 24 = r - j, 0 = -3*j. Let a = -3 - r. Is a a prime number?
False
Let p = -108 - -593. Is p a composite number?
True
Suppose -2*r = 3*h - 8233, 4*r = -5*h - r + 13725. Is h a composite number?
True
Suppose 0*s - 4*s = l - 3256, 3*l - 3248 = -4*s. Is s composite?
True
Is (1/1)/((-3)/4869*-3) composite?
False
Let v be (1 + 2/1)*1. Suppose 2*h - 68 = -4*w, -2*h + 11 = v*w - 2*w. Is w prime?
True
Let a(q) = -q**3 + 9*q**2 - 7*q + 1. Let i = 7 - 4. Let h(b) = -b**3 + 5*b**2 - 4*b + 1. Let z(p) = i*a(p) - 5*h(p). Is z(3) composite?
False
Let x(g) be the first derivative of 5*g**3/3 + g**2/2 - 1. Let t be x(3). Let u = 125 - t. Is u a composite number?
True
Let x be 12/(-14)*(-112)/24. Is (x/(-12))/((-1)/267) a composite number?
False
Suppose -4*w - 3*o = -128, -o - 109 = -8*w + 5*w. Suppose -5*z + w + 71 = 3*g, 4*g = -5*z + 143. Is g a prime number?
True
Suppose 4*b + 4986 = 15390. Suppose 4*i - b = 5*x, x = i - 4*i + 1927. Suppose q = -3*q + i. Is q a prime number?
False
Let a = 2039 + -1160. Is a a prime number?
False
Let z = -409 + 585. Let i = 324 - z. Suppose 0 = 3*r + r - i. Is r composite?
False
Suppose 10*l - 6*l = 15740. Is l a composite number?
True
Is (-3)/6 - 1269/(-6) a composite number?
False
Suppose -2*l - l = -15. Suppose 63 + 73 = 4*c. Suppose -c = -l*v + 141. Is v a composite number?
True
Let k be (-3)/(-9) + (-4)/(-6). Is 3*k/((-9)/(-147)) a prime number?
False
Suppose -l = -0*l - m - 31, 4*l - 5*m - 129 = 0. Is l composite?
True
Suppose 3 = 2*d + 5*u + 24, 0 = 3*d - u - 11. Suppose -4*j = -2*q - 470, d*j - 2*q + 73 = 305. Is j prime?
False
Suppose 0 = -2*g + 2, 110 = 5*h - 3*g - 682. Is h a prime number?
False
Let o(b) = 90*b + 7. Let w be o(-6). Let m = 350 + w. Let h = 52 - m. Is h prime?
False
Let u(t) = -t**3 + 4*t**2 + 7*t - 7. Let f be u(5). Suppose -f*x + 168 = 9. Is x a prime number?
True
Suppose -3*m - 2 = 3*f - 29, f - 1 = -5*m. Let c = f + -7. Suppose 28 - 116 = -c*j. Is j a composite number?
True
Let h be ((-4)/(-8))/(1/4). Suppose 3*y - h*y - 92 = -c, 2*c - 194 = -4*y. Suppose 208 + c = 5*g. Is g a prime number?
True
Is (1 - (-2 - -4))*-53 a prime number?
True
Let w = 0 - -1. Is (-5)/((-5)/132) + w a prime number?
False
Let u(l) = -2*l**3 - 3*l**3 + 2*l**2 - 5*l + 11*l - 9*l - 1. Is u(-3) prime?
False
Suppose z - 22 = -2*v, -3*v + 0*v = -4*z - 44. Suppose -195 = -15*y + v*y. Is y a prime number?
False
Let q = -2498 - -3969. Is q composite?
False
Suppose -5*l + 40 - 126 = 2*a, 2*l + 41 = -3*a. Is -3 - l*(-2 + 7) a compos