*2 - 14*x - 6. Let t be h(-13). Let m = t + -5. Suppose -3*o + 2*r = -249, 2*o = 3*o - m*r - 79. Is o composite?
True
Let d be (-3 - 195)*(-2 - (-64)/(-6)). Is (12 - -3)/3 + d composite?
True
Let f = 19 - 4. Let p be (-1*93)/(f/(-20)). Let y = -27 + p. Is y a composite number?
False
Let j be (-3)/(15/20)*3. Is ((-331)/4)/(4 + 51/j) a composite number?
False
Is ((-2132)/(-6) - -7)*3 a prime number?
True
Suppose 183800 = 4*b - u, b - 48925 = 5*u - 2956. Is b prime?
True
Suppose -k - 3*x + 2272 = 0, 13*k - 3*x = 17*k - 9061. Is k a composite number?
True
Let w(y) = 540*y**2 + y + 2. Let s be 6/3 + (1 - -2). Suppose 2*f + 2 = 0, 2*o + 2*o = -s*f - 9. Is w(o) prime?
True
Let f(n) = -n - 2. Let x be f(-3). Suppose t = -a - x, -3*a + t = 1 - 2. Suppose 5*r - 1000 - 885 = a. Is r composite?
True
Let a be -2 + (5 + -3 - -513). Suppose -y + a = 2*y. Suppose -i + 2*h + y = -3*h, 3*h - 12 = 0. Is i composite?
False
Let t be 6 - 8 - ((-2)/2 + -24). Suppose 0 = -i + 246 - t. Is i prime?
True
Is 3253 + 4 - (-5 + 8) a prime number?
False
Let h(k) = 2*k**2 - 21*k + 13. Is h(14) a prime number?
False
Suppose -3*k = -7*k + 20. Suppose -6060 = -k*x - 4*n, 4*n - 2*n - 4848 = -4*x. Suppose x = m + 3*m. Is m a prime number?
False
Suppose s = 5, 25741 + 134850 = 3*l + 2*s. Is l prime?
True
Let u be -5*(24/15 + -2). Let w be (u/4)/(4/(-200)). Is 10/w - 3051/(-15) composite?
True
Let p = -3162 + 5463. Let l be 2/(-8) - (-17)/4. Is l/(-18) + p/27 prime?
False
Suppose -4 = -5*b + 4*j - 2*j, -b + 2*j = 4. Let q(m) = -m**2 + 5*m - 2. Let g be q(b). Suppose g*d = 2*x + 798, 2*x + 2 = -0. Is d a composite number?
False
Let c = -79 + 200. Suppose u + 4*d = d + c, 2*u + 5*d - 244 = 0. Is u a composite number?
False
Is (-109650)/(-375) + -2*(-6)/20 prime?
True
Let x = 183 + -121. Suppose -4036 = -6*q + x. Is q a composite number?
False
Let j(m) = 161*m**2 - 18*m + 21. Let i be j(8). Let k = -5460 + i. Is k a composite number?
False
Suppose -v - 5 = 0, -3*x - 5*v + 22419 = 5998. Is x a composite number?
True
Suppose 0 = -8*l + 32201 + 5695. Is l composite?
True
Suppose 0 = -0*k + 2*k + 36. Let o = k + 15. Is 1 + (-858)/(o/1) a prime number?
False
Suppose -19*n = -36301 + 1208. Is n a prime number?
True
Is (-852)/(-8)*(-5 - 438/(-18)) composite?
True
Let f be 49884/18 + (-6)/(-9). Is f - 4*4/16 a prime number?
False
Let a(t) = t**3 - 11*t**2 - 11*t - 13. Let v be a(12). Let s be 1 - (v*15 + 1). Suppose 9*w + 1794 = s*w. Is w prime?
False
Suppose 4*w - 304 = -g, 3*w = 4*g - 424 - 811. Suppose -2*z = -2*p + 134 - 730, 3*p = z - g. Suppose v + 263 = 2*k + 2*k, -5*v = 4*k - z. Is k composite?
False
Let p(j) = 0*j - 99 + 518 + 0*j - j. Is p(0) a prime number?
True
Suppose 0 = -i - 4*i - v + 11, 4*v = i - 19. Suppose -i*w + 14 = 2*a - 4, -2*a + w = -2. Is 7/a + (-4)/(-6) composite?
False
Let w(g) = -g**3 + 25*g**2 - 30*g - 24. Let h be w(22). Let m be -1*1/((-1)/2). Suppose 0 = 4*i - m*y + 105 - 1111, -3*y + h = 3*i. Is i a prime number?
False
Suppose -30 - 6 = 4*z + 5*s, -s + 46 = -3*z. Is (-148)/z + 4/(-7) composite?
True
Suppose 0 = -6*t + 3*t + 9, 0 = -4*p - 4*t + 21224. Is p prime?
True
Let z = 3 - -2. Suppose 4 = 6*m - z*m. Is (74 - 1) + m + -3 composite?
True
Suppose -5*x + 442 = 3*n, -x + 4*n + 271 = 2*x. Suppose 0 = 5*l + 3*a - 6*a - 72, -5*l - 3*a = -78. Let k = x - l. Is k a composite number?
True
Suppose -3*s + 4*x + 5483 = 3*x, 4*x = 5*s - 9129. Is s prime?
False
Let x be (-3)/9*0 - -3. Suppose 6*y = x*y + 111. Suppose y = -b + 168. Is b a prime number?
True
Suppose j + 2*j = 15. Let q = -1 + j. Suppose 2*l = 5*u - 453, 4*u + 0*u = q*l + 372. Is u a composite number?
False
Suppose 2*h - 4 = -2*f, -h = 5*f - 4*h - 26. Let w(m) = 3*m - 4. Let x be w(f). Is (422/8)/(2/x) a prime number?
True
Suppose 2*q - 88926 = 4*l, 2*l + 44459 = q - 2*l. Is q a prime number?
False
Let o = 4307 + -2154. Is o a prime number?
True
Let i(d) = -3*d - 2. Let y be i(-1). Let p be ((-30)/(-12))/(y/10). Suppose -f = -2*f + p. Is f a composite number?
True
Let g(c) = c**2 - 34*c - 21. Is g(-10) composite?
False
Let s be (-2)/11*(-12 - -1). Suppose s*k = 8969 - 2971. Is k a composite number?
False
Let c be (-862)/(-6)*(-12)/(-4). Let v be (4/(-12))/(3/(-9)) - -4. Suppose v*f + 106 = c. Is f a composite number?
True
Let s(y) be the second derivative of 49*y**4/6 - 11*y**3/6 + 14*y**2 - 59*y. Is s(5) prime?
True
Let z(m) = -14*m + 2. Let a(k) = 28*k - 4. Let y(c) = -3*a(c) - 5*z(c). Let f be y(2). Is (-1 - 1)*2795/f a prime number?
False
Let l(y) be the second derivative of y**6/360 - y**5/24 + 7*y**4/24 - 5*y**3/6 - 3*y. Let x(s) be the second derivative of l(s). Is x(-15) a prime number?
True
Suppose 4*j = -6*j - 2070. Suppose -407 = 4*r + 161. Let w = r - j. Is w composite?
True
Suppose 0 = -5*v + 2*g - 10, 0*g + g - 5 = 3*v. Suppose v*m = 4*m + 60. Let o = 7 - m. Is o a composite number?
True
Let k(g) = 2*g - 10. Suppose 4 = -2*b - 5*s - 5, -5*b = 3*s - 25. Let p be k(b). Suppose q - 13 - p = j, -2*j - 57 = -3*q. Is q a prime number?
True
Let v be (5 - 5)*2/4. Suppose v = -3*h + h + 446. Is h a composite number?
False
Suppose 3*t + 232 = -j - 0*j, 5*j + 3*t = -1136. Let w = 405 + j. Suppose -o = 5*x - 380, -2*x - 5*o = -4*x + w. Is x prime?
False
Suppose -2*y = j - 2, 2*j + 4*y = -3*j - 8. Let l be (-1)/(j/12) + 1. Suppose 0 = -l*f - 3*t + 360, f - 124 = -5*t - 17. Is f prime?
False
Suppose -3*f - 3 = -9. Is 8117/15 - f/15 a prime number?
True
Suppose -a - 2*g + 6467 = 0, a - 32340 = -4*a - 5*g. Is a composite?
False
Let o(k) = -k + 6. Let m be o(6). Suppose 2*h = -2*u + 126, -h + 255 = 2*u + 2*u. Suppose a + 250 = w + 4*w, m = w - 3*a - u. Is w prime?
False
Suppose -650*c + 28533 = -647*c. Is c a composite number?
False
Let i(y) = -4*y**2 - 57*y - 72. Let b be i(-13). Suppose -4*f + 25 + 1 = 3*q, -3*q + 11 = f. Is (-47)/q*(b + -19) a composite number?
True
Suppose -9415 = -m + 4*h, -8*h + 13*h - 37723 = -4*m. Is m prime?
False
Let x(r) = -r**2 - 4*r. Let k be x(-4). Suppose n + k*j = 2*j + 6, 0 = 4*j + 16. Is (534/(0 + -3))/n a composite number?
False
Let o be (-8)/12*(-165)/2. Let w be 26598/o - 6/10. Suppose 2*i + w = 5*i. Is i composite?
True
Suppose -24 = -4*o - 2*y, 0 = 3*o + o + 3*y - 28. Let p be (-1 + 2)/((-2)/2). Is (106/p)/(o + -6) a composite number?
False
Let c(n) = 304*n - 13. Is c(6) a composite number?
False
Suppose b - 610003 - 113621 = -4*y, y = 3*b + 180919. Is y composite?
False
Let d(z) = -53*z + 14613. Is d(0) composite?
True
Let f(z) = z - 12. Let w be f(12). Let j be (3/(-6))/(1/(-2)). Is (w + j)*(15 - 0) a composite number?
True
Suppose -54 = -5*q + 4*y - 1, -4*y - 26 = -2*q. Is 664/6 - q/(-27) a composite number?
True
Is 66320/9 + 3/27 a prime number?
True
Let d(x) = -5*x**2 - 4*x + 2. Let u be d(3). Suppose 2*c = -5*i + 696, 2*c - 554 = -4*i - c. Let a = i + u. Is a a prime number?
False
Let g(x) = 22*x + 41. Let c = -32 - -52. Is g(c) prime?
False
Let f(k) = 4473*k - 160. Is f(5) composite?
True
Let t = -95 + 74. Is t/14*886/(-3) a composite number?
False
Let f(v) = 428*v - 6. Suppose 0 = 5*x + l - 7, 7*l - 4*l = -4*x + 10. Is f(x) prime?
False
Let r = 12141 - -1760. Is r composite?
False
Suppose -i = 4, -2*c + 59 = i + 13. Let t be 10/c + 1207/(-5). Let q = t - -528. Is q a prime number?
False
Suppose 157387 = -241*t + 272*t. Is t a prime number?
True
Let i(z) = 3*z + 1. Is i(12) composite?
False
Suppose 4*v - 4*a = -20, 4 = -0*v + 2*v + 5*a. Let m be 4/(-2) - v/(-1). Let s(w) = 14*w**2 + 3*w. Is s(m) composite?
True
Let a(l) = 7*l - 39. Let x be a(6). Suppose 2*v = -2*r - 0*r + 18, 7 = -2*r + x*v. Is r prime?
False
Suppose 0 = 16*m - 164681 + 26073. Is m a composite number?
False
Suppose -4*v + 25252 = 2*s + 1632, -5*v - 3*s = -29527. Is v composite?
False
Suppose -1 - 2 = 3*q, 4*q - 6 = p. Is (5005/p - 4)*2/(-1) a prime number?
True
Let t be 2 - (-1 + 3 - 30). Let a = t + -24. Let j(y) = 11*y**2 + 5*y - 7. Is j(a) a composite number?
False
Suppose -5*w + 2 = o + 2*o, 2*o + 3*w = 0. Let d = -7 - o. Is d/4 - 5335/(-44) a prime number?
False
Suppose 0 = -c + 3, -4*c = 3*d - 2685. Let q = -8236 + d. Is 2/(-9) + q/(-45) prime?
True
Let z(k) = -3*k - 4. Let s be z(-8). Let u be 12*s + (-9)/3. Suppose -4*p = p - 5*h - 630, -2*p = -5*h - u. Is p prime?
True
Let b(q) = -4