 5*u + 17 = 0. Is h prime?
True
Suppose 0 = -5*y + y + 8. Suppose -2*i + 1175 = 5*b + 3*i, y*b - 472 = -3*i. Is b a prime number?
True
Suppose 3*s - 2*r + 4 = -0, -2*s - 16 = -4*r. Suppose 228 = s*n - 80. Suppose -n = 3*x - 5*x. Is x prime?
False
Suppose -u = 3*z - 12, 3*z - u = u + 12. Suppose -311 = -z*t - g, -4*g = -t - g + 94. Is t a composite number?
False
Suppose -4*r + 0*v + 5*v = -1445, 0 = r + 5*v - 330. Is r a prime number?
False
Suppose 5*b - 70 + 21 = 2*t, -5*b + t + 52 = 0. Let s(y) = 6*y + 3. Let d(j) = 30*j + 16. Let z(w) = b*s(w) - 2*d(w). Is z(2) composite?
False
Suppose -3*j - j = -268. Is j prime?
True
Let s(w) = 4*w**2 - 4*w + 5. Let v(p) = -p**2 + 5*p + 4. Let c be v(5). Is s(c) a composite number?
False
Let u = 24 - 44. Is (2235/30)/((-2)/u) prime?
False
Let c = 235 + -152. Let p = c + -25. Suppose -66 - p = -4*j. Is j a prime number?
True
Suppose -2*l = -66 - 4. Is l a composite number?
True
Suppose 1 + 13 = -o + t, 2 = -t. Is (-24)/o + 134/4 a composite number?
True
Let z(h) = 3*h**3 - 2*h**2 - h + 2. Suppose 8*m - 3*m - 15 = 0. Is z(m) a prime number?
False
Let t(j) = 18*j**3 - 2*j**2 - 3*j + 3. Is t(2) composite?
True
Suppose -34 = 4*w - l + 33, 2*w - 3*l = -31. Let u = 9 - w. Is u composite?
True
Let x be 49*(-12 + 12/4). Let v = -247 - x. Is v a prime number?
False
Suppose -2*g = 5*q - 1285, -5*q - 638 = -g - 6*q. Is g a prime number?
False
Suppose -v = -3*s + 17 + 3, -4*v - 110 = -2*s. Let n = v - -49. Let j = 6 + n. Is j a composite number?
True
Suppose 2498 = 4*p - 2*p. Is p composite?
False
Suppose -5*w + 3 = -7. Suppose 0*r + 928 = -w*r. Is r/(-20) + 1/(-5) composite?
False
Let v = 276 + 141. Is v composite?
True
Let u(x) be the first derivative of -x + 23/2*x**2 + 1. Is u(4) a prime number?
False
Let g(w) = 105*w**2 + w - 3. Is g(2) a composite number?
False
Let w = 431 - -96. Is w a composite number?
True
Let t(g) = -3*g**3 - 2*g**2 - g - 1. Let f be t(3). Let q = -24 - f. Is q a composite number?
False
Suppose 100 = -3*u - u. Let a = 120 + u. Is a composite?
True
Suppose -90 = v - 635. Is v a composite number?
True
Suppose 13 = g + k, -4*k + 3*k = -2*g + 20. Let v = g - 8. Suppose n - 220 = -v*n. Is n a prime number?
False
Let p = 241 + 1810. Is p prime?
False
Suppose 4*l - 27 = 5*l. Let i be l*(0 + 1 - 2). Suppose -2*s + i = -11. Is s a prime number?
True
Suppose -16 = -6*n + 2*n. Suppose -356 = -0*x - n*x. Suppose 0 = o - 5*z - x, -o - o = -5*z - 178. Is o prime?
True
Suppose 0 = 3*g - 2*n - 2474, -n + 3554 - 248 = 4*g. Suppose 0*d = 2*d - g. Is d prime?
False
Suppose 0 = k + 1 + 4. Let b(l) = 19*l**2 + 3*l - 2. Let w be b(k). Suppose -r + w + 140 = 4*y, 3*y - 441 = 3*r. Is y prime?
True
Let z(f) = 5 - 4 + 150*f - 144*f. Suppose -3*p - 18 = -6*p. Is z(p) a composite number?
False
Let i(a) = -3*a**3 + 3*a**3 - a**3 + 5 + a - 5*a**2. Let m be i(-5). Suppose -c - 4 = m, 0 = 3*o - 5*o + 4*c + 146. Is o composite?
True
Suppose 2*z + 8799 = 5*z. Is z a composite number?
True
Let u be ((-1)/3)/(2/(-12)). Let x = u + 1. Suppose 4*i + 246 = 2*f, 6*f - 2*f - 514 = -x*i. Is f a composite number?
False
Let m = 1468 + 178. Is m a composite number?
True
Let s be 1/(0 - (-3)/105). Suppose -2*b + s = 4*d - 131, -5*d + 175 = -4*b. Suppose 4*u - d = 5. Is u a composite number?
False
Suppose 0 = 2*p + p - 852. Suppose 0*m - p = -2*m. Is m a composite number?
True
Suppose 20 = -y + 6*y, 4*y = -s - 182. Is s/(-24)*1*4 composite?
True
Suppose 12 = 4*w - 0. Suppose 0 = -4*o + w*l + 493 - 119, -2*o + 186 = -2*l. Is o prime?
False
Let q(k) = 29*k**2 + 9*k + 5. Is q(-6) composite?
True
Suppose 4*r - 630 = -230. Let a = r + -54. Is a prime?
False
Suppose 4*h - 214 - 70 = 0. Let u = 111 - h. Suppose -2*r + u = 2*r. Is r a prime number?
False
Suppose -6 = -0*m - 2*m, -4*m - 140 = -4*d. Suppose 4*c - 94 - d = 0. Is c a prime number?
False
Is (-62)/(-22) + 4/22 composite?
False
Suppose 4*m - 426 = i, -47 = -m - i + 57. Is m composite?
True
Let l be 5/((-5)/(-3)) - 18. Suppose 2*v + 2*u + 11 + 17 = 0, 0 = 2*v - 2*u + 8. Let a = v - l. Is a composite?
True
Let x be (-1*8)/(6/(-15)). Suppose 4*s = -l + 1179, -4*s + x = s. Is l prime?
True
Let d(z) = -2*z + 2. Let b be d(-5). Let x be -2*(b/3)/2. Is (-154)/x - 4/8 composite?
True
Let q = 5 - 10. Let v(f) = -4*f**3 - 4*f**2 + 10*f - 11. Is v(q) composite?
True
Let o(m) = m**3 - m**2 + m + 7. Let y be o(7). Let k be ((-3)/6)/((-2)/y). Let r = k - 46. Is r composite?
False
Let z be 1/(-1 + 2) + 1. Suppose 4*x + 3*g - 29 = -2*g, -4*x + 3*g - 11 = 0. Is 2/z + 15 - x a composite number?
True
Is (-6)/(-36) + (-221)/(-6) a composite number?
False
Let n(j) = j**2 - 6*j - 1. Let l be n(-4). Let t = l + 53. Let h = 183 - t. Is h prime?
False
Let m(h) = h - 5. Let r = 18 - 11. Let w be m(r). Suppose w*n + 4*f - 84 = 0, 2*n - 2*f - 2*f - 100 = 0. Is n prime?
False
Let i be 25/15 + (-3)/(-9). Suppose 4*h - 360 = -k + 71, -h = -i*k - 119. Is h a prime number?
True
Let r = 23 - 32. Let o be 3*(-3)/r*-2. Is (-298)/(-8) + o/8 prime?
True
Let n = -4 + 4. Suppose 3*h + n*h = 9. Suppose -h*a - 5*f = -216, 4*a + f = -2*f + 277. Is a composite?
False
Let s be -2*(265/(-2) + 1). Suppose 6*i - 3*i - 300 = 0. Let p = s - i. Is p composite?
False
Let a(d) be the third derivative of -3*d**2 + 0*d + 1/6*d**3 + 0 + 1/24*d**4. Is a(8) prime?
False
Let v be 2*5/((-5)/(-2)). Suppose -v*w + 399 = -w. Is w prime?
False
Suppose 0 = 4*r - 4*m - 892, -5*r + 3*m - 223 = -6*r. Is r a prime number?
True
Let l(o) = -24*o - 5*o - 15 + 0*o. Is l(-6) a prime number?
False
Is -4 + (1 - 1) + 215 prime?
True
Suppose -5*c = -2*d - 799 + 68, 3*c - 3*d - 444 = 0. Is c prime?
False
Let k = -174 - -243. Suppose 0 = -4*v - k + 249. Let q = v - 14. Is q a prime number?
True
Let j(g) = 444*g**2 - g. Is j(-1) prime?
False
Let v = -12 - -13. Is (-623)/(-7) + -1 + v composite?
False
Let f be (-1)/(-2) + (-5)/(-2). Let t be 2 + -1*2 - -2. Suppose t*z = f*z - 19. Is z prime?
True
Let m be 6/4*24/6. Suppose 0 = m*q - 10*q + 348. Is q a prime number?
False
Let w = 428 + -169. Suppose -2*g + w = -5*j, j - 640 = -5*g + 6*j. Is g a composite number?
False
Let o(u) = 2*u**2 + 5*u + 6. Is o(7) prime?
True
Suppose 4*l = -2*g + 48, -5*l - 4*g + 29 = -34. Suppose l*n + 555 = 14*n. Is n prime?
False
Suppose -4*q = -8, -4*c + 2*c - 5*q = -18. Is c*1/(12/117) a composite number?
True
Let c = 2869 + -873. Suppose -3*m = 5*z - 2*m - c, 4 = -m. Suppose 2*k - 145 = -3*l, 0*l + z = 5*k - 5*l. Is k a composite number?
True
Suppose 2*t - 4*t = -778. Is t composite?
False
Let s be 2/(2/123) - -1. Let q(j) = -j**2 + 7*j + 30. Let z be q(10). Suppose z*u + 4*u - s = 0. Is u composite?
False
Let g = -1127 + 1757. Is (-6)/12 - g/(-4) a prime number?
True
Let p = 147 + -87. Suppose -5*c = -c - p. Is c a prime number?
False
Let c = 86 + 131. Is c prime?
False
Let b = -48 + 85. Is b a composite number?
False
Let p(u) = 7*u + 6. Suppose -2*c + 0 = -14. Is p(c) composite?
True
Let j(p) = -4*p - 2. Let v(l) = -l**3 + 2*l**2 + 2*l - 3. Let s = -1 - -4. Let c be v(s). Is j(c) a prime number?
False
Is -1 + -248*6/(-2) a composite number?
False
Let b be (-3 + 3 + -1)*-3. Suppose 0*j - b*j = -30. Is j a prime number?
False
Is ((-12)/9)/(8/(-18)) + 394 prime?
True
Suppose -23*m = -25763 + 5040. Is m a prime number?
False
Suppose -2*t + 1970 - 376 = 0. Suppose -4*g + 812 = -0*g + 4*n, -4*g + t = -n. Suppose -4*x - 5*z + 192 = 0, z = 4*x + 4*z - g. Is x a prime number?
True
Let l(m) = m**3 + 10*m**2 + 9*m - 7. Suppose -5*o - 39 = 2*i, 0*i + 19 = -3*o + i. Is l(o) a composite number?
True
Let t = 1056 - 739. Is t composite?
False
Let d be (6/(-9))/(4/(-66)). Let a = 4 - -22. Let b = a - d. Is b a prime number?
False
Let q(c) = 19*c**2 + 3*c - 3. Suppose 0 = 5*b - z + 16, 4*z + 28 = 3*b - 6*b. Let n be ((-2)/b)/((-1)/(-4)). Is q(n) prime?
True
Let l(z) = z**3 - 10*z**2 + 8*z + 11. Let p be l(9). Suppose 4*w - 5*w - 3*q = -23, -5*q = -5*w + 155. Let c = w + p. Is c composite?
False
Let n = -37 + -16. Let y = -34 - n. Is y prime?
True
Let f(r) = 2*r + 1. Let q be f(1). Suppose -30 = 2*i + q*i. Is i/(-4)*124/3 a prime number?
False
Suppose l = 4*l - 6. Suppose 0*w + f = w - 38, 0 = -l*w + 4*f + 66. Is w a composite number?
False
Let r = 1859 + -268. Is r prime?
False
Let s(i) = 83*i**2. I