 0 = 2*p + p - h. Is p a prime number?
True
Suppose 0 = 9*h - 7*h - 10. Suppose -2*u + h*c + 2312 = 0, -c - 1 = 1. Is u composite?
False
Is (-48259)/(-3) + (-14)/(-21) prime?
True
Let q = 35340 - -2903. Is q a prime number?
False
Let m(a) = 6*a - 4*a**2 - 5 + 3 + 2*a**3 - 1 - 5*a. Is m(4) a composite number?
True
Let r(m) = m**2 + 11*m + 16. Let w be r(-11). Suppose -5*v + v = w. Let f(n) = -2*n**3 + n**2 - 3*n + 5. Is f(v) a composite number?
True
Suppose 7*t - 60 - 17 = 0. Let y = t + 166. Is y composite?
True
Let r(j) be the third derivative of -1/60*j**5 - 1/3*j**4 + 0*j - 4*j**2 - 2/3*j**3 + 0. Is r(-5) a prime number?
True
Let t be -1*(-5)/(-25)*0. Suppose 942 = g + 3*q, t*q = -g - 5*q + 944. Let m = 458 + g. Is m composite?
True
Is 293*200 + 1*(-5)/(-5) composite?
False
Suppose -6*i - 532 = -5*d - 8*i, -3*d + 3*i = -315. Let a(j) = j + 6. Let s be a(-6). Suppose s = -v - 0*v + d. Is v composite?
True
Let w be 36/(-60)*5/1. Let d be w/(-3) + (-59 - 2). Let o = d + 143. Is o a prime number?
True
Suppose -95 = 2*t - 647. Let j = 535 - t. Suppose 6*v - j = 5*v. Is v composite?
True
Let i = 25 + -21. Suppose 0 = -i*m - 1084 + 7712. Is m a prime number?
True
Let f(m) = -m**2 - m. Let b be f(8). Let l be 7/(-1)*b/84. Suppose 153 = l*c - 45. Is c prime?
False
Let f(h) be the first derivative of -h**2/2 - 8*h + 2. Let u be f(-10). Suppose -s + 0*g = u*g - 303, -318 = -s - 5*g. Is s prime?
True
Let b be 21/2*640/30. Suppose 2 = 3*g - 13. Suppose -g*c + b = -3171. Is c a prime number?
False
Let t(c) = 7*c**2 + 6*c**3 - c - c - 1 + 9*c - 6. Is t(4) prime?
False
Let s = 12 + -13. Let v(a) = -199*a + 2. Let b be v(s). Is b*1*12/18 a prime number?
False
Is (-68)/(-510) + (-342793)/(-15) a composite number?
False
Let l(u) = 16*u**3 - 1. Let f be l(-1). Let c = 15 + f. Is c/6 + (-804)/(-9) prime?
True
Let m = 10525 + -5928. Is m composite?
False
Let b(i) = -8*i**2 + 12 - 6 - 6*i + 12*i**2. Let c be b(7). Suppose -c - 75 = -s. Is s composite?
True
Let w be 1/2 + (-80)/32. Is w/(-4)*0 + 271 composite?
False
Is (-267 - 32380)*(0 + 1*-1) prime?
True
Let u be 1/4 + (-1)/4. Suppose u = 4*c - 2*c - 4. Suppose -c*q = 3*k - 59, -2 - 2 = 4*k. Is q a prime number?
True
Suppose 0 = -5*c - 0*c + 25. Suppose -4101 = -c*j + 4*f, 0 = -f + 4*f - 3. Is j composite?
False
Suppose h - 899 = -188. Let i = h + 20. Suppose 6*f - 904 = f + 3*c, -i = -4*f + 5*c. Is f prime?
True
Let n be ((-14)/3)/((-9)/(14418/4)). Let t = -232 + n. Is t composite?
False
Suppose a + 857 = 4*c, -1080 = -3*c - 2*c + 3*a. Let b = -35 - -137. Let h = c - b. Is h prime?
False
Suppose -4*a + 4*p - 25 = -5*a, 5*p = -3*a + 40. Suppose 0*x + 5*q - 740 = -3*x, -a*q = 2*x - 500. Suppose -2*v - 4 = 0, 0 = -5*w + w + 2*v + x. Is w composite?
False
Let u(o) be the third derivative of -31*o**4/8 + 11*o**3/3 + 36*o**2. Is u(-7) prime?
True
Suppose -4*s - 32 = -0*s. Let h(m) = -m**3 + 3*m**2 + 3*m + 11. Let t be h(s). Suppose 3*u - 203 = t. Is u prime?
False
Let p be 1 + (-8)/((-40)/(-15)). Is p/(-8) + 6681/12 a prime number?
True
Suppose -20*x + 1522 = 35622. Suppose 3*j + 4064 = 914. Let p = j - x. Is p composite?
True
Suppose 5*r + 3*o = 5060, 5*r - 27*o + 22*o - 5020 = 0. Is r a prime number?
True
Suppose -13*k - 66892 = -17*k. Is k a prime number?
False
Let g(d) = -151*d + 101. Is g(-18) composite?
False
Suppose 0*o = -2*o - 2*w + 244, 3*o - w - 366 = 0. Let r = o - 19. Let b = r + 96. Is b composite?
False
Let n = 18 - 22. Let y be 2/3*6 + n. Is 199 - (0 + y - 0) a prime number?
True
Suppose 10819 = 7*x - 55912. Is x a prime number?
True
Suppose 0 = -3*t + 1024 - 247. Is t - (5 + -3 + -2) a composite number?
True
Let h(v) = 327*v - 64. Let b be h(-9). Let p = -1298 - b. Is p a prime number?
True
Let u(g) = g**3 - 28*g**2 + 39*g - 1. Let p be u(24). Let i = -876 - p. Is i a prime number?
False
Let a be 0 - 3 - (-1 - 7). Suppose -a = 3*b + 19. Is ((-474)/b)/((-12)/(-48)) a composite number?
True
Suppose -3*b = 39*m - 37*m - 231611, -4*b = -5*m - 308784. Is b prime?
True
Let g(m) = 85*m**2 + 8*m + 2. Let o = 129 + -132. Is g(o) prime?
True
Let r = 221 - 48. Suppose -3*n + r = 47. Suppose 3*q - 4*m - 3 = n, 30 = 2*q - 5*m. Is q a prime number?
False
Let a(l) = -28*l**3 - l - 98. Is a(-9) a prime number?
True
Let u = 3149 + -570. Is u prime?
True
Let k(a) = 23*a**2 - 40*a - 38. Is k(-15) a prime number?
True
Let c(x) be the second derivative of 7*x**4/12 - x**3 + 7*x**2/2 - 24*x. Is c(6) prime?
True
Suppose -9*j - 20 = -14*j. Suppose -4*d + 4*t + 868 = 0, -j*d + t = -1158 + 290. Is d prime?
False
Let k(j) = 4 + 33*j**2 + 5*j**2 + 12*j**2. Is k(3) a composite number?
True
Let h(m) = 13*m**3 + 6*m**2 + m - 19. Is h(7) a composite number?
True
Suppose -380 = 6*i - 11*i. Suppose -5*s + 866 = i. Is s composite?
True
Let q = -216 + 339. Is q prime?
False
Let c be -1*(3 - (853 - -2)). Let h be (10/20)/(1/c). Suppose -3*s + 2*o = -253, 7 = -5*s + 2*o + h. Is s composite?
False
Let h = 2 + 0. Let a be 1/(1/23) + h. Suppose 127 = 3*o + a. Is o composite?
True
Let t(d) = 4905*d - 4. Let v(o) = -9809*o + 9. Let l(a) = 7*t(a) + 3*v(a). Is l(1) a composite number?
True
Let f(a) = -a**3 - 10*a**2 - 6*a + 29. Let q be f(-9). Suppose -q*z + 3193 + 301 = 0. Is z a prime number?
True
Is (-1 + -243)*(-3)/6 prime?
False
Suppose 1843 = -39*j + 70444. Is j a composite number?
False
Is (-68)/(-85) - 16021/(-5) a prime number?
False
Let j be 1/(-2)*(9 + -19). Suppose -2*w = j*o - 198 - 24, o = w - 125. Is w prime?
False
Let u be (-28)/70 - 2182/(-5). Suppose 2340 = 4*i + 2*t, i - u = -3*t + 144. Is i a composite number?
True
Let d(s) = -35*s**3 - 7*s**2 - 20*s - 9. Is d(-8) a composite number?
False
Let s = -22 - -24. Suppose -m + 4*m - 9 = -s*w, -5*w = m - 3. Suppose 524 = 7*z - m*z. Is z a composite number?
False
Suppose 2*b = 5*b - 12. Let m(z) = 854*z**3. Let q be m(1). Suppose 0 = -b*r + a + q, 0 = -2*r + 2*a + 2*a + 420. Is r a prime number?
False
Let u(j) be the second derivative of j**6/120 - 2*j**5/15 + 3*j**4/8 + 7*j**3/6 - 3*j**2 + 3*j. Let t(a) be the first derivative of u(a). Is t(8) composite?
False
Suppose 0 = -q + 6*q - 1740. Let t = 1780 - 1543. Let c = q - t. Is c prime?
False
Suppose -3 = -4*h + 13. Suppose j = 4*t + 686, h*t - 2*j + 694 = 3*j. Let b = t - -464. Is b a composite number?
False
Suppose 16 = -4*a - 5*r, 2*a - 2*r = 3*a + 4. Let u be 342/a*(-2)/3. Suppose -7*n = -4*n - u. Is n prime?
True
Suppose -5*h - 1018 = -4*w, 2*h + w + 408 = 3*w. Let x = 3063 + h. Is x a composite number?
False
Suppose -678*c - 49895 = -683*c. Is c composite?
True
Is (6/9 + 0)*411 a composite number?
True
Suppose 0 = g - 5*w + 17, -3*w + 6 = -2*g - 0*w. Suppose 340 = b + g*b. Is b a composite number?
True
Let m = 2937 + 1480. Is m a composite number?
True
Is 11/(297/(-18))*6303/(-2) prime?
False
Suppose -b = -d - 26, 10 = -4*d - 6. Suppose -21 = -f + b. Is f a prime number?
True
Let o = -537 - -213. Let m = 545 + o. Is m prime?
False
Let d = -14 - -7. Let a = d + 3. Is a*-1*111/6 a composite number?
True
Suppose 7*a - 4*a + 54 = 0. Is (1 + 1/(-2))/(a/(-234108)) a composite number?
True
Suppose 4*h = 9*h - 25. Suppose 3*t + 15 = 0, 3*z + h*t = 2*z + 132. Is z a composite number?
False
Let a = 17 - 15. Suppose -a*c = c. Suppose 5*f = -3*d + 1039, -f + 0*d + 2*d + 213 = c. Is f composite?
True
Is (4/15)/2 + 445544/120 a prime number?
False
Let j be -6*(2 + 28/(-12)). Suppose -4*d = j*d - 126. Is d prime?
False
Suppose 0 = -7*f + 14965 + 29744. Is f a composite number?
True
Suppose 0 = -3*i - i + 416. Suppose -r = -3*r + i. Suppose 3*v - 253 = -r. Is v a prime number?
True
Let g be 52/(-13)*22/8. Is -4 - (g - -4) - -583 a composite number?
True
Let v = 9911 + -5860. Is v prime?
True
Let b = 13 - 18. Let h = b - 7. Is (472/h)/(4/(-18)) composite?
True
Let u(q) be the first derivative of 49*q**5/10 - q**4/24 + 3*q**2/2 + 7. Let n(r) be the second derivative of u(r). Is n(1) a prime number?
True
Let o(a) = 13*a**2 - 19 - a + 26 + 14*a**2 + 18*a**2. Is o(-3) composite?
True
Let p(n) = 101*n**3 + 10*n**2 - 16*n + 49. Is p(4) a composite number?
True
Let w be 6*(21/6)/7. Suppose 2*r + 30 = 2*d, 3*r - d + 50 = w*d. Is r/(-25) + 1233/5 a prime number?
False
Let c = 109 - 62. Let f = -19 - -3. Let d = c + f. Is d prime?
True
Suppose -11*