site?
True
Suppose -602 = 2*b + 1422. Is b/(-8) + (-2)/(-4) prime?
True
Let w = 383 - -591. Is w composite?
True
Let x be (10*18)/((-3)/(-3)). Suppose -x = n - 6*n. Suppose n - 96 = -4*d. Is d a composite number?
True
Let z(q) be the second derivative of 13*q**5/120 - q**4/6 - q**3/3 - q. Let x(i) be the second derivative of z(i). Is x(3) prime?
False
Let b(l) = -4*l + 3. Let o be b(2). Let f(w) = -15*w + 6. Let c be f(o). Suppose 5*u + x - 260 = 0, x + 4*x - c = -2*u. Is u prime?
True
Suppose 0 = -4*d - h + 3*h + 3014, 4*h = -2*d + 1482. Is d a prime number?
True
Let b = 11 - 7. Suppose -f + 840 = b*f. Suppose -2*h + 302 = -f. Is h a prime number?
False
Suppose -2*l - 3*f = -245, 8*l - 595 = 3*l - 4*f. Let k(n) = -n**3 - 8*n**2 - 2*n - 2. Let r be k(-6). Let z = r + l. Is z composite?
False
Let a = -668 - -397. Let b = -144 - a. Is b composite?
False
Let s(p) = p**2 + 6*p - 10. Let o be s(-8). Suppose -o*w + 236 = -2*w. Is w a prime number?
True
Suppose 4936 + 4069 = 5*i. Is i a composite number?
False
Suppose -14 + 4 = -2*r. Suppose 3*a - s = 76, 0 = -r*a - 5*s + 106 + 34. Is a prime?
False
Let r be (0 + (-9)/(-12))*-4. Is (-70 - -1)*(r - -2) composite?
True
Suppose 5*s - 5*t - 65 = 0, 5*t + 5 = -0. Let i = 21 - s. Suppose 0 = n - 1 - i. Is n prime?
False
Suppose 4*z - 1 - 3 = 0. Let s = 1 + z. Suppose -5*q + 190 = -0*q - 5*f, s*q = 3*f + 81. Is q a prime number?
False
Is (5/8*4)/(3/2742) a composite number?
True
Let p(v) = 19*v**2 + 5*v + 5. Is p(-3) a composite number?
True
Suppose 3*j - 3 = -s + 12, -4*s - 25 = -5*j. Suppose -3*w - 194 = -5*w. Suppose y + 5*p - w = s, 3*p = 2*y - 0*p - 142. Is y prime?
False
Let t = 90 - 43. Let z(v) = 13*v - 10. Let x be z(7). Let i = x - t. Is i prime?
False
Suppose 0 = -6*m + m + 20. Suppose m*w + 22 = 146. Is w a prime number?
True
Suppose 2*s + 9 = 3*x - s, -x + 3*s = 1. Suppose -4*l + 2*v = -2724 - 2306, 1244 = l - x*v. Is l composite?
False
Suppose -k = k. Suppose k = -7*u + 2*u + 365. Suppose u = 5*a + 23. Is a prime?
False
Suppose -5*o + 10*x - 5*x + 790 = 0, o = 4*x + 143. Is o a prime number?
True
Suppose -212 = 4*s - 2*s + 4*p, -p = -5*s - 486. Let v = -65 - s. Is v composite?
True
Let v(z) = -z**2 + 8*z + 4. Let y be (-5 - -1)*(-7)/4. Is v(y) composite?
False
Let k = 260 + -154. Is k composite?
True
Let j(i) = 18*i**2 + 2*i. Let t be j(4). Suppose -5*l + t = -249. Is l composite?
False
Let d = 24 - 48. Let z = d - -49. Is z a composite number?
True
Let g = 188 - 266. Let o = -196 - -327. Let t = o + g. Is t composite?
False
Let q be 4/(-22) + 60/(-33). Let p be q + 1 + -9 + 1. Is 6/p*(-228)/8 a composite number?
False
Let k be -3 + (1 - 13*-4). Is k - ((-2 - -3) + 2) a composite number?
False
Suppose -v = -2*h - 201, -330 = 5*h - v + 174. Let x = 408 + h. Is x a prime number?
True
Suppose 4*q - 294 - 446 = 0. Is q a prime number?
False
Suppose -8*i = 950 - 2478. Is i composite?
False
Let a(z) = 65*z**2 - 2*z + 8. Is a(-5) a prime number?
False
Suppose k + 4*m = 1113, 2*k + k - 4*m = 3323. Is k prime?
True
Suppose 43*g = 48*g - 2765. Is g a composite number?
True
Let c(g) = g**2 + 4*g + 4. Let a be (13 + -3)*(-2)/5. Let b be c(a). Suppose 0*x = -b*x + 44. Is x composite?
False
Let c(f) = -11*f**3 + 1. Let o be c(-1). Suppose q - 3 = o. Is q composite?
True
Suppose -2*z + 4*s = 12, s + 4*s = z. Let t = -5 - z. Suppose t*o - 598 = 997. Is o composite?
True
Let r = 3848 - -12651. Is r a prime number?
False
Let a = 711 + -374. Is a composite?
False
Let k be (-3)/((-4)/(8/2)). Suppose 4*o = -k*r + 767, 4*o - 5*o - r + 192 = 0. Is o a prime number?
True
Let s be -1 + (-2 - (10 + -1)). Let a = -7 - s. Suppose -605 = -4*z - 5*i, 0*z - z + 120 = -a*i. Is z a composite number?
True
Suppose -224 - 121 = -5*h. Is h prime?
False
Let s = -18 + 77. Is s a prime number?
True
Is 44/(-286) + (-17502)/(-26) composite?
False
Suppose 0 = -5*r + 10 + 10. Suppose -5*z - 5*g = 45, -r*g + 0 + 4 = -4*z. Let i(y) = y**3 + 6*y**2 - 6*y - 2. Is i(z) a composite number?
False
Let q(c) = -17*c**3 + 2*c + 1 + 0*c - 3*c. Is q(-2) prime?
True
Suppose 2*o - o = 0. Let u = -3 - o. Let m(a) = -31*a - 4. Is m(u) prime?
True
Let g = 3167 + -2052. Is g prime?
False
Let v(q) = 13*q**2 + 2*q - 8. Is v(-11) a prime number?
True
Let l(n) be the second derivative of -n**5/20 - n**4/6 + n**3/2 - n**2/2 - 4*n. Is l(-4) prime?
True
Let c(b) = -2*b**2 - 18*b + 13. Let z(s) = -s**2 - 9*s + 6. Let w(h) = -3*c(h) + 5*z(h). Let m be 2 - 0 - 1 - 12. Is w(m) prime?
True
Let h(x) = 2*x**2 - 19*x + 1. Is h(14) a composite number?
False
Is -1901*(-1 + 0/2) a composite number?
False
Let j be -8 - -460 - 2/2. Suppose 0 = c - 0*c - j. Is c a prime number?
False
Suppose -5 + 3 = -v. Suppose -v*x + 4*s = 2*x - 60, 5*x - s = 75. Is x composite?
True
Let m(y) = -y - 1. Let u be m(-1). Suppose 2*d = -u*d + 128. Suppose -t + 0*t - 25 = -k, 5*t - d = -4*k. Is k composite?
True
Suppose 4*j - 1400 = 11252. Is j a composite number?
False
Let q = -11 - -2. Let l = -7 - q. Suppose 0 = -l*b - 3*j + 8 + 80, -131 = -3*b - 5*j. Is b prime?
True
Suppose 92 - 22 = 2*z. Is z prime?
False
Let a(u) = u**2 - 4*u - 1. Let c(q) = -2*q - 5. Let f be c(-5). Let j be a(f). Suppose 3*h = 2*h + 2*l + 75, j*l = -3*h + 265. Is h prime?
True
Let m be -107*(-3)/(-6)*-2. Suppose 0 = 3*l - 5*v - 80 - 11, 3*l - m = v. Is l composite?
False
Suppose -1 - 7 = 4*y. Let t be y + (3 - 2)*-146. Let r = t - -239. Is r a composite number?
True
Suppose 3*f - 603 = 36. Is f a prime number?
False
Suppose -2*d + 4*d - 226 = 0. Is d prime?
True
Let b(s) = -5 - 3*s + 59*s**2 - 10*s**2 + 2. Let r be b(-3). Is r/12 - 1/4 a composite number?
False
Is -1*(-2)/4*(-2 + 2724) prime?
True
Let y(f) = f**2 + f + 73. Let x be y(0). Let t be (-1)/(2/2)*-8. Let c = x - t. Is c prime?
False
Let f(m) = -6*m + 5. Let b be f(-6). Suppose 2*t - 10 = 0, 3*g = t + 4*t + b. Is g a prime number?
False
Let a(s) = -2*s**2 - 4 - 4*s + 3*s**2 + 0*s. Let w be a(6). Let v = 103 + w. Is v composite?
True
Suppose 970 = -6*r + 8*r. Suppose -r = 2*x - 7*x. Is x prime?
True
Let i(u) = -u + 6*u - 14*u - 7. Let x(l) = -5*l**3 - 1. Let a be x(1). Is i(a) a prime number?
True
Suppose -4*w + 77 + 295 = 0. Let s(j) = 2*j**3 - 2*j**2 - j - 2. Let v be s(2). Suppose -v*r - p = -w, -2*r - 4*p + 119 = 3*r. Is r a prime number?
True
Let m = 121 + -30. Suppose 599 = 4*u + m. Is u prime?
True
Is 627 - ((-32)/18 - 4/18) a prime number?
False
Let h be ((-5)/(-3))/5*15. Suppose 4*u - 4*l = -u + 20, h*l = -u + 4. Suppose 0*k - u*k = -4*t - 1696, -394 = -k - 5*t. Is k a prime number?
True
Is (11 - 10)*(0 - -407) a composite number?
True
Let k be (-312)/(-30) - 2/5. Suppose -k = -2*j - 2. Suppose j*m + 5*v = 288, -4*m - 3*v + 213 = -m. Is m a prime number?
True
Suppose v + 2*v = 507. Suppose -4*b - 2*l - l + v = 0, -5*b + 4*l + 219 = 0. Is b composite?
False
Suppose -3*p + 4*z - 14 = 0, 0 + 25 = 5*z. Suppose 0 = -3*f + 6*r - 2*r + 391, -r = 5*f - 690. Suppose -37 = -p*a + f. Is a prime?
False
Let l = 624 - 403. Is l composite?
True
Suppose 0 = -5*o + 4*g + 1335, -3*o = g - 573 - 245. Is o composite?
False
Let q(k) = -7*k - 9. Let j(v) = -8*v - 10. Let m(f) = 6*j(f) - 7*q(f). Let x = -15 + 22. Is m(x) prime?
False
Let n = 1431 + -754. Is n a composite number?
False
Suppose -115*l = -116*l + 9391. Is l a prime number?
True
Let f = 5 + -7. Let d be f + (2 - 3*-177). Let w = d - 374. Is w prime?
True
Let a(y) = y - 2. Let m be a(6). Let h(i) = 5*i**2 - 3. Is h(m) a prime number?
False
Let u = -5 - -7. Suppose 0 = 2*s - 3*x - 154, -3*x + u*x = 5*s - 419. Is s a composite number?
False
Suppose -3*f = -861 + 306. Is f composite?
True
Let d(z) = -40*z + 3. Let a(y) be the third derivative of -y**4/12 + 11*y**3/6 + 4*y**2. Let r be a(8). Is d(r) a composite number?
True
Let u(t) = -t**3 + 4*t**2 - 2*t + 5. Let q be u(4). Is (q + 62)*(1 - 0) a composite number?
False
Let l(n) = n**2 - 10*n - 12. Let x be l(11). Is (-32)/(2/x) + -3 a composite number?
False
Let b = 1 - -3. Suppose 2*q - 424 = c - 124, -b*c - 8 = 0. Is q prime?
True
Suppose 0 = 4*m - m + 12, -5*z - 4*m + 139 = 0. Is z prime?
True
Let p be (33/(-9))/((-2)/18). Let l = p - -22. Is l a composite number?
True
Let f(z) = -z**3 - 3*z**2 + 4*z + 2. Let p be f(-4). Suppose -p*x - 53 = -a, 3*a + x - 212