-i + 5*w = i - 3011, -6015 = -4*i + 3*w. Suppose 5*r - i = -3*s - s, 5*r = -3*s + 1126. Is s a prime number?
False
Let g = -32 + 34. Suppose 3*r = 0, -c = g*r - 17 - 20. Is c composite?
False
Let d be (200/6)/((-4)/(-570)). Suppose 7*i + 683 = d. Is i composite?
True
Let w be 56/20*(1 + 64/(-4)). Suppose -54 = 2*j - 5*p, j - 5*p + 35 - 8 = 0. Let s = j - w. Is s prime?
False
Let t = 518 - -2805. Is t composite?
False
Is 4 + 5332 + (-4 - -1) prime?
True
Let g be (2/(-5))/((-10)/100). Suppose -5*i + 21253 = -4*z, 3*i + 4241 = g*i - 4*z. Is i composite?
False
Let v be (126/(-36))/(2/(-468)). Let w = -548 + v. Is w a prime number?
True
Let r(o) = 20*o**2 - o + 5. Suppose 3*k = -5*w + 16, 0*k - 5 = -k - 2*w. Suppose 0 = -3*t - 3, -f - k = 2*f - 5*t. Is r(f) composite?
True
Let u(h) = -1 - 10*h - 14*h**3 - 2 + 13*h**3 - 10*h**2. Let g be u(-9). Is (-2134)/(-33)*g/4 a prime number?
True
Let t be (-826)/(-35) - 6/(-15). Is (4136/t)/((-2)/(-6)) a composite number?
True
Let v = 47147 - 22000. Is v a prime number?
True
Let y(t) = 35*t**2 - 3*t + 11. Let b be y(9). Let q = -1630 + b. Is q a prime number?
False
Let k be (194/5)/((-4)/(240/(-2))). Suppose -9*d + 13*d = k. Is d a composite number?
True
Let n(h) = 1425*h - 173. Is n(19) prime?
False
Let x(c) = 15*c**2 - 24*c - 38. Is x(11) composite?
True
Suppose -3*b - 16 = -5*b. Suppose 0 = 4*u - 0 - b. Suppose -2*f = u*i - 20, i - 32 = 5*f + 2. Is i a prime number?
False
Let q be 1 - -1 - (3 - 1). Suppose 2*x + q*x + 4 = 0. Is (-4 - (x + 1)) + 72 prime?
False
Let w be (1 + -6 + (2 - 3))/(-2). Suppose 0 = w*c - 2*n - 5127, 5*c = -0*c + 3*n + 8544. Is c a composite number?
True
Let z = 26974 - 11781. Is z prime?
True
Let z(d) = 1039 - 33*d + 66*d - 31*d. Is z(0) prime?
True
Let a(l) = 6*l**3 + 24*l**2 + 27*l - 5. Is a(12) a prime number?
True
Let m(b) = 7*b**2 + 17*b - 17. Suppose 3 = 7*i + 87. Is m(i) composite?
False
Suppose -3*u - 29 = -8*u - 4*c, -21 = -5*u + 4*c. Let a = u + 2. Suppose -k = -a*k + 666. Is k prime?
False
Let w(h) = -h**2 + 2*h + 65. Let q be w(0). Is ((-2)/(-13) + (-1752)/q)*-5 composite?
True
Let m = 11 + -16. Let t = 208 + m. Is t a composite number?
True
Suppose -15660 = -5*g - 1055. Is g composite?
True
Let r be (6/5)/((-4)/(-10)). Let k be 3 + -8 + -3 + r. Let s(u) = -31*u - 6. Is s(k) a composite number?
False
Let g(z) be the first derivative of -3*z**3 + 5*z**2/2 - 4*z - 3. Let a be g(-7). Let c = 947 + a. Is c composite?
False
Let c = -37 + 40. Is ((-1)/((-3)/711))/c composite?
False
Suppose -3*b + b - 6 = 0. Let l = b + 1. Is 1*(90 + (l - -1)) prime?
True
Suppose 0 = 5*m - 45 - 100. Let v = -26 + m. Suppose -v*k = 5*y - 262, -4*y - 6*k + k + 207 = 0. Is y composite?
False
Suppose 0 = 8*b + 18*b - 231998. Is b a prime number?
True
Suppose -3*s = 5*p - 2816, -3*s + 1706 + 1104 = -p. Is s prime?
True
Let k = 11 + 7. Suppose k = -3*c + 4*c. Let j = 55 - c. Is j a prime number?
True
Let n(j) = j + 8*j**2 - 11*j**2 + 0*j + 66*j**3 + 9 + 6*j**2. Is n(3) a prime number?
False
Suppose 0 = -4*w, 58*p - 38572 = 54*p + 5*w. Is p a composite number?
False
Let m = -518 - -777. Let l = 506 - m. Is l a composite number?
True
Suppose 5*m - b - 31 = 0, 0 = -m - 7*b + 2*b + 27. Let s(k) = 460*k - 17. Is s(m) a prime number?
True
Suppose 4*a - 5*h - 7 - 30 = 0, -3*h = -a + 18. Suppose 4*l = w - l - 1240, a*w - 3768 = -l. Is w composite?
True
Let t = 36 + 8. Let l = t - 9. Is l a prime number?
False
Suppose 16*x + 2 = 17*x. Let j be x*(-5)/(-20)*-36. Is (-634)/j - (-6)/(-27) composite?
True
Suppose -7 = 4*f - 31. Let k = f + -4. Suppose -k*b + 7*b + 4*w = 1205, 5*b - 1170 = 3*w. Is b a prime number?
False
Let d be (1 - 3) + 449 - 2. Let y = 1440 - d. Is y composite?
True
Let w(s) = -s**3 - s**2 - s + 43. Let u be ((-1)/(-4) + (-6)/8)*0. Is w(u) a composite number?
False
Let o(d) be the second derivative of -3*d**3 - 7*d**2/2 + 8*d. Let s be o(-8). Suppose 244 = 3*u - s. Is u a composite number?
False
Let m(o) = -4*o**3 - 4*o**2 - 4*o + 3. Let x = -22 + 18. Is m(x) a prime number?
True
Let z(d) = d**3 - 21*d**2 + 27*d - 1. Let x = -7 - -10. Suppose -2*j - x*j + 105 = 4*u, -3*u = -5*j - 35. Is z(u) a composite number?
False
Is (-1 + 8)*-7*1167/(-21) prime?
False
Let s be (-7 - -9) + -1 + 0. Is 23/(0 + s/7) composite?
True
Let b(f) = -17*f - 32. Let s be b(23). Let i = 1036 + s. Is i composite?
False
Let c(z) = -z**3 + 14*z**2 + 23*z - 5. Let m(j) = -j**3 + 7*j**2 + 12*j - 2. Let f(g) = -3*c(g) + 5*m(g). Let y be f(-7). Let x = y - 232. Is x composite?
False
Let b(o) = 9*o**3 - 2*o**2 + 2*o - 6. Let u be b(-6). Let c = 3038 + u. Suppose -3*n = n - c. Is n a prime number?
True
Suppose -994 = 5*g + 2*s, -3*s + 113 + 79 = -g. Let k be g/8*160/(-15). Let b = -155 + k. Is b a composite number?
False
Let q = -542 - -326. Suppose -3*r = -3*g - 9, 4*g + 0*r = 3*r - 14. Let l = g - q. Is l a composite number?
False
Suppose -3*k - u = -11382, 17*k = 12*k - 4*u + 18977. Is k composite?
False
Let j = -15 + 21. Suppose -j*p + 2*p = -2540. Is p prime?
False
Is (4 + -12 - 251521)/(-1*3) prime?
True
Let i(a) = 777*a. Let s be i(-4). Is (-2)/(-3*(-8)/s) prime?
False
Let s(a) = 9 - 5 - 14*a + 5 - 2*a. Is s(-7) prime?
False
Let b be 4/(-1) - (-6 + 0). Is 0 + 2 + 366/b prime?
False
Is (((-101564)/(-28))/1)/(10/70) prime?
True
Let y be 0/(1 + 2 + -2). Suppose 2*l - 1349 = -4*u - 3*l, y = -4*u - 3*l + 1339. Is u a composite number?
False
Suppose 5*z = -4*v - 2, -z = 2*z - 4*v - 18. Suppose z*w = 4*u - 3*w - 1512, 0 = 4*u + 5*w - 1552. Is u composite?
False
Let t = -3459 + 6866. Is t a prime number?
True
Let g(u) be the third derivative of u**5/2 - u**4/8 - 17*u**3/6 - 2*u**2. Let t be g(-7). Is t/7 - 30/(-70) composite?
False
Suppose 3*i = 217751 - 54884. Is i composite?
True
Suppose 3*z - 35831 = -5*d, -3*z = -0*d - d - 35843. Is z composite?
True
Let b(v) = -22*v - 7. Let r(d) = -d**2 - 6*d + 10. Let s be r(-7). Suppose s*g + 0*o = 2*o - 13, -4*o = 3*g + 1. Is b(g) a prime number?
True
Let f(s) = -s**3 + 24*s**2 + 7*s + 57. Is f(18) a prime number?
False
Let o(z) = z**3 - 36*z**2 - z + 83. Is o(38) prime?
False
Let t(q) = 1 + 2*q + 62*q**2 + 0*q**2 + 133*q**2 + 2*q**2. Is t(-2) composite?
True
Let q(l) = -157*l**3 + 2*l**2 - 2*l + 2. Is q(-3) composite?
True
Let u(t) = -t - 4. Let l be u(-3). Is (3 - l)*1594/8 prime?
True
Is ((-11192)/160*-44)/(4/20) prime?
False
Let y = -47 - -50. Is 449 + (-2)/((3 - y) + 1) prime?
False
Suppose 0 = -2*i - 2962 + 13698. Suppose 12*a - 4*a = i. Is a prime?
False
Suppose 4*b + 2*c - 2158 = 0, 3*b = -2*c - c + 1614. Is b a composite number?
False
Let d = -741 + 2102. Is d a prime number?
True
Let m(d) = -4*d**3 - 9*d**2 - 22*d + 2. Is m(-7) a composite number?
False
Let s(a) = a**3 + 6*a**2 + 6*a + 5. Let k be s(-5). Suppose k = 14*x - 9*x - 2215. Let u = x + -302. Is u prime?
False
Let f(d) = 2*d**2 - 3*d + 27. Let c(a) = 2*a**2 - 3*a + 28. Let o(x) = -6*c(x) + 7*f(x). Is o(14) prime?
False
Let p(z) = -823*z**3 - 4*z**2 - 3*z - 1. Suppose 7 = -4*h + 3*u, 5*h + 3*u = -3 + 1. Is p(h) a composite number?
False
Is 45/(-180) + (-57477)/(-4) a composite number?
False
Let h be 4/(-2)*(-60)/40. Suppose h*g - 2*q = 10 + 6, 5*g - 32 = -2*q. Is g a prime number?
False
Is 4/(-18) - 4758464/(-576) prime?
False
Let v(x) = 3*x**2. Let d be v(1). Let y = d - 7. Is (-67)/(-3) + y/(-6) composite?
False
Suppose -26 + 35 = u. Let c = 152 + u. Is c composite?
True
Let b(o) = -2803*o - 320. Is b(-23) prime?
False
Suppose -2*b - 13 - 17 = 4*y, 5*y = 4*b + 8. Let p(r) = 8*r**2 + 3*r. Is p(b) composite?
True
Let j be (-5135)/(-35) + 4/14. Let o = 482 - j. Is o composite?
True
Let n(m) = -4*m. Let s be n(3). Let u = s - 3. Is ((-586)/3)/(10/u) prime?
True
Let s(v) = -2*v - 8. Let j be s(-4). Suppose 12*m - 3*m - 3717 = j. Is m a composite number?
True
Suppose -60 = -0*a - 6*a. Is (-45496)/(-40) - 4/a a prime number?
False
Let u(l) = 5*l**2 - 2*l + 1. Let w be u(1). Let q(p) = -2*p**3 - p**2 - 10*p + 4. Let i(t) = 3*t**3 + 11*t - 3. Let r(a) = w*q(a) + 3*i(a). Is r(6) composite?
False
Let s = 6863 + -3372. Is s a prime number?
True
Suppose -7*d + 21137 = -8354. Is d a prime number?
False
Let l(j) = -j**3 + 15*j**2 + 16*j + 10. Let x be l(16). Suppose -x*g = -528 - 6962. Is g composite?
True
Let n = 16 + -17. Le