 d prime?
False
Suppose 0 = -3*t + c - 28 - 47, 3*t - 2*c + 78 = 0. Let v be 5/2*t/(-20). Suppose 3*x + 4*k - 316 = -47, v*k + 400 = 5*x. Is x prime?
True
Let w be 1/4 + (-2229)/4. Let h = -186 - w. Is h a composite number?
True
Let x be 27/2*(2 + -4). Let n be (-1001)/(-9) + 6/x. Suppose -l + n = 2*l. Is l prime?
True
Let j = 476 - 265. Is j prime?
True
Suppose -1733 = 6*b - 7*b. Is b prime?
True
Let i = 12 + -1. Suppose -2*p + 5 + i = 0. Suppose -2*j = -4*j + p, 2*x - 12 = -j. Is x composite?
True
Let w(q) = 1 + 0*q**3 - 3*q**3 - q - 4*q**2 + 2*q**3. Let o be w(-4). Suppose 5*j = o*g + 90, 5*j - 5*g - 64 = 2*j. Is j prime?
True
Let w be 9/2 - (-1)/(-2). Let p be (-2)/(w/(-6)) - 0. Suppose -p*d + 43 = -131. Is d a prime number?
False
Let o(g) = -8*g + 5. Let x(q) = q**2 - 10*q - 6. Let w be x(10). Is o(w) prime?
True
Suppose -5033 = -11*c + 4*c. Is c composite?
False
Let n = 11 - -7. Is (-1068)/n*(-6)/4 a composite number?
False
Suppose -m + 8 = m. Suppose -m*j = -9*j + 815. Is j composite?
False
Let d(x) = -x**2 + 2*x + 11. Let m(u) = 2*u**2 - u - 12. Let z(n) = 3*d(n) + 2*m(n). Is z(-6) a prime number?
False
Let c(a) = 148*a**2 + 8*a + 37. Is c(-6) a prime number?
False
Suppose 2*j = -2 + 8. Let w(c) = j*c**2 + c - 2*c**3 - c**3 + c**2 - c**2. Is w(-2) prime?
False
Suppose -4*a - 2*u - 2695 = -17875, 3*a - 11391 = -3*u. Is a a composite number?
False
Suppose 2*f + 2110 = 7*f. Is f a composite number?
True
Suppose -m - 3*y + 55 = 0, -5 - 56 = -m + 3*y. Is m prime?
False
Let j(y) = 4*y - 1. Let p be j(1). Let m(v) = 23*v**2 + v + 1. Is m(p) composite?
False
Let q be 3/(9/(-6) - -3). Is (-99)/(-4) - q/(-8) a prime number?
False
Let u(n) = 14*n**2 + 32*n + 7. Let j(b) = -5*b**2 - 11*b - 2. Let d(t) = 8*j(t) + 3*u(t). Let g be d(6). Let q = -72 + g. Is q a prime number?
True
Let j = -88 - -47. Let i = 226 + j. Is i prime?
False
Suppose -3*l = -5*k - 10, 3*k - 2*l - 1 = -6. Is (-2)/k - (-333)/5 a composite number?
False
Suppose f = -1, 0*f - 226 = 3*w + f. Let d be 189 - (-6)/4*-2. Let l = w + d. Is l prime?
False
Let x be (-8)/3*6/4. Let n be (-6)/12 + (-3)/2. Let r = n - x. Is r a composite number?
False
Let c = 39 + 18. Is c prime?
False
Suppose 0*r - 2*o = 4*r - 232, 3*o + 65 = r. Suppose d - 98 - r = 0. Is d a prime number?
True
Suppose -3*y - 10 = -4*y. Suppose 0 = -y*d + 8*d. Suppose d = -5*r - 261 + 956. Is r prime?
True
Let l = -214 - -333. Is l prime?
False
Let r be (-9936)/(-14) + 4/14. Let z be (-1)/(-2) - r/(-4). Suppose -o = o - z. Is o prime?
True
Let h(s) = -4*s + 1. Is h(-8) prime?
False
Let v(g) = 2*g**2 + 4*g + 7. Is v(-8) a prime number?
True
Let z = 11 - 7. Let m(t) be the second derivative of t**5/20 - t**4/4 - t**2/2 - t. Is m(z) prime?
False
Suppose -3*x = -2 - 16. Let h be -7*(-5)/(35/x). Suppose -p - 275 = -h*p. Is p a composite number?
True
Suppose -5*c + 0 = -20. Suppose n = s + 58, -3*n - s - s + 169 = 0. Suppose -c*j = 5*f - n, -5*f + 3*j + 107 = 36. Is f prime?
True
Suppose -4*w + 4*v + 2288 = 0, 1083 = 2*w + v - 64. Is w a composite number?
True
Suppose -3*a = 5*z + 8, 3*z = 7*z + 16. Suppose -a*o + 3*f = -133, 2*f = -2*o - 0*o + 84. Is o a composite number?
False
Is (12/4 - -208)*1 a prime number?
True
Is -1*3 - 592/(-2) composite?
False
Suppose 0*p - 3*p = 0. Suppose -2*o - o = p. Suppose 5*z = 3*b + 53, -z = -o*z - 5*b - 15. Is z a prime number?
False
Suppose -2*v + 5*c + 33 = -0*c, -v = -5*c - 24. Let b = v - 5. Let t = b - 1. Is t a prime number?
True
Let a(i) = 50*i**2 - i. Suppose 7*o - 2*o = -5. Let u be a(o). Suppose -4*v = -9 - u. Is v composite?
True
Let x(n) = -n**3 + 7*n**2 + 10*n + 2. Let b be x(8). Is (1 + -3 - 1) + b composite?
True
Let i(a) = 93*a**3 + a**2 - 7*a + 5. Is i(2) a composite number?
False
Suppose -2*z - 5*g + 12 = 0, 3*z - 2*g = z + 12. Let c = 61 + z. Suppose -100 = -3*y - d, -3*y + 18 = 4*d - c. Is y a prime number?
False
Let i = 6 + -8. Let f be 7 + (-1)/i*-2. Is 6/(-9) - (-130)/f prime?
False
Let y(v) = -14*v**2 - 9*v - 9. Let d(c) = c**2 + c + 1. Let x(o) = -6*d(o) - y(o). Let n be x(3). Suppose -2*k - n = -6*k. Is k prime?
False
Let a(c) = 4*c**2 + 9*c + 11. Is a(8) a composite number?
True
Suppose 3*i - 207 = 5*s, 0*s = -5*i + 3*s + 361. Suppose -4*j = 5*n - 25, 3*j - 3*n - 25 = -8*n. Suppose -2*r = -j*r - i. Is r prime?
True
Let j = -463 + 782. Let d = 504 - j. Is d prime?
False
Suppose -2*l = -2*r - 1174, 3*l - 1959 + 199 = 4*r. Let a = 881 - l. Is a a prime number?
True
Let c = 132 + -54. Suppose 4*l + c = 5*w - 203, 2*l = -2*w + 116. Suppose q - w = -2*q. Is q prime?
True
Let l(q) = -425*q. Let v be l(-1). Suppose 0 = -6*b + b + v. Is b composite?
True
Let n = -400 + 1509. Is n composite?
False
Let k(a) = a**2 - 2*a - 5. Let g be k(4). Suppose -70 = j - g*j. Is j composite?
True
Suppose -4*u = -2*u - 148. Is u prime?
False
Let f(j) = -j**3 + j**2 + j - 1. Let l(h) = -38*h**3 + h**2 + 6*h. Let w(b) = -4*f(b) + l(b). Is w(-3) prime?
False
Let h be 722/7 - 2/14. Suppose -h = -k + 18. Is k prime?
False
Let p(l) be the third derivative of l**5/30 + l**4/12 - l**3/3 - 4*l**2. Let r(w) = -2*w**2 - 2*w + 3. Let b(z) = 6*p(z) + 5*r(z). Is b(4) composite?
False
Suppose 2*a - 20 = 2. Is a prime?
True
Let l(c) = c**2 + 5*c - 5. Let n(h) = h**2 - 6*h + 7. Let i be n(5). Suppose -2*v + 5*s - 1 = 6, i*s - 6 = 0. Is l(v) prime?
True
Suppose 3*g - 7136 + 599 = 0. Is g prime?
True
Suppose -2*k = v - 0*v - 165, -3*k - 2*v + 247 = 0. Suppose -2 - 4 = 3*q. Is -2*(k/(-2) - q) a composite number?
False
Suppose -3*d + 3*x + 5972 = 2*d, 0 = -x + 1. Is d prime?
False
Suppose -4*t + n + 47 = 0, -5*t = -n + 2*n - 70. Suppose 4*l = -1 + t. Is l a prime number?
True
Let d = -303 - -514. Is d prime?
True
Suppose i = 223 + 350. Is i a composite number?
True
Let r = -4 - -7. Suppose 3*d = -5*w + 21 - 6, -3*d = -4*w + 39. Suppose 5*k = -4*q + 475 + w, k - 100 = r*q. Is k prime?
True
Suppose 4 - 21 = -h. Let g = h + -10. Suppose g*i = 9*i - 62. Is i composite?
False
Suppose 5*r = -5 + 40. Suppose 0 = -2*a - 4*p - 42, -2*p = -p. Is (r + -1)*a/(-6) a composite number?
True
Let d be 1/(3 + -4 - 0). Is d/(-2)*(-2 + 108) a composite number?
False
Let a = 0 - -2. Suppose 110 = -0*j + a*j. Is j composite?
True
Suppose 3*w - 3476 = 7*w. Let s = 98 - w. Is s a composite number?
False
Suppose 6*w - 439 = w - 2*j, 0 = -5*w - j + 442. Is w a composite number?
False
Is 791/((-1)/(2 - 3)) a composite number?
True
Let i(m) = m**3 - 3*m - 11. Is i(9) prime?
True
Suppose 4*a = -a + 1475. Suppose 0 = 5*j - 4*h - a, 3*j - 66 = -2*h + 111. Is j prime?
True
Let g(f) = 5*f**2 + 2*f - 3. Let y(n) = 21*n**2 + 7*n - 13. Let v(i) = 9*g(i) - 2*y(i). Let x = -98 - -94. Is v(x) a composite number?
False
Is 2/8 - (-13206)/8 prime?
False
Let x be (-2)/(-8) - (-134)/8. Let k = x + 19. Is (k - 0) + (3 - 4) prime?
False
Let d = 70 + -3. Is d composite?
False
Suppose -75 = -k + 2*a, -a + 0*a = -4*k + 293. Suppose b = 3*z + z + 33, -2*b + z + k = 0. Is b a prime number?
True
Let w = 342 + 52. Is w a composite number?
True
Suppose 6*r - r - 10 = 0. Suppose -5*l + r*l - 5*i = -131, l - i = 33. Is l prime?
True
Let z be 8/6 - (-2)/(-6). Is (-1)/(9/10 - z) prime?
False
Let d(b) = -11*b**2 - 27*b - 1. Let j(i) = -5*i**2 - 13*i - 1. Let x(y) = -6*d(y) + 13*j(y). Is x(-5) prime?
True
Let x(m) be the third derivative of m**6/120 - m**5/10 - 5*m**4/12 + 8*m**3/3 + 5*m**2. Is x(13) prime?
True
Let x(o) = -219*o + 11. Is x(-4) a prime number?
True
Let u(j) = 2*j + 3*j - 2 - 6*j + 0. Let v be u(-7). Suppose 4*z - v*s = 98 + 106, 5*z - 255 = -2*s. Is z a composite number?
True
Suppose -4*y = 2*i + 16, 4*y - i = -0*i - 4. Is y + (-117)/(-3) - 4 prime?
False
Let i(g) = -3*g. Let q be i(-1). Let k be (2 - q) + (-2)/(-2). Suppose 2*b + 3*j = 14, j + j = k. Is b a composite number?
False
Let d = 1018 - -193. Is d a composite number?
True
Let z be (-467)/7 - (-6)/(-21). Let n = 163 + z. Is 1/(-5) - n/(-5) a composite number?
False
Suppose 0 = y + 3. Let z = 6 + y. Suppose m = -j - z*m + 37, -j = 3*m - 34. Is j composite?
True
Suppose -2*b = -13 - 5. Is b a composite number?
True
Suppose -2*m + 6*m = 692. Let q = -60 + m. Is q prime?
True
Let q(z) = -z + 2. Let j be q(-3). Let o be ((-6)/1)/(4/(-206)). Suppose -44 = j*u - o. Is u a composite number?
False
Let