c/12) a composite number?
True
Let t(h) = -h**3 + h - 1211. Let q be t(0). Let m = 1860 + q. Is (-1)/(((-5)/m)/5) a composite number?
True
Let g = 11147 - 5980. Is g composite?
False
Let h(r) = 10*r**2 + 18*r - 15. Is h(8) prime?
True
Let d(c) = c**3 - 3*c + 15*c + 3*c**2 - 7*c - 4*c. Let f be d(-3). Is 338*(12/(-8))/f a prime number?
False
Suppose 2*k + 42 = 9*k. Is (3639/6)/(3/k) composite?
False
Let i be 8/(-14) + (-2 - (-108)/42). Suppose -3*x + 121 + 326 = i. Is x prime?
True
Let x(h) = -h + 50 - h**3 - 63 - 3*h**2 - h**2. Is x(-12) a prime number?
True
Let u be -6*1/2 - -377. Suppose 5*f + u - 2884 = 0. Is f prime?
False
Let k = 3819 + 4394. Is k composite?
True
Suppose 0 = l - 2 - 0. Suppose 8 - 374 = -l*v. Let u = -104 + v. Is u prime?
True
Is (733/(-4))/(15/(-2940)*7) prime?
False
Let l(o) = 3*o**2 - 8*o - 5. Let i be l(6). Suppose -3*c + 2*w + 165 = 3*w, c = w + i. Suppose r = -0*r + c. Is r composite?
True
Let i(u) be the third derivative of -11*u**6/20 - u**4/24 + 9*u**2. Is i(-1) a composite number?
False
Suppose -3*h + 16 = 4. Suppose 49 = j + h*r, -5*r = 5*j - 164 - 36. Is j composite?
False
Suppose -4*a + 1817 = -5*m, -a - 1827 = m + 4*m. Let i = 542 - m. Is i a prime number?
True
Let i = 127 - 16. Is i composite?
True
Let l be (-4 - 2)/((-4)/2). Suppose 16 = l*x - 116. Let z = x + 157. Is z prime?
False
Let k = -54 - -53. Is k + (5877 - -4 - (1 - 0)) prime?
True
Let m = -272 + -55. Let w = m - -776. Is w prime?
True
Let c(f) be the second derivative of f**7/1260 + f**6/90 - f**5/40 - f**4/6 + 2*f. Let u(q) be the third derivative of c(q). Is u(-7) prime?
False
Let j = -1498 + 2669. Is j composite?
False
Let b = 649 + 53. Suppose 31 = 11*o - 24. Suppose o*t + 149 - b = -4*c, -3*c + 442 = 4*t. Is t a prime number?
True
Let d = 9 - 3. Suppose 82 = d*t - 2. Let z = t - -65. Is z composite?
False
Suppose -2 = -5*z + 3, 2*z + 8 = 2*t. Suppose 992 = -0*d + 2*d + 3*v, -2*d + 984 = t*v. Is d a composite number?
True
Let g(i) = -46*i + 6. Let v be g(-4). Suppose o = v + 445. Is o a composite number?
True
Let k be ((-9968)/52)/2 - 6/39. Let h = 22 - k. Is h composite?
True
Suppose 63*c - 10012 = 59*c. Is c a prime number?
True
Let r(s) = s - 6. Suppose -5*n = -n - 24. Let j be r(n). Suppose 3*i + 2*f = 613, j*i = 2*i + 3*f - 412. Is i a composite number?
True
Let s(g) = g**3 - 3*g**2 - 3*g + 2. Let z be s(4). Let k = z + -3. Suppose k*q - c - 115 = 3*c, 4*q - 4*c = 152. Is q composite?
False
Let h be 12 - 0/((-6)/(-2)). Let a = 13 - h. Is -1 - a - (-5 - 20) a prime number?
True
Let h(s) = 8*s**2 - 81*s - 45. Is h(-34) a composite number?
True
Let z(q) = 29*q**2 + q + 9. Let c be z(-6). Suppose 2670 = 3*n + c. Is n prime?
True
Suppose 3*n - 8 = n. Is n/8*(-16332)/(-6) prime?
True
Suppose 227723 = 6*w - 77953. Is (-2)/(-8) + w/24 composite?
True
Is ((-28)/(-8))/(2*(-3)/(-23676)) composite?
True
Suppose -5*c + 39*p - 38*p = -134300, -c - 5*p + 26886 = 0. Is c a prime number?
True
Suppose 16*d = 39*d - 115483. Is d prime?
True
Let c(x) = -x**3 + 18*x**2 - 17*x + 2. Let d be c(17). Let k(h) = 20*h + 11. Is k(d) a prime number?
False
Let p be (-714)/(-168)*(100 + 0). Suppose -z = -4*z + 15. Suppose 0*y = -z*y + p. Is y a composite number?
True
Suppose 18*g - 377 = 17*g. Is g a composite number?
True
Suppose z + 27 = 241. Suppose w = 3*w - 4*j - z, 2*j = 3*w - 313. Is w a composite number?
False
Suppose 8*x + 5*x = -26. Let s(t) be the first derivative of 17*t**3/3 - 3*t**2/2 - 3*t - 1. Is s(x) a prime number?
True
Let s(v) = 3*v**3 + 4*v**2 - 4*v - 3. Is s(4) composite?
True
Let o be 9/27 - 56/6. Let c be (27/(-2))/(o/60). Suppose -2*f + c + 2 = 0. Is f prime?
False
Let x(s) = s**2 - s. Let q(j) = -220*j**3 + 6*j**2 - 13*j + 17. Let t(a) = -q(a) + 6*x(a). Is t(2) a composite number?
True
Suppose -1925 = -3*d + 5*c, -4*d = 6*c - 2*c - 2524. Let z = d + 263. Is z composite?
True
Let q(f) = 2*f**3 + 261. Let v(b) = -32*b - 3*b**3 - 391 + 32*b. Let o(c) = 8*q(c) + 5*v(c). Is o(0) a composite number?
True
Suppose 1969*s = 1974*s - 19735. Is s a prime number?
True
Suppose 5*v = 2221 - 376. Let l = 156 - 76. Suppose -2*z - 4*y + 582 = 0, -v + l = -z - 3*y. Is z prime?
False
Suppose -k = 2*u - 17067, -2*k + u - 14300 = -48459. Is k a composite number?
False
Let a(o) = o**3 + 10*o**2 + 7*o - 5. Let v be (2/(-5))/((-2)/10). Suppose -3*g + v*m - 33 = -3*m, -2*g = 4*m. Is a(g) a prime number?
True
Let z(h) = -h**2 + 13*h + 29. Let p be z(15). Let r be p*(-1 - 6/(-3)). Let u = r + 4. Is u prime?
True
Suppose 0 = 14*z - 8*z - 948. Let s = -87 + z. Is s prime?
True
Suppose 2*v - 41 = -5*w, 2*v + 4*w - 7 = 39. Let c be (-951)/(-4) - v/44. Is (-2)/((-480)/c + 2) composite?
False
Let i(v) = v**3 - 2*v**2 - v + 2. Let t be i(2). Suppose t = -9*u + 12*u - 6. Suppose u*j - 21 = 137. Is j prime?
True
Is 505/15*(-1 + 3 - -13) prime?
False
Let k = 1571 - 2549. Is (k/(-9) - -3)*3 prime?
False
Let z(c) = 2882*c**2 - 43*c - 151. Is z(-4) a composite number?
False
Let g(r) be the second derivative of 1/3*r**3 + 0 - 1/2*r**2 - 5*r + 1/12*r**4. Is g(-3) prime?
True
Let x(b) = -54672*b + 27. Let i be x(6). Is i/(-285) - 2/(-19) prime?
True
Let p = -30 - -28. Let n(c) = 77*c**2 + 3*c + 5. Is n(p) composite?
False
Let z(k) = -k**3 - k**2 + k + 43. Suppose 2*v + 9 = 11. Let d(r) = -3*r + 3. Let p be d(v). Is z(p) a composite number?
False
Let d = -22 + 25. Suppose -b + 49 = -4*m, d*b - 155 = -3*m + 7*m. Is b a prime number?
True
Suppose -y + 5 = 4*y + v, 3*y = 5*v + 3. Let t be ((-5)/10)/(y/(-6)). Suppose 4*x = -4, 2*x = t*l - 440 + 93. Is l a prime number?
False
Suppose k - 5 = -7, 10*r + 5*k - 108460 = 0. Is r a prime number?
True
Let v(n) be the first derivative of 2*n**2 + 5*n + 10. Is v(4) a prime number?
False
Let j be (-1)/(-1) - (11 + -12). Suppose -3340 = -5*z + 5*g, 2*z = -j*g + 1225 + 107. Is z prime?
False
Let n be 1 - (-4)/8*-38. Let z = n - -15. Is 0/((-12)/z) + 31 a composite number?
False
Is 12793*(12 + -12 + 1) a prime number?
False
Suppose -5*y = -4*c + 30, -19 = 3*y - 5*c + 12. Let z be -1 + 7 + y - 2. Suppose 0 = 5*x + 2*h + 3*h - 55, 0 = -z*x - 4*h + 14. Is x composite?
True
Let w(j) = 13*j + 17. Let k(a) = 7*a + 8. Let m(d) = 5*k(d) - 3*w(d). Let o be m(-16). Suppose 5*p = -o + 1848. Is p a composite number?
False
Is -5*((-39164)/(-20))/(-1) prime?
True
Let y = 4248 + -1812. Suppose -4*d = -4*r - 0*d + y, -3*r = -5*d - 1823. Is r prime?
False
Let i(j) = 11*j**2 + 1. Let m be i(1). Let h(x) = -9*x**2 - 28*x + 9. Let c(a) = 4*a**2 + 14*a - 5. Let v(s) = -13*c(s) - 6*h(s). Is v(m) a prime number?
True
Let u = -701 + 3018. Is u composite?
True
Let h = -213 - 102. Let r = 760 + h. Is r a prime number?
False
Is (-8671)/(-46) - 3/2 a prime number?
False
Let s be 57190/60 + 1/(-6). Let o = s - 396. Is o a composite number?
False
Let y(n) = 0 + 0 + 29*n. Suppose 0 = -18*r + 12*r + 18. Is y(r) a prime number?
False
Let n(q) = 9 - 3 + q - 7*q + 304*q**2 - 5. Is n(3) prime?
True
Let s = -78438 - -133241. Is s a composite number?
True
Let i(w) = 864*w**2 - 2*w + 1. Let z be i(1). Suppose 4*u + z = 5*u. Is u composite?
False
Let w = 135 - 246. Let t = w - -298. Is t a prime number?
False
Suppose -951 = -a + 2*o, 7*o = a + 8*o - 939. Is a a prime number?
False
Suppose 9*l - 1784669 = -44*l. Is l composite?
True
Suppose -12*x = -10*x - 30. Let k be (-5)/25 - (-33)/x. Is -66*(5/k)/(-5) composite?
True
Suppose 0 = -57*r + 52*r + 57895. Is r a prime number?
True
Let i = 468 - -1. Is i composite?
True
Let s(d) = d - 3. Let q(u) = u**3 - u**2 - u + 1. Let o be q(2). Let a be s(o). Suppose -5*p + 1535 = -a*p. Is p prime?
True
Let d(a) = 915*a - 5. Let j be d(4). Suppose -3*i + j = 2*i. Suppose 0 = 3*s + 158 - i. Is s prime?
True
Let x(h) = 5*h**2 + 4*h + 14. Suppose -4*c = 4*n - 44, -5*n = -3*c + c - 27. Is x(n) a prime number?
False
Let y(m) = 29*m - 2. Let g be ((-2)/(-3))/(6/9). Let k = g - -2. Is y(k) a composite number?
True
Suppose -56*l = -55*l - 2484. Let h = 3490 - l. Is h a composite number?
True
Suppose 4*h = 5*a - 18249, 0 = -2*a + 3*h - 2250 + 9551. Is a a prime number?
False
Is 5431*1 + (-17)/((-170)/(-20)) prime?
False
Let m(y) = 2*y**2 + 12*y + 3. Let l be m(-6). Suppose -l*r - 3470 = -5*k, 4*r - 795 = -2*k + 619. Is k prime?
False
Suppose 13*w + 3*r = 10*