 Is a a composite number?
True
Let h = 1273 + 475. Suppose -4*k + h + 1032 = 0. Is k a composite number?
True
Suppose 6*u = u + 25. Let h = 261 - 72. Suppose -u*n + 2*q = -232, n + 3*n - 5*q = h. Is n a prime number?
False
Suppose -4*g + 1324 = g + w, -5*w - 270 = -g. Is g a prime number?
False
Let v(b) = -b**3 + 13*b**2 + 18*b + 11. Is v(14) a composite number?
False
Let t = 10 + 93. Is t prime?
True
Suppose -4*n + 1098 + 114 = 0. Is n composite?
True
Suppose -5*j - 2*q + 0*q = -2, -j - 3*q - 10 = 0. Is j prime?
True
Let d(u) = -u**3 + 10*u**2 - 8*u - 6. Let r be d(9). Suppose -208 = -r*l - 67. Is l composite?
False
Let w(i) be the second derivative of i**5/20 - 5*i**4/12 + 2*i**3/3 + i**2/2 - 6*i. Is w(5) a prime number?
False
Let o be (-86)/(-2) + 0 + -1. Suppose -l - 7 = -o. Is l a composite number?
True
Let n = -5 + 5. Suppose 2*l - 4 - 2 = n. Is l/6*8 - 1 composite?
False
Suppose -v + 708 = -641. Is v composite?
True
Let w = 12 - 12. Suppose l - 5*l + 236 = w. Is l a prime number?
True
Is (9 - 10)*(-70 + 2/(-2)) prime?
True
Suppose 6*p - 60 = 2*p. Let v(b) = 16*b + p*b - 2 - 2. Is v(3) a composite number?
False
Let f be (-2)/(-6) - (-68)/12. Suppose -2 = -3*i - 2*u, -f*u + 2*u = 8. Suppose 4*s = -n + 127, 0*s = -i*s - 3*n + 71. Is s a prime number?
True
Let h = 11 + 8. Is h a composite number?
False
Let t be 0 - (0/(-2) - -2). Is ((-620)/(-2))/(t + 4) prime?
False
Let y = -6 - -6. Let p = 9 + -7. Suppose y = -z + p + 13. Is z a prime number?
False
Let m = -472 - -190. Is m/(-9) + (-2)/6 a prime number?
True
Suppose -638 = 7*z - 8*z. Suppose 2*q = 4*q - z. Is q prime?
False
Let i be (2 - 1) + -4 - 2. Is (i - (-4 - -1)) + 59 composite?
True
Let n = 2 - 2. Let f(i) = 4*i - 3*i + n - 4. Is f(7) a composite number?
False
Let a(w) = 53*w + 19. Is a(8) composite?
False
Let k = 1 - -1. Suppose 2*j + 2*y = 224, k*j - 223 = 2*y - 3*y. Is j prime?
False
Suppose -4*d - 8 = -0*d. Suppose -3*x - 2*v - 14 = 3*v, -14 = x + 4*v. Is 92 - (d/x + 2) prime?
False
Suppose 5 = -5*l, -g - 315 = -2*g - 3*l. Is (g/9)/(2/3) a composite number?
False
Let c = 23 + -20. Suppose 4*q = -5*z + 2*z + 235, c*z + 2*q = 233. Is z composite?
True
Suppose 4*h + 24 = -0*h. Let c(n) = -n**3 - 4*n**2 + 7*n + 9. Let x(z) = z**3 + 4*z**2 - 7*z - 10. Let g(d) = 5*c(d) + 4*x(d). Is g(h) prime?
False
Let l(p) = -249*p - 8. Is l(-7) a prime number?
False
Is (11975/(-20))/((-2)/8) composite?
True
Suppose 3*u - 4*f = 2*u + 1219, -4*u - 2*f = -4912. Is u prime?
False
Let u(c) = c**2 - 2*c + 1. Let s be u(3). Is (74/s)/((-5)/(-10)) prime?
True
Suppose -2*o + 40 = -34. Is o a composite number?
False
Suppose -1467 = -2*h - h. Is h prime?
False
Let d be 3/15 - 78/(-10). Suppose 5*w + 3 - d = 0. Is 0/(0 - w) - -3 a prime number?
True
Let i be -2 + -1*(120 - -1). Suppose 97 = -5*z - 808. Let x = i - z. Is x a prime number?
False
Suppose 3*q + 18 + 6 = 0. Let n(y) = 9*y**2 - 11*y - 10 + y**3 + 0*y**3 + 6*y. Is n(q) composite?
True
Let d(a) = -a**2 - 3*a + 3. Let o(s) = s**2 - 7*s + 9. Let f be o(6). Suppose -15 + 6 = f*q. Is d(q) a prime number?
True
Let q be (-2)/(-9) + (-2)/9. Suppose q = x - 34. Is x composite?
True
Let j = -111 + 144. Is j composite?
True
Let b be 229/(-2)*(-8)/2. Let c be (-2)/(-7) - b/(-14). Is c/(-5)*-1*5 composite?
True
Let z(y) = -5*y + 2. Let v be z(4). Let a = v + 37. Is a a prime number?
True
Suppose 2*z - 786 = -g, -4 + 0 = z. Is g a prime number?
False
Suppose -2*s - s = -4629. Is s composite?
False
Let d = -319 - -581. Is d prime?
False
Suppose -8 = 2*a - 3*a. Let p(i) = 19*i + 5. Let s be p(a). Suppose -s = -2*k + 3*m, -5*m - 156 = -3*k + 80. Is k a composite number?
True
Let b be ((-2)/(-5))/((-1)/5). Is ((-7)/b)/((-2)/(-52)) composite?
True
Suppose -2*a + n = 91, -2*n + n - 217 = 5*a. Let u be a/(-10) - (-2)/(-5). Suppose u*x = 2 + 2, -r - 3*x = -16. Is r prime?
True
Let f be 51/9 + 2/(-3). Suppose -5*y = f*h - 127 - 273, 0 = -2*y + 5*h + 181. Is y composite?
False
Let i(h) = 12*h**2 + 4*h + 5. Let j be i(5). Suppose -a - 4*g + 97 - 30 = 0, 3*g = 4*a - j. Is a prime?
True
Suppose 7*v = 3*v + 1172. Suppose 0 = -7*u + 45 - 10. Suppose -u*c + 102 + v = 0. Is c composite?
False
Let j = 1 - -1. Suppose s = 3*s + j. Let x(w) = -294*w**3 + 2*w + 1. Is x(s) a composite number?
False
Let m be (-2)/3*(3 + 9). Suppose 14 = -h - 9. Let q = m - h. Is q a prime number?
False
Suppose 5*x + y - 3236 = 0, 2*y = -y + 3. Is x prime?
True
Suppose -3*v + 4*k + 126 = -2*v, -k = -3*v + 400. Is v prime?
False
Suppose -2*k + 2*z = -4, 2*k - 4*z + 1 = -1. Is 97/5*k/1 a composite number?
False
Let y(l) = l**2 - 8*l - 14. Let x be y(10). Let r = -4 + x. Is r/(-4) + (-372)/(-8) prime?
False
Let z be 4/(2 - (-7)/(-4)). Let y = z - -39. Is y a composite number?
True
Let m(s) = -112*s + 1. Suppose -3 - 1 = -4*r. Let u be -1*1/r*1. Is m(u) composite?
False
Let v = 3381 - 1844. Is v a prime number?
False
Suppose 3*t = 3*q + 8583, -t + 3195 = -3*q + 334. Is t prime?
True
Let z be (-281)/(-3) - 2/(-6). Suppose g - z = -27. Is g prime?
True
Let t(k) = k**3 - 4*k**2 - 1. Let h be t(4). Is h + (-4 + 3 - -61) a composite number?
False
Let l = 1 - 0. Let v be (4 - -1)/(1/l). Suppose -4*s - 25 = -v*s. Is s a composite number?
True
Let a(p) = p**2 + 3*p - 3. Let l = 8 + -6. Suppose 9 - l = x. Is a(x) composite?
False
Let g = 13 - 8. Suppose -v + 18 = -g. Is v composite?
False
Suppose -90 = -5*d + d + 3*g, -34 = -2*d - 4*g. Let k be 4/(-14) + 48/d. Suppose 0 = -k*s + s + 79. Is s prime?
True
Suppose -3*o = -7*o + b + 824, -3*o = 5*b - 595. Is o a composite number?
True
Let v be (0 + 1 + -2)*3. Let k(a) = -a**2 - 4*a - 3. Let q be k(v). Let j = 13 + q. Is j prime?
True
Suppose -4*r = -2*l - 4 - 6, -5*l = 4*r - 31. Let n be -1 + r - 2/(-2). Suppose 0 = 5*v - n - 61. Is v prime?
True
Let t be 1/(1/(0 - -2)). Is t/(-10) - (-798)/15 a prime number?
True
Suppose -q + 138 + 725 = 0. Is q composite?
False
Suppose f = 20 - 67. Let r = 140 + f. Is r a prime number?
False
Suppose -6*n = -n + 5*k - 445, 5*n = 4*k + 445. Suppose 0 = -2*z - 93 - 11. Let a = z + n. Is a prime?
True
Suppose -3*t = -4*t - 2*n + 4, -3*n + 8 = 2*t. Let v(q) = -q**2 + 4*q + 4. Let z be v(t). Let j(y) = y**3 - 2*y**2 - 7*y + 6. Is j(z) a prime number?
False
Let a(g) be the second derivative of -g**7/840 - g**6/60 - g**5/20 + g**4/24 - g**3/3 - 2*g. Let w(i) be the second derivative of a(i). Is w(-6) prime?
True
Suppose -4*p + 4*y + 1328 = 0, p - 2*p - 4*y + 327 = 0. Is p composite?
False
Suppose 14 = -2*m - 0*m - 4*t, 4*m + 4*t + 8 = 0. Suppose -4*s = -6*s - 5*p - 12, 30 = -5*s + m*p. Is (-123)/(-6)*-1*s composite?
True
Suppose -r - 3 + 7 = 0. Suppose 10 = 4*w - w + 5*k, r = 4*w + 2*k. Suppose -m + b + 36 = w, -3*b = -m + 2*b + 56. Is m a prime number?
True
Let a(h) = 15*h - 4. Let b be a(4). Suppose b = 5*x - 219. Is x a composite number?
True
Suppose 9 = -4*f + 21, -2*r = -4*f - 172. Suppose -2*j - j + 54 = 5*g, 0 = 4*j + g - 55. Let z = r - j. Is z prime?
True
Suppose 0 = -5*h + 27 + 1258. Is h a composite number?
False
Let s = 5 - 3. Is 516/6*s/4 composite?
False
Let c(r) = -r**3 + 9*r**2 + 2*r + 7. Let u be c(9). Let v = 24 + u. Is v composite?
True
Suppose -4*x = x - 4*m + 407, 3*m = 2*x + 160. Let f = x + 117. Is f prime?
False
Let z(g) = -g**2 - 3. Let i be z(-3). Is 1/(i/(-33))*12 composite?
True
Let u(g) be the second derivative of g**4/4 + 4*g**3/3 - g**2/2 - 4*g. Is u(-12) a composite number?
True
Let t(i) = i + 1. Let g(y) = 45*y**3 + y**2 - 2*y - 2. Let l(b) = g(b) + 3*t(b). Is l(2) prime?
True
Is ((-74)/8)/((-1)/8) a prime number?
False
Suppose 126 = 2*u - 0*u. Let a be 66/18 + (-2)/(-6). Suppose o + u = 4*o + 5*v, -5*o + 118 = a*v. Is o composite?
True
Let r be 2/(-8) - (-1)/4. Suppose -h + 12 = -r*h. Let k = h - -1. Is k a prime number?
True
Is ((51002/12)/7)/(2/12) a composite number?
False
Let t = 5 - 3. Suppose -u = t*u - 51. Is (u/(-4))/(1/(-28)) a composite number?
True
Let n be (-370)/40 + (-1)/(-4). Let g = -4 - n. Suppose g = p, -4*c - p + 9 = -208. Is c composite?
False
Suppose 3*h + 4*d - 363 = 0, 4*d - 127 + 6 = -h. Is h a prime number?
False
Suppose -c = -0*c - 2. Suppose 3*a = -c*a + 5*i + 10, -4*i = 5*a - 55. Is a composite?
False
Suppose -4*g = -26 + 6. Let u = -3 + g. Suppose -5*f - 2*z = -108, -u*f + 4