t v = p - -169. Is v composite?
True
Let o = 2 + -8. Let a(k) = 6*k**2 + 6*k - 5. Let v be a(o). Suppose 0 = -4*g - 3*f + 853 - 245, -g + v = -5*f. Is g a composite number?
True
Let o(d) be the first derivative of -4*d**3/3 - d**2/2 - 2*d - 2. Let l be o(-2). Let g = l + 30. Is g composite?
True
Let t(z) = 11*z - 2. Let j(q) = -q**3 - 4*q**2 + 3*q - 7. Let c be j(-5). Is t(c) a prime number?
True
Let i(s) = -178*s + 27. Is i(-5) prime?
False
Suppose -2*l + 2*f = -42, -5*l - 4*f + 112 + 29 = 0. Let c(n) = 6*n + 6. Let p be c(-3). Let h = l - p. Is h prime?
True
Suppose -o - 3 = -2*o. Suppose o*g = 409 - 28. Is g prime?
True
Let y(v) = -494*v**3 - v**2 + 2*v - 1. Is y(-2) prime?
True
Let k(l) be the second derivative of 5*l**4/12 + l**3/3 + 5*l**2/2 - 3*l. Is k(-4) composite?
True
Let w = -136 - -210. Suppose 0 = 5*r - 7*r + 222. Suppose -l = -0*y + 3*y - r, 2*y - l - w = 0. Is y a prime number?
True
Let c(l) = -4 + 95*l - 16*l + 8. Is c(7) prime?
True
Let q = 216 - -101. Is q prime?
True
Let o(l) = l**3 + 5*l**2 - 3. Suppose 4*s + 9 + 7 = 0. Is o(s) prime?
True
Is (397/2)/((-1)/(-2)) a composite number?
False
Let y(s) = 4*s**2 - 8*s + 10. Suppose 7 = -0*i + i. Let g be y(i). Suppose 5*l = -5*x + g, -5*l - 100 = -5*x - 0*l. Is x composite?
True
Let u(x) = 16*x**2 + 37. Is u(8) composite?
False
Let k be (-8)/(-20) + (-2)/5. Let h be 2 + (-2 - k) + 0. Is 25 + h*(-1)/(-3) a composite number?
True
Let y = 611 - 1839. Let k = y - -1905. Is k composite?
False
Let c(l) = 0 + 0 - 6*l - 2. Let o be c(-5). Is 807/7 + (-8)/o composite?
True
Let j(v) be the third derivative of -v**5/60 - 7*v**4/24 - v**3/6 - 2*v**2. Let c be j(-6). Suppose -c*l = -105 - 0. Is l prime?
False
Let f(g) = -g**2 + 4*g - 1. Let s be f(5). Let t be ((-8)/(-6))/(7/21) - 3. Is 62 - s - t/1 a prime number?
True
Suppose 0 = 3*m - 6*m + 2*g + 781, 4*g = -3*m + 751. Is m prime?
True
Suppose -5*h + 143 = 38. Is h a prime number?
False
Let u(z) = 359*z - 1. Is u(1) a composite number?
True
Suppose -5*v + 1 - 6 = 0. Let u = v - -1. Suppose -6*l + 2*l + 136 = u. Is l prime?
False
Let p(l) = -l**2 + 10*l - 16. Let f be p(7). Suppose 2*g + 1605 - 282 = f*k, 264 = k - g. Is k prime?
False
Suppose 5 = l - 4*v - 13, -5*v = 3*l + 14. Suppose -19 = d - 4*j, 2*d = -l*j + 10 + 2. Is (d/(-2))/(4/(-296)) composite?
False
Let b(d) = d**2 - 3*d + 7. Let w be b(8). Suppose -5*n - 5*v = -255, 2*v - 208 = -5*n + w. Is n composite?
True
Let j = -9 - -13. Suppose -15 - 5 = -j*s - 4*o, -4*s + 4 = -4*o. Suppose -4*d = -s*d + f - 13, -2 = 2*f. Is d a composite number?
True
Suppose q + 7 = 122. Is q composite?
True
Is (6/15)/((-3)/(-1545)) prime?
False
Suppose 2*i - 12 = -2*i, -3*k + 3*i = -15. Suppose -k*t + 15 = -3*t. Suppose -o - 5*r = -51, -t*o + r = 3*r - 153. Is o composite?
True
Let a(m) = 10*m**2 + 6*m - 3. Is a(4) a composite number?
False
Suppose 0 = -186*v + 181*v + 3965. Is v composite?
True
Let l be (-2)/(-6) - (-150)/9. Let d = l + 14. Is d prime?
True
Let p(a) = 6*a**2 - 13*a + 11. Let j(r) = r**2 - r + 1. Let i(n) = 5*j(n) - p(n). Let q(v) = -v**3 + 3*v**2 + v + 3. Let h be q(3). Is i(h) a composite number?
True
Suppose -4*a = -4*s - 983 + 3835, -3*a = 3. Suppose -2*f + s + 114 = 0. Is f a composite number?
True
Let c be (0 - 6/3)*-2. Suppose -d + c*b - 799 = -4*d, -4*d - 4*b + 1068 = 0. Is d a composite number?
False
Let f(o) = 24*o**2 - 1. Let m be (-3)/(0 - (-6)/20). Let s be (-8)/5 + 4/m. Is f(s) a composite number?
True
Suppose -1180 = -5*s + 435. Is s prime?
False
Is 12/(-28) + (-661)/(-7) composite?
True
Let g(m) be the second derivative of 2*m + 2*m**2 + 0 + 5/6*m**3. Is g(7) a composite number?
True
Let y be 46/(-4)*(-11 - -9). Suppose -m + y + 96 = 0. Is m a composite number?
True
Suppose 3*b + 0*b + 9 = 2*k, -b = -4*k + 13. Suppose -1789 = -2*w + 5*a, k*w - 537 = -2*a + 2194. Is w composite?
False
Let w(p) = 4*p**2 - 5*p - 364. Let a(z) = z**2 - z - 91. Let h(v) = -9*a(v) + 2*w(v). Is h(0) a prime number?
False
Let z = -190 - 27. Let m = 306 + z. Is m composite?
False
Let o(z) = 8*z**3 - 2*z**2 + z - 2. Let l be o(2). Suppose 3*f - 4*a - 265 = 0, f - 24 = 3*a + l. Is f prime?
False
Suppose -3*i + 1655 = 2*i. Suppose 3*c - 2 = -3*j + 319, 3*j - i = 2*c. Is j a prime number?
True
Suppose -5*i + 0*i + 7415 = -5*r, -7395 = -5*i - 5*r. Is i composite?
False
Is 2*(1059/6 - -1) prime?
False
Let l be 2 + (-5)/(3 - 2). Let g(k) = 5 - 4 + k**3 + 3 + 4*k**2. Is g(l) composite?
False
Let b = -3 - -8. Let j = 8 - b. Suppose 28 = j*l + l. Is l composite?
False
Let i(u) = -u + 19. Let n be i(0). Suppose -5*m - s - 2*s = -n, 5*m + 5*s = 25. Suppose -m*o = -4*o + 74. Is o composite?
False
Let l(u) = 3*u**2 - 8. Suppose -4*v + 2*f = -26, f - 29 = v - 5*v. Is l(v) a composite number?
False
Suppose 0 = 6*d - 149 - 583. Is d composite?
True
Suppose -a = -3*f - 39 + 12, -a = -4*f - 30. Suppose -2*z = -4*z - a. Let p(u) = u + 16. Is p(z) a prime number?
True
Suppose i - k + 1 = 0, -2*i + 13 = -k + 2*k. Suppose -f - f + 1296 = i*h, -10 = -5*f. Is h prime?
False
Suppose 2*n + 7*y = 3*y + 3394, 5*n - 3*y - 8459 = 0. Is n prime?
True
Let c be -1*68*(-2 - -3). Let k be c/(-12) + 4/(-6). Suppose -a = -k*a + 212. Is a composite?
False
Suppose 4*p = 138 + 538. Is p a composite number?
True
Let v(x) = x + 9. Let f be v(-7). Let o = f + -3. Is (1/1 - -6) + o prime?
False
Suppose 1659 = 4*o + 5*q, 0*o + 5*q - 2080 = -5*o. Suppose -140 = -3*j + o. Let b = j - 108. Is b a composite number?
False
Let x = 1282 - -277. Is x a composite number?
False
Let t(f) = 5*f. Let q be t(1). Suppose q*v = 1 - 6. Is (-10)/(v + 33/39) a prime number?
False
Suppose 0 = 5*s - 0*s - 5. Let d(o) = -1 - 1 + 48*o + s. Is d(2) prime?
False
Let a be 1/(((-33)/(-108))/11). Let k = 94 + -2. Suppose -5*v + k = f, 4*v - f - a = 43. Is v a composite number?
False
Let h(j) = -380*j + 1. Is h(-3) a prime number?
False
Let v = 89 + 498. Is v prime?
True
Suppose -5*l + 7243 = 3*i + 458, 0 = 3*l - 2*i - 4071. Is l a prime number?
False
Let c be -3*(-1)/(-3)*-1. Is (1 - (-16 + -2))*c a prime number?
True
Let l(p) = -p**3 - 8*p**2 - 6*p + 2. Let u be l(-7). Let r(x) = x**3 + 6*x**2 + x + 1. Is r(u) composite?
True
Let c(p) = 5*p + 3. Let z be c(5). Let d = z + -7. Is d a prime number?
False
Suppose -8 = -2*a + 346. Is a a composite number?
True
Is (-4)/10 + 1503/45 prime?
False
Suppose -k = 2*k + 9, 14 = w - 4*k. Suppose -w*z - 4 = -4*z. Suppose z*p - 24 = 5*f, 0 = 4*f - f + 6. Is p a composite number?
False
Suppose -125 = 5*j + 180. Let t = 132 + j. Is t composite?
False
Suppose 0 = w + 6 - 10. Let v(i) = i**3 - 5*i**2 + 3*i - 1. Let l be v(w). Is l/30 + 67/6 a prime number?
True
Suppose -4*o - 3*l + 76 = -30, -20 = -o - 4*l. Let h be 1/(-2*(-1)/o). Let u = 1 + h. Is u a prime number?
False
Suppose -5*v = 119 - 504. Is v prime?
False
Suppose -l - 4*l = -15. Suppose -1 = t + g - 3*g, -3*t + l*g + 6 = 0. Suppose 4*z - 67 = t*n + 2, -6 = -z + 5*n. Is z prime?
False
Suppose -198 = -2*o + 3*w, 3*o - 314 = -w - 3*w. Suppose -286 = -4*x + o. Is x prime?
True
Let n(l) = -l + 7 + 1 + 2*l. Let m be n(-6). Suppose 0 = -3*y + m*q + q + 99, -3*q + 6 = 0. Is y prime?
False
Let t be 12/(-8)*26/3. Let s = t + 44. Is s composite?
False
Is 671*((-9)/(-36))/((-2)/(-8)) a prime number?
False
Is 10/15*(-1122)/(-4) composite?
True
Suppose -h - 2069 = i - 6*i, 1227 = 3*i + 3*h. Is i composite?
True
Let z(x) = 2*x**2 - 4*x - 4. Let f be z(4). Let n = 31 - f. Is n composite?
False
Suppose -5*m - 2*s - 2*s = 1, -13 = m + 4*s. Let o(q) = 18*q**2 + q + 1. Let h be o(-1). Is (89/m)/(6/h) prime?
True
Let c(b) = b**3 + 8*b**2 + b + 4. Let n be c(-8). Let h be ((-414)/n)/(3/(-6)). Let i = h - -410. Is i a prime number?
False
Suppose 2*g - 5*c - 675 = 0, 5*g - c - 1662 = 3*c. Is (-2 - -1)/((-10)/g) a composite number?
True
Let g(y) = y**2 + 4*y + 3. Let w be g(-3). Let c be (1 - w)/((-6)/(-132)). Suppose 0 = -2*k + c - 0. Is k a composite number?
False
Let p = -17 + -36. Let d = p + 110. Is d composite?
True
Let j(a) = -a + 10. Let u be j(10). Suppose -2*g - 2*g + 3*d + 352 = u, 105 = g - 5*d. Suppose -s + g = -0*s. Is s a composite number?
True
Let r(p) = -5 + 4*p + 14*p - 3*p. Is r(4) composite?
True
Let z(w) = -w + 10. Let v be z(8). Suppose 2*p + 0*p - 8 = 0. Suppose -v*c - p*k =