13 = -3*k. Let f = -6 - k. Is f a composite number?
False
Let i be 6*6/27*-3. Let d be (58/(-4))/(i/24). Let l = -30 + d. Is l prime?
False
Suppose -2*w + 4*f - 14 = 0, w + 5*f - 3*f - 13 = 0. Let s = w - -18. Is s prime?
False
Let n = 246 - -133. Is n a composite number?
False
Let l be (-5)/(15/(-36)) + -2. Let u be 6*(-2 + l/4). Suppose -4*b + 199 = -q - 260, 4*b = -u*q + 463. Is b a prime number?
False
Let v = -4 - -4. Let l be -1 - (1 - 5) - v. Is l/(-3) + 1 - -55 a prime number?
False
Let v(x) = 9*x**2 - 6*x + 5. Let m = 6 - 2. Let s be v(m). Suppose -3*r - 2*r = -s. Is r a composite number?
True
Let j(s) = s**3 + 7*s**2 + 5*s - 2. Let r be j(-6). Suppose -2*w + 0 = -4. Is 2/(r*w/356) a composite number?
False
Let i(z) = -3*z - 11. Let u be i(-5). Suppose 45 = 3*o + 2*n, 0 = u*o - 6*n + 3*n - 60. Is o composite?
True
Let x(g) = -4*g + 7*g + 2 + g. Let i be x(-4). Is -14*2*i/8 prime?
False
Suppose 0 = 2*g - 8, -g = a - 4*a - 847. Let n = 472 + a. Is n composite?
False
Let p = 294 + -100. Is p prime?
False
Suppose -f = -8*f + 16331. Is f composite?
False
Let d(n) = 58*n**2 + 2*n - 1. Let m be d(-2). Suppose 3*s - 4*s = -m. Suppose -408 = -5*v + s. Is v a composite number?
False
Suppose -3*r - 3*d = -6*d - 2226, 4*r - 2967 = 5*d. Is r a composite number?
False
Let i be 1/(-4) + 275/(-4). Let f = i - -297. Suppose f = 2*p + 2*p. Is p composite?
True
Suppose 604 = -7*w + 3*w. Let h = w - -1512. Is h a prime number?
True
Suppose 5*t - 3*t - 842 = 0. Suppose -3*z = 15, 5*s + 11 - t = -z. Is s prime?
True
Is 2/7 + 12882/42 prime?
True
Let h = 75 + 36. Is h composite?
True
Let l(h) = -h**3 - h**2 + h. Let b be l(-2). Suppose -3*y + b*a - a = -599, -5*y = 2*a - 991. Is y prime?
True
Let a(s) = s**3 - 4*s**2 - 6*s + 5. Let v be a(5). Suppose 0 = 5*n - 10 - v. Is (-93)/n*6/(-9) composite?
False
Let k = 353 - 60. Is k composite?
False
Let n = -1 - 17. Let o be ((-4)/6)/(3/n). Suppose -3*v = -o*g + 194, 6*g - g + 3*v = 229. Is g a prime number?
True
Let h = 3 - 4. Let m be h/(-4) - (-92)/16. Is 154/m + 1/3 a prime number?
False
Suppose -8*q = -3*q - 4*h - 1689, -3*q = h - 1027. Is q a composite number?
True
Let y(h) = h**3 + 7*h**2 - 3*h - 5. Let x be y(-7). Suppose 2*u = -2*u + 2*n - x, 12 = -3*u - 2*n. Let g = -2 - u. Is g composite?
False
Let z(j) = 3*j**3 - 3*j**2 - 7*j + 3. Let y be z(5). Suppose y = c + 3*c. Is c prime?
True
Let m(q) = -q + 6. Let c be m(4). Suppose -f + c*f = -67. Let b = f + 116. Is b a composite number?
True
Let o(u) = 65*u. Suppose -4*a = -3*g - 1, -3*g = 4*a - 0 - 7. Is o(g) prime?
False
Suppose a - 1233 = 2*t, a = -7*t + 2*t + 1268. Is a a composite number?
True
Let b(c) = c + 1. Let a be b(2). Let o(u) = -3*u**a - u**2 - 5*u + 2*u**2 - 3 - 2. Is o(-4) composite?
False
Let b(j) = -j - 1. Let g be b(-5). Suppose -16 = -4*k + 2*y + y, 0 = -g*y. Suppose k*q = 3*q + 15. Is q a prime number?
False
Let a = -249 - -406. Is a composite?
False
Let n = -7 + 12. Suppose -4*l + 3*l = -n*w + 841, 0 = w - 3*l - 171. Let g = w + -115. Is g composite?
False
Let i(m) = 8*m - 61*m - 2 - 1. Is i(-4) prime?
False
Suppose 3*d = 7*d - 9740. Is d composite?
True
Suppose -4*q + q = -99. Is q a composite number?
True
Suppose 2*y = -5*w + 389, -2*y + 401 = 5*w - 4*y. Is w composite?
False
Suppose 456 - 2961 = -3*h + 3*o, -h + 5*o + 819 = 0. Is h a composite number?
False
Let t = 6 - 4. Suppose 0 = t*d + 3*y - 3, -2*d - 3*y + 11 = -8*y. Is d a composite number?
False
Suppose 0*t = -t - 4*r + 11, 0 = -4*t - 5*r + 55. Let q = t - -20. Is q a prime number?
False
Let r be 1/(-3 - 4/(-2)). Let c(p) = -56*p + 1. Is c(r) prime?
False
Let q(o) = o - 6. Let l be q(0). Let x be (-452)/(-1)*(l - -7). Suppose w - 5*w = -x. Is w composite?
False
Suppose 3*u - 52 = 4*u + 3*r, -200 = 5*u + 3*r. Let z = 104 + u. Is z a composite number?
False
Let p(s) = -5*s**2 - 2*s**3 + s - 2*s + 4*s**2. Is p(-2) prime?
False
Suppose 6 = -0*f + 3*f. Let t be ((-83)/3)/((-2)/18). Suppose 0 = -2*c - f*c - z + 208, t = 5*c + 4*z. Is c composite?
False
Let g(s) = 2*s + 3 - 3 - 3 + 4 + 124*s**2. Is g(-1) a prime number?
False
Suppose -4*h + 346 = 3*w, -2*w - 4*h = 3*w - 566. Suppose -165 - w = -5*u. Suppose 4*z - 149 = -3*d, -2*z + 2*d + 9 + u = 0. Is z a prime number?
False
Suppose -5*n + 0*n = -1885. Suppose -u + 960 = n. Is u a prime number?
False
Let n(v) = 19*v**2 + 2*v - 2. Suppose 0 = -5*x - 2*q - 5, 0 = -x + q + 2*q + 16. Is n(x) a composite number?
False
Let h(i) = i**3 + 3*i**2 + i - 1. Let g be h(-3). Let n(w) = -10*w + 1. Let s be n(g). Suppose -139 = -2*r - s. Is r composite?
True
Suppose -3*t + 5*z = -24, 32 = t + 3*t - 5*z. Let a = 19 - t. Is a a prime number?
True
Let y = 351 + -100. Is y prime?
True
Suppose -5*d = -2*j - 2933, j + 1169 = 2*d - 4*j. Is d prime?
True
Let a(f) = -2*f - 5. Let x be a(11). Is (-2211)/x + (-5)/(-45) a prime number?
False
Suppose 3*i + 4*p - 17 = 0, 3 + 4 = 5*i - 4*p. Suppose i*q = q + 148. Is q a prime number?
False
Let d(p) be the second derivative of p**5/4 - p**3/6 + 2*p. Let y be d(1). Is 111/2*y/6 composite?
False
Let k = -749 - -1080. Is k a composite number?
False
Let k(s) = s**2 - s + 3. Let y be k(0). Suppose -j + 13 = y*t, j - 4*j = -5*t + 3. Suppose j*u = -0*u + 60. Is u composite?
True
Suppose -5*a - 4*o + 0*o = -41, 2*o + 12 = 4*a. Let g(l) = -l**2 + 5*l + 2. Let k be g(a). Suppose 0*p = -p - 5*i + 17, 29 = p + k*i. Is p a prime number?
True
Let h = 8 - 12. Let n(w) be the second derivative of -w**5/20 - w**4/12 + w**3/6 + 3*w**2/2 - 3*w. Is n(h) composite?
False
Suppose g = 4*g - 15. Suppose 4*h - k = 744, h - k - 169 = -g*k. Is h prime?
False
Let p(j) = -4*j - 4. Let l be p(-5). Suppose -6*s - 3*y - 10 = -s, -4*s = 4*y + l. Is 3*(210/9 - s) a prime number?
True
Suppose 5*g = 646 + 1089. Suppose s = -3*t + g, t = 3*t + 3*s - 236. Let c = 236 - t. Is c prime?
False
Let c = 8 - 8. Suppose 0 = i - c*i - 50. Suppose -4*z = -b + z + i, 5*b + z = 172. Is b prime?
False
Let h(n) = -n**3 - 7*n**2 + 12*n + 13. Is h(-9) a composite number?
False
Let m(y) = -y**2 - 6*y + 3. Let n be m(-6). Suppose -n*h = s - 4 - 37, -2*s + 5*h + 60 = 0. Is s prime?
False
Let b be (85/10)/(1/(-2)). Suppose 201 = 4*v - 15. Let h = v + b. Is h prime?
True
Let n = -1 - -3. Let f = n + -3. Is 67*(-2)/(f + -1) composite?
False
Suppose -261 = 4*j - 3449. Is j a composite number?
False
Suppose 4*m - 5*w - 206 = 2*m, -w - 190 = -2*m. Is m prime?
False
Suppose 4*w + 8 = 0, 2*w - 3*w + 10 = -4*j. Is 53 - j/(6/4) a prime number?
False
Suppose 1 - 19 = -2*n + 5*g, 0 = -2*g - 8. Let o = -4 + 14. Is (n*2)/(o/(-1165)) prime?
True
Let t be ((-5)/((-20)/12))/1. Suppose p = t*h + 6, -5*p + h = -3*h - 63. Is p a prime number?
False
Suppose -u - 9 = -27. Let w = -7 - 0. Let o = u + w. Is o composite?
False
Is 3 - (2 - 5 - 263) a prime number?
True
Suppose 3*p - 4 = 44. Suppose -5 = d - p. Suppose d + 3 = 2*s. Is s a prime number?
True
Let b be (-1 + 6)*(-1)/(-1). Suppose b*w - w - 220 = 0. Is w composite?
True
Suppose -5*g = -f + 7, 4*g - 2*f - 3*f = 7. Let p be 40/(-25)*5/g. Suppose -5*x = -p*x - 59. Is x composite?
False
Suppose 3*q + 0*x - 4*x = 303, -q - x = -94. Is q a prime number?
True
Let s(t) = 4*t**2 + 3*t + 10. Is s(11) prime?
False
Let f(j) = -71*j + 43. Is f(-6) a composite number?
True
Let y(g) = -g + g + 11*g + 7*g - 1. Is y(4) composite?
False
Let n = -18 + 9. Let z be (-826)/n - 4/(-18). Suppose -z = -0*i - 4*i. Is i prime?
True
Let y = 282 + 109. Is y composite?
True
Suppose 2*r + 2*z = -2*z + 798, -r + 409 = -3*z. Is r composite?
True
Let l(s) = -4*s**3 - 12*s**2 + 4*s - 10. Is l(-7) a prime number?
False
Let c(y) = y**2 + 4*y + 1. Let p be c(-3). Suppose -4*o - 10 = -5*q + 6, 0 = 5*o + 4*q - 21. Is 67*(0/p + o) a prime number?
True
Let y be 5 + -3*2/3. Suppose -d = y*d. Suppose d = -b + 4 + 6. Is b a prime number?
False
Suppose 3*i + 0*i = 6. Suppose -3383 = -4*h + q, q + i*q + 3389 = 4*h. Suppose 9 = -4*z + h. Is z prime?
False
Is (19/(-3))/((-6)/1818) a prime number?
False
Let f be (23/4)/1*4. Suppose 0 = -m + 420 - f. Is m composite?
False
Suppose 30 = 2*s - 5*s. Let t(f) = -f**3 - 9*f**2 - 7. Let j be t(s). Let l = -24 + j. Is l prime?
False
Let u = 308 - 183. Suppose 4*r - u - 44 = -5*h, 2*h - r = 78. Is h prime?
True
Suppose -4*d + 16 = -4*o, -4