e y(7). Suppose -j = 2*g - 31. Is g a composite number?
True
Let m = -8 + 8. Suppose m = o + 4*o - 345. Is o prime?
False
Let y be (5 + -6)*(-3)/1. Let u(g) = -g**2 - 6 - 4*g**2 - g**3 + 8*g + 3*g**2 + 2*g**y. Is u(5) composite?
False
Suppose -3*z = z - 88. Let c(p) = 3*p + 4. Let q be c(3). Let l = q + z. Is l prime?
False
Let d = 452 - 195. Is d prime?
True
Suppose 0 = 2*p + 8, 0 = -3*k + 7*k - 3*p - 1528. Is k a composite number?
False
Let z be 1 + -1 - (-2 - 0). Let o(s) = -19*s + 5. Let k(j) = 4*j - 1. Let n(q) = z*o(q) + 11*k(q). Is n(6) a prime number?
False
Let b(n) = 4*n**2 + 6*n - 2. Let s be b(-6). Suppose -3*p + 59 = -s. Is p a composite number?
True
Let w = 126 + 33. Is w a prime number?
False
Let a(w) = 66*w - 7. Let y be a(3). Suppose h + y = 2*h. Is h a prime number?
True
Let n be 34/6 + 8/(-12). Suppose 4*y - 4*s + 369 = n*y, -2*y - s = -759. Is y prime?
False
Suppose -51 - 42 = -3*s. Suppose j + 22 = n - 3*j, 3*n = 5*j + s. Suppose n*m + 2*m - 8 = 0, -4*m = -3*p + 49. Is p composite?
False
Let g = 120 + -217. Is g/(-5) - (-6)/(-15) a prime number?
True
Suppose -2*u = 4*d - 18, 0 = -u + 3*u - 2*d. Suppose 3*m - 354 = -u*s, -4*m + 5*s + 378 = -m. Let z = m - 44. Is z composite?
True
Suppose 4*g - g = -5*a + 3184, 1890 = 3*a - 5*g. Is a a prime number?
False
Let h(j) = -73*j + 7. Is h(-6) a prime number?
False
Let m(r) = -r**3 - 6*r**2 + 5*r - 9. Let h be m(-7). Suppose 5*v - h*q - 75 = 0, -3*q - 4 = 2*v - 34. Is v composite?
True
Let g(b) = -3 - 2 + 33*b + 14*b - 4. Is g(4) composite?
False
Let n(q) = q**3 + 3*q**2 - q + 1. Let j be n(-3). Let r = 25 - j. Suppose 5*v + r = 406. Is v a prime number?
False
Suppose 0 = 2*m, m = -2*y - 2*m - 4. Is 330 + (1 + y - -2) composite?
False
Let k = 6 - 4. Suppose h + 31 = k*h. Is h composite?
False
Let n(a) = -6*a. Let y be n(-1). Is (174/4)/(3/y) prime?
False
Suppose 0 = -3*v - 550 + 6025. Suppose 0 = 3*j + 5*k - 1095, 0*k = 5*j + 4*k - v. Is j a prime number?
False
Let i be (-220)/(-14) - 12/(-42). Let z = 15 + i. Is z a composite number?
False
Let y(t) = t**3 + 2*t. Let u(f) = -5*f**3 + f**2 - 8*f. Let a(v) = -2*u(v) - 9*y(v). Suppose -q + 2 = 2*c, 2*c + 2*q - 18 = 5*q. Is a(c) a prime number?
True
Let r(n) = 35*n - 54. Is r(17) a prime number?
True
Is ((-57)/(-6))/((-2)/(-4)) a prime number?
True
Let l(t) = -2*t - 7 + 2*t + 4*t + 0. Is l(5) prime?
True
Let b be 0 - ((0 - 1) + -1). Suppose -24 = -4*g - 4*p, -3*p = -b*g + 1 + 1. Suppose 4*t + q + 40 = 7*t, g*t = -5*q + 47. Is t a composite number?
False
Is (-75)/(-2) + (-6)/12 a composite number?
False
Let l be 5/30 + (-46)/(-12). Suppose h = l*h - 159. Is h composite?
False
Suppose -10*x + 6*x - 24 = 0. Is ((-15)/x - 0)*194 a composite number?
True
Let j = -22 + 353. Is j prime?
True
Let r be (-4)/(-6) - 812/(-6). Suppose 2*j + 33 = 3*k, 2*k + 3*k = -3*j - 2. Let w = r + j. Is w composite?
False
Let u be ((-2)/(-5) - 0)*5. Is u - 1 - (-47 + -1) a prime number?
False
Suppose b + 2*w - 8 = 0, 3*b + w + 6 = 5*w. Suppose -20 = -b*k + 18. Is k prime?
True
Let o = -2 - -4. Suppose -w - o*w - 150 = 0. Let u = 97 + w. Is u a prime number?
True
Let g(b) = 34*b**2 + 6*b + 5. Is g(-3) prime?
True
Let s be 162/39 - (-4)/(-26). Suppose i - 4 = -2*n, s*n = 4*i - 3*i - 4. Suppose n = -3*h + 167 + 124. Is h a composite number?
False
Suppose -4 - 55 = u. Let w = 326 - 220. Let t = w + u. Is t composite?
False
Suppose 2*k = c - 5, -3*c + 7*c = -3*k + 9. Suppose 2*l - 27 = -3*q, -l + 3 = 2*l - c*q. Suppose -4*g = 2*v - l*g - 104, -5*g - 207 = -4*v. Is v prime?
True
Let m be 2/(-5) - 48/5. Let b = -4 - m. Is (-2)/(-3)*171/b composite?
False
Suppose f + 22 = 4*d, -1 + 8 = d - f. Let g(b) = 2*b**3 - 6*b**2 + b + 6. Is g(d) prime?
False
Let u = 552 - 25. Is u prime?
False
Is (-3 - -3 - -154) + (4 - 1) a prime number?
True
Let u(j) = -j**3 + 4*j**2 + 4*j + 5. Let l be u(4). Let x = -14 + l. Is x a prime number?
True
Suppose 0*z - z = -2*b + 153, -3*b = 2*z - 233. Is b a composite number?
True
Let a(h) = -h**3 + h**2. Let m be a(1). Let n = 3 + m. Suppose 5*f = -2*i + 6*i + 70, n*f - 3*i - 42 = 0. Is f a composite number?
True
Let l(a) = 3*a**2 + 3*a - 2. Suppose 2*z = 3*m + 1, -3*m = -5*m + 4*z - 14. Is l(m) prime?
False
Suppose -g + 2*o + 677 = 0, 891 + 471 = 2*g + 4*o. Is g prime?
False
Suppose -16 = -2*k - 2*d, 0 = -k + 5*d - 2 - 8. Suppose -6*a + 487 = -k*a. Is a a composite number?
False
Let w(p) = -p - 6. Let g be w(-5). Let q be 0/(((-2)/g)/2). Suppose 3*z - 5*z + 94 = q. Is z a prime number?
True
Is 11/(-2)*-36 - -1 a prime number?
True
Let k(l) = 3*l**3 - 5*l**2 - 5*l + 446. Let j(s) = -s**3 + 2*s**2 + 2*s - 223. Let h(y) = -5*j(y) - 2*k(y). Is h(0) a composite number?
False
Let t = 3 - 9. Is (t/18)/(2/(-1146)) a composite number?
False
Suppose -2*u + u = -3. Suppose 2*g + 5*x + 1955 = 0, 0 = u*g - 0*g - 2*x + 2961. Is g/(-25) + (-2)/5 prime?
False
Let s(m) = m**2 - 2*m - 2. Let q be s(3). Suppose 3*y + 3*d - 27 = 0, -1 - q = 2*y - 3*d. Suppose -50 = -y*l - 0. Is l a composite number?
True
Let c(j) be the first derivative of -j**3/3 - j**2/2 + 14*j - 3. Is c(0) prime?
False
Suppose -2*l = 142 - 464. Is l prime?
False
Let o = -11 - -9. Let c be 4 + o - -3 - 3. Suppose c*f = 5*d - 0*d + 37, 101 = 5*f - 4*d. Is f a composite number?
True
Is ((-163)/4)/(5/(-20)) prime?
True
Let b(g) = g**2 + 5*g + 1. Let t be b(-5). Is 3/t + 31 - -3 composite?
False
Suppose -16 = g - 6*g - 2*b, -4*b = -g - 10. Suppose w + g*w - 4*q = 253, -2*w + 154 = q. Is w prime?
True
Let g = 319 - -154. Is g a prime number?
False
Let v be (-136)/(-22) - (-6)/(-33). Let q(m) = 3*m. Let r be q(v). Let d = r - -17. Is d composite?
True
Suppose 0 = 7*o - 3*o. Suppose o = 3*n + d - 2*d - 142, 0 = -2*n + 5*d + 73. Is n a prime number?
False
Suppose -5*z = -q - 3058, -3*z + 2*q + 1702 = -137. Is z prime?
False
Is (-11)/(22/8) - -2153 a prime number?
False
Suppose 3*n = -2*n + 1100. Let x(j) = 9*j**3 + 3*j**2 - 3*j. Let p be x(2). Suppose 2*r + p = -4*g + n, -r = 3. Is g composite?
False
Let p = -66 - -113. Is p composite?
False
Let i be (32/(-10))/(10/(-25)). Let o = i + -6. Suppose -1487 = 3*t - 7*t - 3*v, 744 = 2*t + o*v. Is t prime?
False
Let i = -4 + 1. Let l be (-30)/(-5) + i/1. Suppose -l*w + 298 = -w. Is w composite?
False
Let n(c) = -2*c**2 + 8*c - 4. Let h(l) = 2*l**2 + 4*l - 1. Let m be h(-3). Let j be n(m). Is 925/9 + j/(-63) a composite number?
False
Let l(b) = 2*b**2 + 6*b - 7. Suppose 4 + 1 = q. Let r be l(q). Suppose 8 = -5*s + r. Is s prime?
True
Suppose i + 3*l = -2, 3 = 4*l - l. Let o be (-46)/i*(-5)/(-2). Suppose 3*v - o = -r, 5*v + 4 = 3*r - 9. Is r a prime number?
True
Let s(u) = -181*u + 7. Let p be s(-7). Suppose 4*a - p = -3*x - 0*x, -x = -a + 315. Is a composite?
False
Let s(q) be the first derivative of -3*q**4/4 - 5*q**3/3 + 7*q + 5. Is s(-5) a prime number?
True
Let j = 2056 + -1167. Is j a composite number?
True
Let a(o) = -o**2 - 23*o - 3. Is a(-10) composite?
False
Let u = 4 - -355. Let v = 528 - u. Is v a prime number?
False
Let g be (-3)/(-2)*572/39. Let y = g + -19. Is y a composite number?
False
Suppose -2*o + 2 = -6. Suppose 4*t = -o*f + t + 280, f - 47 = 5*t. Is f composite?
False
Suppose -r + 59 = -81. Let u be ((-10)/8)/((-5)/r). Suppose 6*p = 5*p + u. Is p a composite number?
True
Suppose 1540 = 7*x - 2*x. Suppose -8*a + 4*a + x = 0. Is a a prime number?
False
Suppose 20 = -z + 5*z - 5*f, z + 5*f = 5. Suppose -z = -5*h + 20. Suppose 2*v - 102 = -h*n, 3*n + 3 = 9. Is v prime?
False
Let z(c) = -c**3 + 6*c**2 + 2*c - 6. Let k be z(6). Let p(x) = x**2 - 1. Is p(k) composite?
True
Let p(d) = -d**3 - 8*d**2 - 8*d - 3. Let l be p(-7). Suppose -5 = -l*h - 17, -2*o + 5*h + 1515 = 0. Suppose 4*q - 94 = o. Is q a prime number?
True
Let p = -1118 - -2217. Is p a prime number?
False
Suppose -3*l - 2*l = -135. Suppose 0 = -3*i + 3*t - l, -2*i + 5*t = i + 31. Let u = 0 - i. Is u a prime number?
True
Let m = -112 - -198. Let r = -26 + m. Suppose -4*h + 96 + r = 0. Is h a prime number?
False
Let a(q) = 79*q - 2. Is a(4) prime?
False
Suppose 2*u = -2*m + 6, 0*u - 12 = -m + 2*u. Let j(n) be the second derivative of 7*n**3/6 - 2*n**2 - 6*n. Is j(m) prime?
False
Let f(u) = -20*u - 10. Let h be f(-7). Suppose h = -2*m - 3*t, 175 + 125 = -5*m + 5*t. Let o = 141 + m. Is 