 98 = -8*w + x*w. Is w a prime number?
False
Let n(i) = i**3 + 13*i**2 + 11*i + 12. Let y be n(-11). Let b be (-2)/((-6)/237) - -1. Let h = y - b. Is h composite?
False
Let y = 8 - 14. Let u be ((-4 - -14) + -2)/(2*1). Is y/(-8) + 81/u prime?
False
Let i(v) = 15*v - 1. Let x be i(19). Suppose 71 = y - 2*k - x, -2*y - 3*k = -703. Is y prime?
True
Suppose -7*p = -3*p + 4*a - 8, -3*a + 6 = 0. Is 490 - p/4 - (1 - 4) prime?
False
Let i = -11 - -7. Let y(z) = -1 + 4*z - 2*z**3 - 1 - z - 5*z - 6*z**2. Is y(i) prime?
False
Suppose 0 = h + 2*h - 36. Let t = 12 - h. Is -3*(76/(-12) - t) composite?
False
Suppose -9*a + 628 = -776. Let r = 571 - a. Is r a prime number?
False
Is (-5)/3 - (-447296)/12 a composite number?
False
Let t = -67 + 70. Suppose -582 = -2*x + t*n - 4*n, -n + 1461 = 5*x. Is x composite?
False
Let z = 1518 + -1021. Is z prime?
False
Let x = 845 - -434. Is x prime?
True
Suppose 4*u = 5*k - 4370, -5*k + 2659 = 2*u - 1741. Is k a prime number?
False
Let o(g) = -g**3 + 15*g**2 - g + 10. Let x be (-42)/35*(-25)/2. Let m be o(x). Let j(f) = -39*f + 8. Is j(m) a composite number?
True
Let j(n) = -n**3 + 4*n**2 + 4*n - 19. Let u be (-2 + 0 + 4)*63/(-14). Is j(u) prime?
False
Suppose -3*g + 702 + 2073 = 0. Suppose 4*i - g = 143. Let k = 34 + i. Is k a prime number?
False
Let d be (-141)/(-15) + 4/(-10). Let y = 4 + -7. Let n = d + y. Is n a prime number?
False
Suppose 0 = -2*q + 7*q. Suppose -4*w + 20 = 0, -2*f + 5*f + w - 20 = q. Suppose -5*d + 65 = -5*u, 4*d + 19 = f*u + 75. Is d prime?
False
Let m be 8/44 + 6191/11. Suppose 3*f - m = 748. Is f prime?
False
Let s = -3 - -3. Suppose 508 = 6*m - 914. Suppose s = -4*x + x + m. Is x composite?
False
Suppose -2*p = -6*v + 2*v + 12, 5*v = -5*p + 30. Suppose 3*h - 264 = -k, h = -h + p*k + 168. Suppose -2*y + h = -191. Is y a composite number?
False
Suppose 4*i = 9*i - i. Suppose -4*u = 0, -3*d + 4521 = -i*d + 3*u. Is d composite?
True
Let h(d) = 2*d - 1. Let o = 1 + 2. Let g be h(o). Suppose g*v - 121 = 214. Is v composite?
False
Suppose -743 = 4*k - d, 6*k - 3*d + 733 = 2*k. Let w = 256 - k. Is w a prime number?
True
Is (741/5)/1 - (-20)/25 a composite number?
False
Let n(v) be the second derivative of -v**5/10 - 5*v**4/12 - v**3/3 - 13*v**2/2 + 11*v. Is n(-10) a prime number?
False
Let o(j) = -17*j + 16. Suppose -4*c + 17 - 73 = 0. Is o(c) a composite number?
True
Let p = 1477 + 9000. Is p composite?
False
Let t = -712 - -1402. Let v = 659 + t. Is v a composite number?
True
Suppose 4*l = 11 + 5. Suppose -3*b - l*n + 887 = -744, 531 = b - 5*n. Is b a prime number?
True
Let w(r) = -r**3 - 11*r - 11. Let s(o) = o**3 + 6*o + 6. Let n(u) = -7*s(u) - 4*w(u). Is n(-2) composite?
True
Let z(h) = 261*h + 13. Let s(b) = b. Let t(d) = s(d) + z(d). Is t(10) prime?
True
Suppose 0*r + 3*r = 2247. Is 12/(-54) - r/(-9) a prime number?
True
Let d be (10/7)/(2/28). Suppose 21*q - 695 = d*q. Is q a prime number?
False
Suppose -1981 = -w + 4*x, -w - x = -3*x - 1977. Suppose -2*a = -a - w. Is a a composite number?
False
Let w(n) be the second derivative of n**3/6 - n**2 + 6*n. Let p be w(5). Suppose -3*d + 2*t = -1473, -t = -d - p*t + 499. Is d a composite number?
True
Let r(t) = -318*t - 1. Let y be r(1). Let k = y + 728. Let h = k + -30. Is h composite?
False
Let t(r) = -r**3 - 8*r**2 + r + 9. Let b be t(-8). Let a(z) = z**2 - z + 1. Let v be a(b). Is 17/3*15/v composite?
True
Let j = 7041 - -1157. Is j a composite number?
True
Let w(q) = 152*q + 4. Let s be w(2). Suppose -3*v + 2*c = -361, -2*v - 5*c - 42 + s = 0. Is v prime?
False
Let b be (-3)/1 + 12 + -44. Let y be 13/3 - b/21. Is ((-148)/y)/((-8)/60) prime?
False
Suppose 2*h + 4*y = 89074, 222691 = 7*h - 2*h + 4*y. Is h prime?
False
Let v(x) be the third derivative of 0 + 55/24*x**4 - 5*x**2 - 1/3*x**3 + 0*x. Is v(3) a prime number?
True
Let a(v) = 41*v**2 - 4*v + 9. Let n be a(-9). Suppose 7043 = 7*y - n. Let t = -924 + y. Is t prime?
True
Let x(s) = 166*s + 1. Let u be x(4). Suppose 2*g - 3*g = 0, -5*d = -5*g - u. Suppose -n - d = -4*c + 188, -3*n = -5*c + 410. Is c a composite number?
False
Let b = -14873 - -25200. Is b prime?
False
Let u = 11 + -10. Suppose -98 = -3*r + 4*m, 0 = -r - 4*m - m + u. Let x = r + 27. Is x prime?
True
Suppose -6*x = -4*x + 8, 0 = 3*r - 3*x - 27. Suppose -5*k + r*f + 1310 = 0, 56 = 3*k - f - 724. Is k composite?
True
Let d = 4674 + 3365. Is d composite?
False
Suppose -3*h = -2387 - 2134. Let v = -1061 + h. Is v composite?
True
Let z = 40 + -42. Suppose 0*x - 4 = -4*x. Is x*(2 - (z + -61)) composite?
True
Let q be 120 - (-3 + (5 - 1)). Suppose 3*g - 71 = -3*z + g, 5*z = -4*g + q. Is z composite?
False
Suppose -3*n - 9*o + 48651 = -7*o, -4*n + o = -64868. Is n composite?
False
Suppose 0 = -12*h + 16*h - 10*h. Let r(m) = -2*m**2 - 2*m + 913. Is r(h) prime?
False
Suppose -33*c = 6*c - 131001. Is c composite?
False
Let y(o) = 42*o - 7. Suppose z - 31 + 29 = 0. Let s = z - -3. Is y(s) composite?
True
Let q = -15 + 15. Suppose 37 + 27 = 4*p - 4*l, q = -2*p - 5*l + 4. Suppose -p*b = -11*b - 53. Is b prime?
True
Is (-1)/((24/(-18908))/6) composite?
True
Let v be 40/(-14)*14/(-4). Let o(t) = -t**3 + 10*t**2 - 4*t - 2. Let l be o(v). Is 4/14 + (-534)/l prime?
True
Is (-2)/(-7)*198583/22 prime?
True
Let h(w) be the third derivative of -43*w**4/24 + w**3/2 + 20*w**2 + 1. Suppose 0 = -2*c + c - 8. Is h(c) prime?
True
Is (-44)/(-77) + (-121803)/(-7) composite?
False
Let u(a) = a**2 - a + 53. Let r be u(0). Suppose -r*i + 54*i = 467. Is i a prime number?
True
Let w(x) = x**3 - x**2 - 1. Let t(z) = 2*z**2 + 5*z - 7. Let a(y) = t(y) - 2*w(y). Let u(i) = i**3 - 14*i**2 + 3*i - 48. Let f be u(14). Is a(f) a prime number?
True
Let x be (120/(-6))/(1 - 2). Let t be (x - 4)/(2/(-5)). Is (-11)/(3 - t/(-13)) composite?
True
Is 10888/48*(-3 + 3 - -6) composite?
False
Suppose -4*s - w + 5381 = 0, -s + w = -1090 - 259. Is (s/(-8))/(10/(-40)) a prime number?
True
Let v be 3/(-5) + (-4)/10. Let d be -7 + 5 + v + 5. Suppose -p + 245 = 3*g, -d*g + 162 = -0*g + p. Is g a composite number?
False
Let b(s) = s**3 - s**2 - 2*s + 47. Let a(k) = k**2 + 6*k - 7. Let v be a(-7). Is b(v) composite?
False
Let g be (41 + 249)/(-1 - (0 - 0)). Let q = 607 + g. Is q composite?
False
Let z = 7306 + -1923. Is z a prime number?
False
Is (-8)/(-14) - (-2 + 789195/(-35)) a prime number?
False
Let x = 546 - 239. Is x composite?
False
Let r = -570 + 990. Suppose -4*w + 97 = -403. Let s = r + w. Is s composite?
True
Is 7/(3 + -4)*-1163 a composite number?
True
Let t(w) = -2*w + 13. Let o be t(7). Suppose -2*k + 38 = 2*k + 3*p, 5*k - 5*p = 30. Let q = o + k. Is q a composite number?
False
Suppose -3*v + 8 = -5*b + 37, 0 = 3*b - 5*v - 27. Let i = -2 + b. Is 4/(-8)*i*-149 a prime number?
True
Let b(s) = -s**3 - 10*s**2 - 10*s - 7. Let w be b(-9). Suppose w*g + 2*g + 5*j - 1587 = 0, -2*j - 1219 = -3*g. Is g prime?
False
Suppose 5*r = -59 - 51. Let n = r + 189. Is n a composite number?
False
Suppose 321 - 930 = -c. Suppose -17*k = -14*k - c. Is k a composite number?
True
Let l(g) be the first derivative of 48*g**3 - g**2/2 - 3*g + 3. Is l(2) composite?
False
Suppose 0 = 4*m + x - 1911, -5*m - 4*x = -9*m + 1936. Let c = 742 - m. Is c prime?
True
Let g = -273 - -754. Is g a composite number?
True
Let w = -146441 - -245890. Is w a composite number?
True
Let o(g) = g**3 - 9*g**2 + 2. Let r be o(9). Is (1298/3)/(r/3) composite?
True
Suppose 4*g + 2*q - 52958 = q, 4*q - 52952 = -4*g. Suppose -g = -4*x - 4*x. Is x a composite number?
True
Let s(m) = m**3 - 11*m**2 + 12*m - 18. Let r be s(10). Is ((4 - 5) + r)/((-1)/(-214)) a composite number?
True
Let x(t) = -t**2 - t + 5. Let m be x(0). Suppose -m*s - 3 = 22. Is ((-580)/25)/(2/s) composite?
True
Let s(k) = 83*k**2 - 4. Suppose -13 = -3*y + 2. Suppose -5*c = 3*n + 2*n + 30, -4*c + 3 = -y*n. Is s(n) a composite number?
False
Let k be (-100595)/(-25) + (-16)/20. Suppose 13734 = 4*z - 2*m, -3*m + 9706 = 4*z - k. Is z composite?
False
Let r(q) = -q**3 - 5*q**2 + q + 6. Let a be r(-5). Let f be a + 8 + 1*-3. Is 515/15 + f/9 a composite number?
True
Let s = 5250 - 3403. Is s prime?
True
Let p(v) = -12*v - 149. Is p(-30) prime?
True
Let q = -122 + 392. Suppose v - 499 = q. Is v a prime number?
True
Suppose 0*i = 2*i - 10. Suppose i*d = 2591 + 2174.