 - a**3 - 2*a + 7*a**2 - 8*a**2. Let q be (-4)/(-10)*(-20)/1. Is b(q) a composite number?
True
Suppose -6*q + 2*q = -6868. Suppose -4*t + 607 + q = 0. Is t prime?
False
Suppose 2*g - 5 - 11 = 0. Let t = g + -1. Let p(b) = b**3 - 6*b**2 + 6*b + 6. Is p(t) composite?
False
Let r(w) = -w**3 + 8*w**2 + 6*w + 4. Suppose 2*y - 12 = -2. Suppose -s = s + 3*i - 17, 34 = y*s - i. Is r(s) a prime number?
False
Let n = 154 - 86. Suppose 6*x - 60 = 24. Let z = x + n. Is z a prime number?
False
Let q(i) = 31*i**2 - 12*i - 382. Is q(-27) a composite number?
False
Suppose -h - 62 = 3*a - 0*h, 3*a + 32 = 5*h. Let z = a - -23. Is (-300 + z + 3)/(-1) a composite number?
False
Suppose 0*u = -u + 48. Is 16/u - 3026/(-3) a prime number?
True
Suppose 5*p = -0*p + 17475. Let h(v) = -5*v - 25. Let t be h(-6). Suppose t*f - p - 1300 = 0. Is f prime?
False
Let v = 18 + -143. Let s = -86 - v. Is s a composite number?
True
Suppose 38*z + 67909 = 40*z - h, -2*h = -2. Is z prime?
False
Let x(g) = -g**3 - 16*g**2 - 14*g + 18. Let c be x(-15). Suppose -d + c*t + 54 = 2*t, -3*t - 3 = 0. Is d prime?
True
Suppose 13*a - 9*a = -1468. Let g = a + 850. Suppose -2*j = j - g. Is j prime?
False
Let r(l) = 0 - 1 - 3 + 6*l. Let b be r(11). Let y = b - -21. Is y a composite number?
False
Suppose -25 = -3*f - 4*z, -4*f + 2*z - 1 = -5. Suppose f*v + 366 = 1161. Is v a prime number?
False
Let g = 15 - 15. Suppose -4*t + 15 - 3 = g. Suppose t*m = -2*m + 4*d + 314, -128 = -2*m + 4*d. Is m a composite number?
True
Let n(o) be the first derivative of o**4/4 + 13*o**3/3 + 13*o**2/2 + 14*o + 7. Let g be n(-12). Is -4 + 148 + (-2)/g a composite number?
True
Suppose -121 = r - 5*a, 0*a - 113 = r - a. Let v = r + 188. Is v a composite number?
True
Suppose 7*j = 3*j - 62940. Is j*(-4)/108 - 2/(-9) prime?
False
Suppose 4*t + 2*g - 29 = -3*g, -3*g = 3*t - 21. Is t/10 - (-3344)/30*3 prime?
False
Is (-24344)/(-28) - 1 - 12/(-21) composite?
True
Let a(j) = -j**3 + 8*j**2 - 7*j + 3. Let k be a(7). Suppose k*q = -2*q + 20. Suppose -q*i - 233 = -4*v + v, 5*v = -i + 419. Is v a prime number?
True
Let g be -3 - (398*3 - 1). Let t = g + 2995. Is t a composite number?
True
Suppose 13*x = 8*x - 3*q + 13622, 3*q + 10876 = 4*x. Is x prime?
False
Suppose -75*a + 68*a = -10073. Is a a composite number?
False
Is ((-13197)/(-6) - -7)*2/3 a composite number?
False
Let p(r) = 5*r + 4. Let t be p(-2). Let s be 20/t*(-66)/55. Suppose 545 = s*h + 213. Is h prime?
True
Let q(i) = -i**3 + 11*i**2 - 7*i - 12. Let v be q(10). Let s = -14 + v. Suppose 2 + 0 = -m, -68 = -s*o - 4*m. Is o a prime number?
True
Let h(l) = -19*l - 2. Let d be h(-1). Let w = d - -80. Suppose w + 212 = 3*v. Is v a prime number?
True
Let k(v) = v - 6. Let j be k(11). Suppose 0 = -5*o - 4*y + j, -y - 5 - 5 = -o. Let g(i) = i**3 - i**2 - i - 4. Is g(o) prime?
False
Suppose -3*b - 4*w + 17 = 1, b = 3*w - 12. Is (-3)/12 - ((-2541)/4 - b) composite?
True
Let u(p) = 349*p + 1. Let n be 7/2*((-34)/14 - -3). Is u(n) a composite number?
True
Let c be (-10)/(-2)*(3 + (-72)/20). Is (-3)/c*(5 - -2882) a prime number?
True
Suppose 0 = 3*w - 9, -17*w - 45396 = -3*u - 16*w. Is u a prime number?
False
Let i(c) be the second derivative of -3*c**5/10 - c**4/6 - c**3/2 - 2*c**2 + 8*c. Is i(-3) a prime number?
True
Is (-3)/9 + (-14)/(-42) - -18937 prime?
False
Let d = 46 + -37. Suppose -14*o + d*o = -25. Suppose -5*p + f + 1030 = 0, 0 = 2*p + o*f - f - 412. Is p a composite number?
True
Let a be (-15684)/(-15) - (-6)/(-10). Suppose -15*d + 10*d + a = 0. Is d a composite number?
True
Let w be (-3)/5*(5 - 10). Suppose -w*h - 1152 + 3075 = 0. Is h a composite number?
False
Let g(r) = 46*r**2 - r - 33. Suppose -4*z = -5*z + 8. Is g(z) a composite number?
False
Let p(c) = -143*c**3 - c**2 + 1. Let t be p(2). Suppose 9*z = 4*d + 7*z - 7172, 7170 = 4*d - 3*z. Let m = d + t. Is m a composite number?
False
Suppose -2*u = 5*y - 22077, -y - 2*u + 3861 = -556. Is y prime?
False
Let y(z) = 1964*z - 20. Let x be y(4). Suppose x = 3*m + 279. Is m prime?
False
Suppose 4*j = -5*x + 2*x + 7, x = 5. Is (j/6)/((-6)/31194) a composite number?
False
Let b(x) = x**2 + x + 1. Let w(g) = 29*g**3 + g**2 - 1. Suppose 4*y = 2*y - 4. Let i(f) = y*b(f) - w(f). Is i(-2) a composite number?
False
Let a be ((-6)/(-9) - (-85)/(-15))/(-1). Suppose a*v = 0, 0 = -0*k - k + 5*v + 113. Is k composite?
False
Let l(h) = -135*h**3 - 167*h**3 - 5*h + 3*h - 2*h**2 - 1 - 4*h. Is l(-2) a prime number?
False
Is 239242/14 - (-18)/315*5 prime?
False
Let c = 4066 + -815. Is c composite?
False
Let u(w) = 2*w**3 + 6*w**2 - 24*w + 3. Is u(11) a composite number?
True
Let n be ((-6452)/12)/(2/(-12)*-2). Let y = 2296 + n. Is y a prime number?
True
Let w be 2/4*(-14 + 6). Let v be (10/15)/(w/54). Let z(k) = -36*k + 17. Is z(v) a composite number?
True
Let b = -28 - -18. Let n(h) = -h**2 - 12*h - 8. Let m be n(b). Let f(t) = 15*t - 2. Is f(m) composite?
True
Suppose -12*k - 6 = -15*k. Suppose -a - k*a = 6. Is 2 + 21 + 4/a a prime number?
False
Suppose 51980 = 4*d - 84480. Suppose -b - c + 6633 = -191, -4*c + d = 5*b. Is b a prime number?
False
Is 6349 - 2 - 36/(-6) a composite number?
False
Let y = 10 - 1. Let g = 14 - y. Suppose 0 = g*h - 2478 + 383. Is h a prime number?
True
Let o(k) = -10*k**2 + k + 1. Let x be o(-7). Let y = 49 - x. Is y composite?
True
Let n(x) = 9*x**2 - 12*x + 16. Let l(r) = -r**2 + r - 1. Let h(f) = 6*l(f) + n(f). Is h(5) composite?
True
Suppose 16*a - 440677 = 200011. Is a prime?
False
Suppose -2*d + 4 = 0, -t + 3*d - 45 = -4*t. Let f(k) = k**3 - 6*k**2 - 11*k - 1. Let g be f(9). Suppose g - t = 5*h. Is h prime?
False
Let a be 15/6*(2 - (-70)/(-25)). Is a*(-183)/(-12)*-10 a composite number?
True
Let d = 12039 + -6977. Is d a composite number?
True
Suppose -5*w - z + 827 = -w, 3*z - 9 = 0. Let t = -466 - -1163. Suppose -v = w - t. Is v a prime number?
True
Suppose r = 1, -r + 125 = 5*t - 151. Suppose -56*c = -t*c - 967. Is c prime?
True
Let z(r) = 6*r**3 - r**2 + 5*r - 1. Let o(f) = -9*f**3 + 2*f**2 - 7*f + 2. Suppose 22 - 8 = -2*c. Let m(k) = c*z(k) - 5*o(k). Is m(4) a composite number?
True
Let q = 19 - 16. Suppose 0 = h - 0*h - q. Suppose h*b - 106 = b. Is b composite?
False
Let l(s) = 80*s + 117. Is l(6) a composite number?
True
Let u = 154549 - 87492. Is u composite?
False
Let n(j) = 2666*j + 379. Is n(21) a prime number?
False
Suppose 2*u + 1 = 5*p - 10, 5*p + 3*u - 21 = 0. Suppose 25 = p*y + 2*y. Suppose q - y*q + 892 = 0. Is q a prime number?
True
Suppose -4*r = 5*s + 5, -5*s - 5 = 20. Suppose 4*d - 3*i - 49 = 0, -d + r*i - 1 = -9. Is d a prime number?
True
Suppose 4*q = 34 - 14. Suppose 3*k + f = -8, -1 = -0*k + 2*k + q*f. Let h(y) = 86*y**2 + 4*y + 1. Is h(k) composite?
True
Suppose 3*n + 2 = 2*n, -217277 = -5*j + n. Suppose 314 + j = 23*d. Is d a prime number?
False
Let u(z) = 30*z**2 - z - 8. Suppose 11 = -3*d - 2*s, 2*s = 2*d + 7 + 17. Is u(d) prime?
False
Let z(q) = -2*q + 4*q + 14 + 0 + 1. Let c be z(0). Is 365/3 + (-10)/c a composite number?
True
Let k(z) = z - 1. Let n(d) = 273*d**2 - 12*d - 10. Let p(l) = 3*k(l) + n(l). Is p(-4) a composite number?
False
Let y be 20/(-12)*(-27)/15. Is (-17)/(-51) + 200/y composite?
False
Suppose 0 = 488*x - 494*x + 25926. Is x a composite number?
True
Suppose 5*i - 9*v - 457193 = -13*v, -3*v - 365773 = -4*i. Is i a composite number?
True
Suppose 3*z - 9326 = 4*s, 5*z - 2*s - 5059 - 10461 = 0. Suppose 2*u + 4*u = z. Is u a composite number?
True
Is (-4 - -1) + 9 - -3635 a composite number?
True
Let m(t) = t - 8. Let x be m(12). Suppose -x*j + 141 = -395. Is j a prime number?
False
Let c(j) = j**2 - 7*j - 3. Let q be c(7). Let v = 6 + q. Suppose -5*d = 4*r - 342, -r - 2*r - v*d = -255. Is r a composite number?
False
Let o(s) = -s**3 + 4*s**2 + 4*s - 6. Let i be (-208)/(-56) - 2/(-7). Let z be o(i). Is 15/z + (-63)/(-2) a composite number?
True
Suppose -5*y = -17 + 7. Suppose 5*v + u - 1195 = 0, 3*u + y*u = 3*v - 689. Let j = v - 107. Is j composite?
False
Suppose 0 = -k + x - 23, 4*k + x + 121 = -k. Let s = k + 27. Suppose 3*p = -s*l + 243, 90 = -4*l + 3*p + 400. Is l a prime number?
True
Let v be (-2)/(-5) - 112/(-20). Suppose 10*b + 752 = v*b. Is (-4)/(-20) + b/(-10) prime?
True
Let u(a) = a**2 + 9*a + 2833. Is u(0) a composite number?
False
Suppos