**2/2 - 4*x. Let m be o(-4). Suppose -3*r + m + 32 = 0. Is r a prime number?
False
Let x(r) = -9*r**2 + r - 6. Suppose 0 = 4*z - 1 - 23. Let c be x(z). Let s = 775 - c. Is s composite?
True
Let p be (4/(-6))/(4/(-30)). Suppose -1034 = p*d - 2929. Is d a composite number?
False
Let x = 132523 + -75086. Is x a composite number?
True
Suppose 71*o = 77*o - 45762. Is o composite?
True
Suppose 0 = -0*j - j. Let b(i) = 3*i - 4*i + 451 + 0*i. Is b(j) composite?
True
Let m(q) be the third derivative of -q**5/60 - q**4/6 + 1597*q**3/2 + 3*q**2. Is m(0) composite?
True
Let q(a) be the first derivative of -a**3/3 - 2*a**2 + 9*a + 3. Let d be q(-7). Is 51*((-16)/d + 3) prime?
False
Let y = 465 + 142. Suppose 0 = 3*k - y - 110. Is k a composite number?
False
Let y(z) = 8*z**2 + 44*z + 27. Let t(d) = 3*d**2 + 15*d + 9. Let h(m) = -11*t(m) + 4*y(m). Let k = -355 + 362. Is h(k) composite?
False
Let q(j) = j**2 - 8*j + 8. Let a be q(10). Let z = -22 + a. Is (z/9)/((-2)/(-345)) a prime number?
False
Let y(m) = -84*m + 34. Let t be y(21). Let p = t + 2991. Is p composite?
True
Let l(b) = b**3 + 9*b**2 + 8*b + 11. Let w be l(-8). Suppose 2*f + 53 = w. Let t = 80 + f. Is t a prime number?
True
Suppose 0 = -t - g - g - 7, 3*t + 6 = -g. Let y be t/4 - 72/(-32). Suppose 4*s = 4, -2*q + y*s = -0*q - 500. Is q a prime number?
True
Let b = -13 - -291. Let o = b - 195. Is o a composite number?
False
Let w = -7 - -7. Let q be 478 + -4 + (-2)/1. Suppose w = -3*z + q + 389. Is z composite?
True
Let l = 28 + -21. Let m(c) = -c**3 + 8*c**2 - 6*c - 3. Let i be m(l). Suppose -k = 3*z - 254, k = i*z + 3*k - 342. Is z prime?
True
Let f = -860 + 353. Let v = -355 - f. Suppose -293 - v = -5*o. Is o composite?
False
Suppose 414299 = 529*c - 506*c. Is c a composite number?
False
Suppose 0 = -0*r - r + 21. Let y be 35454/r - (-12)/(-42). Suppose 5*b + 0*b = -4*q + 1691, 4*q + 4*b = y. Is q prime?
True
Suppose 0 = 2*v + 13*v - 3765. Is v a prime number?
True
Suppose 17695 = w + 2*q, 3*q = 14 - 11. Is w prime?
False
Suppose 16 = -4*i + 12. Let x be 20/1 + (i - -1). Suppose -5*k + 3*g = -1867, 4*g + x = -g. Is k a prime number?
False
Is (596736/45 - 8) + 1/5 a prime number?
False
Suppose -4*f - f = -5*k - 60, -32 = -4*f - 4*k. Suppose 3*r + 5 = -f, 3*r = -4*j + 1685. Suppose 10 = 5*c - j. Is c composite?
True
Let d(y) = 5*y. Let u be d(1). Suppose -u*o = l - 349 - 233, 0 = 3*o - 4*l - 340. Let g = o - -75. Is g a composite number?
False
Let s(k) = -k + 23. Let l be s(12). Is (-14)/(-77) - (-17235)/l composite?
False
Let u = 16360 + -7797. Is u a composite number?
False
Let m(u) = 9992*u + 15. Is m(1) a prime number?
True
Suppose 2*l = -z - 0*l + 2673, -3*z + 8020 = 5*l. Suppose -9*t + 4*t = -z. Is t a prime number?
False
Suppose -4240 = 7*o - 12*o. Suppose 7*m = -m + o. Is m a prime number?
False
Suppose -3*j = 5*p + 1536, -p - j - 306 + 0 = 0. Suppose 4068 = -7*b + 932. Let d = p - b. Is d a composite number?
False
Is (15/(-6) + 3)*1329*2 a prime number?
False
Let n(v) = v**3 + 10*v**2 + 10*v + 12. Let b be n(-9). Suppose -5*g - y + 1975 = b*y, -5*g + 1930 = -5*y. Is g composite?
True
Suppose 6 + 1 = 3*z + t, z + t = 3. Suppose k + 1 = 6, -4*c = z*k - 1638. Is c a prime number?
False
Let n(o) = 471*o**2 - 39*o + 24. Let r(h) = -94*h**2 + 8*h - 5. Let l(x) = -2*n(x) - 11*r(x). Is l(6) a prime number?
True
Let a = 4 - -6. Suppose -4*k = -a*k + 426. Is k prime?
True
Suppose -5*n + 7 + 13 = 0. Suppose 81 = -b + n*b. Is b/(-45)*29*-5 a composite number?
True
Let r(l) = -341*l - 7. Let o be r(-10). Suppose 3*z - o = 416. Is z a composite number?
True
Let h(f) = 1 - 2 - 3 + 89*f + 0. Let w be h(2). Let o = w + -89. Is o composite?
True
Let k = -4867 + 17364. Is k composite?
False
Suppose 4*y = 3*z - 38 - 15, 2*y = 5*z - 37. Let m = 39 + y. Let j = -7 + m. Is j a prime number?
False
Suppose -8*h = -4*h - 2*m - 14344, 5*m + 3577 = h. Is h prime?
False
Let a be ((1232 + -4)/(-4))/(-1). Suppose -3*s + 252 + a = 2*u, -2*s - 5*u = -380. Is s prime?
False
Is (-1061549)/(-57) + 8/(-12) a composite number?
True
Let t = -54 + 62. Suppose -t*c + 309 = -9875. Is c a composite number?
True
Let w be 7853/(-3) - 5/15. Let x = w + 3667. Is x composite?
False
Let d = 25 - 15. Suppose -d*q + 2*q = -744. Is q prime?
False
Suppose 1064 = 5*c + 3269. Suppose -104 = 2*w + 192. Let u = w - c. Is u prime?
True
Let m(a) = -a**3 + 17*a**2 + 3*a - 8. Let x be m(14). Let w = x - 303. Is w a prime number?
False
Let t(b) = 486*b**2 + b + 2. Is t(-1) a prime number?
True
Suppose -11*z = -7*z + 76. Let g = z - -29. Is -13 + g - (-225 - -1) composite?
True
Let s be 1415/10*(6/1 - 0). Suppose 0 = -4*o - 2*n + 3408, o - n = -0*n + s. Is o composite?
True
Let o(p) = -p**2 + p - 13. Let j(g) = -3*g**2 + 2*g - 40. Let l(y) = 9*y + 2. Let w be l(-1). Let r(b) = w*o(b) + 2*j(b). Is r(8) prime?
False
Suppose -3*o + 17 = -31. Let w = o - 13. Suppose -a - w*a + 542 = 5*q, -4*q + 412 = -4*a. Is q a composite number?
True
Suppose -26850 = -4*j - 5*h + 10819, -4*j - 3*h + 37659 = 0. Is j prime?
False
Let f = 7389 + 54042. Is f composite?
True
Suppose w + 5*j = -7, 9*w - 4*w - 5*j - 55 = 0. Suppose w*q - 2 = 6*q, 21263 = 5*g - 2*q. Is g prime?
True
Suppose 5*l + 99621 = 2*a, a = -11*l + 10*l + 49828. Is a composite?
False
Let r be 1200/(-45) + 2/(-6). Suppose -4*m - 126 = -7*m. Let h = m + r. Is h prime?
False
Suppose 5*t = -23 - 7. Let x be t*(3 + (-66)/9). Suppose 8*l + x = 10*l. Is l a prime number?
True
Let j(p) = 94*p**2 - 34*p - 15. Is j(-16) composite?
False
Let a(f) = 8*f**2 - 42*f + 7. Is a(-5) a prime number?
False
Let d be (-96 - 5)/(-1) - (1 - 2). Suppose -8*m + 13*m = -3*r + d, r = -1. Is m a composite number?
True
Let j(c) = -2*c + 7. Let f be j(3). Suppose -f = -4*q + 3*s, 3*s - 28 = -5*q + 7. Is (-150)/q*4/(-6) a composite number?
True
Suppose -j + 7014 + 14528 = 0. Is j prime?
False
Let i(f) = f**3 - 6*f**2 + f + 1. Let t be i(6). Suppose q - t = -l, l - q = 4*q - 17. Suppose l*x - 86 = -w, 0*x - 3*x + 335 = 4*w. Is w composite?
False
Let i = -2787 + 4025. Suppose -3*s = -1789 - i. Is s composite?
False
Let m be 3 + 9/(6/2). Suppose -4*r + m*r + 639 = a, -2*a + 1276 = -5*r. Suppose 2*w - a = -3*x, -2*w = -x + 102 + 123. Is x prime?
False
Suppose 277*v - 270*v = 347102. Is v a composite number?
True
Suppose -5*b + 2*d = 3*d - 11225, 4*b + 4*d - 8980 = 0. Let w = b + -342. Is w a prime number?
False
Is 3604 - -2 - (107 - 108) a prime number?
True
Suppose 3*h - 5*g + 17 + 11 = 0, -h + g - 6 = 0. Let x be (-2)/h + 1 + -6. Let p(k) = -42*k + 3. Is p(x) a composite number?
True
Let s = 211 - 76. Suppose -461 = -2*a - 3*j, a + 38*j - 213 = 33*j. Let w = a - s. Is w a prime number?
True
Is 4 + (-12)/(-2) + 933 prime?
False
Suppose 12*o + 2885 - 41177 = 0. Is o a composite number?
False
Let v(j) be the third derivative of 29*j**5/60 + 3*j**4/8 - j**3/6 + 3*j**2. Is v(-6) a prime number?
False
Let d be 3 + (-244)/(-12)*3. Suppose -12*u + d = -8*u. Suppose u = -2*h + 438. Is h a prime number?
True
Let s(l) = -3*l**2 + 8*l + 13. Let q(d) = 3*d**2 - 8*d - 12. Let t(v) = 4*q(v) + 3*s(v). Is t(8) composite?
True
Let l = 13 - 13. Suppose -3*f + 7*f = l. Let v(d) = d**2 + d + 23. Is v(f) a composite number?
False
Let n = 27 - 23. Suppose -7*b + 753 = -n*b. Let a = b + -128. Is a composite?
True
Let n be 2*10/4 - 2. Suppose -5*g - r = -3598, -4*r = -0*g - n*g + 2145. Is g a prime number?
True
Suppose 99 = -3*f - 2*w, -2*f + 50 = -3*f + 5*w. Let r = 190 + f. Is r prime?
False
Suppose 15*w - 12*w - 6 = 0. Suppose 0 = -w*k - 605 + 2427. Is k a prime number?
True
Let w(j) = 6*j**2 + 3*j - 4. Let x be w(4). Suppose 3*i + x + 67 = 0. Let h = 72 - i. Is h a composite number?
True
Let j be 20/6*(-24)/(-20). Suppose -2*s = -j*c - 2340, -2*s + 4*s + 3*c = 2354. Is s a composite number?
True
Let l = -2 + 8. Let u be l/15 - 214/10. Is 124/6 + (-7)/u composite?
True
Let t(k) = 10*k**2 + 13*k + 11. Let v be t(6). Suppose 5*s + v = y, -5*y + 2191 = 4*s - 2*s. Is y a composite number?
False
Let z = -29 + 20. Is 14/(z/((-3879)/2)) a composite number?
True
Let h(z) = -1527*z + 24. Is h(-27) composite?
True
Suppose -2*g - 5*r + 14 + 5 = 0, -g - r = -5. Suppose -3*k + 50 = -5*m, -g*m - 5*k - 13 = 7. Let n = 25 + m. Is n composite?
True
Let c = 17815 + 6032