alse
Suppose 0 = 5*x + 5*o - 20, -x + 4*x + 2 = 4*o. Suppose 3*g - 240 = 3*h, 4*g - 4*h + x*h = 326. Is g a prime number?
True
Suppose -47 = -j + 278. Suppose -v - x + j - 14 = 0, 4*x = 16. Is v a prime number?
True
Suppose -16 = -2*x - j, -3*j - 8 = -4*x + j. Suppose -3*h - 9 = -x*h. Is (-1)/h + 332/6 composite?
True
Let x be (10 + -7)/((-3)/4). Let y be (-1 - x)/(15/20). Suppose -1221 = -y*z + z. Is z a composite number?
True
Suppose 0 = 3*f + 3 - 9. Suppose f*y - 805 = -27. Is y a prime number?
True
Is (1 + -2924)*(-1 - 0) a prime number?
False
Suppose -2*i = -3*y + 2*i - 9, 4*y + i + 31 = 0. Is y*(36/(-28) - 2) a prime number?
True
Let t(n) = -7 - 6*n**2 - n**3 + 5*n - 3 - 4*n**2 - 3*n. Suppose 0 = 3*u + 3*m + 45, -m - 6 = -2*u - 24. Is t(u) a prime number?
True
Let b = 3102 + -1367. Is b composite?
True
Let r be ((-6)/5)/((-2)/5). Let f be 61/r + 36/(-27). Suppose -23*w = -f*w - 628. Is w prime?
True
Let f be 3*75/(-27)*-6. Suppose 51*t - f*t - 4291 = 0. Is t a prime number?
False
Suppose 3*t - 124959 = 205398. Is t composite?
False
Let p = -268 + 1370. Let x = 359 + p. Is x a prime number?
False
Let d(p) = -4*p**3 - p**2 - 3*p - 1. Let f be d(-1). Let h be 2/4 - 5/(-2). Suppose -2*v = f*k - 2053, -4*v + 4 = -h*v. Is k prime?
True
Let h be (18/(-8) + 1)/(1/(-48)). Suppose 0 = -h*q + 62*q - 4906. Is q prime?
False
Suppose 3*l + 7 = 4*s + 53, -2*l = 4. Let k(r) = -r**2 - 3*r + 11. Let t be k(s). Let c = t + 230. Is c prime?
False
Suppose 0*s + 3*s - 4*i - 14 = 0, -6 = 2*s + 5*i. Suppose -4105 = -s*a + 5*g, 4*g = -a - 2*a + 6123. Is a a composite number?
True
Suppose -4*c + 3*c - 230 = 0. Let b = 213 - c. Is b prime?
True
Let k(a) = 186*a - 5. Let c be 16/(-6)*36/(-16). Is k(c) composite?
True
Suppose 2*l = -3*l - 30. Let f(t) = -33*t - 7. Let i(q) = -33*q - 7. Let n(r) = -3*f(r) + 4*i(r). Is n(l) composite?
False
Let q = -94467 + 153594. Is q composite?
True
Suppose 7*q - q - 12354 = 0. Is q a composite number?
True
Suppose 30*l - 26*l = 44. Let q(d) = -6 + 10 - l - d**3 - 3*d + 12*d**2. Is q(10) composite?
False
Let x(a) = 797 - 2*a + 805*a**2 - 2*a**3 - 804*a**2 + a**3. Is x(0) a composite number?
False
Let x be 4 + 12/(-3) + 6. Suppose p + 575 = x*p. Is p prime?
False
Let q(g) = -g - 5. Let k be q(-11). Suppose -k*o = -10*o + 224. Let a = o - 23. Is a prime?
False
Suppose 5*n + 0*n + 5170 = 5*d, 0 = -5*d - 2*n + 5177. Is (d/(-6) + 3)/(2/(-4)) a prime number?
False
Suppose -2*a + 3630 = 2*r, 5*r = 2*r + a + 5441. Is r a composite number?
True
Suppose 0 = 24*i - 15*i - 30393. Is i composite?
True
Suppose 0 = -14*r + 43*r - 371519. Is r a prime number?
False
Suppose 16*b - 72917 = 13*b + 2*r, -5*r + 121520 = 5*b. Is b a prime number?
False
Suppose -5*l = -h - 19, h - 13 = -4*l - 5. Let g be l/((-6316)/(-1576) + -4). Suppose 2*u - 1957 = -r - 4*r, r + 3*u - g = 0. Is r prime?
False
Let o(h) be the second derivative of 799*h**4/12 + h**3/6 + h**2/2 + 8*h. Let r be o(-1). Suppose -4*q - r = -5*z, 3*z + 7 = 2*q + 488. Is z composite?
False
Suppose -10*v = -14*v + 3*a + 31268, 31268 = 4*v + 2*a. Is v a composite number?
False
Suppose 0 = 9*f + 21 - 3. Is ((-723)/6 - -4)*f a composite number?
False
Let g(s) = -s**3 - 9*s**2 - 5*s + 32. Let q = -13 - -2. Is g(q) a composite number?
True
Let m = 2084 - 3117. Let k = -596 - m. Is k a prime number?
False
Suppose 10*x = 5*x + 3730. Is x/3*(-9)/(-6) a prime number?
True
Suppose 0 = -2*o - 0*o - 3*b + 14998, -2*b = 0. Is o a composite number?
False
Suppose 2*v - 14 = -4*q, 0 = -5*q + 4*q - 4*v + 21. Let h be 27 + 2*q/2. Suppose 4*f - 4*m - h = -0*m, m = 5*f - 19. Is f a prime number?
True
Suppose 5*c - 1 = -11. Let b = -8 - c. Is (-3)/6 + (-2049)/b prime?
False
Suppose -4*d = f - 10457, 49647 = 4*f - 4*d + 7839. Is f composite?
False
Let p be (4208/3 - 0) + 4/12. Is 3 + -2 - (7 - p) prime?
False
Let w = -39 + 20. Let f(x) = -x**3 + 12*x**2 - 7*x - 34. Let t be f(10). Let z = w + t. Is z composite?
True
Let x(s) = 188*s**3 + 8*s**2 + 25. Is x(7) composite?
False
Suppose 60 = 5*n - 5*g, 8 = -3*n + 5*g + 48. Is -2*1/(n/(-16705)) a prime number?
False
Suppose -4*o = -8*o + 20. Suppose -m = -o*m + 8. Suppose -m*x = 4*f - 394, -5*f - 883 = -5*x + 27. Is x prime?
False
Suppose 2*p + 3*c + 9 = -p, -3*c + 6 = -2*p. Is 1210 + (0 - (p + 2)) prime?
False
Let s(w) = 68*w + 11. Let h(x) = x**2 - 6*x + 11. Let o be h(5). Is s(o) a composite number?
False
Is (-5)/80*-11876 + 3/4 composite?
False
Let f(g) = g**3 + 2*g**2 - 4*g - 1. Suppose z = 3*w - z - 15, 0 = 2*z. Let q(k) = k**3 - 3*k**2 - 9*k + 1. Let d be q(w). Is f(d) composite?
False
Suppose j + 2034 = 5*w, -3*j = -5*w - 0*j + 2042. Suppose 3*g - g = w. Is g a prime number?
False
Let t = 4208 - 15905. Is t/(-6) + 1/(-2) composite?
False
Suppose b - 4*w = 107559, -4*b + 4*w + 216221 = -214027. Is b prime?
True
Let d = -11 + 18. Let o(h) = -h + 3. Let f be o(d). Is (-3255)/(-20) - 1/f a composite number?
False
Let s(a) = 3*a**3 + 3*a**2 - 2. Let b be s(-2). Let v be (-8)/3*21/b. Suppose -v*g + 337 = -315. Is g composite?
False
Suppose -2*p = -4*s + 3 - 7, p = -4*s + 8. Suppose -4*o - 2*b = 253 + 19, 0 = b - p. Let c = 191 + o. Is c a prime number?
False
Suppose -3*y - 4 = -2*g, -3*g - 16 = y - 0*y. Let b(i) = 2*i**2 - i - 9. Let q be b(y). Let r = q + 64. Is r prime?
False
Suppose -14*n - 51*n + 4724525 = 0. Is n a prime number?
False
Let b(l) = 6*l**2 + l + 3. Let u(h) = -3*h - 1. Let p be u(-1). Let x be 1 + p + (2 - 11). Is b(x) composite?
True
Let c(x) = 1951*x**2 + 7*x + 53. Is c(7) a prime number?
True
Suppose -2*l - 50 = -3*l + 2*h, -274 = -5*l + 4*h. Let u be (5 + 31)*(-3)/4. Let f = l + u. Is f a prime number?
True
Suppose -2*r = -3*j - 2704, 2*r + 2*j - 1239 = 1485. Suppose 6*u = 8*u - r. Is u a prime number?
False
Let s(f) = 122*f + 1 + 103*f + 229*f - 124*f. Is s(1) a composite number?
False
Let m(a) = -4*a - 4. Let x be m(2). Let q = 16 + x. Is 2*(794/q - 0) prime?
True
Let a(c) = -159*c - 4. Let z be (-13)/5 - 15/(-25). Is a(z) a prime number?
False
Let i(f) = f**2 - 5*f + 1. Let c be i(5). Suppose 4*g = l + 9 - c, -5*l = -3*g + 23. Is (-71)/(-1) + g - 3 a prime number?
False
Let y(n) be the first derivative of n**5/4 - n**4/8 + n**3/6 - n**2/2 - 5. Let h(l) be the second derivative of y(l). Is h(2) composite?
True
Let s(x) = 4*x**3 + 3*x**2 - 1. Let q = 14 - 12. Suppose 8*z = 9*z - q. Is s(z) prime?
True
Let o(d) = 36*d**3 - d**2 + 5*d + 1. Let l be o(4). Suppose 0 = -3*z - 4*u + l, 2*z - 1184 = 2*u + 346. Is z prime?
False
Let s(u) = 3*u**3 + 2*u**2 - 7*u - 1. Let y be s(-3). Let r = 62 + y. Let j = r + 74. Is j a prime number?
False
Let k(x) = -x**3 + 12*x**2 + 4*x - 46. Let j be k(12). Is ((-318)/(-4) - j)/((-1)/(-2)) composite?
True
Let s be (1/(-2))/((-2)/2280). Suppose -385 = -5*x + s. Is x a prime number?
True
Suppose 2*t = 2*f - 0*t - 526, 0 = -4*f - 2*t + 1022. Suppose -m + f = -49. Is m prime?
True
Let a = 2893 + 1606. Is a composite?
True
Let g = 38 - 20. Let c be ((-8)/(-3))/(g/(-54)). Is (-67)/(c/(-3) - 3) a composite number?
True
Suppose 0 = -26*o + 10*o + 645520. Is o a composite number?
True
Let g(k) = -k + 9. Let s be g(12). Let u be (s/6)/((-1)/894). Suppose 0*f = 3*f - u. Is f a prime number?
True
Let s(x) = 752*x**2 - 5*x + 3. Let h(j) = -376*j**2 + 3*j - 2. Let o(a) = 5*h(a) + 3*s(a). Let k be o(-2). Let f = k + -950. Is f prime?
False
Let f(j) = -248*j + 19. Let g be f(-17). Suppose g = 4*d - d + 2*l, -2822 = -2*d - l. Is d prime?
True
Let g be -4 + (-21)/(-9)*3. Suppose -t - 18803 = -g*b + 8*b, 4*t - 15052 = 4*b. Is 2/(-7) - b/7 a prime number?
False
Let f = 9872 + -4117. Is f a prime number?
False
Let n(z) = z**3 + 2*z**2 - 3*z. Let p be n(-3). Suppose -b + f + 506 = p, -4*b + 6*b - f - 1017 = 0. Is b a composite number?
True
Let o = 27 - 16. Suppose 9*x - 4176 = -0*x. Suppose -5*v = -l - 447, 5*v - 4*l - x = -o. Is v prime?
True
Suppose 0 = d + t - 42485, -2*d + 57908 + 27072 = -3*t. Is d a composite number?
False
Suppose -78*w = -82*w + 117932. Is w composite?
False
Let g(u) = 119*u**2 + 3*u - 3. Suppose -8 = -4*n - 0*n - 4*t, 3*n - 3*t = 6. Is g(n) a composite number?
False
Suppose -133*r + 132*r + 43027 = 0. Is r prime?
False
Suppose p + 34378 = 3*w, 8*w = 12*w - 2*p - 45838. Is w a composite number?
True
Let g = 448 