et w be (-52)/(-4)*-3*3. Let i = w + 352. Is i a prime number?
False
Let d(k) = k + 1. Let m(w) = 3*w + 3. Let u(i) = 2*d(i) - m(i). Let f be u(-1). Is 0 - 2 - (f - 57) prime?
False
Suppose 0*w - 2*w = 0. Suppose 0 = 3*p + 2*t - 9, -6 = -5*p - 4*t + 9. Suppose -87 + 6 = -r - u, p*r - 2*u - 233 = w. Is r a prime number?
True
Let d(t) = -461*t**3. Let q be d(-1). Let s = q - 304. Let x = -68 + s. Is x a composite number?
False
Suppose 9*z - 8*z = 454. Is z a composite number?
True
Suppose -70 = -8*k + 3*k. Is k composite?
True
Let g(l) be the second derivative of l**5/24 + l**4/12 - l**3/3 - 2*l. Let j(x) be the second derivative of g(x). Is j(7) a composite number?
False
Suppose 5*h - 5*r - 5 = 2*h, 5*r = -h - 25. Let d = h - -7. Is d prime?
True
Suppose -i - 3 = 9. Is (-388)/i - (-4)/6 prime?
False
Let c(g) = 16*g**2 - 6*g - 17. Is c(-5) composite?
True
Suppose 5*r - 3*p = 8783, 2*r + 2*p - 3526 = -0*p. Is r composite?
False
Suppose 0 = 4*y + 16, y - 23 = -3*h + 132. Is h prime?
True
Let c(k) = -14*k**3 + 1. Let i be c(-1). Is ((-534)/9)/((-10)/i) composite?
False
Let u(a) = 5*a**2 - 10*a - 2. Let z be u(-7). Suppose -5*c + z = -4*j - 58, -3*c = 3*j - 228. Suppose 2*o - 5*v = c, 34 = o + 5*v - 4*v. Is o prime?
False
Let x be (-593)/(-5) + (-3)/5. Suppose -x = -2*v + 20. Is v a prime number?
False
Suppose -2*k = k + 15. Let m be (k/2)/(3/(-6)). Suppose 0 = 4*w + 16, -m*u + 335 = -2*w + 32. Is u a prime number?
True
Suppose 1 = o - 1. Is (o/4)/((-2)/(-92)) composite?
False
Let v(l) = 6*l**2 - l**3 + 5 - 2*l + 3*l - 7*l. Let s be v(5). Is 1/((-3)/(-57 + s)) prime?
True
Let r(m) = -2*m - 7. Let v be r(-5). Suppose -v*p + 279 = 2*h + 2*p, 5*h = -5*p + 660. Is h prime?
True
Let i(w) = -w**3 + 5*w**2 - w - 5. Let m be i(5). Is (2/3)/(m/(-885)) prime?
True
Suppose 5*p - 2127 = 4*q, 3*p - p = 4*q + 846. Is p a composite number?
True
Let l = -199 - -536. Is l prime?
True
Let l(c) = -c**3 - 6*c**2 + 5*c + 2. Let n be l(-7). Is 357/(-28)*n/(-6) composite?
True
Let u = -268 + 687. Suppose 4*j - 1071 = -u. Is j composite?
False
Let x = 0 + 3. Is (-1 + 65 + x)/1 composite?
False
Suppose -c + 18 = c. Is (-6)/27 + 5897/c a composite number?
True
Let c = -126 - -817. Is c a composite number?
False
Let g(u) = 12*u**2 + 5*u - 6. Let t(q) = q - 1. Let a(r) = g(r) - 3*t(r). Let d be ((-16)/12)/((-8)/12). Is a(d) a prime number?
False
Suppose -3*z = -2*z - 1. Let r(c) = -c - 4*c**2 - z + 3*c**2 - 8*c. Is r(-4) a prime number?
True
Let m = -652 + 456. Let g be 54/(-1*2/21). Let i = m - g. Is i composite?
True
Suppose -4*v + 3130 + 130 = 0. Is v composite?
True
Let j(h) be the second derivative of h**4/12 - h**3/6 - h**2/2 - 3*h. Let z be j(2). Suppose -y + 5 + z = 0. Is y a prime number?
False
Suppose -3*x + 1644 = x. Is x composite?
True
Let c(t) = -t**2 - 11*t - 6. Let w be c(-10). Let i(p) = p**3 + 2*p**2 - 3*p + 5. Is i(w) composite?
False
Let m = 846 - 1250. Is (3 - m) + (0 - 0) prime?
False
Let f(r) = -r**3 + 5*r**2 + 8*r - 3. Let s = -5 - -10. Is f(s) a composite number?
False
Let r(j) = -2*j. Let z be r(-3). Suppose 3*l = -3*f + 1974, 0*f + 3*f - 3*l = 1956. Suppose z*v - f = v. Is v composite?
False
Let y be ((-3)/(-3) - 1) + 1. Let i = 5 + y. Let r(q) = 12*q - 7. Is r(i) prime?
False
Let i = -1513 - -2796. Is i a composite number?
False
Let h = -6 - -2. Let i be 2/(-8) - 73/h. Let t = i + 15. Is t a composite number?
True
Is (-55)/(-11)*(0 + 541) composite?
True
Let n = 8 - 5. Suppose 2 = n*o - 4. Is (o - -1)*6/2 composite?
True
Let n = 314 + -101. Is n prime?
False
Suppose 5*w - 3*w + 64 = -4*l, 0 = -5*w + 2*l - 160. Let p = w - -67. Is p prime?
False
Let i be (-1)/(-2)*6 - -6. Is (-19)/(-3) + (-3)/i a prime number?
False
Suppose 2*f - 1 = f. Let a(q) = -2*q**3 + 2*q**2 - 2*q + 1. Let n be a(f). Is ((-3)/6)/(n/12) composite?
True
Let h = -1401 - -2378. Is h a prime number?
True
Suppose 2 = 5*i + 3*v, 0 = i - 4*v - 6 + 1. Suppose s + i - 24 = 0. Is s a composite number?
False
Let j(v) be the second derivative of v**4/6 + 5*v**3/2 + 15*v**2/2 + 5*v. Is j(-10) prime?
False
Let c be (55 + -2)*(0 + -1). Let p be ((-2)/(-2))/((-1)/c). Suppose 0 = -5*v + 2*v + 4*t + p, 0 = v + 2*t - 21. Is v composite?
False
Suppose y - 4 = 0, y + 20 = -2*r + 6*r. Let f(u) = 3*u**2 + u - 8. Is f(r) a prime number?
False
Suppose 5*i = 13 - 3. Suppose 0 = 2*m, 2*m - 567 = -i*w + 67. Is w a composite number?
False
Let u(k) = 2*k**3 - 4*k**2 - k + 5. Let r(p) = -p**3 - 4*p**2. Let s be r(-4). Let l = s + 4. Is u(l) a prime number?
False
Let r(v) = v - 10. Let l be r(11). Let u(b) = 222*b**2 + b - 1. Let m be u(l). Suppose -2*h + 160 = -m. Is h a composite number?
False
Suppose 29 = 5*a + 9. Let u(m) = 40*m + 3. Let q be u(3). Suppose d + 32 = t, 3*d = a*t + 4*d - q. Is t prime?
True
Let g(z) = 35*z - 14. Is g(15) prime?
False
Let x(t) = 5*t**2 - t**2 + 3*t + 0*t**2 + 0*t**2 + 6. Is x(5) a prime number?
False
Let v(o) = 43*o + 4. Is v(3) prime?
False
Let b = -106 - -164. Is b prime?
False
Let r(h) = -h**3 + 3*h**2 + 2*h - 1. Let j(k) = -3*k**3 + 5*k**2 + 4*k - 3. Let l(i) = -2*j(i) + 5*r(i). Suppose 5*w = -22 + 2. Is l(w) a prime number?
False
Let c = 1 - -1. Suppose m - c + 6 = 0, 10 = -2*s - 4*m. Is -1*(-1)/(s/381) a prime number?
True
Let z(f) = 3*f**2 - f + 0 + 60*f**3 - 4*f**2 + 1. Is z(1) a composite number?
False
Let w be 4/22 + (-31)/(-11). Suppose -w*i = -2*i - 3. Suppose i*n - 148 = -n. Is n a composite number?
False
Let f be (-14)/(-21)*(1 - -2). Suppose f*h - 452 = -2*h. Is h a prime number?
True
Let x be (1*-2)/2 + -27. Suppose 4*f + 66 = -5*k, 4*f + 3*k + 19 + 43 = 0. Let s = f - x. Is s a composite number?
True
Suppose 0 = -6*a + 2*a - 4*m + 8, -a - 6 = 5*m. Suppose -158 = -5*q + q - 2*p, -3*p - 133 = -a*q. Is q composite?
False
Let l = 17 - 0. Let m = l - 12. Suppose 2*o - t - 180 = 0, 0 = -m*o + 4*t + 154 + 293. Is o composite?
True
Suppose 2*z = 3*w - 615, w - 2*z - 209 = -0*z. Is w composite?
True
Suppose -2*o + 206 = -72. Is o composite?
False
Let m be (-3)/(-6)*8/1. Suppose 110 = 2*j + m*g, -4*g + 0*g = -j + 55. Is j composite?
True
Suppose s + o = -3, 3*o - 2*o + 11 = 3*s. Suppose -3*r = s*r - 2*f - 439, 0 = -4*f + 12. Is r a prime number?
True
Is (-2452)/(-8) + (-1)/(-2) a prime number?
True
Suppose 3*t - 3*u + 2 = 26, 4*u = -4*t - 8. Suppose -t*h + 4*a = -a - 40, a - 1 = 0. Is h composite?
True
Is (0 - -2)*2234/4 composite?
False
Suppose 0 = -o - z + 4, 1 = 2*o - z - 1. Is 260 + 0 - o - -1 prime?
False
Let t be 2*(-2)/(-4*1). Suppose -5 = -s + t. Is s prime?
False
Suppose -7*q - 4*w + 212 = -3*q, w = -5*q + 265. Is q a prime number?
True
Let g(c) = -c**3 + 16*c**2 - 16*c - 19. Is g(14) a composite number?
False
Suppose 14*q = 6770 + 524. Is q composite?
False
Is (-24)/18*(-3)/(-2) + 115 a prime number?
True
Suppose -10 = m + 2*s, -4*s = s + 20. Is m + 9/3 + 12 a prime number?
True
Let d(n) = n**3 - 6*n**2 + 2*n - 2. Let w be d(6). Suppose -r - 1 + 3 = g, -5*g = -r - w. Is 1/((-1)/(-11) - r) a prime number?
True
Let g(v) = -v - 6. Let a be g(-8). Suppose -10 = -2*s + a. Suppose -s = 4*z - 394. Is z a prime number?
True
Suppose -10 = -p + 37. Is p a prime number?
True
Suppose -15368 = 4*a - 12*a. Is a composite?
True
Let u(k) = -110*k**2 + k - 3. Let t be u(-2). Let q = 656 + t. Is q a composite number?
False
Suppose -3*i + 898 = w, w - 2*w = 2*i - 901. Is w composite?
False
Suppose -4*z - 5*d = -4*d - 7283, 1826 = z - 5*d. Is z a composite number?
True
Let h(s) = -3*s**3 - 4*s**2 - 5*s + 2. Let v be h(-4). Suppose 2*i - 4*u = -198, 3*u + 184 = -0*i - 2*i. Let a = i + v. Is a a composite number?
True
Suppose 32 = 2*t - 0*y + 3*y, -3*t + 4*y + 14 = 0. Is t composite?
True
Let l(g) = -59*g - 3. Is l(-2) prime?
False
Let v = 49 - -18. Is v prime?
True
Let w(h) = 1063*h - 2. Is w(1) a composite number?
False
Let u(q) = -q**3 + 8*q**2 - 3*q + 4. Let v be u(7). Suppose 3*d + v + 10 = g, 0 = -4*g + 5*d + 161. Is g a prime number?
False
Suppose -291 - 5 = -4*m. Is m a prime number?
False
Is 1754/(-6)*(-4 - -1) a prime number?
True
Let x be -888*((-15)/(-6))/(-5). Suppose -3*t + x = t. Is t prime?
False
Suppose 4*s + 6*b + 308 = 2*b, 4*s + b + 311 = 0. Let y = s - -38. Let x = 77 + y. Is x composite?
False
Let b(n) = -17*n + 1. Is b(-4) a prime number?
False
Suppose 