3*b - w. Suppose 665 = v*a - 3*l - 785, 0 = -4*l + 20. Is a a prime number?
True
Suppose -i = 5*c - 677 - 1389, -4114 = -2*i - 4*c. Is i prime?
False
Suppose -4*f + 2*f - 9763 = -3*c, -4*c + 13024 = 4*f. Suppose 2*w = 3*l - 5285, -5*l - 3*w + c = -5528. Is l prime?
True
Let b(j) = 1560*j**2 - 18*j + 70. Is b(4) prime?
False
Let l be -1 - (6/8 + (-21)/12). Suppose -3*v - v + 1916 = l. Is v composite?
False
Let y(u) = u**3 - u + 3. Let c be y(0). Suppose 3*a - 706 = h, c*h + 835 + 1307 = 3*a. Is h/(-6) + 14/(-21) a prime number?
False
Let k be 13/104 + 25679/8. Suppose -2*r - 264 = -k. Is r a composite number?
True
Let q be (8/12)/((-2)/(-20751)) + -2. Suppose 4*o + q = 3*v, 3*v - 2938 - 3977 = -4*o. Is v a composite number?
True
Let n(l) = 10*l - 6. Let y be n(1). Suppose 5*z - 11411 - 6238 = -y*u, -2*z = -u + 4409. Is u prime?
False
Suppose 392 = 10*u - 6*u. Suppose 0 = -2*c + u + 344. Is c prime?
False
Let j = -6 + 11. Let i(f) = f + 1. Let v be i(j). Suppose -4*u = -8, v*g - g = -u + 267. Is g a composite number?
False
Let y(l) = -8*l + 1. Suppose 0 = -4*g - 2*f - 10, -6 - 9 = 3*g + 3*f. Let p = -4 - g. Is y(p) a composite number?
True
Suppose -3*y - 2*h + 11 = -h, -3*h = -2*y - 11. Let m(a) = 16*a + 4*a**2 + a**2 + 1 - 11*a - y*a. Is m(5) prime?
False
Let x = -59 - -42. Let s = 17 + x. Suppose -4*n - 3*w + 544 = s, 10*w - 536 = -4*n + 5*w. Is n a composite number?
False
Suppose -3*q + 2 = 2*m + q, q = 3*m - 10. Suppose 0 = -16*h + m*h + 15847. Is h a composite number?
True
Suppose 0 = 7*n - 44551 - 886. Is n prime?
True
Let a(m) = m**2 + 2*m + 639. Let o be a(0). Let k = o - 160. Is k composite?
False
Let n(k) = 10*k + 10903. Is n(0) a prime number?
True
Let x(p) = p + 3. Let q be (-4)/18 + (-6)/(-27). Let l be x(q). Is (0 - l)/(-3)*9 a prime number?
False
Let t be 3 - 4 - 368/(-2). Suppose 2*z + z = -t. Let k = z - -140. Is k a composite number?
False
Let u be 2638/(-5) - (-12)/20. Suppose -311 = r - 41. Let o = r - u. Is o prime?
True
Suppose -4 = 3*u + 8. Let m be ((-10)/2)/(1/3). Is (10/m)/(u/1398) a prime number?
True
Suppose 0 = -4*a + 2*a + 6. Suppose -3*j = -15 + a. Suppose 3*p - 4*w - 3477 = 0, 0 = j*p - 6*p + 3*w + 2317. Is p a composite number?
False
Let h(l) = l**2 + l + 4. Let j be h(0). Suppose j*z - 112 = -2*d - 0*z, -z = 4. Suppose 0 = -3*p + d + 29. Is p prime?
True
Suppose -3 = -6*x + 3*x. Let b = 30 - -31. Is (x + -3 - 0) + b composite?
False
Let h = -5 + 5. Suppose h = p + 3, 2*y + p - 388 - 1471 = 0. Suppose -2*r + y = -547. Is r a prime number?
True
Let c(a) = 65*a**2 + a - 2. Let h be c(2). Suppose -h = 3*w + 10. Let m = w - -281. Is m composite?
False
Let t be (-3 + (-4)/(-1))/(2/12). Suppose 2*s + 1945 = r, 0 = -t*r + 4*r - 5*s + 3863. Is r prime?
False
Let v be 3*(5/1 + -2). Let q(o) = -7*o**2 - 8*o + 20. Let a(y) = -13*y**2 - 15*y + 38. Let g(f) = -6*a(f) + 11*q(f). Is g(v) prime?
False
Let l(s) = 13*s**3 + s**2 + 6*s + 20. Let j(r) = -7*r**3 - 3*r - 10. Let y(b) = -11*j(b) - 6*l(b). Let k be y(-6). Let t = k + 119. Is t composite?
False
Suppose -8*b + 987 = -6629. Let p = 1437 - b. Is p composite?
True
Is 1*-19*(-191 - 20) a composite number?
True
Suppose m + 3*m = 8. Let r(c) = 371*c + 3. Is r(m) prime?
False
Let q(u) be the first derivative of 22*u**3/3 - 5*u**2/2 - u - 11. Is q(-4) a composite number?
True
Let u(q) = -182*q - 2. Let x be u(-6). Suppose -l + 6*l = x. Is l composite?
True
Let t(p) = p + 1. Let r(q) = 2*q**2 + 12*q + 5. Let j(l) = r(l) - 4*t(l). Let f be 3504/(-496) + 6/93. Is j(f) a composite number?
False
Is 0/(14/7) - -6299 a prime number?
True
Suppose 4*f - 26879 - 19749 = 0. Is f composite?
False
Let w = 14689 + -9650. Is w prime?
True
Suppose -4*q - 3*m + 3941 = 0, -4925 = -5*q + m - 5*m. Is q a prime number?
False
Let c be (-1162)/(-6)*(23 + 1). Suppose z + 7*z - c = 0. Is z a prime number?
False
Let p(i) = i**2 - i - 4. Let w be p(-2). Suppose -127 - 1307 = -w*t. Is t composite?
True
Is (-3)/((-36928)/(-7388) - (9 + -4)) a prime number?
True
Let k = 59 + -51. Suppose 3*y = k*y - 3155. Is y prime?
True
Suppose 0 = -20*a + 15*a + 2*s + 8551, -3*a - s + 5124 = 0. Is a a prime number?
True
Is ((-72)/(-16) - 4)*(-1 - -58523) a prime number?
False
Is (-1522*2/2)/((-18)/27) a composite number?
True
Suppose -d - 738 = 960. Let s = d - -306. Is s/(-54) - 2/(-9) a prime number?
False
Suppose 134243 = 13*v - 239624. Is v prime?
True
Let t(v) = 54*v**2 - 24*v + 61. Is t(15) a composite number?
True
Is (-2)/((-3)/(-9942)*-4) a composite number?
False
Let a be 1 + -1 - 3174*2/4. Let f = a + 2264. Is f a prime number?
True
Suppose l = -0 - 8. Let h(a) = a**2 + 8*a + 6. Let w be h(l). Suppose w*y = 2*y + 2036. Is y a prime number?
True
Let o = -10832 + 19923. Is o prime?
True
Is 4 - (-106)/(-26) - 70032/(-13) prime?
True
Let h(v) = 36*v**2 - 22*v - 8. Let g be h(-7). Let q be ((-4)/6)/((-2)/3). Is q/(-5) - g/(-50) a composite number?
True
Suppose 4*o - 20 = -3*z, 0*o - 2*z + 4 = -2*o. Let x be ((-2528)/(-40))/(o/10). Suppose -4*p - 4*k = -x, 4*p - 4*k = 523 - 175. Is p a prime number?
True
Let w(a) = a**3 + 11*a**2 - 39*a + 115. Is w(18) a prime number?
False
Let o = 13952 + -3759. Is o composite?
False
Let z be (312/12)/((-4)/(-42)). Let y = z + -184. Is y composite?
False
Let x = -53 + 430. Suppose 0 = 6*s - 5*s - x. Suppose -2*l - 3*l + 2*v + 953 = 0, 2*l - s = 5*v. Is l a prime number?
True
Let g(v) = 6*v**2 - 2*v - 54. Is g(-7) composite?
True
Let y(i) = 3*i**2 - 3*i - 19. Let n(t) = t**2 + t. Let x(z) = 4*n(z) + y(z). Is x(-13) prime?
True
Let z be (1/(-3))/(7/(-2373)). Suppose -5*v + 843 = z. Is v prime?
False
Let i = 8839 + 22752. Is i a composite number?
True
Let z be (13 + -3)*(-8)/(-20). Suppose 4*d + 5*b = 802, -z*d + 2*d + 3*b = -412. Is d prime?
False
Let u = -18 - -26. Is (0 - -3 - u)*-109 composite?
True
Let v(y) = 154*y**2 - 46*y - 549. Is v(-11) prime?
False
Let x = 42911 - 24744. Is x a prime number?
False
Let n be (-3 + 1)*((-79)/2 + 0). Let o be (-4)/(-20) - (-1)/(-5). Let b = n + o. Is b prime?
True
Let z be (-6)/(-39) + 802/26. Let j = z - 4. Suppose -j = -2*n + 41. Is n a composite number?
True
Let h = -51 + 56. Suppose 5*x + 4500 = h*y - 2410, -3*y = -x - 4156. Is y a composite number?
True
Let n = 2690 - -5753. Is n prime?
True
Let q(l) = 14*l**2 + 3*l - 2. Let p(r) = 3*r. Let i(c) = -c - 3. Let w be i(-4). Let y be p(w). Is q(y) composite?
True
Let o(j) = -3*j**3 + 30*j**2 + 10*j - 33. Is o(-22) a composite number?
True
Suppose 1530 = m - 107. Is m a composite number?
False
Is (-2 + -1)/(15012/5006 - 3) prime?
True
Let i be 1*(-5 + 5 - 6/2). Is (-1323)/i - (-1 - -3) prime?
True
Suppose -4*g + 3 = -5. Let r be -1 + 39/(g - -1). Let q(t) = 14*t + 1. Is q(r) composite?
True
Suppose 0*q + 5*q + 5*s = 665, -4*s = 12. Suppose -9*g = -5*g - q. Is g prime?
False
Let x = -120 - -128. Suppose -x*i - 2*i + 5570 = 0. Is i composite?
False
Is (5 - 184/40)*117890/4 prime?
True
Let f(u) = -88*u**3 - 3*u**2 - 6*u + 4. Suppose -20 = -x - 23. Is f(x) prime?
True
Suppose 0 = 3*y + 10 + 5. Let t(b) = -b**3 - 5*b**2 - 1. Let x be t(y). Is (10 - x) + 36/12 a prime number?
False
Suppose -2*z + 8 = z - 2*p, 4*p - 6 = -5*z. Let i(f) = -22*f. Let u(d) = 21*d - 1. Let t(n) = -4*i(n) - 3*u(n). Is t(z) prime?
True
Let t(n) = -n - 15. Let w be t(-15). Let c(p) = -p - 2*p + 2*p + 127*p**2 + 1 + w*p. Is c(1) a composite number?
False
Let x(m) = 16*m - 22. Let z be x(11). Let w = 37 + z. Is w a composite number?
False
Let n(q) = 205*q**2 + 10*q + 3. Is n(4) a composite number?
False
Let l(s) be the second derivative of 40*s**3/3 - 7*s**2/2 + 37*s. Suppose 3*n + 4*c - 21 = 0, 5*c = -2*n + n + 18. Is l(n) a prime number?
True
Let n = -9 - -17. Let q be n/(-12) - 33/(-9). Suppose q*z = 2*z + 395. Is z prime?
False
Let x be (-1)/3 + 70/(-6). Let q(b) = -b**2 - 12*b + 2. Let o be q(x). Suppose u + o*z = 6*z + 31, 3*z - 12 = 0. Is u prime?
True
Let o = -2257 + 3506. Is o a prime number?
True
Suppose 2*n = -37 + 41. Suppose f - 1041 = -n*f. Suppose 0*w = -w + f. Is w composite?
False
Let j = 19970 + 5439. Is j a composite number?
False
Suppose -t = -3*w + 292, 0*t - 3*t - 488 = -5*w. Let o be (-3)/(4 + -3) + w. Suppose -28 = 6*m - o. Is m a prime number?
True
Let q(v) = v**2 + 4*v + 3. Let m be (-1 - -3)*27/18. 