l(f) = 958*f**2 - 17*f + 35. Is l(6) prime?
True
Let b = 7170 - 4877. Is b a composite number?
False
Let x be (-8099)/(-4) + 12/48. Let b = x - 1118. Is b prime?
True
Let o = 64699 - 33188. Is o a prime number?
True
Let y(k) = 86*k**3 - 4*k**2 + 3*k - 2. Suppose -24 = -5*x - 9. Is y(x) a prime number?
True
Suppose -3*n + 15397 = q, 4*n + 542*q - 20516 = 544*q. Is n a composite number?
True
Let n = 1063 + -620. Suppose 22*t - 21*t - n = 0. Is t a prime number?
True
Suppose 3*g + i + i - 11 = 0, 0 = -5*g - 5*i + 15. Suppose -4*l - 3 = -g*l. Suppose -l*k - 4*j + 89 = -26, 0 = 5*j - 5. Is k composite?
False
Let t(w) be the second derivative of 187*w**4/6 - 3*w**2 + 9*w. Let o be t(-2). Is ((-16)/(-40))/(4/o) a prime number?
True
Is (14/(-2))/(79/(-204531)) + -4 a prime number?
True
Let p(i) = i**3 + i + 3. Suppose -3*n = 4 + 44. Let g(u) = u**2 + 16*u + 2. Let c be g(n). Is p(c) prime?
True
Let q = -564 + 709. Is q prime?
False
Let a = 570 - 269. Is a a composite number?
True
Let k = -513 - 552. Let s = k - -1627. Is s composite?
True
Suppose o - 2472 = 31. Is o a composite number?
False
Let q = -573 + 850. Suppose -63 - q = 2*s. Let i = -115 - s. Is i composite?
True
Let w(s) = 4*s**2 + 1. Let r be w(1). Suppose -5*h - 5*m - 2 = 8, r*h - 2 = m. Suppose 3*x = 5*t + 854, 2*x + 4*t = -h*x + 606. Is x prime?
True
Let c = -321 + 940. Let h = 978 + -658. Let y = c - h. Is y composite?
True
Suppose 0 = 5*x + 173 - 68. Is (x/(-9))/(1/159) composite?
True
Let x = -24 - -34. Let z = 129 - x. Is z prime?
False
Let m = -11 + 9. Let i be m*(-3 + 1 - -1). Is i/3 - 469/(-3) composite?
False
Suppose -2*x + 23 = 5*g, -4*x + 3*g = -0*g - 7. Let n = -207 + 203. Is x*((-153)/n - -2) composite?
True
Let y = 1059 + 3730. Is y a prime number?
True
Suppose 20039 = 50*f - 91411. Is f composite?
True
Let u be (40/(-60))/(4/(-18)). Suppose 471 = k + 5*a - 45, u*a = -4*k + 2081. Is k a composite number?
False
Let m(n) = n. Let y(c) = 40*c + 7. Let w(i) = 6*m(i) + y(i). Is w(3) prime?
False
Suppose 12 = -4*y + 4*v, 2*y - 3*v = 2*v + 3. Is ((-1418)/y)/(9/81) a prime number?
False
Suppose -26*y + 24959 + 76623 = 0. Is y prime?
True
Let h be (-1)/10 - 21/(-10). Suppose 13*d + 7807 = h*b + 10*d, -4*d = -5*b + 19507. Is b composite?
True
Suppose -q + 3720 = 2*a + 2*a, 12 = -3*q. Let n = a + -524. Is n composite?
True
Let r(l) = -l + 1. Let z(a) = -160*a**2 - 7*a - 2. Let v(j) = -4*r(j) - z(j). Is v(-5) composite?
False
Is -1 + (13539 - 2 - (-4 + 1)) a composite number?
True
Suppose -2*o - 25932 = -5*t - 2085, o = -4*t + 19075. Is t a composite number?
True
Let r = -5 - -8. Suppose -r*t = -2*t. Suppose t = -5*w - m + 290, w - 4*m = -3*w + 232. Is w a prime number?
False
Let t(f) = 21*f**2 - 21*f + 7. Is t(4) prime?
False
Let u(n) = -3316*n**3 - 9*n**2 + 7*n + 5. Is u(-4) composite?
False
Let q = -17814 - -63511. Is q prime?
True
Suppose 0 = -2*g - 3*s + 803, g + 4*s = 130 + 269. Is -2*2/(-4)*g a composite number?
True
Let f(l) = 6*l**3 + 9*l**2 - 14*l - 9. Is f(10) a composite number?
True
Suppose 0*s = -s + 12. Let g(c) = c**3 - 5*c**2 + 17*c - 13. Is g(s) composite?
True
Let b(k) = k**2 - 3*k + 1. Suppose 3*i - 2*a = 11, -2*i + 0 = a - 5. Let f be b(i). Is f/((-3)/(-9)) - -52 a composite number?
True
Suppose 293 = -r + 3*g, 4*r - 2*g + 1583 - 461 = 0. Let f = r + 427. Is f a composite number?
False
Let z(f) = -64*f - 12. Let m be z(-6). Let j(i) = -30*i + 32*i + 4 - 3 + m*i**2. Is j(-1) composite?
True
Let f(x) = -7*x**2 + 21*x + 26. Let b(m) = -13*m**2 + 41*m + 52. Let p(v) = -3*b(v) + 5*f(v). Is p(-20) a composite number?
True
Let p = 13 - 21. Let i be p/(-12)*-3 + 2. Suppose -4*n + 4*b + 1588 = i, 0*n - 2*n + 794 = -4*b. Is n composite?
False
Suppose t = -i + 595, 3*t - t = 4*i + 1178. Is t a composite number?
False
Let r(y) = 266*y - 452. Is r(41) composite?
True
Let z(k) = 41*k + 28. Suppose 2*n - w = -n + 29, -3*n + 37 = -5*w. Is z(n) composite?
False
Let a(q) = 250*q**2 + 2*q. Let y be a(3). Let d be -3*(2 + -1) + y. Suppose s + 2*s = d. Is s a prime number?
True
Let c = -6316 - -11303. Is c a prime number?
True
Let w be (-3)/(-9)*-1*3. Let p(j) = -2*j - 1. Let s be p(9). Is s/(-2)*(w - -3) composite?
False
Let b = 30189 - -9316. Is b a composite number?
True
Let g be -4*-6*1/8. Suppose 2*m = -k + 1541, 0 = k + m + g*m - 1539. Is k a prime number?
True
Let f(y) = y**2 - 10*y + 3. Let h be f(10). Suppose -4*t + 842 = u, 5*t - 838 = t - h*u. Is t a prime number?
True
Let o = 18158 - 12319. Is o prime?
True
Suppose 3*o + 4*h = -28, -2*o - h - 13 = -4*h. Is ((-520)/(-12) + -4)/(o/(-372)) a composite number?
True
Let k = -4 + 12. Let j be 0 + 4/(k/6). Suppose 82 + 111 = f + j*i, -5*i - 806 = -4*f. Is f a composite number?
False
Suppose 3*r + 152 = -64. Let h = 114 + 45. Let x = h + r. Is x prime?
False
Let o = -4 - -6. Suppose 0 = 3*t - 8*t + 10. Suppose -t*r + 152 = o*q, 212 = -r + 4*r - 5*q. Is r composite?
True
Let o(l) = 7*l**2 + 48*l**3 + l + 2 + 3 - 104*l**3 + 57*l**3. Suppose -2*x = 3*k + 18, k + 2*k + 3*x + 18 = 0. Is o(k) a prime number?
False
Let g(x) = -13*x**3 - 2*x**2 - 6*x + 6. Let r(h) = 19*h**3 + 3*h**2 + 10*h - 9. Let m(k) = 8*g(k) + 5*r(k). Let f = -2 - 0. Is m(f) prime?
True
Let o be (-522)/(-2) + 8/2. Suppose i - o - 1 = 0. Suppose -25 = -a + i. Is a a prime number?
False
Is (88829/(-13))/(5/(-35)) composite?
True
Let j(n) = -6*n + 6. Let k be j(2). Let h(p) = 24*p**2 - 2*p - 5. Is h(k) composite?
True
Let g(x) = -4*x + 51. Let i be g(12). Suppose -3*u + i*y = -0*y - 2859, 1911 = 2*u - y. Is u a composite number?
True
Suppose p - 147 = -5*d + 236, 5*d = -5*p + 1935. Suppose -p = h - 5*h. Is h prime?
True
Suppose -12091 = -4*s + 5*a, 4*s - 4*a = 14608 - 2512. Is s composite?
True
Let g(a) = -30*a - 21. Let l(x) = 61*x + 43. Let i(s) = -7*g(s) - 4*l(s). Is i(-17) a prime number?
False
Let z(r) = 550*r - 21. Is z(4) a prime number?
True
Suppose 5*a - 19159 = -0*a + 2*u, 0 = u - 3. Is a composite?
False
Suppose 148 - 44 = 4*r. Let z be 108/26 - 4/r. Suppose 175 + 186 = 3*v + z*g, -2*g - 10 = 0. Is v composite?
False
Let m(t) = 5*t**2 + 11*t - 10. Suppose 6 = 2*b - 8. Let n be m(b). Let a = n - -67. Is a a prime number?
True
Let i = 12 + -7. Suppose -i*o + o = -8. Suppose -o*j - 1255 = -5*g, -4*g + 2*j = -0*j - 1004. Is g prime?
True
Suppose 0 = -7*d + 8*d - 2364. Let j = -1411 + d. Is j prime?
True
Suppose -k + 4934 = k. Is k prime?
True
Let r = 6328 + -2459. Is r composite?
True
Is (-1794354)/(-50) - (-16 + (-6030)/(-375)) a composite number?
True
Let g(t) = 19*t + 4 + 4*t**3 - 5*t**3 - 11*t. Is g(-5) prime?
True
Suppose -3*h + 17124 = -8415. Is h composite?
False
Let v(z) = -42*z - 4. Suppose 4*q = 2*x - 7*x - 41, -5*x + 5*q - 5 = 0. Let u be v(x). Let h = -127 + u. Is h prime?
True
Let f(a) = 22*a + 7. Let v(n) = -n**2 - 9*n + n - n - 3*n + 1. Let b be v(-11). Is f(b) composite?
False
Suppose 0 = -3*w + 2 + 4. Suppose 0 = 3*d + 2*t - 1511 - 2520, -2*t = -w*d + 2694. Is d composite?
True
Let s = 7737 - 2450. Is s composite?
True
Let k be ((-9)/6)/((-5)/10). Let t(c) = c**3 + 0 + c**2 - 2*c**3 + 5*c + 4 - 6*c**k. Is t(-5) prime?
False
Suppose -4*u = -5*u + 14. Suppose 0 = j + u - 5. Is 202 - j/(-3) - -2 a prime number?
False
Let y(p) = -1089*p + 8. Let m be y(2). Let x = m - -3641. Is x composite?
False
Suppose 4*k + i - 29540 = 0, 13358 = 2*k - 3*i - 1412. Suppose 0*p + 4431 = 3*l + p, 5*l = -4*p + k. Is l prime?
False
Let a = 6848 - 3267. Is a composite?
False
Let d = 1819 - -473. Suppose -6*v + d + 10014 = 0. Is v composite?
True
Let z(c) = c**3 + 4*c**2 - 7*c - 7. Let i be z(-4). Let l(w) = -w**2 + 47*w + 5. Is l(i) a composite number?
True
Let k(t) = -1064*t**2 - 3*t. Let v be k(-2). Let h be v/(-9) - (-2)/(-9). Suppose -f = -319 - h. Is f a composite number?
True
Let v(a) be the first derivative of 35*a**4/4 + a**3/3 - a - 4. Is v(1) a composite number?
True
Let g(h) = h**3 - 3*h**2 - h - 9. Let d be g(-4). Let b = 274 + d. Is b prime?
True
Let v(o) be the first derivative of -383*o**3/3 + 3*o**2/2 + 3*o - 9. Let p be v(-2). Let n = p - -2632. Is n prime?
True
Let p(g) = 50*g**3 + 5*g**2 + 13. Is p(4) prime?
False
Suppose 3*c - 15 = 0, 3*l = -c - 0*c + 29. Suppose 4*v + 70 - 374 = 0. Suppose l*k = 4*k + v. Is k a composite number?
False
Suppose 6*u 