2 - -1289. Is v a prime number?
True
Let r = 63 - -15. Suppose 2*o - r = -0*o. Is o a prime number?
False
Suppose -23*k = -18*k - 4965. Is k a prime number?
False
Suppose 2*b - u - u = 10, -2*b + 5*u + 7 = 0. Suppose v - 39 = -o, 4*v = -3*o + b*v + 112. Is o a composite number?
True
Suppose 0 = 3*y + 2*q + 307, q - 2*q - 206 = 2*y. Let z = 188 + y. Is z a prime number?
True
Let f(d) = 3*d**3 - 2*d**3 - 4*d**2 + d**2 - 3 - 4*d. Let n be f(6). Let p = 130 - n. Is p a prime number?
False
Let p(q) = -2*q - 4. Let l be p(4). Let b be 3*-1*(l - -2). Is ((-127)/(-5))/(6/b) a prime number?
True
Let g(d) = d + 14. Let q be g(-12). Suppose -q*h + 3*h = 15. Is h a composite number?
True
Suppose -4*g = -0*g - 8. Suppose -4*r + 2*q + 224 = 0, -q = -3*r + 2*r + 55. Is -2*(g - r/2) a composite number?
False
Suppose -5*j + 1053 = f, -635 = 2*j - 5*j + f. Is j prime?
True
Suppose 0*x - 4915 = -5*x. Is x a composite number?
False
Suppose 4 = -2*p - 0, 4*p - 13964 = -4*f. Is f composite?
True
Let w be ((-4)/(-3))/(6/9). Suppose -w*s + 45 = 3*s. Suppose -2*g - q + 42 = 0, -33 = -2*g + 5*q + s. Is g a prime number?
False
Let v = 780 - 523. Is v a prime number?
True
Suppose a = -4*a + 335. Is a a composite number?
False
Suppose -2*v + v = 0. Suppose 4*y - 8*y - 4 = v. Let c = y + 68. Is c composite?
False
Suppose p - 4*p + 1077 = 0. Let d = p - 244. Is d composite?
True
Let o(f) = 1. Let j(l) = -30*l - 1. Let w(i) = -j(i) - 2*o(i). Let a(h) = h**2 + 2*h - 5. Let r be a(-4). Is w(r) a prime number?
True
Let x = -25 - -29. Is x a composite number?
True
Suppose 3*i = -3*f - 81, 86 = i - 4*i + 2*f. Let a be (-6)/(-4)*i/(-2). Let t = a - -2. Is t a prime number?
True
Suppose -g - 5*m + 64 = -78, -5*m = 5*g - 650. Let t = g - -22. Is t composite?
False
Is (765 - 3 - 4)/2 a prime number?
True
Let g = 2 - 0. Suppose -3*v + 4*k = g*v + 360, 4*k = 20. Let t = v + 183. Is t prime?
False
Suppose 0 = -x + 52 - 15. Is x prime?
True
Suppose 694 = 5*o - 641. Is o a composite number?
True
Let v(s) = -4*s - 8. Let r(d) = 2*d + 4. Let m(l) = -5*r(l) - 3*v(l). Suppose -4 = 4*y + 5*i + 9, -y = -i - 8. Is m(y) a composite number?
True
Suppose 0*z + 4*z = 24. Let b be (-16)/z*(-6)/4. Suppose b*a = -a + 35. Is a prime?
True
Let w(o) = -o. Let n be w(6). Let y(r) = -r**2 - 2*r + 2*r**2 - 2*r - 9. Is y(n) prime?
False
Suppose 5*h + 15 + 25 = 5*i, -h + 8 = 3*i. Suppose 323 = w - i*o, -2*o - 656 = -2*w - 4*o. Is w prime?
False
Let i be ((-2)/(-2))/((-3)/(-93)). Let m = 1 + 4. Suppose 5*z + 45 + 80 = 5*s, -i = -s - m*z. Is s a composite number?
True
Let j = 186 - 133. Suppose -j = 5*y - 223. Is y a composite number?
True
Let k be (-3)/(-6) - (-81)/6. Is 4/k - (-579)/7 prime?
True
Let q = 2 - 2. Suppose -5*f - 15 = -5*m, 0*m + 4*f = m. Suppose q = -a + m*a - 159. Is a prime?
True
Let o be (6/15)/((-2)/(-30)). Let z = 8 - o. Suppose -2*l + z*b = b - 411, -l = -4*b - 209. Is l a prime number?
False
Let x = 3225 - 1760. Is x composite?
True
Suppose 2*w = -y + 3973, 3 + 1 = -4*y. Is w prime?
True
Let x(n) = 89*n + 13. Is x(14) prime?
True
Let z be (-6)/(-4) - 1/(-2). Suppose 4 = 2*j + 2*b, -2*j - 2*b = 2*b + z. Suppose 13 = 3*v + 4*k, j*v + k = -4*k + 25. Is v composite?
False
Let d(z) = -8*z**3 - 14*z - 6. Let r(y) = -3*y**3 - 5*y - 2. Let a(j) = 4*d(j) - 11*r(j). Let q be a(0). Is q/((-12)/2)*633 a composite number?
False
Is 583 + 0*3/9 a composite number?
True
Let h(u) = -59*u**3 + 2*u**2 + 3*u + 1. Let c be h(-2). Let w = -242 + c. Is w a composite number?
False
Let p(x) = 2*x - 10. Let y be p(7). Suppose -13 = 5*l + y*t, 0 = 2*t - 6. Let h = l + 24. Is h a prime number?
True
Let w(k) = -50*k**2 - 3*k - 1. Let u be w(-1). Let j = u + 81. Is j a prime number?
False
Suppose 5*p + 2*o - 24 = 2*p, 5*p + 3*o = 39. Let d(q) = q - 6. Let a be d(p). Let u(b) = -b + 19. Is u(a) a composite number?
False
Let q be ((-276)/(-3) - 3)*-1. Let s = q + 172. Is s a composite number?
False
Suppose 4*z - 3*r = 6235, 1360 + 4835 = 4*z + 5*r. Is z a prime number?
False
Let c(z) = -z**2 + 5*z - 3. Let v be c(4). Suppose 6 = -3*j - 5*o, -3*j - v = -o + 5. Is (-2)/j - 136/(-2) prime?
False
Let h = -11 - -15. Suppose r = 2*n - 250, 0*n = 2*n + h*r - 230. Is n a composite number?
True
Suppose -3*d + 5*d + 202 = 0. Let c = -70 - d. Let m = c + -21. Is m a prime number?
False
Suppose 17 - 59 = -2*f. Let l be ((-4)/10)/(6/480). Let v = f - l. Is v a composite number?
False
Let c(k) = -2*k - 9. Let o be c(-6). Suppose -o*m = -4*m + 33. Is m composite?
True
Let h(d) = -d + 2. Let o(q) = 2*q - 4. Let n(m) = 5*h(m) + 2*o(m). Let f be n(0). Suppose -f*z = z - 201. Is z composite?
False
Suppose -4*u + 3*s - 5*s = 20, -5*u - 3*s - 27 = 0. Let y be -3*(74/u)/1. Is 1*3/6*y a prime number?
True
Is (-2)/7 - (-37908)/84 prime?
False
Suppose -4*w + 32 = 2*f, -4*w = 7 - 15. Suppose -f + 80 = 4*c. Suppose -257 = -5*r + 3*p, -r + 28 + c = p. Is r a composite number?
True
Let r = 799 + -450. Let q = r + -126. Is q prime?
True
Let u(q) = 265*q - 2. Is u(3) a composite number?
True
Suppose 4*n = -s + 1408, -3*n - 2*s - 361 = -4*n. Is n a prime number?
True
Suppose -c - 4*g + 3 = -2*g, -4*c + 5*g + 12 = 0. Let w be 1/1 + 0 + c. Suppose 24 + 100 = w*t. Is t prime?
True
Let i(k) = k. Let t be i(1). Suppose x + t = -0*x. Is (-892)/(-10) - x/(-5) composite?
False
Suppose 4*o - 67 = 3*p + 10, 42 = 2*o + 2*p. Let g = 34 + o. Let k = g - 1. Is k prime?
True
Suppose 3*m = 5*y + 2*m - 195406, 0 = 2*y - 2*m - 78164. Let l be y/(-28) - (-1)/(-4). Is 1/3 + l/(-6) a composite number?
False
Suppose 0 = 3*a - 7 - 11. Let q = -1 + a. Let v(x) = -x**3 + 12*x**2 - 4*x - 6. Is v(q) a prime number?
True
Let k(l) = 8*l**3 - 7*l**2 - l - 5. Is k(3) prime?
False
Let d(o) = 5*o + 8. Is d(9) a prime number?
True
Suppose 1571 = 4*j - 5*n, -3*j + 5*n - 228 + 1405 = 0. Is j a prime number?
False
Let v be (9/6)/((-6)/248). Is 2*(1 - v/4) a composite number?
True
Let z(u) = -u + 1. Let h be z(3). Is (-146)/(-2) + (h - -3) prime?
False
Suppose -y = y - 8. Suppose 0 = 2*f - 6 - y. Suppose s = -2*x + 4*x - 252, -639 = -f*x - 2*s. Is x a composite number?
False
Suppose -218 = -3*f + 5*s, -s = 5*f - 4*s - 358. Is f composite?
False
Let k(h) = 98*h**2 - h. Is k(1) composite?
False
Suppose -73 - 531 = -2*q. Let j = q + -211. Is j a prime number?
False
Let h(j) = j**2 - 6*j + 3. Let u = -3 - -11. Is h(u) a prime number?
True
Suppose -2*b - 2*b + 15 = -5*k, 0 = -2*b + 3*k + 9. Is 14 - b/(3 - 0) composite?
True
Is 2 + 2 + -3 - -292 a prime number?
True
Suppose 0 = 4*g - g + 4*l - 269, -4*l = -2*g + 186. Let y = 75 - 74. Is g + y + 1/(-1) composite?
True
Suppose 2*l + y = 2556, -3*l - y + 3835 = y. Is l a composite number?
False
Let v = 488 - 330. Is v a composite number?
True
Let z be ((-28)/6)/(2/75). Let a = -14 - z. Is a a prime number?
False
Let y be 0 + ((-10)/1)/(-2). Let s = -1 - -1. Suppose y*t + s*t - 385 = 0. Is t a composite number?
True
Suppose -5*z + 1655 = -4*h, 0 = 3*z + 13 + 2. Suppose 144 + 892 = -4*t. Let x = t - h. Is x prime?
False
Let l be 13415/25 + (-6)/10. Is ((-3)/12)/((-2)/l) composite?
False
Let u(l) = l**3 + 4*l**2 + 5*l + 6. Suppose 3*a = -9 - 9. Let q be u(a). Let n = 175 + q. Is n a composite number?
False
Let x(l) = -12*l + 1. Is x(-8) prime?
True
Suppose -12*k + 1149 = 129. Suppose -3*m = -11 - 4. Suppose -m*i - 315 = -5*a - k, a = -5*i + 64. Is a composite?
True
Suppose -42 = -4*d + 22. Is 3/12 - (-4044)/d prime?
False
Suppose 0 = 5*c - g + 31, -3*c - 4*g - 8 = -c. Is 12/(-8) - 75/c prime?
True
Let j = 0 - -5. Let i = j - 9. Let g(l) = 3*l**2 - 3*l - 2. Is g(i) a composite number?
True
Suppose 2*n - 2 = 2. Let h = 126 - 70. Suppose z - 4*a - h = -3*a, -n*a = 2. Is z composite?
True
Let g = -140 + 199. Is g a prime number?
True
Let x(k) = k**3 - 3*k**2 + 4*k - 4. Let h be x(3). Suppose 0*t - h = -2*t. Suppose -l + 7*f = t*f, f = 4*l - 55. Is l a prime number?
False
Let w = -1427 - -2699. Is 1/(-2) + w/16 prime?
True
Is ((-545)/25*-1)/((-4)/(-20)) composite?
False
Suppose 15 = -4*s + 7*s. Suppose 2 = 5*j - 13. Suppose -3*w + s*w = -j*k + 40, -2*k + 22 = w. Is w a composite number?
True
Let v(p) = -p**2 + 7*p + 1. Let s be v(7). Suppose -s - 74 = -3*i. Is i prime?
False
Suppose -3*l = -5*l. Suppose -4*z + 695 - 115 = l. Suppose 2*s + 3*f + 101 = 