u = -k*c + c + 316. Is c a prime number?
True
Let q = 34 + -55. Is (-6)/q + 962/14 a composite number?
True
Suppose 0 = -2*t + 6 + 2. Suppose -u + 12 = -4*u + b, 3*b + 3 = -t*u. Is 2/u - 428/(-12) composite?
True
Suppose 3*a = g + 2*g - 93, 2*a - g = -66. Let q = a + 130. Is q a prime number?
False
Is 2062*(-3)/12*-2 composite?
False
Suppose -4*r + 11 = -9. Suppose 0 = 2*s + 5*u - 38 + 1, -25 = -r*u. Is s prime?
False
Suppose 0 = 4*c - 0 - 4. Suppose -1 = -q + c, -4*q + 26 = 3*y. Suppose -3*r = -y*r + 159. Is r a composite number?
False
Let y = 8 + -5. Suppose 805 = y*k - 143. Suppose a - 5*a + k = 0. Is a composite?
False
Let c = -24 + 45. Is c composite?
True
Let b = 620 + -321. Is b composite?
True
Let w(z) = 16*z + 15. Is w(6) prime?
False
Let z be 4/((-1)/(1 - 2)). Suppose 4*i = 3*f - 14, -4*f + 25 = -z*i + 1. Is f composite?
True
Let a(c) = c - 2. Let d be a(4). Let h(l) = -10*l**2 - 20*l + 36. Let y(g) = 2*g**2 + 4*g - 7. Let j(r) = d*h(r) + 11*y(r). Is j(-4) prime?
True
Let z be (-15)/(0 - 3/(-12)). Let x = z - -91. Is x a composite number?
False
Is ((-834)/(-8) - 2/2)*4 a composite number?
True
Let n = 746 + 911. Is n composite?
False
Let u(d) = 4*d**2 + 30*d - 17. Is u(-25) prime?
True
Suppose -h + 11*h = 670. Is h composite?
False
Let f(w) = -w**3 - 3*w**2 - 2*w - 6. Let p be f(-3). Suppose 5*u - 3*z - 1007 = p, u - 2*z - 2*z = 215. Is u a composite number?
False
Suppose 0 = 2*d - 63 - 43. Is d a composite number?
False
Let g(f) = -f**3 + f**2 - f - 2. Let y = 1 + -1. Suppose -2*k = 5*u - y*k + 15, -2*u - 6 = 5*k. Is g(u) a prime number?
True
Is ((-2164)/8)/(1/(-2)) a prime number?
True
Let z(o) = -303*o + 1. Is z(-4) a prime number?
True
Let g = 7116 - 4895. Is g a composite number?
False
Suppose -a + 32 = -5*a. Let p(q) = q**2 - 7. Let h be p(5). Let v = a + h. Is v composite?
True
Let q = 919 - -546. Suppose 3*a = -2*a + q. Is a composite?
False
Let q(h) = h**3 + 2*h**2 - 3*h + 4. Let l be q(-3). Let x(n) = -l + 2 - 7*n + 3. Is x(-3) composite?
True
Let y(a) = 3*a**3 + 9*a**2 - 7*a - 7. Suppose 5*d + 3 = 2*d. Let b(t) = t**3 + t**2 + 1. Let i(s) = d*y(s) + 4*b(s). Is i(8) prime?
False
Suppose 5*l = 4*n + 138, -3*l + l - 4*n + 44 = 0. Let v = 9 + l. Is v a prime number?
False
Let b(m) = -6 - 5*m**2 + 8*m - 5*m**3 + 0 + 4*m**3 - 1. Is b(-7) a prime number?
False
Suppose 3*x - 1744 = -2*s + 7*s, 5*x - 2913 = 2*s. Is x a composite number?
True
Let g(r) = r - 1. Let n(y) = -8*y + 12. Let q(k) = 6*g(k) + n(k). Let t be q(5). Let w = t + 131. Is w a composite number?
False
Let l(d) = 19*d**2 - 2*d - 5. Let m = -2 - 2. Is l(m) a prime number?
True
Suppose 0 = b - 3*o + 11, -5*o - 4 = -14. Let u(c) = -20*c - 3. Is u(b) composite?
False
Let l(d) = d**3 + 6*d**2 + 3*d + 1. Suppose 3*z - 7*z = 112. Let s be 7/z + (-7)/4. Is l(s) prime?
True
Let a = 1970 - 1031. Is a composite?
True
Let l = 4 - 4. Let y = 0 + l. Suppose y = -10*q + 5*q + 35. Is q a composite number?
False
Let k(b) = b**2 - 1. Let s be k(-1). Suppose -2*x - 2*n + 4 = 0, 5*n + 2 = x - s*n. Is 21 + (x + -2 - 0) a composite number?
True
Is (-1 - 0)*(3370/2)/(-5) a composite number?
False
Suppose -72 = 3*p + p. Let t = p - -103. Is t composite?
True
Let g = -240 + 827. Is g prime?
True
Let x(d) = -d**2 + d + 3. Let k be x(0). Suppose 4*a = 5*y + k + 14, -2*y = 2. Suppose 0 = a*f + 3*o - 5*o - 27, -2*o = -5*f + 41. Is f composite?
False
Let i(s) = s + 5. Let j(z) = 2*z + 11. Let f(x) = 9*i(x) - 4*j(x). Let p be f(2). Suppose -p*l - 4*n + 169 = 0, -4*l + 145 = -l - 2*n. Is l a composite number?
True
Let a = 12 + -7. Let y = a + -3. Suppose 0 = y*r - 152 + 38. Is r prime?
False
Suppose -192*g + 1101 = -189*g. Is g composite?
False
Let y = 54 + -24. Suppose 0 = -4*m - 10 - y. Is (m/(-6))/((-2)/(-12)) a prime number?
False
Let x(q) = -q**3 - 8*q**2 + q + 10. Let g be x(-9). Suppose -43 = -w - 3*v, -5*w + g + 97 = -3*v. Is w a composite number?
False
Suppose 2*q + 234 = 550. Is q a composite number?
True
Let z(w) = -211*w**3 - 2*w**2 - w. Let f be z(-1). Is f/2 - (-1 + 3) composite?
False
Let h(z) = -3*z**3 + 4*z**2 + 2. Suppose c = -2 - 1. Is h(c) a prime number?
False
Let u(h) = -30*h - 5. Suppose -k = -0*k + 8. Is u(k) prime?
False
Let l(h) = 4*h**3 + 6*h**2 - 7*h. Let p(s) = 3*s**3 + 5*s**2 - 7*s. Let y(o) = 2*l(o) - 3*p(o). Let u be y(-5). Let w = 46 - u. Is w composite?
False
Let p(q) = -22*q**2 + 6*q + 1. Let x be p(6). Let z = x + 1296. Is z composite?
False
Let p be 10/4*(-12)/(-10). Let x(r) be the first derivative of 4*r**3/3 + 3*r**2/2 + 2*r - 1. Is x(p) a prime number?
True
Suppose 0 = 3*z - 5 - 1. Suppose -3*i = -5*i - 2*k + 116, -z*k = -10. Is i a composite number?
False
Let d be 81*14*2/12. Let w = 400 - d. Is w prime?
True
Suppose 11 = -4*b - 5. Is (b - -5) + -2 - -410 prime?
True
Suppose -w - 2*a = -0*w - 201, 4*w - 804 = 3*a. Is w composite?
True
Suppose 2*q = -47 - 25. Let g = 65 + q. Suppose 172 + g = 3*t. Is t a prime number?
True
Suppose -3*u = -b + 218, -2*b + 5*u = -0*b - 437. Is b prime?
False
Suppose 0 = 2*n + 12 - 16. Is n + 0 - (2 - 293) composite?
False
Let b(r) = r**3 + 5*r**2 - 7*r + 3. Is b(-6) a composite number?
True
Suppose -a - 1 = -4. Suppose -184 = -a*y + 155. Is y composite?
False
Suppose -4*z = 3*l + l - 20300, -3*l - 2*z + 15229 = 0. Is l a prime number?
False
Is (-1880)/(-24) - (-8)/(-6) a prime number?
False
Let m(x) = x**2 - 164*x**3 + 0*x**2 + 963*x**3 - x. Is m(1) prime?
False
Let z(u) = -12*u + 1. Let h(d) = -d**3 - 5*d**2 - 5*d - 2. Let s be h(-4). Let n be -1*2/(s/3). Is z(n) prime?
True
Let c be 2 - ((-567)/3)/3. Suppose -c + 230 = 5*q. Is q a composite number?
True
Suppose m + 5*q - 75 = 0, -4*m = -2*m - q - 172. Is m prime?
False
Let d(t) = -107*t + 2. Let q be (-1 - -1*3)/(-1). Let l be d(q). Suppose -5*j - 41 = -l. Is j a prime number?
False
Let w(i) = -i**3 + 9*i**2 + 2. Let z be w(9). Suppose z*p - 345 = -p. Is p composite?
True
Let c be (0/(-1 + 0))/2. Suppose -2*z + 10 - 2 = c. Suppose -z*j = -9*j + 275. Is j composite?
True
Let f = -672 - -3487. Is f composite?
True
Let q(x) = -3*x**3 + 0*x - 4 + 4*x**3 + 2*x + 6*x**2. Let r be q(-5). Suppose -r = -l + 10. Is l a composite number?
True
Suppose 5 = f - 0*f. Suppose 163 = f*p + 2*g, 2*p - 33 - 32 = -g. Is p a composite number?
True
Let c = 0 - 2. Is (178/(-1))/(0 + c) a composite number?
False
Is (-2 - -319)*(1 + 0) prime?
True
Suppose -5*w + 462 = 4*x, -w + 3*w - 117 = -x. Is x composite?
False
Suppose 7*j - 2*j + 15 = 0. Is j*(11/3)/(-1) a composite number?
False
Suppose 5*h - 3*l = 2*l + 50, 5*h = -3*l + 10. Suppose -6 = -2*y, 5*q - 1228 - 102 = -h*y. Is q a composite number?
False
Suppose -36 = -4*y - 4*z, 0*z - 39 = -4*y - z. Is y composite?
True
Let f = 1 - -1. Let p be 0 + 4 + 1 + -3. Suppose 7*d - f*n = p*d + 55, -5*d + 55 = n. Is d prime?
True
Let a be (-8)/10*10/(-4). Suppose 0 = -t - 2*p + 55, -a*p - 3*p + 113 = 2*t. Suppose 3*h - t = 218. Is h a composite number?
False
Let a(y) = -y**2 + 4*y + 3551. Is a(0) a prime number?
False
Suppose -2*j + 133 = -5. Suppose 0 = -r + 28 + j. Suppose -4*h + 3*g + r = 0, -4*h - 2*g + 4*g = -94. Is h a prime number?
False
Let t be (-46678)/6 - (-4)/(-12). Is (-4)/(-6) - t/12 a prime number?
False
Suppose -g - 8*g - 117 = 0. Let z be 61 - 2 - -1*1. Let s = g + z. Is s prime?
True
Let v(u) = -u**3 + 2*u**2 + 5*u - 4. Suppose -14 = 2*y + 3*f - 8*f, f - 10 = -2*y. Let i be v(y). Suppose -2*x + n + 25 = 0, i*x - 3*n - 23 = -0*x. Is x prime?
True
Suppose 0*l + 18 = 2*l. Is l prime?
False
Let a(c) = 7 + 2 - c - 3. Is a(-5) a prime number?
True
Is (-1525)/(-20) + 6/8 a composite number?
True
Let c(u) = 44*u**2 + 17*u - 23. Is c(8) composite?
True
Suppose 0 = q - 9 - 24. Let d = 64 - q. Is d a prime number?
True
Let r(o) = o**2 + 5*o - 7. Let d(m) = -3*m**2 - 9*m + 14. Let s(v) = -2*d(v) - 5*r(v). Is s(-8) composite?
False
Suppose 3*y - 36 = -3*y. Is y a prime number?
False
Let s = -824 - -1179. Is s a composite number?
True
Let g(b) = 61*b - 3. Let v(z) = -z + 1. Let q(o) = g(o) - v(o). Let h be q(9). Is h/10 - (-10)/(-25) a composite number?
True
Suppose 1083 = 3*p + 2*s, 5*p - 1071 = 2*p + 2*s. Is p a composite number?
False
Suppose 3*h - 6 = -0*h. Is 376 + (12/h)/(-2) a composite number?
False
Let k = 1101 - 640. Suppose -165 = 4*f - 