d**4 + 97/6*d**3 - 1/120*d**6 + 0 + d**2 + 0*d - 1/60*d**5. Is u(0) prime?
True
Suppose -h + 400 = 4*h. Suppose 2*s = t + 59 - 10, 4*s = -4*t + h. Is s prime?
True
Let r(k) be the second derivative of -k**4/24 + 293*k**3/6 + k**2/2 - 4*k. Let b(s) be the first derivative of r(s). Is b(0) composite?
False
Suppose -2*b + 96 = -2. Suppose -3*k = -4*k + b. Is k prime?
False
Let j(i) = -15*i - 16. Let o(l) = -8*l - 8. Let r(q) = -3*j(q) + 7*o(q). Is r(-7) a prime number?
False
Let w(z) = -z**3 - z + 6. Suppose 0*d + 5*d = 0. Let s = 0 + d. Is w(s) composite?
True
Suppose -3*y - 20 = y. Is (y - -3) + 224 + 1 composite?
False
Suppose 2*v + 749 = 3*m, -5*v = -7 - 18. Is m composite?
True
Let n = -13 - -25. Let k be (n/(-14))/(2/(-56)). Is ((-3)/(-6))/(2/k) composite?
True
Suppose 10*q = 7*q + 111. Is q prime?
True
Let l(q) = -q**3 + 16*q**2 - 10*q - 2. Let x(z) = -z**2 - z + 1. Let p(y) = -l(y) - 6*x(y). Is p(11) prime?
True
Suppose -105 = 3*f - 450. Is f composite?
True
Let a = -136 + 235. Let z = a - 46. Is z composite?
False
Suppose -4*d + 3*v = 9, 3*v + 7 - 1 = -d. Is ((-298)/d)/((-8)/(-12)) a composite number?
False
Suppose 9 = -4*b + b - 2*t, -3*t = 0. Is (b - -5)/((-6)/(-165)) composite?
True
Let b = -24 - -77. Is b prime?
True
Let o = -1775 - -3318. Is o prime?
True
Let y be -2 + 1 - 5*-2. Suppose 2*t - y + 2 = c, -2*c + 2 = 0. Let z = t + 10. Is z composite?
True
Suppose 382 = -4*d + 6*d. Is d composite?
False
Suppose -6*s + 3*s = -24. Suppose 5*n + 10 = 0, -2*t - s + 70 = 3*n. Is t composite?
True
Suppose -4*c = 8*c - 6492. Is c a prime number?
True
Suppose -20 = -2*x + z - 5*z, 5*z = -2*x + 24. Is (1/x)/((-2)/(-52)) a prime number?
True
Let w(y) = -21*y**3 - y - 1. Let h be 3*((-24)/9)/(-2). Suppose -4*v = 5*u + 4, -5*u + 3 = v + h. Is w(v) composite?
True
Let g(f) = -f - 116. Let o be g(0). Let x = 320 + o. Suppose -5*j = -j - x. Is j composite?
True
Let d = 5 + -2. Suppose -3*f = -f - 6. Is 43/(d + (-6)/f) composite?
False
Let f be 90/(-12)*12/5. Let r be (-1040)/f + 2/9. Suppose -2*j + r = -h, 2*j + j = h + 89. Is j a prime number?
True
Suppose 0 = -3*s - 0*s + 18. Suppose -s = -l - 2. Suppose -49 = -3*z - 0*p + l*p, -2*z = 5*p - 25. Is z a composite number?
True
Suppose -q - 2*q = -45. Suppose -b + 16 + q = 0. Is b a prime number?
True
Suppose -3*s + 3249 = -3*n, 5 = 5*n - 15. Is s prime?
True
Suppose 48 = -h - 2*h. Let f = -91 - -128. Let m = f + h. Is m composite?
True
Suppose 2*i + 0 - 10 = 0. Suppose 4*l - i*c - 307 = 0, -l - 2*c + 4*c + 73 = 0. Is l prime?
True
Suppose 0 = 2*m - 3*g - 9, -g + 4*g = 3*m - 12. Suppose -j - m*j - 36 = 0. Is 3/(j/6) - -37 composite?
True
Let j be 0/((3 - 2) + -3). Suppose j = 5*l - 308 - 27. Suppose c + 0 - l = 0. Is c a prime number?
True
Suppose -2*o - 12 = 4. Let t = -5 - o. Suppose -488 = -t*i - 5. Is i prime?
False
Suppose 10 = -0*w + 5*w. Suppose -n = w*n - 33. Is n composite?
False
Let c(y) = -y**2 + 42*y - 18. Is c(17) a prime number?
False
Suppose 6*m + 1221 = 9*m. Is m prime?
False
Let w be 2/4*(676 - -2). Let p = w - 182. Is p a composite number?
False
Suppose -3*g + 9 = -2*b - 2, -4*g + 11 = b. Suppose 73 = g*n - 56. Is n a composite number?
False
Let j(h) = 14*h**2 - 3*h - 3. Let s be j(-3). Suppose -s = -3*m - 21. Is m prime?
True
Let r = 327 + -182. Is r a composite number?
True
Suppose -4*k + 5*i - 3*i = 1260, 3*k = -i - 940. Let z = k + 525. Is z a prime number?
True
Let m(i) be the first derivative of -i**2/2 - 4*i + 3. Let y(v) = 2*v + 3. Let o(l) = -3*m(l) - 4*y(l). Is o(-2) composite?
True
Let s = 24 + 4. Is (-8)/s + 2053/7 a prime number?
True
Suppose 165 = 2*k + 3*k. Suppose k = 5*a - 12. Suppose -b - 2*b = -a. Is b composite?
False
Let t be 144/14 + (-6)/21. Let m = t - 6. Is 523/m - (-1)/4 composite?
False
Let m(r) = r**3 - r**2 + r + 8. Let t be m(0). Is 3258/14 - t/(-28) prime?
True
Is (2 - 0)/(20/17390) a prime number?
False
Let s(v) = -17*v + 2. Suppose 0 = -4*p + p - 9. Is s(p) a composite number?
False
Let l = 18 - 8. Suppose -3*w + 2*v = l, -w + 0*v = -2*v - 2. Let a = w - -41. Is a composite?
True
Is (2/6)/(11/5577) composite?
True
Let o(s) = 6*s**2 + 20*s + 3. Is o(14) prime?
True
Is 54 + (-4)/(-4)*1 a prime number?
False
Let f be 244/6 - (-2)/(-3). Let l be -1 - -91 - (-6 + 3). Let o = l - f. Is o a prime number?
True
Let k(w) = 2*w**2 + 2*w + 1. Let l be k(-2). Suppose l*f = 4*f + 3. Suppose 3*p - 65 = -f*r + 4*r, 5*r = -10. Is p a composite number?
True
Let p(f) = f**3 + 4*f**2 - 7*f - 6. Let s be p(-5). Suppose -s*v - 1359 = -3*j - v, 0 = 2*j - v - 904. Is j prime?
False
Let p(y) = -4*y**2 - 5*y - 2. Let j(x) = -12*x**2 - 15*x - 7. Let h(z) = -3*j(z) + 8*p(z). Is h(-6) composite?
True
Suppose -s = 4*s - 20. Let h = -11 - -19. Suppose -s*r = -h*r + 124. Is r a composite number?
False
Let v(g) = -8*g**3 - 4*g**2 - 4*g - 3. Is v(-2) a composite number?
False
Let q(l) = 4*l**2 - 30*l - 17. Is q(-12) prime?
True
Let j be 1/((6/362)/3). Let z = -123 + j. Is z a composite number?
True
Let k(u) = 3*u**2 + 2*u - 2. Let y be k(-2). Let f(g) = 2*g**3 - 4*g**2 + 9*g - 2. Let n be f(y). Suppose 2*r = 0, -3*o - o + 3*r = -n. Is o prime?
False
Suppose -11 = 3*s + 2*p, -s - 2*p = s + 8. Let o = 2 - s. Suppose o*x - 71 = 114. Is x prime?
True
Let j = 355 - 210. Is j a composite number?
True
Suppose 181 = 3*i - 2*i. Is i prime?
True
Suppose 13 = 5*u - 3*h, -14 = -2*u + 5*h - 5. Suppose -u*x + 0*x + 4 = 0. Let m = x + 33. Is m a composite number?
True
Is 241/7 + (-112)/(-196) a prime number?
False
Let p be (-6)/36 + (-2)/(-12). Suppose -i - 4*g + 35 = -p*g, -193 = -5*i - 2*g. Is i prime?
False
Let v = 240 + 347. Is v a prime number?
True
Let h(g) = -g**3 - 6*g**2 - 5*g. Let d be h(-5). Let p be (0 - d)*4/(-8). Suppose -o + 67 = -p*o. Is o a prime number?
True
Let k = 11 + -7. Suppose -4*i = -15 - 61. Suppose -i + 63 = k*t. Is t composite?
False
Suppose 0 = g + 5*z - 884, -2*g + 862 = 3*z - 913. Is g prime?
False
Let p be 35/14*(-6)/(-5). Is (1/p)/((-1)/(-489)) a composite number?
False
Suppose -6 = h + h - 3*u, 0 = u. Let v = h + 40. Is v composite?
False
Let d(x) = 2*x**2 - 2*x - 1. Let r be d(2). Suppose 3*k - c = -2*k + 514, r*c - 396 = -4*k. Suppose -46 - k = -4*y. Is y a prime number?
True
Let b = 1 - -20. Suppose -b = -2*r + 197. Is r composite?
False
Let j be (-3 + -1)/(-2 - -1). Let c be 2/j*-2*-2. Suppose -t + 14 = o, 38 = c*t + o + 3*o. Is t a composite number?
True
Suppose -2*n - n + 9 = 0. Suppose 60 = -n*x + 7*x. Let w = x - 0. Is w composite?
True
Suppose -10*i = -22507 + 5237. Is i a composite number?
True
Suppose -3*u + 7 = -2*n, 4*u = -0*n + 5*n. Suppose 5*r = 16 + n. Suppose -r*b = -b - 42. Is b a composite number?
True
Suppose -8 = 5*k + 5*c + 7, 4*k - 5*c = 15. Suppose k*j = -3*j + 195. Is j prime?
False
Let m = 58 - 25. Let j = -23 + m. Suppose -v = -j - 117. Is v a prime number?
True
Let n(s) = 3*s + 1151. Is n(0) composite?
False
Suppose 3 = 5*r - 4*o - 6, 3*o - 7 = r. Suppose -142 - 113 = -r*x. Is x a prime number?
False
Let i(h) = -62*h - 1. Let x(t) = t + 4. Let v be x(-6). Let a be (3 - (v + 2))/(-1). Is i(a) a prime number?
False
Suppose -5*t + 5638 = -3*t. Is t prime?
True
Suppose -1051 = -3*w + 575. Let n = -379 + w. Is n composite?
False
Let z(u) = 2*u + 115. Is z(0) prime?
False
Let q be ((-26)/(-3))/((-4)/114). Is (-16)/(-24) - q/3 a prime number?
True
Let g(k) = -1009*k - 40. Is g(-3) a prime number?
False
Let h(v) = -15*v + 19. Is h(-16) a prime number?
False
Let b be (-32)/(-18) + 4/18. Suppose b*o - 75 = p - 0*p, p - 153 = -4*o. Is o a prime number?
False
Let q = -192 + 383. Is q composite?
False
Suppose 5*c = -s + 4201 - 129, 0 = c + 5*s - 800. Is c a prime number?
False
Suppose -2 = 5*i - d, 2*i - i = -4*d + 8. Let f be (i - 5*-25) + -1. Let j = f + -41. Is j composite?
False
Let q(r) = 6*r**2 - 4*r - 2. Let v be q(-5). Suppose 13 = -5*n + v. Is n a composite number?
False
Let w(u) = u**3 + 11*u**2 + 10*u - 10. Let l be w(-10). Let x be (-2)/(-8) + (-1)/4. Is ((-134)/l + x)*5 composite?
False
Is (-2 - -18 - 3) + 0 a composite number?
False
Let v(h) = 6*h**3 + 8 + h**2 + h - 2*h + 4*h**2. Let p(o) = o**3 + o**2 + 1. Let w(s) = -14*p(s) + 2*v(s). Is w(-3) a composite number?
True
Suppose 4*u + 5*z - 20509 = 0, -2*z + 3717 = 2*u - 6539. Is u a