, 0*n = -n - 3*z + 10. Is n a prime number?
True
Suppose -5*y = g - 2*g + 634, 4*y = -5*g + 3054. Is g a prime number?
False
Let r = 894 + -547. Is r a prime number?
True
Let a(p) = 23*p + 41. Is a(6) a prime number?
True
Suppose 2*p - p - 5*l - 585 = 0, 3*p - l - 1699 = 0. Suppose -3*s - 2*s = -p. Is s a composite number?
False
Suppose -2*s + 532 = -142. Is s prime?
True
Suppose 18 = -4*k + i - 9, 2*k + 1 = 3*i. Let r(z) = z + 10. Let l be r(k). Is l/5 - 256/(-10) prime?
False
Let d = -958 - -2277. Is d a prime number?
True
Let w(n) be the first derivative of n**4/4 - 5*n**3/3 + 4*n**2 - 3*n - 3. Is w(5) a prime number?
True
Let b = 275 + -66. Let v = b + -26. Is v composite?
True
Suppose -5*y = -y + 32. Is 1/((y/(-70))/4) composite?
True
Suppose 4*l - 182 = -5*m + 1053, -3*l + 989 = 4*m. Is m composite?
False
Let l(h) = -6 + 0*h + 3 - h - 11*h**3 + 2. Is l(-1) a composite number?
False
Let k = 901 + -402. Is k composite?
False
Let p(z) = -7*z + 4 - 5 - z. Is p(-7) a composite number?
True
Suppose -4*f - 3*l + 809 = -180, -5*l + 728 = 3*f. Is f prime?
True
Suppose -3*x = 5*g + 2746, 0 = -x + 3*g + 26 - 946. Let u = x - -1324. Is u a composite number?
True
Let i be (-2 + 1 - -2)*-13. Let r = 18 + i. Suppose -o + 0*q + 10 = 4*q, -5*o + 125 = -r*q. Is o a composite number?
True
Let r = -344 + 613. Is r composite?
False
Suppose 0 = -5*s - 3*x + 29, -2*s = x + x - 14. Suppose -t + 3*t - 706 = -s*k, -5*k - 332 = -t. Is t a prime number?
True
Suppose 0 = 5*v - 5*z - 15, -3*v = 2*z - 0 - 4. Suppose -v*n = 2*f - 16 - 8, f = 4*n - 63. Is n prime?
False
Let x(p) = p**2 - 6*p + 4. Let q be x(5). Is (-5)/q*147/35 prime?
False
Let v(r) = -r + 3 + 3 + 9 - 1. Is v(8) a composite number?
True
Let f be (12/(-15))/(4/(-10)). Suppose -f*x + 18 = 3*x - 4*o, -3*x + 5*o + 3 = 0. Suppose 11*w = x*w + 70. Is w a prime number?
False
Is 3/5 + (-11616)/(-40) a composite number?
True
Suppose c = -2*i - c + 594, -5*i + 1453 = -3*c. Is i a prime number?
True
Let f be (-3648)/36 - 1/(-3). Let b = -48 - f. Is b a prime number?
True
Let f(q) = q**2 + 10*q + 4. Let c be f(-7). Let l(k) = k**3 - 3*k**2 - 3*k + 3. Let v be l(3). Let i = v - c. Is i a composite number?
False
Suppose -3*x - 33 = v - 792, -3*v + 4*x + 2251 = 0. Is v prime?
False
Suppose -a + 385 = 147. Suppose 0 = o + o - a. Is o composite?
True
Suppose -260 = -2*k + j - 681, -j + 630 = -3*k. Let o = k + 298. Is o a composite number?
False
Suppose h - 308 - 555 = 0. Is h prime?
True
Suppose 0 = -5*x - 3*l + 22, 0*l = x - l - 6. Suppose -x*c + 61 + 114 = 0. Is c a composite number?
True
Let x(l) = -l**3 + 7*l**2 + 8*l + 4. Let g be x(8). Suppose -2*z = 4*h - 387 + 81, g*h = -z + 307. Is h prime?
False
Let w = 13 - -88. Suppose 0 = -4*m - 4, -j + 4*m = -17 + w. Let l = j + 153. Is l a prime number?
False
Let c = 20 - 39. Let f = -9 - c. Suppose 0 = -a - 4*d - f, 7*d - 3*d = -5*a - 2. Is a a composite number?
False
Let g = 791 + -1329. Let o = -4 - g. Is (1/(-3))/((-2)/o) a prime number?
True
Suppose 4*m + 8 = 0, 4*n + 2*m + 0 = 4. Suppose -3*v + 5*f + 265 = 0, -7*f - 350 = -4*v - n*f. Is v prime?
False
Let o = -127 - -420. Is o a prime number?
True
Suppose 3*b - 2 = b. Suppose -2 = -3*v + b. Let y(g) = 10*g**2 + 2*g - 1. Is y(v) a composite number?
False
Let s be -1 - (-57 - 1/(-1)). Suppose w + s = 6*w. Let h(x) = x**2 + 10*x - 8. Is h(w) composite?
False
Let r(o) be the second derivative of -55*o**3 - o**2/2 + 2*o. Is r(-1) composite?
True
Let n = 2658 + -1241. Is n a prime number?
False
Let x = 121 + -8. Let a = -78 + x. Is a a prime number?
False
Suppose 0 = 2*g - 2*f + 10, -2*g + f = -0*g + 7. Let m be (-1 + 0)*g*1. Suppose -2*c = m*q - 81 - 35, 4*c = q + 207. Is c composite?
False
Suppose -i + 5 + 2 = 4*f, 8 = -4*f + 4*i. Let p be (-2 - 12)*(-2)/4. Suppose f = -c + p. Is c a prime number?
False
Let m(l) = 16*l**2 + 5*l - 12. Is m(5) a prime number?
False
Let v(w) be the first derivative of w**7/840 + w**6/60 - w**5/15 + w**4/12 + 2*w**3/3 + 3. Let q(k) be the third derivative of v(k). Is q(-7) prime?
False
Let v(m) = 22*m. Suppose a - s + 12 = -6*s, 2*s + 14 = -5*a. Let j be a*2/(-4) - 0. Is v(j) a prime number?
False
Suppose -s = -0*s - 434. Suppose -s = -0*v - 2*v. Is v a composite number?
True
Suppose 4*o - 38 = 446. Is o a prime number?
False
Let p = 4 + -2. Let u(x) = p - 13 - 3*x - 2*x + x**2 + 0*x**2. Is u(11) a composite number?
True
Is (3646/4)/(7/14) prime?
True
Let k(j) = 22*j**2 + 4*j - 1. Let u = 5 + -2. Let p be k(u). Let a = p + -22. Is a a composite number?
True
Suppose 3*a = d - 2 + 14, -5*a = -25. Let s = d - 7. Is 2*((-102)/s + 1) prime?
True
Let n(i) = i**3 - 8*i**2 + 6*i + 8. Let s be n(7). Is (113/s)/(2 - 1) a composite number?
False
Let t be 1/(3/(-15)*-1). Suppose 5*c - 14 = -2*h, t*h = 4*c + 28 + 7. Let a(d) = -d + 16. Is a(h) a prime number?
False
Let w(a) be the second derivative of 5*a**4/12 + a**3/6 + 11*a**2/2 + 6*a. Is w(-5) prime?
True
Let c(u) = -u**3 + 7*u**2 - u. Let m be c(7). Let z(t) = 4*t**2 + 6*t - 9. Is z(m) a prime number?
False
Let t(r) = -2*r**3 - 7*r**2 - 7*r - 9. Is t(-4) a prime number?
False
Suppose 0*y + 471 = 3*y. Is y a composite number?
False
Suppose t = -0*t + 9. Is (-8)/12 + 1833/t a prime number?
False
Let z = 5 + 1. Suppose -335 = -z*l + l. Is l a prime number?
True
Let u = 24 - 14. Suppose -u = -2*z + 10. Is z composite?
True
Suppose m - 53 - 36 = 0. Is m composite?
False
Let i(a) = 87*a**3 + a**2 + 2*a + 3. Let c(f) = 175*f**3 + 2*f**2 + 4*f + 7. Let d(j) = 2*c(j) - 5*i(j). Is d(-1) composite?
True
Suppose 5*w + 3*a - 7*a = 2247, 12 = -4*a. Is w prime?
False
Let v = -23 + 32. Is v a composite number?
True
Suppose -3*f = 2*f + 5. Is ((-92)/8)/(f/14) prime?
False
Let r = -1520 - -3723. Is r a composite number?
False
Let p be 11/3 + 4/(-6). Suppose 2*m - 5*j + 13 = 3*m, -4*m - p*j + 18 = 0. Suppose -m*n = 2*n - 185. Is n a composite number?
False
Suppose -3*r + q + 1628 = 0, 4*r - 4*q - 561 = 3*r. Is r a prime number?
True
Suppose -11 = 4*b + 5. Let d = 63 - b. Is d composite?
False
Suppose 3*n - 1233 = -2*u, -2*n - 166 + 975 = -3*u. Is n a prime number?
True
Let j be 4/3 + 2/3. Suppose 5*l - 650 = 5*m, -j*l = l + m - 402. Let s = -54 + l. Is s a prime number?
True
Suppose -12*g = -10*g + 4*l - 14578, 4*l + 14554 = 2*g. Is g composite?
False
Let o = 7 + -9. Is 1 + (o - -128)/1 prime?
True
Let d = 3889 + -2226. Is d a composite number?
False
Is 5/(5 - 0) - -261 prime?
False
Suppose 1 = p + 4. Let y be -2*p/6*-28. Is ((-1)/1)/(4/y) a composite number?
False
Let o(f) be the first derivative of 11*f**2/2 + f - 1. Is o(6) composite?
False
Let l(f) = -f**3 + 7*f**2 + 6*f - 7. Is l(6) a composite number?
True
Suppose -2*n + 346 = 2*g, 11 = 3*g + 2. Let b = 17 + n. Is b prime?
False
Let g = 6 + -4. Let k be (1 - 2)/(g/(-4)). Suppose -12 = 4*z, k*z + 199 = 4*s + z. Is s a prime number?
False
Suppose 0 = -d - 2. Let u(r) = -45*r + 1. Is u(d) a prime number?
False
Let c be (1062 - 0)/(3/2). Let s = c + -31. Is s prime?
True
Let l(r) = 0 + 0 + 13 - r. Let f be l(9). Suppose -2*m + 61 = -3*z, f*m - 22 = -5*z + 45. Is m composite?
False
Is 889 - 3*(-8)/(-12) a composite number?
False
Suppose 2*w = -0 + 4. Let h be -3*(24/9 - w). Is (-6)/h + (10 - -2) prime?
False
Let m(v) = -v**3 + 4*v**2 - 9*v - 16. Is m(-7) a composite number?
True
Suppose 0 = 2*z + z + 3. Let j = 19 + z. Suppose -h + 3*o = -10 - j, 5*o - 52 = -h. Is h a prime number?
True
Suppose 4*v - 9*v = -1295. Is v prime?
False
Let v(p) = -p**2 - 1. Let z(f) = -6*f**2 - f - 4. Let d(k) = v(k) - z(k). Suppose 16 = 2*l + 2*l. Is d(l) composite?
True
Is (14/(-21))/(2/(-3543)) a prime number?
True
Is 359/(-3*(-4)/12) composite?
False
Is (-9)/((-2)/2) + 1 a prime number?
False
Suppose -5*z = -0*z + 3*d - 6415, 5*d = 0. Is z prime?
True
Let k(s) = 469*s. Let r(g) = -g**3 - g**2 - g + 1. Let c be r(0). Is k(c) prime?
False
Let k be 32/2 - (-2 - -1). Suppose -a = -2*c - 4 - k, -5*a = 15. Let r = -5 - c. Is r a composite number?
False
Let u be (4/14)/((-2)/(-14)). Let n be 16/(-7) + (-2)/(-7). Is (n + 1)*(u + -189) a composite number?
True
Suppose 2*x = -0*x + 112. Let n be 878/18 + (-10)/(-45). Suppose 0 = -3*l + x + n. Is l a prime number?
False
Let b(d) = d - 1. Let l be b(3). Suppose -l*h + 277 = -6*t + t, 4*t = 