35. Is u a prime number?
True
Let c(p) = 29*p - 5. Is c(3) prime?
False
Suppose 0 = -3*x - x + 64. Suppose 4*q = 2*h + 452, -2*h = 2*h - x. Is q composite?
True
Let d(i) be the third derivative of 0*i - 2*i**2 + 0 - 1/8*i**4 + 1/30*i**5 + 5/6*i**3 + 1/120*i**6. Is d(4) a composite number?
False
Suppose 3*x + 4*d - 118 = 0, 0*d + 97 = 2*x - d. Is x a prime number?
False
Let q(r) be the second derivative of 5*r**3/6 + 5*r**2/2 - 2*r. Let t be q(-6). Let z = 6 - t. Is z a composite number?
False
Let h be 7/(21/(-544))*3. Let m = 767 + h. Is m a composite number?
False
Suppose -s + 13 + 20 = 0. Suppose -5*t = -s - 37. Is t prime?
False
Let a = 8 - 6. Suppose -a*p + 33 = w - 25, -w = p - 27. Is p prime?
True
Suppose 5*s = -13 + 393. Suppose -s = -o - 25. Let b = o + 2. Is b a prime number?
True
Suppose -4*y - 2 + 10 = 0. Suppose -y*v = 3*v + 105. Let c = v - -35. Is c a composite number?
True
Let b(m) = 2*m - m**3 - 2 + 0*m + 2*m + 6*m**2 - 6*m. Is b(4) composite?
True
Let y(k) be the first derivative of k**3/3 + 2*k**2 - 13*k - 3. Is y(10) a composite number?
False
Let m = 5 - 3. Suppose -4*n + y + 5 = -3*n, 4*y = m*n - 20. Suppose 4*u - 6*x + x - 491 = 0, n = -2*u + 2*x + 244. Is u prime?
False
Suppose -4*q + q + 63 = 0. Let p be 6/3 + 4/(-2). Suppose p = b - q. Is b composite?
True
Let b be (2 + -3)/(-1) + 197. Suppose 0 = 2*w - 4*l - b, 2*l = 6*w - 3*w - 281. Is w a prime number?
False
Let c be -2*(-3)/6 - -24. Suppose 0*f + c = f. Let k = f + -12. Is k a prime number?
True
Suppose -3*h - 3*s = -6018, -h + 10028 = 4*h + 3*s. Is h a prime number?
False
Let y be 785 - -1 - (3 - 1). Suppose -y = -2*u - 66. Is u prime?
True
Suppose b + 0*m - m = -11, 0 = b + 4*m + 6. Let l be 8/b*(4 - -1). Is (-455)/(-4) - (-3)/l a composite number?
False
Suppose 3*o = -3*a + 18, 0 = -3*o + 3*a + a + 4. Let v = o - -2. Is v composite?
True
Suppose -5 = -2*t + 1, -4*u = t - 311. Suppose -h - y - 1 = -21, 4*h + y - u = 0. Is h a prime number?
True
Suppose 4*j - 32 = -8. Suppose 5*z + 2*f + 6 = j*f, -2*z = 2*f - 12. Suppose -z*q + 10 = 2*g, -2*q - g + 7 = -4. Is q composite?
True
Let u(v) = 113*v + 19*v + 32*v - 24*v. Let k(q) = -47*q. Let t(c) = -11*k(c) - 4*u(c). Is t(-1) composite?
False
Let h(w) be the third derivative of -w**4/6 - w**3/6 - w**2. Let y(m) = 2*m + 2. Let t be y(-2). Is h(t) composite?
False
Is 21/(-14)*(-11852)/6 composite?
False
Suppose j + 0*w = 2*w + 12, 5*j - 25 = 3*w. Suppose -o = -83 - j. Let t = -60 + o. Is t prime?
False
Let h(s) = -3*s - 9. Let r be h(-4). Suppose -r*v + 5*v - 26 = t, 3*t = -3*v + 48. Is v composite?
True
Suppose -c = 5*q - 3355, 7*c + 2684 = 4*q + 10*c. Is q a composite number?
True
Let y(p) = -p + 19. Let m = 9 + -16. Let f = m - -7. Is y(f) a prime number?
True
Let r = -1068 + 1539. Is r a prime number?
False
Is (-2)/3*29490/(-4) composite?
True
Let l(v) = 10*v**3 + 2*v**2 - 3*v + 2. Is l(4) a prime number?
False
Let a(q) = -q**3 - 2*q**2 + q - 4. Let c be a(-4). Suppose 0 = 4*f - 2*f + c. Is -1 + (-4)/(-2) - f composite?
False
Suppose 5*r - 104 = -4*y, r + 59 = 3*y - 0*r. Is y a prime number?
False
Suppose -3*c - 2*x - 17 = 0, 3*c + c = -2*x - 26. Is -1*c*1 + 2 a prime number?
True
Suppose 11885 = 3*i + 3518. Is i composite?
False
Suppose 3*c - 1123 = c + 3*n, 2*n = c - 563. Is c a prime number?
True
Let d = -155 + 275. Suppose 196 = 4*b - d. Is b composite?
False
Suppose -2*o - 59 = l - 214, -2*l + 310 = 2*o. Suppose -4*d = 2*j - 2*d - 14, d - 19 = -5*j. Suppose 0 = -5*s - 2*i + 253, 0*s - j*s = 2*i - l. Is s prime?
False
Let z be (-2)/(-6) + 16/6. Let g = z + -3. Suppose g = -4*w - 5*h + 64, -2*h + 16 = 2*h. Is w prime?
True
Let i(o) = -2*o + 1. Let s(l) = -3*l + 1. Let f(y) = -5*i(y) + 6*s(y). Let m be f(-4). Suppose 0 = 5*a - 72 - m. Is a a composite number?
True
Let d = 4 - 4. Suppose -3*y + 6*y + 18 = d. Is (-284)/(-6) + 2/y a prime number?
True
Suppose -31 = -z + 4*y - 13, 4*z - 59 = 3*y. Is (-4)/14 + 1222/z a prime number?
False
Let v(t) = -t**3 - 12*t**2 - 12*t - 10. Let k be v(-11). Is (k - -1)*(-154)/(-4) prime?
False
Suppose i = 62 + 69. Is i composite?
False
Suppose 0 = 5*b - 2*s + 14, -2*b + 4 = -s + 9. Let y(u) be the second derivative of -7*u**3/3 - 3*u**2/2 + u. Is y(b) a prime number?
True
Let y(o) = -o**3 - 6*o**2 - 6*o - 7. Let d be y(-5). Let z = -2 - d. Suppose -2*v - 3*v + 95 = z. Is v a prime number?
True
Suppose -2*z + 3*o = -0*o - 91, 0 = -5*z - 4*o + 285. Is z composite?
False
Let m = -4 + 7. Is (m + -4 + -52)/(-1) a prime number?
True
Let x(a) = a**3 - 5*a**2 - 2*a + 5. Is x(7) composite?
False
Is ((-5)/(-6) - (-13)/(-39))*1574 prime?
True
Suppose -3*f = -5*z - 6, 5*z + 27 = f - 5*f. Let w be ((-3)/2)/(f/8). Suppose -5*u = 2*l - 71, -4*u + 58 = w*l - 3*l. Is u prime?
False
Is 3*((-298)/8)/(4/(-16)) composite?
True
Let s(g) = -g**2 - 5*g + 3. Let c be s(-5). Let z = 7 - 13. Is 14*(-1)/z*c a composite number?
False
Let f be 0/2 - 14/2. Let o = f + 22. Is o a prime number?
False
Let n(v) = 2*v - v**2 - v + 9*v**3 + 68*v**3. Is n(1) prime?
False
Suppose 1686 = 7*o - 127. Is o a prime number?
False
Let p = 11 - 6. Let t be (p + -9)/(2/(-5)). Suppose -6*s + t = -s, a - 25 = 3*s. Is a a composite number?
False
Suppose 3*m - 643 = o - 171, 0 = -5*o - 5. Is m composite?
False
Let j be 10 - 8 - 107*-1. Let c = 283 - j. Suppose 0*s - 290 = -5*a - 3*s, -3*a + c = -3*s. Is a composite?
True
Let y(n) = n**3 + 4*n**2 + 3*n - 3. Let x be y(-3). Let v = 146 - x. Is v a composite number?
False
Suppose -21 = -4*q - 1. Suppose 0 = 5*y + q*d + 10, -3*y + y - 10 = -4*d. Is (y - -1) + 16/2 a prime number?
False
Suppose 0 = r - 5*g - 13, -4*r + 0*r = -4*g - 20. Suppose -r*p - 6 + 51 = 0. Is p a prime number?
False
Suppose 609 = g - 4*v, 4*g - 1358 = 3*v + 1091. Is g composite?
False
Suppose 3 + 2 = -t. Let a(q) = q**3 + 7*q**2 + 7*q + 4. Is a(t) a composite number?
False
Let j(h) = 147*h - 27. Is j(14) prime?
False
Let w(h) = h + 43. Let l = 4 + -4. Is w(l) a prime number?
True
Let h(n) = n**2 - 2*n + 4. Let u = 1 + -11. Let x be u/(-4)*4/2. Is h(x) a prime number?
True
Let z(v) = -3*v**3 - 4*v**2 + 4*v + 7. Suppose -3*i + i = 12. Is z(i) prime?
True
Suppose -490 = -5*j + 965. Suppose -j = -3*l - 0*l. Is l a prime number?
True
Let l(j) = 23*j**2 + 20*j + 36. Is l(-11) a prime number?
False
Let v = -81 - -192. Is v prime?
False
Let b(d) = 183*d. Let v be b(1). Let m be -1 + (1 - 2 - -132). Let o = v - m. Is o a prime number?
True
Suppose w = 3*w - 3*c - 3326, -2*c = -3*w + 4979. Is w composite?
False
Let r(b) = -4*b - 2. Let c be r(-3). Let n be -10*c/8*-6. Let x = n + -20. Is x prime?
False
Suppose 0 = -3*u - u + 112. Suppose 3*l - 2*l - 7 = 3*d, -4*l + u = 2*d. Let b = l - -24. Is b a composite number?
False
Suppose 4*y - 3*i - 1772 = 0, y - 1329 = -2*y + 5*i. Is y composite?
False
Let z be (-128)/(-3) - 6/(-18). Let w be (7/(-3))/(1/9). Let h = z + w. Is h composite?
True
Let a = -3 - -13. Suppose -a = -4*f - f. Is f a composite number?
False
Let b be (-2)/8 - (-5)/20. Suppose b = 5*g - 54 - 21. Is g a prime number?
False
Let b = 4 - 0. Suppose -3*a - 9 = 2*n, 6*n - b = 3*n - a. Is n composite?
False
Let p = 12212 - 7791. Is p a composite number?
False
Let s be ((-4)/1)/(-4 - -6). Is 6/2 - (-34 + s) composite?
True
Let c(t) = -3*t**2 - 3*t + 2. Let i(k) = 6*k**2 + 7*k - 5. Let o(q) = -7*c(q) - 3*i(q). Let u be o(-1). Suppose u*v - 197 = 23. Is v a prime number?
False
Let q be (2 + -5)*(-4)/(-6). Let h be 3/(-6)*q - -1. Is 141/6*(h - 0) a composite number?
False
Suppose -304 = -3*j + 170. Is j a composite number?
True
Let q = -908 - -643. Let p = -42 - q. Is p a prime number?
True
Let n(w) = 56*w - 1. Suppose -m = -2*m + 5. Let a be n(m). Is a/12 + (-2)/8 composite?
False
Let v = -8 + 13. Suppose 194 = 3*b + 5*f + 48, 232 = v*b - 3*f. Is b a prime number?
True
Let v = -27 + 87. Suppose -3*z + 0*x = -3*x - 84, -2*z + 21 = 5*x. Let k = v - z. Is k composite?
False
Suppose 142 = 5*r - 743. Is r a composite number?
True
Suppose 0*v + 828 = 3*v. Let g = 529 - v. Is g a composite number?
True
Suppose -1005 = -5*v + 3*h, -18 + 3 = -3*h. Is 1*v + (4 - 5) prime?
False
Suppose -2*z - 3663 = -5*z. Let x = z - 648. Is x prime?
False
Suppose -l - 9 = -4*l. Let x(c) = 5 - 1 - l - 28*c. Is x(-4) prime?
True
Let n be (-5)/(-