 + s = v, 3*v + 5*w - 119 = 160. Is v prime?
False
Let g = -69 + 126. Is 0/(-2) + 0 + g a composite number?
True
Let g(v) = -12*v**3 - 2 - v + 1 + v**2 + 4*v - 4*v. Is g(-1) prime?
True
Let p = 6 + -8. Let y(f) = -73*f - 3. Is y(p) a composite number?
True
Suppose 37 = -2*v - 227. Let w = v - -323. Is w a composite number?
False
Suppose 3*d - 15 = -6, 0 = -4*t - d + 18143. Is t a prime number?
False
Let o = -9 - -6. Let n be (-3)/3*(o + -2). Suppose 2*p - 3*d = 6*p - 99, 130 = 5*p + n*d. Is p a composite number?
True
Is (0 + 15)/(-2 + 3) composite?
True
Suppose -4*c = 3*d - 4987, -4*d + 6612 = -5*c + c. Is d prime?
True
Let r be ((-79)/2)/((-4)/24). Let q = 454 - r. Is q prime?
False
Let t(c) = c**3 - 6*c + 9. Let o be t(6). Let y = o - 267. Is (4/12)/((-2)/y) a composite number?
False
Let p(o) = 19*o - 1 - 2 + 0 - 5*o. Is p(5) a composite number?
False
Let y be ((-3)/(-4))/((-2)/24). Let a = y - -6. Let r = a + 7. Is r a prime number?
False
Suppose 0*r + 2*r = 4. Let h be 12/5 + r/(-5). Suppose -h*c + 230 = -0*c. Is c composite?
True
Let q = 890 - 511. Is q composite?
False
Is 262*3/6 - 4 composite?
False
Let a = -6 + 8. Suppose 0 = 5*o - 4*f + 30, 4 = -2*o + a*f - 6. Let s = o - -17. Is s a composite number?
False
Suppose 5*w = 15 + 15. Let n = -11 + w. Is (118/n)/(4/(-10)) a prime number?
True
Suppose -k + 2*k = 8. Let t = k - -45. Is t a composite number?
False
Suppose -f - 5*h + 40 = 0, -2*h = -5*f - 6*h + 137. Is f composite?
True
Is (9816/12)/(3 - 1) a composite number?
False
Suppose 4 = -3*d + 13. Suppose 40 = d*c + 2*c. Suppose j = -u + 20, j + c*u = 3*u + 12. Is j composite?
True
Let k(g) = -13*g**3 - g**2 - 4*g + 3. Is k(-4) composite?
True
Suppose 2*t + 28 = -2*z, -z = -4*z + 5*t - 34. Let y be -2*2/(-4)*z. Let l = y + 32. Is l a prime number?
True
Suppose -2*t + 4*d - 4 = 0, -4*d + 9*d = -5*t - 10. Is (1 - t) + 32*1 a composite number?
True
Is 1/3*(0 + -6) - -661 composite?
False
Let q(i) = i**3 + i + 3. Let l(r) = -r - 11. Let d be l(-11). Let g be q(d). Suppose -g*v - 3*p + 423 = 27, 2*v + p - 259 = 0. Is v a composite number?
False
Let c = -9 + 3. Let b be (4/c)/((-2)/537). Let l = b - 126. Is l a prime number?
True
Suppose 0 = -2*v - 3*l + 133, -2*v - 197 = -5*v - 4*l. Is v a prime number?
True
Let n = -420 + 634. Is n a composite number?
True
Let v(p) = -2*p**2 + 67. Is v(0) a composite number?
False
Let g(m) be the second derivative of -m**5/5 - m**4/12 + m**3/2 + m**2/2 - 3*m. Is g(-2) a prime number?
True
Let l(a) = 33*a**3 + a**2 + 1. Let g(f) = f**3 - 5*f**2 + 3*f + 2. Let q be g(4). Let b be l(q). Let u = -180 - b. Is u a prime number?
True
Is (4 + (-6)/3)*41 a prime number?
False
Let o(a) = 5*a**2 + 4*a + 9. Let z be o(11). Let l(h) = 121*h - 2. Let w be l(-3). Let b = w + z. Is b prime?
True
Suppose -4*w - 4*u = 0, 2*w - 6*u = -2*u + 18. Suppose 5*v - w*v - 134 = 0. Is v composite?
False
Let d(f) = -11*f - 2 + 4 - 60*f - 34*f. Suppose 0 = 5*v + 3*w - 3 + 18, 2*w = 3*v + 9. Is d(v) composite?
False
Is ((-889)/(-3))/((7/(-3))/(-7)) a prime number?
False
Let f be (2 + -2)/((-1)/(-1)). Suppose f*r - 294 = -5*r + h, r - 2*h - 57 = 0. Is r composite?
False
Is (-3714)/(-5) + 5*(-5)/(-125) prime?
True
Let s(f) = 16*f**2 - f. Let k(m) = m**2 - 6*m + 4. Let c be k(5). Let a be s(c). Let g = a + -10. Is g a composite number?
False
Suppose -3*q + 2*f = -2*q - 202, 0 = 5*q - f - 1010. Is q a composite number?
True
Let h = 10 + 23. Is h composite?
True
Is ((43113/14)/1)/((-6)/(-4)) prime?
True
Let y = 450 + -653. Let n = 6 - y. Is n a prime number?
False
Let k(c) = 55*c**2 + 7. Is k(4) composite?
False
Let b = -12 - 0. Is 2/b + (-3580)/(-24) composite?
False
Let t(s) = -117*s**3 + 1. Let x(h) = -h**3 - h + 1. Let i(b) = -t(b) + x(b). Let c be i(1). Let d = c + -48. Is d prime?
True
Is (336 + 0 - 2) + -3 a composite number?
False
Let l(f) = 2*f + 3. Let j be l(5). Suppose -3*t + 18 = 2*x - j, x - t = 8. Is x composite?
False
Let a = 4 + -4. Suppose 5*c - 2*o - 601 = 926, a = 2*c + 5*o - 634. Is c a prime number?
True
Let o = 662 - 355. Is o prime?
True
Let h(j) = 95*j - 15. Let t be h(6). Suppose -4*i = -t + 167. Is i prime?
True
Let k(m) = 3*m - 4. Let f be k(8). Let p(s) = -s + 4. Let n be p(-4). Suppose 2*l = -n + f. Is l a composite number?
True
Suppose -479 = 2*r + 3*y, 991 = -r - 3*r + 5*y. Let x = -129 - r. Is x composite?
True
Suppose 2*h + d = 6009, 5*h + 5*d - 15045 = 7*d. Is h composite?
True
Suppose 0 = -k + 5*x + 242, 4*x = -7*k + 3*k + 1064. Let b be (-582)/(-1)*(-2)/(-2). Suppose 0 = 4*v - k - b. Is v a composite number?
False
Let u = -1066 - -752. Is 3/(2 - (-622)/u) prime?
True
Suppose 8 = 4*w - 12. Suppose -o + 5 = v - 2*o, 2*o - 10 = 0. Is (-4)/v + 112/w prime?
False
Let r = 566 + -187. Is r prime?
True
Let p be 1/(-5) + 21/5. Let z(k) = -k + k**2 + 1 + 2 - 112*k**3 - p. Is z(-1) prime?
True
Let s(c) = -c**2 - 7*c - 7. Let v be s(-5). Suppose -4*p = -v*o + 444, o - 194 + 46 = -4*p. Suppose o = -0*i + 4*i. Is i prime?
True
Let d(f) = 20*f + 3. Is d(10) composite?
True
Let z be -2*6/(-4) - 3. Suppose 2*t + 212 - 654 = z. Is t composite?
True
Suppose 0 = 3*a + 140 + 193. Let c(f) = 7*f**3 + 2*f**2 - f - 2. Let q be c(-3). Let s = a - q. Is s a prime number?
True
Suppose -4*f + 0*f = -32. Let u = f - 6. Is ((-2)/(-4))/(u/1052) composite?
False
Suppose 2*g = 4*g - 1506. Is g prime?
False
Suppose 5*y - 789 = 2*y. Suppose -5*q + y + 32 = 0. Is q prime?
True
Let r = -48 + 127. Is r a composite number?
False
Suppose 0 = -3*x + 30 + 102. Let y = 121 - x. Is y a prime number?
False
Suppose 2*m + 5*t = -17, 0 = -3*m - 3*t + 6*t + 27. Suppose -m*z + 3*h = -3, z + 2*h + 12 + 1 = 0. Let g(o) = 9*o**2 - 3*o + 1. Is g(z) prime?
False
Let s(j) = -17*j - 3. Let h be (6/4)/((-27)/36). Is s(h) composite?
False
Let n(z) = 26*z**3 - 2*z**2 + 3*z - 1. Suppose -3*c + 14 = 4*j - 5*c, j + 10 = -4*c. Is n(j) prime?
False
Let g = -37 + 202. Suppose -4*k + g = -47. Is k a composite number?
False
Let v(o) = -2*o - 12. Let s be v(-6). Suppose 3*d = -w + 922, s*d + w - 308 = -d. Is d a prime number?
True
Is (234 + -11)/(-1 + 2) a prime number?
True
Let d(m) = m**2 - 7*m + 5. Let o be d(7). Suppose 0 = -o*l - 5*z + 250, 5*l - z - 134 = 2*l. Let b = 3 + l. Is b prime?
False
Let a(n) = n + 9. Let u be a(-8). Let k be u/(-2) + 2428/8. Suppose 3*s = 252 + k. Is s composite?
True
Let t(w) be the first derivative of 9*w**2/2 + 8*w + 11. Let h be ((-14)/4)/((-1)/2). Is t(h) composite?
False
Is (-2)/(8/(-852)) - -2 a prime number?
False
Suppose 13 = 5*d - 17. Suppose 0 = -d*s + 2*s + 316. Suppose -v - s = -2*v. Is v composite?
False
Suppose -2*c - 5*l + 14 = -3*l, c - 2*l + 5 = 0. Suppose h = -c*k - 5 + 385, 0 = k - 3. Is h a prime number?
False
Let v(k) = -511*k**3 - k**2 + k. Let b be v(1). Let s = b - -722. Is s a prime number?
True
Suppose -5*l + 121 + 59 = 0. Suppose -l - 64 = -5*u. Suppose -5*s + 10 = -u. Is s prime?
False
Let g(f) = -19*f + 2. Let q = 6 + -4. Suppose q = 2*z + 8. Is g(z) prime?
True
Let p = 6 - 9. Let q be p/2*8/(-6). Suppose -f + 23 = -3*l - 135, -2*l = q. Is f composite?
True
Let c(b) = -b + 79. Suppose -2*z = -4*f + 12, 2*z = f + f - 6. Is c(z) prime?
True
Let s(h) = 5*h**2 - 3*h - 1. Let r(c) = -c**3 - 7*c**2 - 7*c - 1. Let f be r(-6). Let n be (f/10)/((-1)/(-6)). Is s(n) prime?
False
Suppose 0 = -2*a + 6*a - 276. Is a a prime number?
False
Let p = -180 + 335. Suppose 11*q - 6*q = p. Is q a prime number?
True
Let a(t) = -8 + 0 + 3 + 3*t - 2*t**2. Let b be a(5). Let h = -17 - b. Is h a prime number?
True
Let q(i) be the third derivative of 0*i + 1/6*i**3 + i**2 - 1/24*i**4 + 1/12*i**5 + 0. Is q(2) prime?
True
Suppose -4*j - 2*m = -1158, 2*m - 297 = -j - 0*m. Is j composite?
True
Let o = 75 - 37. Let i = o + -17. Is i composite?
True
Suppose -4*l = 4*d - 3*l - 1225, 0 = -3*d - 3*l + 930. Is d a composite number?
True
Let j(d) = -d + 14. Suppose 6 = w - 8. Let x be j(w). Suppose -2*g + g + 287 = x. Is g prime?
False
Let o(h) = h**2 + 11*h + 15. Let m be o(-10). Suppose -m*k = w - 264, -2*k - 2*k + 216 = -4*w. Is k a composite number?
False
Let h(j) = -j - 7. Let w be h(-8). Let c be w/2*2538/(-3). Is 4/(-6)*c/6 prime?
True
Is ((-695)/(-15) + -4)/((-1)/(-33)) a composite number?
True
Let b be (2 + 4)*10/12. Suppose 5*z - 125 -