 a prime number?
False
Suppose -3*s = -3*y + 944 - 29, -5*y + 1533 = -s. Let k = y - 158. Is k a composite number?
False
Suppose -3*w - 3*j + 36 = 0, 2*w - 3*j = -w + 24. Let q = w + -5. Suppose -5*a + q*z = 3*z - 175, 195 = 5*a + 2*z. Is a a prime number?
True
Let r(w) be the third derivative of -47*w**4/24 + 2*w**3 - 115*w**2. Suppose -2*m - 13 = -3. Is r(m) prime?
False
Suppose 81837 = x - 4*r, 245461 = 3*x - 2*r - 0*r. Is x a composite number?
False
Suppose -2*s - 5*d = -22333, -22*d = 5*s - 21*d - 55798. Is s composite?
False
Let n(g) = 3*g**2 + g - 2. Let f be n(1). Suppose -k - 2*b = -170, k - f*k - b + 172 = 0. Let a = k - 87. Is a composite?
True
Suppose 0*i - i + 35 = 0. Suppose 4 + i = -3*q. Is 3 + -2*8*q a prime number?
True
Let n(t) = t**2 - 15*t + 16. Let b be n(14). Suppose b*o - w - 4607 = -2*o, 0 = 2*o + 2*w - 2296. Is o prime?
True
Suppose 0 = -4*w + 54784 + 65332. Is w a composite number?
False
Let a = 345 + -47. Suppose -5*w + a + 526 = m, 0 = 5*m - 4*w - 4207. Is m prime?
True
Suppose -35516 = 3*r - 7931. Is ((-2)/5)/(6/r) prime?
True
Let a be ((-806)/6)/(8/(-144)). Let b = a + -927. Suppose b = -25*t + 28*t. Is t a composite number?
True
Suppose 0 = 3*p + 575 + 523. Suppose 3*m + 9 = 0, j + 3*m + m = -2. Is 12/30 - p/j prime?
True
Let o = 2897 + -738. Is o composite?
True
Suppose -3*v = -m + 23, -26 = -2*m - 5*v + 20. Suppose p + 11 - 2 = -a, -p = 2*a + m. Is ((-68)/4)/(2/a) prime?
False
Let x be -3 + 2 + 3 - -2. Suppose x*z - 2*l = -2, z - 4*l = -2 + 12. Let m(j) = 211*j**2 + 4*j - 1. Is m(z) a prime number?
False
Suppose -5*n - 7 = -52. Suppose 0*o = -3*o + n. Suppose o*d - 3*l = -4*l + 439, 0 = -3*d - 3*l + 447. Is d composite?
True
Suppose p - 45 = -4*p. Is 776/p - (-2)/(-9) a prime number?
False
Suppose -2*u + 404 = 2*o, 4*u = 3*o + 129 - 714. Let t = 91 - o. Is 1/((-2)/t) - 1 a composite number?
False
Let d = -2853 - -6040. Is d prime?
True
Suppose 3*s = -2*y + 2, -4*s + 7*y = 2*y - 18. Suppose 0 = 3*m + 4*v - 115, m - 5*v = -s*v + 34. Suppose 0 = c - 104 - m. Is c a composite number?
True
Let l be (-1)/6 + 39/18. Suppose -3*a + l*a - 234 = 0. Let s = a - -347. Is s a composite number?
False
Is (6 - 3) + -5 - (-5939 - 0) composite?
True
Suppose -f = -16 + 4. Suppose 0 = 4*v - 0*v - f. Suppose -2*k + 125 = v*k. Is k a composite number?
True
Let r = -1109 + 1745. Let k = 1259 - r. Is k composite?
True
Suppose 41*a - 34*a - 7805 = 0. Is a prime?
False
Suppose -5*y - 20 = -0, 2*v - 5*y - 24 = 0. Suppose v*q - 58 = -20. Is q a composite number?
False
Let h be (770/(-25))/(4/(-20)*1). Suppose -268 = -2*f + h. Is f composite?
False
Suppose 47*v - 25098 = 41*v. Is v composite?
True
Let h(j) be the third derivative of j**5/15 - j**4/24 - 11*j**3/3 + 5*j**2. Is h(-17) prime?
True
Let g(l) be the first derivative of -l**3/3 + 25*l**2/2 + 2*l - 2. Is g(13) composite?
True
Let f be -4 - (-1*371 + -3). Let b(v) = -158*v**2 + 2*v + 1. Let q be b(-1). Let y = f + q. Is y a prime number?
True
Suppose -6369 = -3*v + 2*k, 2*v + k - 4246 = -k. Is v composite?
True
Suppose -2*i + 1314 = -3*d + i, 4*d + 3*i + 1738 = 0. Let j be (-18)/81 - d/18. Suppose 3*y + 0*v - j = -3*v, 0 = y + 3*v - 16. Is y prime?
False
Let j(w) = 2*w**3 - 20*w**2 + 8*w + 11. Is j(17) a prime number?
False
Let p be (40/15)/((-2)/1344 - 0). Let v = p + 3423. Is v a prime number?
False
Let f(x) be the third derivative of x**5/60 + 3*x**4/8 + 7*x**3/3 - x**2. Let m be f(-7). Suppose 5*n - 266 = -4*h + 13, 2*h - 2 = m. Is n prime?
False
Suppose -5*n + v + 2*v - 1018 = 0, 2*n = -v - 405. Let g = 414 + n. Is g composite?
False
Let l = -4092 - -7549. Is l prime?
True
Suppose 2997 + 1086 = 3*c. Is c a prime number?
True
Let r(u) be the third derivative of u**5/60 + u**4/6 - 2*u**3/3 - 2*u**2. Let w be r(-5). Is (-2)/2 + 133 + w prime?
False
Suppose -12 - 12 = -3*o. Suppose -40 = o*u - 9*u. Is ((-2674)/(-56))/(2/u) a composite number?
True
Suppose -5*c + 10 = -3*h, 5 = -5*h + 2*c + 1. Is -4 + (h - 473)/(-1) a prime number?
False
Let d = 11590 + -4139. Is d composite?
False
Let h(v) = 5*v**2 - 2*v + 10. Is h(23) a prime number?
True
Let h be (-1)/5 + (-52)/(-10). Let b(v) = 38*v**2 - 11*v + 23. Let x(f) = 25*f**2 - 7*f + 15. Let t(z) = h*b(z) - 7*x(z). Is t(5) prime?
False
Let v = 119 - 116. Suppose -4*i + 4*o + 3940 = 0, -v*i - 3*o + 1335 = -1608. Is i prime?
True
Let j(w) = 5*w**2 - 20*w + 36. Is j(-13) prime?
False
Suppose 3*b = -4*p + 7*p, 5*p = b + 8. Is (40860/(-54))/(b*(-1)/3) prime?
False
Suppose 0 = -4*a - 16, -3*a - 4 = -2*q - 8*a. Suppose 0 = 3*j + 5*u - 52, -2*u + 3*u + q = j. Is 33*j/3 - -3 a prime number?
True
Is 3*55/(-33) - 202*-19 prime?
True
Suppose -5*o = -87 + 7. Suppose o*z - 1221 = 13*z. Is z composite?
True
Let l = 1894 - 1343. Is l a composite number?
True
Suppose -5*p = -2*p - 4*a - 25, -5*p = -a - 53. Suppose 15*r = p*r + 5348. Is r a prime number?
False
Let i = 75 + -72. Suppose t - 2257 = -3*j, 8*t - i*t = -3*j + 11261. Is t composite?
False
Let u be (35/(-15))/(2/336). Is u/(-2 - -1) + -3 a composite number?
False
Let c(v) = 6*v**2 - 29*v + 39. Let l(m) = 2*m**2 - 10*m + 13. Let r(g) = 6*c(g) - 17*l(g). Is r(-22) a prime number?
True
Suppose 0 = 2*v + 3*v - 25. Suppose -a + 5*a + 16 = 0, 0 = -v*f - a + 296. Suppose -51 = -2*s - 5*t - 0, 2*s = -2*t + f. Is s a composite number?
True
Let p(f) = 81*f**2 + 37. Is p(6) a prime number?
True
Is (7 - 350/56)/((-9)/(-195528)) composite?
True
Let p = 3462 - -2293. Is p composite?
True
Suppose 0 = 28*t - 25367 - 20301. Is t a prime number?
False
Suppose 6*k - 37 + 1 = 0. Is (-974)/(4 + -1*k) prime?
True
Let h = -21 - -8. Let u = 22 + h. Is 149/2*18/u prime?
True
Is 8818*(8 - 33/6) a composite number?
True
Suppose 53*j - 798008 = 85025. Is j a prime number?
True
Is (3/15)/((16/(-1670))/(-8)) prime?
True
Let b(m) = -16*m - 3 - 3 - 7 + 12. Suppose 2 + 18 = -4*a. Is b(a) a composite number?
False
Suppose -4*y = -8*y - 2520. Suppose -5*c + 9 = -3*g, 12 = -4*c - 0. Is y/g - 2/(-8) a prime number?
True
Suppose 5*f - 25 = -2*w, 0 = -0*f - 4*f - 5*w + 37. Suppose -f*z + 1570 = -z. Is z composite?
True
Let i be (-12)/(-9) - 4/(-6). Is (-2 + 651/2)*i*1 a composite number?
False
Let m(g) = g - 8. Let i be 8 + -1 - (0 - -3). Let a be m(i). Is -631*(-4 + a + 7) a composite number?
False
Let w(l) = -l + 1. Let o = 1 - 5. Let j be w(o). Suppose 551 = j*p + 106. Is p prime?
True
Let u be ((-20)/8)/((-25)/20). Let a be (u/3)/((-2)/471). Is 3 + (-3 - a)*1 a composite number?
False
Is (-8 + 4 + -1885)*-1 a prime number?
True
Let b be (15/6 + -3)*4. Let c = -14 - -11. Is b/c - 1895/(-15) a composite number?
False
Let x(l) = 9246*l**3 + 4*l**2 - 1. Is x(1) composite?
True
Let f = -2444 + 4777. Is f a composite number?
False
Let r(q) = q**3 - 4*q**2 + 2*q - 6. Let f be r(4). Suppose -2*l = -5*z + l + 2905, f*l = -4*z + 2324. Is z a prime number?
False
Let x be (5/3)/((-1)/(-3)). Is 7 - x - (-221)/1 a composite number?
False
Suppose 4*m + 1647 = -953. Let i be (3/(-2))/(26/6292). Let q = i - m. Is q composite?
True
Is (9/(-27) + 8/6)*2263 prime?
False
Suppose 10*c + 2585 + 385 = 0. Is 2*1/2 - c a prime number?
False
Suppose 2*f - 5*f + 10598 = 5*o, 2 = 2*o. Suppose -f - 2537 = -4*u. Is u prime?
False
Let d be 4 - (-132 - (1 - 4)). Suppose a - 574 = d. Is a a prime number?
False
Let b(g) = g**3 - 3*g**2 - g - 8. Let n be b(4). Suppose 4*u - 11727 = 19*x - 14*x, 0 = 3*u - n*x - 8795. Is u a prime number?
False
Let q be 1 + (-3)/(3/(-115)). Suppose 3*d - 1290 = -183. Let g = d - q. Is g composite?
True
Suppose 2*z + 3*a = 5*a + 12, 5*a - 24 = -z. Let x(l) be the first derivative of -l**3/3 + 6*l**2 - 8*l - 1. Is x(z) a composite number?
False
Suppose -19 = -5*r + 1, -5*g + 4*r = -10479. Is g prime?
True
Let i = -402 + 1267. Is i composite?
True
Let i be (-1)/(-1*3) + 15370/87. Let h = i - -294. Is h composite?
True
Suppose 5*r - j - 18 = -5, 5*j - 1 = 3*r. Suppose -v - 3*f + 87 = -f, f = -r*v + 241. Is v a prime number?
True
Let c(x) = 6906*x**2 - 24*x + 35. Is c(2) composite?
False
Let b = 1381 + -1310. Is b a composite number?
False
Let u be (-21 - -6)/(1/125). Let j = 2668 + u. Suppose 2*b = j - 35. Is b a composite number?
False
Suppose -5*g = 20, i + 5*g = 3*i - 34. Suppose -5*j - i = -2. Is 40 + (3/j - 0) a prime number?
T