j. Suppose 2 = 3*m - j, 0 = 3*x + m - 149. Is x a prime number?
False
Suppose -4*n + 478 = 4*v - 3*n, -5*v - n + 597 = 0. Is v a prime number?
False
Suppose -4*a + 100 = a. Suppose -4*v - a = -0*v. Let z = 2 - v. Is z a prime number?
True
Suppose k - 4 + 2 = 0. Suppose x = -w + 2*x, 4*w - k*x - 8 = 0. Suppose -w*p + 2 = -6. Is p a composite number?
False
Suppose 3*u + 3*y = 2*y + 52, 44 = 4*u - 5*y. Suppose -4*t = -v - 3, -4*t + 4 = -4*v + u. Suppose t*p - 67 - 39 = 0. Is p prime?
True
Let l(k) = 19*k**2 - 1. Let o be l(1). Is o/2 - 2/1 prime?
True
Let q(m) be the first derivative of -m**7/840 + m**6/40 + m**5/20 - m**4/24 + m**3/3 + 1. Let f(z) be the third derivative of q(z). Is f(9) composite?
False
Let i(s) be the first derivative of -1 + 2*s + 11/2*s**2. Is i(3) a prime number?
False
Suppose 171 = 3*w + 3*q, -3*w + 6*w + 5*q = 169. Is w composite?
True
Let u = -3 - -3. Suppose -3*b + 5 + 1 = u. Suppose 5*q - s - 315 + 59 = 0, b*q + s - 101 = 0. Is q a prime number?
False
Let s(i) = -i + 19. Let m(z) = z**2 - 3*z - 2. Let p be m(5). Is s(p) composite?
False
Let b(x) = -81*x + 4. Is b(-5) a prime number?
True
Suppose 289 + 410 = q. Suppose -2*j = j - q. Is j a composite number?
False
Let d = -279 - -410. Is d prime?
True
Let j = -12 - -18. Suppose -15 = -3*o, 5*f + o - j*o = -15. Is 1 - (-45 - -1 - f) a composite number?
False
Let i = 13 + -9. Suppose 3*h = 3*o - 807, -i*h = -3*h - 4*o + 257. Is (6/9)/((-2)/h) a composite number?
True
Is 2/10 - (-12552)/40 a composite number?
True
Suppose 3*r - 3*x - 621 - 135 = 0, -5*x - 5 = 0. Is r a composite number?
False
Let a = -6 - -5. Is (28/(-8) - a)*-4 prime?
False
Let u = 2624 - -1175. Is u prime?
False
Let o = 15 - 10. Suppose -o*k + 25 = -10*k. Is ((-10)/k)/((-2)/(-6)) prime?
False
Suppose -a + 342 = -2*a. Let n = 593 + a. Is n prime?
True
Let q be 17/3 - 4/6. Let y(s) = 11*s**2 - 6. Let u be y(-5). Suppose -u - 116 = -q*r. Is r a prime number?
False
Let r(m) = 4*m + 3*m**2 + 0 - 2*m**2 + 1 + 4*m. Let l be r(-7). Is l/5*(-15)/2 a prime number?
False
Suppose 3*k - 9 = -2*m, 4 = 4*k - 0. Suppose 6 = w + m*x - 2*x, 4*x = w - 6. Is w a prime number?
False
Suppose 5*k + 220 + 115 = 0. Let c = -124 - k. Let x = 82 + c. Is x prime?
False
Let o = 6 - 3. Suppose t - o = -0. Suppose -3*g - 29 = -5*n, t = n - 0*g - 2*g. Is n a prime number?
True
Let n(j) = j + 4. Let y be n(-6). Suppose -u = u + 6. Is u/(y + 1) - -50 composite?
False
Let y = -2029 - -3001. Suppose 5*z + 2 = y. Is z composite?
True
Suppose d + 3*n - 1693 = 0, -1088 + 4474 = 2*d + 2*n. Is d a prime number?
True
Is ((-74)/(-4))/(23/46) a composite number?
False
Let k = 39 - -14. Is k prime?
True
Let c(w) be the third derivative of w**5/30 - w**4/6 - w**3/6 - 3*w**2. Let d = 6 + 2. Is c(d) a prime number?
False
Suppose -2*a - o - 2 + 10 = 0, -5*a + o + 20 = 0. Suppose 0*l = -a*l + 8. Is (16 - l) + -1 + 1 prime?
False
Is (29/3)/(2/12) a composite number?
True
Suppose -s + 2*k + 8 = 0, 9 = -s - 4*k - 13. Is s - (2 + 189/(-3)) a composite number?
False
Let k(z) = 7 + z - 5 + 3. Let y be k(-3). Suppose -d + y = -0. Is d a composite number?
False
Let p = 6 + 1. Is p*(-3)/((-9)/93) a prime number?
False
Let j(f) = -42*f + 1. Is j(-3) prime?
True
Is 1547 + -2 + -4 + 2 a composite number?
False
Suppose 10106 = 5*v - 2*p - p, 4*v + p - 8078 = 0. Suppose -15*h = -11*h - v. Is h prime?
False
Suppose -3*g + 7*g = 20. Suppose -g*h + 4*h - 2 = 0, 2*b = -4*h + 1010. Is b prime?
True
Let d be (-1)/(-2)*(-8 - -8). Suppose d*c = 2*c + 3*l - 736, -c - 2*l = -367. Is c prime?
False
Let d be (4/(-6))/((-8)/36). Suppose d*j + 1925 = 2*m, -j + 1195 = 5*m - 3643. Is m prime?
True
Suppose 0 = -3*h - 3*c - 18, -16 + 0 = 5*h - 2*c. Let t be h*(-2)/4 + -3. Is t/(-6) - (-509)/6 composite?
True
Suppose -2*d = 4*l - 500, 4*l - 376 = 4*d + 148. Is l a composite number?
False
Let u be (12/15)/((-4)/(-10)). Is 273*(-1)/(-6)*u composite?
True
Let a(p) = 5*p**2 + 4*p - 16. Is a(-5) prime?
True
Suppose -80 = 5*u - 13*u. Is u composite?
True
Suppose 3*d - 172 = d. Suppose -3*a + 484 - 193 = 2*n, a = 2*n - 279. Let z = n - d. Is z a composite number?
True
Let r(f) = 69*f**2 + f + 7. Is r(4) composite?
True
Let u = -573 + 950. Is u a prime number?
False
Suppose 0 = -3*y + 3*i + 2*i + 1093, 2*i + 363 = y. Is y composite?
True
Suppose -2*t + 5*i = -6 - 0, -3*t + 9 = -3*i. Suppose 4*j - t*j - 243 = 0. Suppose 3*r = -3*g + j, 0*r = -4*r - 8. Is g composite?
False
Let w(a) = a**2 - 13*a + 39. Is w(20) composite?
False
Let b be 14139/12 - (-1)/(-4). Suppose -2*u + b = 2*u - 2*i, 0 = 3*u - 3*i - 888. Is u a prime number?
True
Suppose 0 = -w + 47 + 20. Is w prime?
True
Let u(g) = -2*g**3 - g**2 + g - 1. Let s be u(1). Is s - -2 - -259 - -1 a prime number?
False
Let w(m) = 9*m**2 - m + 7. Let c be w(-7). Suppose 13 = -q - u + 129, -u + c = 4*q. Is q prime?
True
Suppose 15*s = 8*s + 1463. Is s a prime number?
False
Let i(c) = 33*c - 1. Let z(v) = -v**2 + 4*v**2 - 5*v - 2 - 4*v**2. Let g be z(-4). Is i(g) composite?
True
Suppose -6*d + 4*q = -2*d - 24, -3*q = -2*d + 9. Suppose -p + 4*p - 3*v - 60 = 0, -3*v = d. Let u = p + 20. Is u a composite number?
False
Let j = 11 + 127. Let p be (-2)/8 + j/(-24). Is 1*36 - p/2 composite?
True
Let o = -1 - -12. Let f = o + -2. Is f prime?
False
Let u(d) = 3*d**2 - 8*d - 1. Is u(8) prime?
True
Let m(g) = g**3 - 3*g**2 + 2*g + 2. Let z be m(2). Suppose -w - 134 = -z*w. Is w a prime number?
False
Let s = 1285 + -764. Is s prime?
True
Is 4*(-293)/(-12)*3 composite?
False
Let f = 6 + -6. Suppose f*a - a = -5. Suppose -a*w + 211 = -604. Is w a composite number?
False
Let p be 0 - ((0 - 8) + 0). Let h = 12 - p. Suppose h*v + 3*l - 514 = 0, l - 4 = -2. Is v composite?
False
Let q(h) = h**2 + 4*h - 13. Is q(10) a composite number?
False
Let y(z) = -z**3 - 13*z**2 + 10*z - 12. Let s be y(-10). Let g = s + 945. Is g composite?
True
Suppose 2*y = -l + 2103, y - 3445 = -2*l + 749. Is l a composite number?
True
Suppose 5*p - 5 = 10. Suppose -2*m - l - 2*l - 1 = 0, l - 5 = -2*m. Suppose s - 29 = m*a, -p*s + 64 = -a - 1. Is s a composite number?
True
Is (2802/2)/3 - 0/(-4) a composite number?
False
Let h be ((-3)/2)/(1/(-2)). Suppose h*r = 5*w - 1106, 4*w = -r - w - 402. Let g = -250 - r. Is g a prime number?
True
Let b be (-1)/(4/64*4). Is b/(-10) - (-3306)/10 prime?
True
Suppose 472 = -t + 5*t - u, 4*u = 4*t - 460. Is t a composite number?
True
Let a(n) = n**3 - 4*n**2 - 12*n - 14. Is a(11) a prime number?
True
Let z(t) = -7*t + t**2 + 2 - 2*t**3 + 8*t**2 + 0 + 3*t**3. Is z(-7) prime?
True
Suppose -4*v - 5*g + 3580 = -g, 5*g - 10 = 0. Is v prime?
False
Let v = 2 + -8. Let o be v/24 - (-25)/4. Let j(k) = 11*k - 1. Is j(o) prime?
False
Suppose -2*g = 3*j - 4*j + 439, -3*g - 659 = -j. Let y = g + 437. Is y a composite number?
True
Suppose 0 = 2*m - 4*u - 3634, 5*m - u - 4976 = 4082. Is m a composite number?
False
Let w be 4/(-10) - 148/5. Let b be (w/(-25))/((-2)/(-5)). Suppose -b*c + 501 = -72. Is c a composite number?
False
Let g be (2/4)/((-1)/4). Let k(p) = p - 6. Let b be k(3). Is (-4)/g + (b - -3) a prime number?
True
Suppose 0 = 4*s + 5*b - 7, 0 = -3*s + 2*s + 5*b + 33. Let f = -6 + s. Suppose -266 + 48 = -f*o. Is o prime?
True
Is 3/9 + 1662/9 a prime number?
False
Let h(g) = -g**2 - 4. Let q be h(-4). Let c = q - -27. Is c composite?
False
Suppose 3*x + 3*n - 15 = 0, -4*x + 6 = -5*n - 5. Let m(a) = a - 2. Let z be m(x). Suppose 0*k - 244 = -z*i + k, -484 = -4*i + 4*k. Is i prime?
False
Let z(n) = 16*n - 5. Is z(1) composite?
False
Suppose -179 - 65 = -4*a. Suppose -f = -57 - a. Is f composite?
True
Let h(o) = -2*o**2 + 3*o. Let f be h(-8). Let v = -57 - f. Is v a composite number?
True
Let f = -5 - -8. Let c(w) = 2*w**3 - 3*w**2 - 4. Is c(f) a composite number?
False
Let w(n) = -n**2 - 17*n - 7. Let u = 6 - 14. Is w(u) a composite number?
True
Let t(b) = -10*b + 1. Let c(g) = g**2 + 2*g + 1. Let x be c(-2). Let k be t(x). Is 6/9 + (-84)/k prime?
False
Let o be 3 - (-3 + 3 + 1). Is 1*(-3 + o - -332) composite?
False
Let t = 3 - 0. Suppose -3*d + 0*d = -t*z, z = -d + 6. Suppose d*u - 2 - 16 = 0. Is u composite?
True
Let a(v) = v**2 - 4*v - 5. Let y be a(4). Is 2/y + 1099/35 composite?
False
Let o(x) = -6*x**2 + 0*x**3 - 3*x + 4*x + 1 + x**3 + 4*x. Is o(6) prime