*d + n. Is d prime?
False
Let i = 94 - 16. Let k = 59 + i. Let q = -68 + k. Is q composite?
True
Let q = 78249 + -41658. Is q composite?
True
Suppose -18*a + 264509 = -98713. Is a composite?
True
Let w be (1 - 4)*(-3 - -2). Let k = w - -16. Is k a prime number?
True
Let b = 3437 - -390. Is b composite?
True
Suppose 40*u = 2*u + 23978. Is u a prime number?
True
Let x(y) = 5*y**2 + y - 1. Let d be x(1). Is (-2)/d + 22203/45 a composite number?
True
Suppose 4*q + 1487 = -3*w, -2*w = -2*q - 3*w - 745. Let k = q - -639. Is k composite?
True
Suppose -3*t + 8*t + 40 = 4*b, 0 = -b + t + 10. Suppose -2*v = -b, -2*r + 5*v = r - 584. Is r a composite number?
True
Let l = -694 + 1369. Suppose 3*b = -2*s + 1993, 3*b = 2*b + 2*s + l. Is b a composite number?
True
Is 7 + 0 - (-2250)/(-15)*-462 composite?
True
Suppose 0 = 10*a + a. Suppose d + d - x - 773 = 0, a = 2*d + 3*x - 793. Is d a composite number?
False
Let o = 14 - 17. Let y be 2*(1 - (-1 - o)). Is (15/(-30))/(y/844) a composite number?
False
Let g be 1*3*6/9. Suppose g*u - 6 = 364. Is u composite?
True
Suppose -2*r + 10 = 0, 3*y + 12*r = 8*r + 1997. Is y a prime number?
True
Suppose 12*m = 17*m - 23955. Is m prime?
False
Suppose -23 = -5*d - 3. Suppose g - 3*m = -7 - 5, 2*g - 2*m = -12. Is ((-2)/d)/(g/1266) a prime number?
True
Let k be (5 + (-119)/21)*-3. Let w = -2028 - -3220. Suppose 3*j - w = -5*x, 0*x + 5*x = -k*j + 1193. Is x a composite number?
False
Suppose 5*m = -20, 2*x = 3*x - 5*m + 3394. Is 1/(-3 + x/(-1137)) prime?
True
Let d be 3 - ((0 - (0 - -2)) + 1). Suppose 0*f = -d*f + 1364. Is f prime?
False
Let q(i) = -2*i**2 + 11*i + 1853. Is q(0) a prime number?
False
Let r(f) = 959*f - 170. Is r(3) a composite number?
False
Is (-1)/(-2) + 35/56*52 a prime number?
False
Suppose -4*y + 0*y = 2*i - 10930, 5468 = 2*y - 2*i. Is y prime?
False
Let l(r) = 117*r**2 - 54*r - 295. Is l(-6) a composite number?
False
Let n(t) be the third derivative of t**4/24 - 13*t**3/6 - 8*t**2. Let d be n(6). Let w = 704 + d. Is w a composite number?
True
Let g be ((-1)/(-2))/((-4)/48). Let q(b) = -45*b - 11. Is q(g) a composite number?
True
Let y = 110 - 70. Suppose -5*o + 2*o = 15. Let v = o + y. Is v a prime number?
False
Suppose 0 = -3*o + 221 + 34. Suppose 5*i - o = 40. Is i composite?
True
Let z(k) = k + 464. Let w be z(0). Suppose y - t = 210, t = 2*y - 112 - 311. Let v = y + w. Is v a composite number?
False
Suppose -2*t - 2*b = -6095 - 6723, 3*b = 4*t - 25622. Is t a prime number?
False
Let s(o) = -21*o + 21. Is s(0) a prime number?
False
Suppose 3*o = 0, -4*q + 3*o + 32588 = o. Is q a composite number?
False
Let h(i) = i**3 + 17*i**2 + 17*i + 12. Let l be h(-16). Is (-2514)/(-10) + l/10 a prime number?
True
Let x(j) = 3*j + 2. Suppose 0 = -0*y + 3*y. Suppose u = -4, y*b - b + 4*u + 23 = 0. Is x(b) composite?
False
Let o(l) = l**2 + 11*l + 4. Let p(k) = k. Let u(r) = 2*o(r) - 22*p(r). Let y be u(-8). Suppose -2*i = 4*g - 432, -3*g + y + 183 = 4*i. Is g a composite number?
False
Suppose -4*b + 2*b + s + 10076 = 0, 3*b = 2*s + 15112. Let i = b - 3368. Let m = 2411 - i. Is m a composite number?
False
Let r(t) = 5*t**3 - 2*t**2 - 10*t - 5. Let g be r(-5). Let l = g + 1313. Is l prime?
True
Suppose -5*f = -2*v + 13 - 33, 0 = 2*v. Suppose -4*c = -12, -f*l + 2*c + 9425 = c. Is l prime?
True
Let s(q) = 58*q**2 - 26*q - 61. Is s(-15) prime?
False
Let r = -1446 - -2926. Suppose m - r = -7*m. Is m a prime number?
False
Suppose r + 5*r - 11382 = 0. Suppose -5*y = d - r, -2*d = 3*d - 3*y - 9541. Is d composite?
False
Suppose -1 = -2*o - x - 7, x + 12 = -5*o. Is (o - -3)/(-4*(-4)/1424) composite?
False
Let q(i) = -4*i + 24. Let y be q(6). Suppose y = o + 3*j - 3874, 5*j = -4*o + 3*o + 3880. Is o composite?
True
Let d be ((-114)/19)/(2/3). Is d/3 - -376*1 a prime number?
True
Let f be 16/6*(-78)/4. Let l be 54/13 - (-8)/f. Suppose l*n - 3*a = 2*n + 87, -5*a + 24 = n. Is n a composite number?
True
Let w(a) = -323*a + 20. Let x(l) = 322*l - 19. Let s(c) = -2*w(c) - 3*x(c). Is s(-9) a composite number?
False
Let p = 111 + 1526. Is p a composite number?
False
Suppose -3*n = -4*w + 72488, -4*w = 89*n - 91*n - 72484. Is w a composite number?
False
Let g = 555 + -277. Is g a prime number?
False
Let k = 2 + -24. Let i = k - -227. Is i composite?
True
Suppose -j + 2*l + 260 + 772 = 0, -4*j = 4*l - 4176. Let v = j - -471. Is v prime?
True
Let o(z) = 252*z**2 - 13*z + 51. Is o(4) composite?
True
Suppose -2*f - 3*x = -135, 123 = 4*f + 2*x - 135. Suppose -3*y - f = -330. Is y prime?
True
Let m be 4 - 4/((-4)/(-1)). Suppose 4*r + 3*j - 4861 = 0, 0 = -2*r + j - m*j + 2432. Is r a prime number?
True
Let g(x) be the second derivative of -17*x**4/12 - x**3/3 + x**2 + 4*x. Let d be g(-4). Is 2/(1 - (-258)/d) composite?
False
Suppose 0 = 7*n - 35407 - 21160. Is n composite?
False
Suppose -3*d - 4*p = 1825, 4*d - 8*d - 2450 = -3*p. Let t = 1030 + d. Is t composite?
False
Is (-183735)/54*(-2 + 0/1) composite?
True
Let i be 50/30*(3 - 0). Let b be 3/i + (-4)/(-10). Is (3 - 2*-25)*b composite?
False
Let t(m) = -7*m - 1 + 3*m**2 - 9 + m - 3. Is t(-6) a prime number?
True
Let n = -29 - -35. Is (-1 + 57/n)*14 a prime number?
False
Let a(m) = -m**3 + 4*m**2 + 4*m + 8. Let x be a(5). Suppose x*p - 8*p + 455 = 0. Is p a prime number?
False
Suppose b = 3*b - 316. Let i be (-60)/8*(-26)/3. Let s = b - i. Is s composite?
True
Suppose -2*b + 3771 = 3*h, -6*b - 5026 = -4*h - 8*b. Is h composite?
True
Suppose -8*t - 8732 = -12*t. Is t prime?
False
Suppose 5*u + 3*z + z - 11371 = 0, 4554 = 2*u + 3*z. Is u a prime number?
False
Is (26/(-65))/((-4)/(-16105))*-2 prime?
True
Let u(y) = y**2 - 17. Let k be u(5). Is 307 - (-4)/k*0 a composite number?
False
Let i = -11234 - -18077. Is i a prime number?
False
Suppose 3*d = 2*o + 50, 6*o - 5 = d + o. Suppose 25*z = d*z + 50. Is z a prime number?
False
Let x(q) = -q**3 + 36*q**2 - 45*q + 19. Is x(20) a composite number?
False
Let d(h) = -206*h + 12. Let k be d(-5). Suppose -2*p + k = -0*p. Is p a prime number?
True
Let v be (-6 + 5)/((-3)/(-9)). Let y(r) = r**3 + 4*r**2 + 2*r + 4. Let c be y(v). Is (c + 702)/((-1)/(-1)) a composite number?
False
Let z(c) = c**3 - 5*c - 157 - 10*c + 174 - 8*c**2. Is z(10) a composite number?
False
Let h(r) = 8*r - 3. Let w be h(1). Suppose 10*o - w*o - 815 = 0. Is o a prime number?
True
Let k(h) = -h + 1561. Suppose 3*x = -g + 15, 0*g - 4*x - 45 = -3*g. Suppose g*t = 11*t. Is k(t) a composite number?
True
Suppose -5*r = -x + 14, 2*x + r + 34 = -3*x. Is (6202/6)/(16/x - -3) a prime number?
False
Suppose 0 = 5*j + 3*c - 8000, 14 = 4*c - 6. Is j prime?
True
Suppose 9*h - 3*h - 4800 = 0. Suppose 4*d + 3*k = k + h, 0 = -2*d + 2*k + 412. Is d composite?
True
Suppose 12*r - 5929 = 6659. Is r composite?
False
Suppose -p = -14225 + 2326. Is p/6 + -4 + 1/(-6) composite?
False
Suppose 3*j = -3*q + 9828, 13*j + 3*q - 16370 = 8*j. Is j a prime number?
True
Let q = 1799 - 856. Is q a prime number?
False
Suppose -22*y + 162823 = -12847. Is y a prime number?
False
Let d(c) = -53*c**2 - c**3 + 5*c**3 + 2*c + 2*c**3 + 52*c**2 - 2. Is d(3) prime?
True
Suppose -10*t = -12*t - 4. Let m = t + 5. Is m - (-490 - 12/3) composite?
True
Suppose -n - 4*i = -128965, -644825 = -7*n + 2*n - 5*i. Is n composite?
True
Suppose -3*f - 44 = -7*f. Let q be (-2)/f - 4452/(-44). Let b = q + -12. Is b composite?
False
Suppose -4*u + 3*k + 2*k = -8, -4*u + 3*k + 8 = 0. Suppose 0 = -5*d + u*d + 1779. Is d composite?
False
Is (3634466/(-110))/(-3 - (-42)/15) a prime number?
True
Let j = 1722 - 335. Is j a prime number?
False
Let c(f) = f + 9. Let s be c(-4). Suppose 0 = 4*w + 17 - s. Is (0 - 23)*-4 - w a composite number?
True
Let r = 5701 + -3448. Is r a composite number?
True
Is 1689/(-4 + 7 + 0) composite?
False
Let f = -11281 - -16662. Is f a prime number?
True
Let p(c) = 9*c - 1. Let s be p(7). Suppose -8*v = -6*v - s. Is v composite?
False
Let p(d) = d**3 + 10*d**2 + 10*d + 12. Let m be p(-9). Let a be m - -2 - (-2 + 2). Let f = a + 44. Is f a composite number?
True
Let k(m) = m**2 - 12*m + 3. Let p be k(11). Let r = p - -10. Suppose -125 = -r*j + 53. Is j a prime number?
True
Let s(k) = k**3 + 5*k**2 + 6*k - 4. Let h be s(-3). Is ((-4614)/8 + 4)*h prime?
False
Let g = -4065 + 2853. Let m = 2723 + g. Is m a composite 