/12 + r**3 - 7*r**2. Is v(l) composite?
True
Suppose 5*s = -3*q + q + 5, 8 = s - q. Let j(n) = 2*n + 4. Is j(s) a prime number?
False
Let s(k) = -33*k + 0 + 1 + 4 - 4. Is s(-2) composite?
False
Suppose -3*y + 1373 + 3958 = 4*h, -25 = -5*y. Suppose 3*i - 2*f = -6405 - h, 4*f + 2578 = -i. Is 2/(-9) - i/18 a prime number?
False
Let z = -4 + 7. Suppose i + 2 = -2*n, 4*i - 3*n - 11 - 14 = 0. Suppose 9 = z*a, 4*h + i*a - 35 = 3*h. Is h a prime number?
True
Let o = -140 - -200. Suppose -w = -0*w - o. Suppose 3*y - y + w = 4*p, -4*p - 5*y = -32. Is p composite?
False
Let d(r) = -r**3 + 5*r + 2*r - 4*r**2 + 2*r + 0 + 5. Is d(-6) a composite number?
False
Let s = -121 + 170. Is s prime?
False
Let p be (-148)/3 + 6/18. Let o = 334 + -236. Let c = o + p. Is c prime?
False
Let p(f) = f**2 - 3*f. Let m be p(4). Suppose m*y - 6*q - 259 = -q, 0 = 4*y - 3*q - 261. Suppose -y = -6*t + 3*t. Is t composite?
True
Suppose 17*m - 56 = 13*m. Is (131 + 0)/(14/m) prime?
True
Let t be ((-2)/(-8))/(1/8). Suppose -h - 3 = t*h. Let r(v) = -11*v - 1. Is r(h) a prime number?
False
Let v = -3 - -3. Suppose v = -5*r + 25, 4*g + 0*r - 397 = 3*r. Suppose 2*a + 25 = g. Is a a composite number?
True
Let t(j) = 14*j + 1. Suppose 19 = 5*d - s - 2, 3*s + 13 = 5*d. Let r = d + -4. Is t(r) composite?
True
Suppose -2*w - 3*g - 17 = 0, -w + 2 - 15 = 3*g. Is 1*51 - (-8)/w a composite number?
True
Let q(y) = 8*y**2 + 4*y - 5. Is q(-6) prime?
False
Let x(d) = d**3 - 4*d**2 + d + 3. Let y be (3 + 0 - 2) + 3. Let s be x(y). Let m = -4 + s. Is m composite?
False
Suppose 3*l + 2*l = 2*z - 10, l = -z + 5. Suppose 0 = 2*t - l*t + 8. Let m(r) = 6*r**2 - 7*r - 5. Is m(t) a composite number?
True
Suppose 3*n + n = 20. Suppose 3*f + 2*r + n = 25, -4*f - 3*r = -28. Is 3/1*f/6 a prime number?
True
Let n be 30/(-25) + (-1)/(-5). Let x be 259/n*(-3 + 2). Let o = x - 180. Is o prime?
True
Suppose z - 21 - 37 = -3*u, -4*z + u + 271 = 0. Is z a composite number?
False
Let w(o) = 11*o**2 + 12*o + 23. Is w(-8) composite?
False
Let v(h) = 4*h - 1. Let i be v(1). Suppose -3*x + 1746 = i*k, 3*x + 4*k - 1741 = 6*k. Is x prime?
False
Let b be (2 - (-2)/(-2))*1. Is (-4)/8*-1438*b a composite number?
False
Suppose 4*g + g = 565. Is g prime?
True
Let o(w) be the third derivative of 1/3*w**3 + 3*w**2 + 1/30*w**5 + 0*w + 0 - 11/24*w**4. Is o(-9) a prime number?
True
Let y(s) = 7 + 3*s + 0*s**2 + 0*s + s**2 + 1. Let u be y(-8). Suppose 12 = 4*r - u. Is r composite?
True
Let i(s) be the third derivative of -s**6/120 - s**5/6 - 11*s**4/24 - 5*s**3/3 + 3*s**2. Let w be i(-9). Is 2/w - 59/(-4) prime?
False
Let o(t) = t + 10. Let j be o(-7). Suppose 4*z + 19 - 667 = 5*k, j*z - 491 = 5*k. Is z prime?
True
Suppose 0 = -83*q + 79*q + 6548. Is q prime?
True
Suppose -37*u = -36*u - 2. Let c(g) = 23*g**3 + 2*g**2 - g + 1. Is c(u) a prime number?
True
Let p(i) = 4*i + 4 + 3*i + 3*i + 9. Is p(10) prime?
True
Suppose 3*j + 4*u = 331, -2*j - 2*u + 329 = j. Is j a composite number?
False
Let k(z) = z**2 - 3*z - 2. Let a be (3 + 3/6)*2. Is k(a) a composite number?
True
Suppose 5*p = 4*l + 745, 0*p + p + 4*l = 149. Is p a prime number?
True
Let x be (-3)/(-15) - (-11)/(-5). Let u(t) = -t. Let z be u(x). Is z/(-6) + 62/6 composite?
True
Suppose -4*q = 49 - 2373. Is q a prime number?
False
Let f(i) = 312*i**2 + i - 1. Let d be f(1). Suppose 2*o = 2*r - 206, 6*r - 2*o - d = 3*r. Is r a prime number?
False
Suppose 3*s = w + 674, 3*w = 3*s - 0*w - 684. Is s a prime number?
True
Suppose -2425 = -4*l - 957. Is l a prime number?
True
Let s = 137 - 78. Let x = s + -33. Is x a composite number?
True
Suppose -552 = 4*f - 5*f. Suppose u - 4*u - f = 0. Is 3/(-6)*-6 - u a prime number?
False
Suppose 90 = -2*g - g. Is (-1)/(-5) + (-204)/g a composite number?
False
Let z be (-3)/(30/(-8))*50. Let n be (0 - 1) + 120/2. Let d = n - z. Is d prime?
True
Suppose -1176 + 3681 = 5*h + 2*m, 3*h + 3*m = 1512. Is h a prime number?
True
Let a be 39*(-3)/(2 + 1). Suppose 2*p = -0*p. Let u = p - a. Is u a composite number?
True
Suppose -2*t = 2*t + 5*v - 271, -3*t + v = -208. Suppose -m - t = -2*a, -3*a - 121 = -6*a - 2*m. Is a composite?
False
Suppose 0 = -4*u + 7 + 1. Suppose f - 79 - 75 = -u*k, -4*k + 3*f = -308. Is k composite?
True
Let b be (2 + -1*5)*1. Let h be b/(-2 - (-2 + 1)). Is h*(13 + -2*1) prime?
False
Suppose 0*c - c + 2 = 0. Suppose -4*w + 106 = -c*w. Is w prime?
True
Let l(h) be the first derivative of h**4/4 + 5*h**3/3 - h**2 + 5*h + 2. Let m be l(-5). Let g = -4 + m. Is g a composite number?
False
Let z be 31/2 - (-12)/(-8). Suppose 0*n = -3*n - 3, 2*n - z = -4*d. Suppose 4*s + 5*j - 192 = 252, 0 = -4*s - d*j + 444. Is s prime?
False
Let d(n) = -29*n - 2 + 3 + 85*n. Is d(1) a composite number?
True
Suppose 2 - 3 = 2*u + 3*j, 0 = 3*u - 4*j - 24. Suppose u*n + 16 = -2*i, 4*n - 5 = -i - 23. Suppose -2*z - z = i*p - 107, 3*z = 3*p + 87. Is z prime?
False
Suppose 0 = 2*a - 5*a + 24. Let v be a/(-1 - -2) + 1. Let l(r) = -r**3 + 10*r**2 - r - 13. Is l(v) composite?
False
Let m(z) = -513*z - 4. Is m(-3) prime?
False
Let w be ((-1 - -3)*3)/2. Suppose w*p = 2*q - 145, -4*p = 3*q - 3*p - 190. Is q composite?
True
Is -3 + (0 - -2) + 702 a composite number?
False
Let y(m) = -4*m**3 - m - 1. Let q be y(-1). Suppose 5*x - 3*b - 563 = -7*b, 0 = -q*x + b + 463. Is x composite?
True
Let t(x) = -41*x + 1. Let m = 2 - 4. Is t(m) prime?
True
Let f(a) = 2*a**2 - a - 1. Let n(h) = 0*h + h + h**2 - 2*h**2. Let b(s) = -2*f(s) - 3*n(s). Is b(0) a composite number?
False
Suppose -w = p + w + 5, 3*p + 2*w + 7 = 0. Let k be (-36)/(-6)*1*p. Is k/(-33) + (-832)/(-22) a prime number?
False
Suppose 3*i + 0*i - 6 = 0. Suppose -4*t + 22 = -i*t. Is t prime?
True
Let z be 235/15 + 4/(-6). Let k = z - 11. Is k prime?
False
Let q = -9 - -9. Suppose 2*y - 4*b + 135 - 409 = q, y = b + 141. Is y composite?
True
Let z = 8 - 12. Is -3*((-44)/(-3))/z prime?
True
Let w(g) = -2*g**3 + 3*g + 13. Is w(-6) a composite number?
True
Let i be 5480/(-32) - (-2)/8. Suppose -5*q + 333 = -m - 2*m, 0 = -3*m + q - 345. Let j = m - i. Is j a composite number?
True
Is 15/6*(107 + -1) a prime number?
False
Let i = 2834 - 1375. Is i a prime number?
True
Let p(k) = 2*k + 31*k**2 - 1 + 1 - 1. Is p(2) composite?
False
Is (-7)/(-7) - (0 - 3) a prime number?
False
Suppose 5*q - 2*q = 0. Suppose -2*v + 0*v + 66 = q. Is v a prime number?
False
Let m be -4 + 1/(3 + -4). Let t(c) = c**3 + 4*c**2 - 5*c. Let l be t(m). Suppose l = -6*o + o + 110. Is o prime?
False
Let t(d) = 21*d - 26. Is t(11) a prime number?
False
Let a = -2 + -22. Let h be a*(-1)/4*3. Suppose -g + h + 1 = 0. Is g a prime number?
True
Let x(a) = -6*a**2 - 5*a + 13. Let h be x(-8). Is -4*(-3)/(-12)*h prime?
True
Let g(x) = 5*x**2 + 18*x - 11. Is g(-14) a prime number?
False
Suppose 4*r + 13 = 37. Suppose 2*w + 8 = -r. Is (-891)/w - 2/7 composite?
False
Let f be 604/16 + 3/12. Is 6*f/3 - 2 a composite number?
True
Suppose c - 3*x - 7799 = -3*c, 0 = -5*c - 2*x + 9743. Is c prime?
True
Suppose 0 = -4*c + 3*c - 5*g + 673, 0 = 4*g. Is c a prime number?
True
Suppose 3 - 7 = -2*k. Suppose k*b - 7 = 19. Is b a prime number?
True
Let k(o) be the second derivative of -17*o**3/3 + 3*o**2/2 + 2*o. Let z be k(-8). Suppose -3*b + z = 2*b. Is b a composite number?
True
Let m(z) = z + 1. Let f be m(0). Let g = -2 - f. Is (g/(-6))/((-1)/(-110)) prime?
False
Let r(z) be the first derivative of z**4/12 + z**3/3 + 2*z**2 - 2*z + 3. Let t(m) be the first derivative of r(m). Is t(3) prime?
True
Let c = -27 + -454. Let i = c + 734. Is i a prime number?
False
Let g = 4 + -1. Let d = 1 + g. Let i = d - -11. Is i composite?
True
Let d be (-2 + 2)*(-2 + 1). Suppose d = 2*l + 2*z, 5*l = -0*z - 2*z - 15. Let r = l + 15. Is r a composite number?
True
Suppose 0 = 17*l - 528 - 10063. Is l a composite number?
True
Let p be (4 - 2) + (5 - 5). Let n(v) = 1 - v + v + 37*v**2 + 173*v**p. Is n(-1) a composite number?
False
Let n(z) = z**2 - 5*z + 3. Let m be n(5). Let j = m - 1. Is (-1 - -13) + 1*j prime?
False
Suppose 0 = -2*l + 2*r - 12, -l - 2*l = 4*r - 10. Let x = 11 + l. Is x composite?
True
Let q(x) = x**2 + 12*x + 5. Let s be q(-9). Let k = s + 41. Is k a prime number?
True
Let k be (2/3)/((-3)/(-18)). Let i = 6 - 7. Is (89/k)/(i/(-4)) a composite number?
False
Suppose g + 2*g 