uppose -4*o = -2*o. Suppose o = -4*f + 8*f + 5*x - 13, -3*x + 1 = -f. Suppose 2*l - 1458 = -5*a, f*l + 5*a = -3*l + 3615. Is l a prime number?
True
Suppose 1967 + 3893 = 5*u. Suppose 0*r + u = 4*r. Is r a prime number?
True
Suppose 4*u = 5*o + 7021, 2*o - 1683 + 6954 = 3*u. Is u a prime number?
True
Let c be (-2)/2 - -2 - -13*4. Suppose 4*p - 2*q = -7*q - 115, 149 = -5*p - q. Let u = p + c. Is u prime?
True
Let c(v) = -141*v**2 - 5*v + 35. Let l(m) = 35*m**2 + m - 9. Let g(k) = 2*c(k) + 9*l(k). Let t be g(-5). Suppose 5*j = t + 836. Is j a composite number?
False
Let u(x) = x + 24. Let s be u(-21). Is (-995 - -1)*-1 - s composite?
False
Let n = 2078 + -1308. Suppose -3*k - 351 = -2*f - 56, 5*f - k - n = 0. Is f composite?
True
Suppose -2*d - c + 10630 = 0, 14520 = 4*d + 4*c - 6732. Is d composite?
True
Let l(t) = -t**3 - 6*t**2 + t + 8. Let d be l(-6). Suppose z - 336 = -d*z. Suppose -2*q + 282 = z. Is q prime?
False
Let b(d) = -d**2 - 24*d - 15. Let v be b(-10). Let s = v - 16. Is s a prime number?
True
Suppose -3*n - 1 = -0*n - 2*o, -2*o + 4 = -2*n. Suppose -i = n*d - 10032 + 2963, 4*i = -8. Is d composite?
False
Let z(t) = 83*t + 4. Let v = 60 + -39. Suppose -q - 4*k = 11, -4*k = -0*q - q + v. Is z(q) prime?
True
Let x(o) = -26*o**3 + 12*o**2 - 28*o + 35. Is x(-14) a composite number?
True
Suppose -5*l + 3*k = -3368, -2*l + 1344 = 11*k - 9*k. Is l a composite number?
False
Let f(i) = 15*i**2 + 14*i - 109. Is f(12) a prime number?
False
Let m be -1 - -4 - (3 + -4). Suppose -2*n - l = -m*l, 0 = -5*n - 5*l. Suppose -2*a + 46 = -n*a. Is a a composite number?
False
Suppose -5*j - 11 = -26. Suppose -663 = -j*a - 30. Is a a prime number?
True
Let s(j) = 3*j**2 + 11*j + 36. Let f be s(10). Let l = f + 941. Is l prime?
False
Let z = -2799 - -4972. Is z a composite number?
True
Let z = 16396 - 10485. Is z a composite number?
True
Suppose -q = 4*q + 7160. Let s = -649 - q. Let o = s + -428. Is o prime?
False
Let s(l) = -15*l + 6. Let b be s(-13). Let j = -22 - -27. Suppose 2*q + b = j*q. Is q composite?
False
Let m be (1 - (-2 - -2)) + (1 - 6). Is ((-1)/(-6)*2)/(m/(-4668)) composite?
False
Let f = -191070 - -329353. Is f composite?
False
Let t be 1/(1 + 0) + -66. Let v = t + 91. Is v a prime number?
False
Suppose 0 = 5*b + 2*s - 37, 2*b + 4*s = -2*b + 20. Let v = b + -9. Suppose -7*r + 6*r + 59 = v. Is r prime?
True
Suppose -2*d + 3*q = 12, 3*d - d = -5*q + 20. Suppose -5*i = -d*i - 2*f - 2051, 0 = -2*i + 2*f + 824. Is i a composite number?
False
Suppose 20 = -5*o - 0. Let x be -1 + (-8)/o + 4. Suppose x*j - 401 - 14 = 0. Is j a prime number?
True
Suppose x + 3*g = 4, 3 + 1 = -x + g. Let o(d) = -29*d - 7. Let m be o(-5). Is (x - -7)*m/10 a prime number?
False
Let r(z) = 3*z**3 - 12*z**2 - 11*z + 6. Let v be (-2)/14 - (-44)/14. Let g(t) = t**2. Let x(o) = v*g(o) + r(o). Is x(7) a composite number?
True
Let r(a) be the first derivative of 11*a**3/3 - 2*a**2 - a - 1. Suppose 7*v - 20 = 8. Is r(v) a prime number?
False
Suppose -626376 = -35*o - 239521. Is o prime?
False
Let m(b) = 2*b - 11. Let x be m(8). Suppose 0 = -2*u - 2*l + 7 + 3, 0 = -u + x*l - 25. Suppose u = -5*r + 907 - 122. Is r a composite number?
False
Suppose 143*o = 131*o + 277644. Is o a composite number?
True
Is 20/(-24) - 500322/(-36) prime?
False
Let p(d) be the second derivative of -290*d**3/3 - 29*d**2/2 - 20*d. Is p(-3) composite?
True
Suppose -7*y + 2*y - 5 = 0. Is 15252/16 + y/4 composite?
False
Is (-5051*(-6)/(-36))/((-1)/6) a prime number?
True
Suppose 0 = -3*v - 2*x + 330935, 19*x = 5*v + 17*x - 551585. Is v a composite number?
True
Suppose -t - 4858 = -3*u, 5*u + 3*t = -t + 8125. Is u a composite number?
False
Let j(y) = -2*y - 13. Let c be j(-6). Let d = c - -55. Suppose -d - 37 = -r. Is r prime?
False
Suppose 2*o - 10 = 0, 4*f + 9*o - 12*o - 338981 = 0. Is f a composite number?
True
Let q = 299073 - 124390. Is q prime?
False
Let q = 9 + -6. Suppose -q*g + 40 = 2*g. Suppose p = -3*p - z + 512, g = 2*z. Is p composite?
False
Let t be ((-46)/(-115))/((-1)/5). Is -1 - (-1140)/(t - -5) a composite number?
False
Let d(u) = u - 2. Let z be d(-5). Is (-3 - z) + 2 + 881 prime?
True
Suppose 6762 = 8*b - 7966. Is b prime?
False
Let u = -223 - -413. Suppose 9*w - 4*w = u. Is w a prime number?
False
Let q be 720*108/63*14/10. Let d(w) = w**2 - 5*w + 6. Let c be d(4). Is q/28 + c/7 composite?
True
Let z = -5192 - -7542. Let t = z + -711. Is t prime?
False
Let x(a) = -2*a**3 - 33*a**2 + 22*a - 7. Is x(-20) a prime number?
False
Suppose -z = -3*l - 26, 2*z + 4*l = l + 34. Let k be (-2 + z/6)*3. Is 23*(2/(-2) + k) a prime number?
False
Suppose 0 = -4*g + 1 + 15. Suppose 5*d + 24 - g = 0. Is 1*74*d/(-8) composite?
False
Suppose 6 = -5*m - 3*i, 3*m - 5*m = -4*i - 8. Suppose 3*r - 7*r + 44 = m. Is r*3/12*4 a composite number?
False
Let d = 3128 + -2088. Let q = d + -742. Is q composite?
True
Suppose -3*v + 4*q + 38889 = 0, 3*v + q - 3*q = 38883. Is v a composite number?
False
Suppose l - 5536 = -13. Suppose -l = -8*r + 245. Is r composite?
True
Let o(s) = s**2 + 2*s - 1. Let k(q) = 2*q**2 + 5*q - 2. Let f(m) = -2*k(m) + 5*o(m). Let x be 1*-6 + (0 - 0). Is f(x) a composite number?
True
Let u = -345 + -9. Let h(f) = -10*f**3 - 8*f**2 - 7*f - 10. Let k be h(-5). Let x = k + u. Is x composite?
True
Let r(i) = -32*i + 10. Let d be r(-6). Suppose -b - 38 = -0*y + y, 5*b + 2*y = -d. Let a = -17 - b. Is a a composite number?
True
Let c(a) = 4*a**2 - a. Let h be c(1). Suppose -81 = -3*s - h*x, 0*s - 2*s + 53 = x. Suppose s = -5*z + 131. Is z prime?
False
Let m(q) = -8*q**3 - 6*q**2 - 6*q - 4. Let r be m(-6). Suppose -3*u = 2*k - 2*u - 767, -4*k - 4*u = -r. Is k prime?
False
Suppose -10*r = -5*r + 150. Is (-3)/18 + (-3455)/r composite?
True
Let u be (-25)/60*3*-4. Suppose 3*q = 4*q + 3, 27578 = u*o - q. Is o prime?
False
Let t(y) = 1213*y**2 + 8*y + 2. Is t(-3) composite?
True
Suppose 2*o - 1046 = 680. Is o prime?
True
Let a(g) = -g**3 + 32*g**2 - 51*g + 3. Is a(10) prime?
True
Let c(u) = -u + 5*u - u - 6. Let g be c(3). Suppose -4*r - 3*t = -r - 222, g*t - 376 = -5*r. Is r composite?
True
Suppose 244*k = 249*k - 4245. Is k composite?
True
Suppose -3*g = -0*g. Suppose g = 4*b - 1488 - 1608. Suppose -h - 3*t + 197 = 0, -4*h + 0*h + b = 5*t. Is h a prime number?
True
Suppose 0 = -4*g + l + l + 1998, -g + 3*l + 507 = 0. Suppose 0*s = 2*s - g. Suppose -s = -2*m + 85. Is m a composite number?
False
Let w(r) = -384*r - 59. Is w(-17) prime?
True
Let y = 1036 + -547. Is y a prime number?
False
Let d(l) = -l**3 + 7*l**2 - 3*l - 13. Let c be d(6). Suppose -152 + 57 = -c*q. Is q prime?
True
Suppose -h = -m + 1, m + 4*h + 2 = 8*h. Let u(l) = l + 1 + m*l**2 + 3*l**2 - 7*l + 4*l**2. Is u(4) a prime number?
False
Let p(d) = -d + 18. Let j(z) = 2*z - 18. Let m(l) = 2*j(l) + 3*p(l). Is m(-7) prime?
True
Let v(o) = -1432*o + 47. Is v(-12) prime?
True
Let h = -1848 - -1242. Let z = -415 - h. Is z composite?
False
Let j = 15 - 12. Suppose -j*a - 3*m - 354 = -5*a, -4*m = -16. Let i = a + -4. Is i a prime number?
True
Let t be (15 + -3)/3 + -4 + 2. Let i(p) = 4 - 5*p + 36*p**2 + 1 + 0. Is i(t) prime?
True
Is (9/((-72)/(-11162)))/(2/8) a prime number?
True
Let s(t) = t**3 + 5*t**2 - 9*t - 15. Let f be s(-6). Suppose -f*u - 194 = -1115. Is u a prime number?
True
Let h(d) = 1573*d + 459. Is h(31) prime?
False
Let s(p) = -3 - 33*p - 6 - 43*p. Let l be s(-4). Suppose 3*u + l = 8*u. Is u prime?
True
Let k(c) = c**2 + 22*c - 23. Let v be k(-23). Is (1 - v) + 1 - -939 composite?
False
Let c be (-244)/(-8)*(-1 + 3). Suppose 5*d + h = 3*d + 67, 2*d - h = c. Is d/3 - (-1)/3 a prime number?
True
Let t = 12 - 0. Suppose m = -2*r + 3*m + t, 3*r - 4*m = 21. Suppose -f = r*f - 892. Is f a prime number?
True
Suppose -5*f + 18 = 3*d, -2*d = 4*f + d - 15. Suppose 623 = f*j - 388. Is j a prime number?
True
Let q(a) = 11*a**2 - 6*a - 24. Let d be q(10). Suppose -g - d = -3*i, 0*g + 4*g = -i + 317. Is i a prime number?
True
Let m = -897 + 9224. Is m a prime number?
False
Suppose 2*n = -4*d + 71770, -150705 = -3*n + 4*d - 43080. Is n a prime number?
True
Let f(g) be the first derivative of -g**2/2 + 6*g + 6. Is f(-15) composite?
True
Suppose 5*l - 2*q = 545, 4*l = -5*q - 0*q + 436. Suppose u - l = 82. Is u a prime number?
True
Let i(r) = r**3 -