+ 4*p, -3*o = -2*p. Suppose 0 = -o*j + 3 + 3. Suppose -l - 2*y + 42 = -0*y, -j*l + 2*y + 94 = 0. Is l composite?
True
Suppose h = 124 - 35. Is h prime?
True
Let y(x) = -54*x + 4. Let l(i) = 1. Let w be (-1)/(-3) - 4/3. Let u(h) = w*y(h) + 3*l(h). Is u(1) a composite number?
False
Let g = 2616 - 1859. Is g composite?
False
Suppose -y = -3*m + 6*m - 16, -4*y + 4*m = 0. Suppose 4*t - 5*t = y*q - 24, -2*t = 5*q - 27. Suppose 2*p - q*p + 185 = 0. Is p composite?
False
Suppose -991 = -3*s - t, -208 + 545 = s + 2*t. Is s a prime number?
False
Let h = 4 + 73. Suppose -h = 2*c - 211. Is c a prime number?
True
Suppose -5*s + 3 = -12. Suppose s*m = m. Is (-43)/(m + 0 + -1) prime?
True
Let t(j) = -44*j + 3. Let w be (7 + -4)/(6/(-8)). Is t(w) prime?
True
Suppose -5*d + 33 = -6*d. Let w = d + 76. Is w prime?
True
Let m = 118 - 119. Let v(s) = -441*s + 11. Let h(l) = -220*l + 5. Let p(d) = 9*h(d) - 4*v(d). Is p(m) prime?
False
Suppose 3*u - 2*r - 3487 = 0, -5*u + 0*r + 4*r = -5811. Is u prime?
True
Suppose 136 = 4*b + i + 1376, -4*b + 3*i - 1224 = 0. Let j be b/(-21) - 6/(-21). Is (5/1)/(3/j) prime?
False
Suppose -1230 = 3*t - 393. Is t/(-6) + 2/(-4) a composite number?
True
Suppose 3*m - 12 = -k, 1 + 2 = -k + 2*m. Suppose 0 = 2*t + k*t - 345. Is t prime?
False
Suppose -10 - 6 = -4*h. Let m be (2/(-3))/(h/(-6)). Suppose -32 = -2*g - 4*p, -3*p + m = -g - 8. Is g composite?
True
Let d = 985 - 525. Suppose -d = -3*p - p. Is p composite?
True
Let k(l) = -l + 3. Let t be k(0). Is 19/t*(-2 + 35) a prime number?
False
Suppose -3*t + 4*a + 12 = a, 8 = -t - 5*a. Suppose -2 = -t*j + 2. Is j composite?
False
Let d(a) = a**2 - 8*a + 9. Let f be d(-7). Let b = f + -163. Let n = -11 - b. Is n composite?
True
Let p(x) = -x**3 - 6*x**2 - x - 2. Let s be p(-6). Suppose 0 = 5*h - 4*a + 17 - 122, s*h + a = 105. Is h a prime number?
False
Suppose -2*s - 3*n = -112 - 232, -4*s = -n - 660. Is ((-4)/(-8))/(1/s) composite?
False
Suppose t = 788 + 5807. Is t composite?
True
Is (-1 + 3 - 1)*181 a prime number?
True
Let w = 9 - 4. Suppose -w*p + 745 = -0*p. Is p prime?
True
Is ((-153711)/12)/(-9) + 3/(-12) prime?
True
Let h = 287 + 122. Is h composite?
False
Let h(v) = v**2 + 6*v + 4. Let o be h(-4). Is 2*(o - 486/(-4)) composite?
True
Suppose -5*j - 3 = -13. Suppose 3*n = -4*t + 259 + 464, 0 = -t - j*n + 177. Is t composite?
True
Let z(o) = -o**3 + 7*o**2 + 2*o - 8. Let h be z(7). Let s = 13 - h. Suppose 42 = p - s. Is p composite?
True
Suppose -160 = b + 3*c, -5*b = -c + 358 + 490. Is b/(-9) + 6/27 composite?
False
Suppose 0*m - 4*m - 3*n + 2461 = 0, 616 = m + n. Is m composite?
False
Suppose 0 = -6*o + 3*o + 1611. Is o a composite number?
True
Let f = 5 + 0. Suppose 0 = 2*l - n - 3793, f*n + 0*n = -2*l + 3799. Is l a composite number?
True
Suppose 3*z - 3*s - 596 + 161 = 0, 2*z - 5*s = 290. Let p = 251 - z. Is p a prime number?
False
Let v(b) = -3*b - 7. Let h be ((-2)/4)/(3/66). Is v(h) a composite number?
True
Let k(c) be the second derivative of 8*c**3/3 + c**2/2 + 4*c. Is k(2) a composite number?
True
Is (1*2)/(-6) - (-42660)/162 composite?
False
Suppose -m = -5*m. Suppose -3*f - 530 = -2*t, -3*t = -m*t - 2*f - 795. Is t composite?
True
Let k(n) = n - 11. Let f be k(11). Let x = f + 19. Is x composite?
False
Suppose -2 + 8 = -3*a, -3*u = -4*a - 1523. Is u a prime number?
False
Let j(s) = -s**3 - 7*s**2 - 13. Let h be j(-9). Suppose -276 = -3*m - 4*d, -m - 3*d + h - 57 = 0. Let q = m - 45. Is q composite?
False
Let w(x) = -80*x - 27. Is w(-5) composite?
False
Suppose 0 = 2*z - 4*z + 838. Is z composite?
False
Suppose -7*p + 1095 = -1208. Is p composite?
True
Let x be ((-4)/5)/(4/(-10)). Suppose -z - 883 = -3*d, -5*d + d + 1164 = x*z. Is d a composite number?
False
Suppose 6 = -m + 3*m. Suppose 3*i + y + 361 = 7*i, -5*y - 275 = -m*i. Suppose 4*v = b + 82, -3*v - 3*b = v - i. Is v composite?
True
Suppose 0 = 5*y - 4*v - 1255, -2*y - 4*v + 502 = -v. Is y prime?
True
Let d(l) = l**3 - l**2 - 3*l - 1. Let a be d(-2). Let v = 12 - a. Is v composite?
False
Let n(h) = -h**3 + 8*h**2 + h + 1. Let s be n(6). Suppose 136 = 3*g - 5*l, -2*g + l + 0*l + s = 0. Is g prime?
True
Let c = 713 - 480. Is c prime?
True
Suppose -q + 4*d + 251 = -206, -3*q - 5*d + 1303 = 0. Let k = q - 6. Suppose r = -2*r + k. Is r composite?
True
Suppose c = 3*c - 198. Suppose c = 4*s - l + 10, 5*l + 88 = 3*s. Is s composite?
True
Suppose -3 = -2*a - a. Is (-174)/(-2 + -1 + a) a prime number?
False
Suppose -3*i - 1 = -10. Suppose 8 = b + i. Suppose 2*x + b*y - 18 + 0 = 0, 0 = 5*x + 5*y - 75. Is x a prime number?
True
Suppose 0*w = -4*w + 92. Let k = -10 + w. Is k a prime number?
True
Let v(w) = 20*w**2 - w - 1. Is v(2) a composite number?
True
Let a = 474 - 143. Is a a prime number?
True
Let j(r) = r**2 + 14*r + 8. Let o be j(-10). Let s = 26 - o. Let v = s - 23. Is v a composite number?
True
Let l(t) = 16*t - 5. Is l(10) prime?
False
Suppose 0 = 4*z - 5 + 37. Let l(d) = -5*d + 5. Let g be l(z). Suppose k - g = -5*j, -59 = -k - 3*j + 5*j. Is k a prime number?
False
Let x(v) = v - 2. Let p be x(7). Suppose 2*h + 4*a - 276 = 6*h, -p*h = -2*a + 342. Let z = -19 - h. Is z prime?
False
Let u(a) = a**3 + 4*a**2 + 10*a - 9. Let s be u(6). Let t = -223 + s. Suppose 30 = -2*d + t. Is d prime?
True
Suppose 4*b + 3*n - 347 = 0, 4*n + 166 + 2 = 2*b. Suppose 16 = 5*y - y. Suppose -6 = -y*l + b. Is l prime?
True
Suppose -3*b - 3 = 4*h, -1 = -5*h - 2*b - 3. Suppose -4*g + 129 + 67 = h. Suppose -4*n + 60 = 5*u - 137, u - g = -4*n. Is u a composite number?
False
Suppose 4*y - 6*y = -170. Is y a composite number?
True
Let r = 52 - -33. Is r prime?
False
Let b be (-2)/(1*(-2 + 3)). Let h be (0 - 1)*(-1 + b). Suppose -8*w - 80 = -5*z - h*w, -5*w = -z - 4. Is z a composite number?
True
Suppose u = 5*f - 177, -2*u + f - 708 = 2*u. Suppose 2*p - 4*l = 506, 0*p - 3*l = 5*p - 1304. Let w = u + p. Is w composite?
True
Let j be -4 + 1 + 1/1. Let c be (9*j)/1 - 1. Let l = 64 - c. Is l a composite number?
False
Let z(l) = l**2 - l + 1. Let y(d) = -2*d + 6. Let a be y(5). Is z(a) a prime number?
False
Let q = 3 + -3. Let t(h) = h**3 + h**2 + 31. Is t(q) prime?
True
Suppose 0 = -4*r - 31 + 91. Suppose -n - r = -6*n. Is n prime?
True
Suppose -5*c = -4*h - 23, 3*h = 7*h + 4*c - 4. Let o(i) = 3*i**3 + 3*i**2 + 2*i - 2. Let g be o(h). Let a = 56 + g. Is a a prime number?
False
Let u(w) = -w**2 - 15*w - 11. Suppose -67 = 5*g - 12. Is u(g) a composite number?
True
Suppose -2*t - 232 + 1226 = 0. Is t composite?
True
Let a be -2 + 1 + 12/2. Suppose -136 = -a*i + 2*f, 3*i = -i + 2*f + 108. Is (6/4)/(6/i) a composite number?
False
Suppose -g - 18 = 5*j, -2*j = -j + 5. Let x = 4 - g. Let c = 22 - x. Is c a composite number?
True
Let w = 315 - 136. Is w a composite number?
False
Suppose -6*n + 384 = -3*n. Suppose 2*j = 10, 4*u - 459 = 5*j - n. Is u a composite number?
False
Let b(i) = i**3 - i**2 + 703. Is b(0) prime?
False
Suppose 3*x - 4 = 5. Suppose -3*y - 33 = -3*f - 6, 5*y + 17 = x*f. Is f a prime number?
False
Let x be (1 + -3)/(0 - -1). Let f = 2 + x. Suppose f = -l + 44 + 35. Is l composite?
False
Suppose 0 = -2*k + 7*k. Let z = k + -3. Is (z - -2)*(-94)/2 composite?
False
Let p(t) = -2292*t**3 - t. Is p(-1) a composite number?
False
Suppose 4*b = -4*t - 4, -5*b + t - 29 = -2*t. Let m be (b/6)/(3/(-18)). Is (-331)/(-9) - m/(-18) composite?
False
Let f(v) = v**2 - 8*v - 13. Let i be f(10). Suppose 0 = i*q - 4*q. Suppose q*g = g - 39. Is g a prime number?
False
Let t(r) = 0*r**2 - r**3 - 5*r**2 - 2*r - 2*r + 6. Let i be t(-5). Is i/7 + 6/21 prime?
False
Let z = -11 - -17. Suppose -q + 4*q - z = 0. Suppose q*x = -x - 5*l + 150, -x = -4*l - 67. Is x composite?
True
Let v = -26 + 29. Suppose 556 = v*c - 5*r, -2*c - 4*r + 88 = -246. Is c a prime number?
False
Let f be 9/3 - (-64)/2. Suppose -v = 3*k - 5, 4*k - f = -4*v + 1. Is v a prime number?
True
Let g(k) = k + 12. Suppose 4*z = -38 + 2. Let d be g(z). Suppose 2*q - 5*j + 40 = 163, 0 = -d*q + 5*j + 172. Is q a composite number?
True
Is (-21)/6*(-2 - 0) a prime number?
True
Suppose -5*i + 10 = -5. Suppose a - 2*b = 4 - 10, -3*a = i*b + 27. Is (22/a)/(4/(-48)) composite?
True
Let c(l) = 6*l - 1. Let w be c(-1). Let a be w*2 - 0/1. Let m = 33 + a. Is m a prime number?
True
Suppose w - 6*w - 5*s + 7035