= 105 + -40. Is t prime?
False
Let w(v) = -v + 185. Let z be w(0). Let c = 334 - z. Is c a prime number?
True
Suppose 4*o - 181 - 151 = 4*f, 5*o = -3*f + 415. Is o composite?
False
Let z = -1 - -11. Is z a composite number?
True
Let s be (-16)/(-6) + (-1)/(-3). Let t(a) = 4 + s + 6 + a. Is t(0) a composite number?
False
Suppose -4*d + 5*x + 694 = -330, 5*d = 4*x + 1271. Is d a composite number?
False
Suppose 2*g - 6*g = p + 4, 22 = -5*g + 3*p. Is 2/(-4*g/76) a composite number?
False
Suppose -2*p + 2*k = -7 + 15, 3*p + 5*k = -28. Is (-523)/p - 2/12 a composite number?
True
Let o(z) be the first derivative of -z**3/3 + 11*z**2/2 + z + 1. Is o(5) composite?
False
Let m be 1 + 0 + -4 + 1658. Suppose 0 = -4*u - u + m. Is u composite?
False
Let b(l) = l**2 - 2*l + 1441. Is b(0) a prime number?
False
Suppose -a + 3*o + 12 = 2*a, 3*o = a - 8. Let m = 16 + -10. Suppose -136 = -m*y + a*y. Is y a composite number?
True
Suppose -2*h - 2*u + 706 = 0, 5*h = -0*h + 3*u + 1781. Is h composite?
True
Let r be (0 - (2 - 1))/1. Is (-71)/(-2) - r/(-2) prime?
False
Suppose 5*w = 4*w + 2. Suppose -w*y + 8 + 366 = 0. Is y prime?
False
Let t be -2*(75/(-6))/5. Suppose -k + t*k - 796 = 0. Is k prime?
True
Let x be -4 - -5 - (-3)/1. Let u(c) = -c + 6. Let h be u(x). Suppose 41 = 3*n - n - m, h*m = 2. Is n a prime number?
False
Let j(l) be the second derivative of -5*l**3/3 - l**2/2 + 2*l. Let k(i) = 50*i + 4. Let u(q) = 14*j(q) + 3*k(q). Is u(4) a composite number?
True
Suppose 2*z - 806 = -s - 79, 0 = 4*s - z - 2953. Is s composite?
True
Let d = -27 + 7. Is 12/d + 2994/15 prime?
True
Let f be 607/7 + (-10)/(-35). Suppose 5*y - 5 = 5. Suppose -i + y*i = f. Is i a composite number?
True
Suppose 4*d = -5*u + 23 + 2, 4*u + 62 = 5*d. Is (46/(-3))/(d/(-165)) composite?
True
Suppose 0 = -3*d + 5 + 4. Suppose -3*u = b - 72, -5*b - 5*u + 302 + 18 = 0. Suppose -3*t - 3*m = -b, d*m + 8 = -2*t + 53. Is t a prime number?
False
Let c be (2 - (-8)/(-6))*-1362. Let w = -585 - c. Is w a composite number?
True
Let u(f) be the second derivative of -19*f**3/6 - 17*f**2/2 - f. Is u(-12) a prime number?
True
Let h = -1 - 379. Let u = 597 + h. Is u a composite number?
True
Let r(d) = 36*d - 1. Let m = 24 + -16. Is r(m) a prime number?
False
Suppose -5*t + 4 = -21. Let m = 5 - t. Suppose z = -m*z + 21. Is z prime?
False
Suppose 0 = r + 2*l - 205, 2*r - 320 - 99 = -l. Is r prime?
True
Suppose 4*o - 283 = 249. Is o prime?
False
Suppose -2540 = -5*z + 245. Is z prime?
True
Is -314*(-4 + (-14)/(-4)) prime?
True
Suppose -25 = 5*p, 2*p - 29 = -4*m - 359. Let h = m + 193. Is h a composite number?
False
Let q = -272 + 859. Is q prime?
True
Let q(k) = k**3 + 5*k**2 - 2*k + 1. Let v(y) = -y - 1. Let c be v(4). Is q(c) a composite number?
False
Suppose z - 7 = 4*w + 12, 5*z - 3*w - 163 = 0. Is z a composite number?
True
Let n(u) = -u**3 - 26*u**2 - 43*u + 33. Is n(-26) a composite number?
False
Suppose -4*d + 0*d = -4604. Is d prime?
True
Let n(l) = -2 + 2 - 3 + l**2 - l. Suppose -4*g + 9 = -g. Is n(g) prime?
True
Let p(a) be the third derivative of a**4/24 + a**3/6 + 2*a**2. Let o be p(3). Let i(s) = 7*s**2 - 3*s - 3. Is i(o) a prime number?
True
Suppose 0 = -4*g + 1 + 7. Suppose -3*n + 565 = -2*y, g*n + 2*y = -0*y + 390. Is n a prime number?
True
Let q(n) = 2*n + 10. Let y be q(-8). Is -1*211*6/y a prime number?
True
Let s be (130 - 2) + -1 + 1. Let a = s + -66. Is a/3 - 1/(-3) a composite number?
True
Let z be (-1 - 2)*38/(-6). Suppose z + 87 = 2*y. Suppose 2*w - 19 = -m, 3*m + y = 6*m + 4*w. Is m composite?
True
Let j(c) = -c**3 + c + 83. Is j(0) prime?
True
Suppose -4*y = 5*n - 24, -4*n + 9 = -2*y - 5. Suppose 3*d + 2*d = 5. Let o = d + y. Is o composite?
False
Let b(r) = r**2 - 6*r - 10. Let f be b(8). Let g = f - 3. Suppose n + g*d - 24 = -n, -2*n + 3*d = -12. Is n composite?
True
Suppose 7 = 4*l - 5. Suppose -2*z = -l*h + 885, z - 1343 - 119 = -5*h. Is h a composite number?
False
Let q(f) be the first derivative of f**4/4 + 7*f**3/3 + 5*f**2/2 + 8*f - 1. Is q(-6) a prime number?
False
Suppose 5*h + 14356 = 4466. Let i be 8/44 + h/(-11). Suppose -5*a + 50 = -i. Is a composite?
True
Let o = -3 - 9. Is 161 + (-2 - o/3) a composite number?
False
Suppose 5*b + 0*b = 15. Suppose t - 3*y = 272, -b*t + y + 604 = -252. Is t a composite number?
True
Let j(p) be the third derivative of p**5/30 - p**4/3 + 3*p**3/2 - 4*p**2. Is j(5) a prime number?
True
Is ((-3)/5)/((-13)/6565) composite?
True
Let x(u) = -2*u - 6. Let k be x(-5). Suppose k*c - 3*c = 102. Suppose -2*f = -5*f + c. Is f prime?
False
Let t = -2662 + 1502. Let h = -681 - t. Is h prime?
True
Suppose 0 = m + m. Suppose m*t - 5*t = -110. Is t a prime number?
False
Let w = -5 + 6. Is 1*(w - -1) - -33 a prime number?
False
Let b = -7 - -3. Let p = -3 - b. Let y(m) = 13*m + 1. Is y(p) prime?
False
Let w(n) = n**3 - 2*n**2 - 2*n + 2. Let l be w(3). Suppose 0 = -5*d - 20 - 0, -4 = -q - 5*d. Suppose -2*c + 4*y + 18 + q = 0, 45 = l*c + 5*y. Is c prime?
True
Let q(s) = 3 - 2*s**2 - 16*s**3 + 0*s**2 + 4*s + 3*s**2. Let k(a) = a**2 - 7*a + 4. Let f be k(6). Is q(f) a prime number?
True
Suppose -6*d = 235 - 1453. Is d prime?
False
Let y(m) = m**3 - 8*m**2 + 7*m - 8. Let t be y(6). Let o = t - -123. Is o a composite number?
True
Suppose -107 - 220 = -3*j. Is j prime?
True
Suppose 3*h = 5*h - 18. Let b be 1/(-3) - 42/h. Is b*(-2 + 8/(-10)) prime?
False
Let h be 3/(-2)*(-10)/3. Let n = -8 - h. Is n/(-2)*(4 + -2) a prime number?
True
Let b(a) = 16*a - 6. Let r be b(5). Suppose 6*i = 8*i - r. Is i composite?
False
Let j = 694 + -407. Is j composite?
True
Let z(r) = 70*r + 1. Is z(3) composite?
False
Suppose -2*d - 388 - 89 = -t, 5*d - 20 = 0. Is t a composite number?
True
Suppose -4*r = -3*r - 9. Is r/(-6)*356/(-6) a prime number?
True
Let l(f) = 6*f**3 - f**2 + 1. Let c be l(1). Let s(j) = -j**3 + 14*j**2 - 7*j + 5. Is s(c) prime?
True
Let n(u) = 11*u - 4 + 0*u**2 + 1 + 4 - u**2. Is n(8) prime?
False
Let s(f) = f - 3. Let g = 5 + -8. Let r be s(g). Is (-404)/r - 5/15 prime?
True
Let z be 15/20 - 15/4. Is (z + 61/2)*2 prime?
False
Let q = 7 + -5. Is (-80)/q*-1 - 3 a composite number?
False
Let i = -6 + 104. Suppose 2*t - i = 4*z, -2*z = 2*t - 4*z - 108. Is t composite?
False
Suppose 2*n - 6*n = 0. Suppose 30 = -2*c + 4*h - 2*h, n = 4*c + h + 35. Let b = 25 + c. Is b a prime number?
False
Let w = 2955 + -938. Is w prime?
True
Let t be 8*((-3)/2 + 2). Suppose -1 - 2 = -x. Suppose -3*s = 2*s - x*z - 238, s - 51 = t*z. Is s composite?
False
Let r(g) = 150*g + 3. Let w(t) = -149*t - 2. Let d(h) = 3*r(h) + 4*w(h). Is d(-2) prime?
True
Suppose 4*w - 3*p - 4485 = 2*p, -3*w + 3370 = -5*p. Is w prime?
False
Let q = -18 - -23. Suppose -q*y = -135 - 130. Is y composite?
False
Suppose -81 = 4*d - 3*x - 30, -4*d - 26 = 2*x. Let o = -4 - d. Suppose -3*j + 13 = 2*q - 0*j, 3*q = o*j + 48. Is q a prime number?
True
Let z(v) = 70*v**2 + 7*v + 26. Is z(-5) a composite number?
False
Let i be ((-9)/3)/(1/(-1)). Suppose -i = -3*u + 6. Suppose -u*q + 39 = -72. Is q a composite number?
False
Let t = 4600 + -1457. Is t prime?
False
Let b = -27 - -38. Is b prime?
True
Let p(c) = 43*c - 4. Is p(5) prime?
True
Let z = -138 - -403. Is z prime?
False
Let x(i) = -i + 5. Let m be x(2). Is m - 1*(0 - -1) a composite number?
False
Let h(i) = 2*i - 3 + 0 + 0 + 4 + 23*i**2. Let t be h(-1). Is (t - -1)*(-6 - -9) prime?
False
Suppose -2*c + 11 = -5*c - 4*j, 5*c + 33 = -3*j. Is (-6)/c*258/4 a prime number?
True
Suppose 749 + 1075 = 4*h. Suppose -2*c + 625 = 4*u - c, -5*c = 3*u - h. Is u prime?
True
Let z be 204/(-2)*4/(-6). Suppose -4*d + 17 = -4*w - 39, -4*w = -d + z. Let n = 29 + w. Is n a prime number?
True
Suppose 3*w = 7*w + 4. Let o = 3 + w. Is (-267)/(-5) - o/5 prime?
True
Let p = -62 + 30. Suppose -5*r = -3*j - 1281, 3*j - 832 = -5*r + 437. Let t = r + p. Is t prime?
True
Suppose -21 = f - 2*f. Is f prime?
False
Let g(s) = -s**3 + 2*s**2 + 3*s + 2. Suppose 5*t - 4 = 4*m + 74, 3*t = -4*m + 34. Let v be (7/t)/((-1)/8). Is g(v) a composite number?
True
Let s = 4526 + -885. Is s a composite number?
True
Let s = 41 + -6. Is s prime?
False
Let w be (138/3 + -2)/1. Suppose -5*b = 9 - w. Is b prime?
True
Let z(q) = -39*q - 1. Let b be z(-2). Is (2 + (1 - 2))*b composite?
True
Is 15*4/(-36)*-843 pri