(l) prime?
True
Suppose 380 = 9*h + 110. Suppose 2*i = -5*s + i + 20, -s = -5*i - h. Suppose -8 = s*v - 303. Is v composite?
False
Let k = -3671 - -5219. Suppose 6*l = -12*l + k. Is l prime?
False
Suppose 3*u - 12 = 5*v + 8, -5*v - 20 = -4*u. Suppose -1 = 2*x - 3, 0 = -j - 3*x + 53. Let s = v + j. Is s prime?
False
Let a(g) = g**3 + 9*g**2 - g - 6. Suppose -4*j - m = 39, -m + 3*m + 6 = 0. Let c be a(j). Suppose h - 14 - 9 = -c*t, -3*h = -3*t - 117. Is h prime?
False
Let o = 282 + -71. Is o prime?
True
Suppose 0*w = -2*w + 68. Suppose 0 = -w*m + 37*m - 3171. Is m composite?
True
Let l(d) = -d + 1. Let h be l(6). Is (-5)/(h/254) - (11 + -11) a prime number?
False
Let g be (-18)/2*(-2 + 3). Let y(k) = 4*k**3 - 8 - 4*k**3 - k**3 + 10*k - 4*k**2. Is y(g) prime?
True
Suppose 0 = 4*o + 782 - 3458. Is o a composite number?
True
Let h(z) = -345*z + 47. Is h(-34) a composite number?
False
Suppose 4*t + 5 = 25. Suppose s = -2*n + 18, 5*s = t*n - n - 36. Let h = n - -85. Is h a prime number?
False
Let h = 20 + -23. Is 3 - 0/h - -295 a prime number?
False
Suppose -1 = v, -s - 3*v - 243 - 19 = 0. Let j = 120 - s. Is j a composite number?
False
Suppose 8*d = -8*d + 50480. Is d composite?
True
Suppose -v + 2*k = -2199, 8806 = 2*v + 2*v - 3*k. Is v a composite number?
False
Suppose 2*g - 2*f = -0*g + 12, -2*g + 3*f + 11 = 0. Suppose 30 = -12*t + g*t. Let x = 13 - t. Is x prime?
True
Is 0 + 20593/2 + 5/10 prime?
False
Suppose -6 = 4*u - 3*v, u + 2*u - 8 = -4*v. Let f be u + 1 - 5*1. Is 153/6 - 2/f prime?
False
Suppose -4*m + 3*w = -187040, 5*m + 60*w = 57*w + 233827. Is m a composite number?
True
Let v = 6596 - -651. Is v prime?
True
Let c(k) = 9*k**3 - 5*k**2 + k + 3. Suppose 5*x - 26 = -11. Let o be c(x). Let f = 175 + o. Is f a prime number?
True
Let a = -31 - -25. Let j(w) = -2*w**3 - 4*w**2 + w - 13. Is j(a) a composite number?
False
Let c(k) = 3*k**3 + 29*k**2 - 2*k - 1. Is c(7) composite?
True
Let x = 7 + -13. Let u be x/(-4)*(-4 - -6). Suppose 4*p + 0*p + y - 483 = 0, -u*p + 359 = 4*y. Is p prime?
False
Suppose 2*y = 2*q + 3*y - 162, 3*q - 5*y = 243. Let p = 848 + q. Is p composite?
False
Suppose 0*h - 16 = -4*h. Let l be (-2 - 54/h)*-2. Let t = l + 2. Is t prime?
False
Suppose 0 = -0*m - m + 3*v + 12, 12 = 2*m - 3*v. Suppose -z + 4*x + 1743 = m, -3*z - x - 1734 = -4*z. Is z a composite number?
True
Let g(h) = 11*h**2 - 5*h**3 - 1 + 4*h**3 + 8*h - 19*h. Is g(8) a prime number?
True
Let p = 1122 - 559. Is p a composite number?
False
Let t(a) be the third derivative of 7*a**5/60 + 3*a**4/8 - 5*a**3/6 + 4*a**2. Is t(-8) prime?
False
Suppose 4*m - 2*m = 2, -3*q + 3164 = 5*m. Let c = q - 584. Is c a prime number?
False
Let g = 5 + -6. Let b be -3 - (1 + g - 8). Let i(w) = 64*w + 11. Is i(b) a composite number?
False
Suppose -4*a - 474 = -33062. Is a a prime number?
True
Suppose 3*d - 4*s = 277, 7*s - 4*s = 15. Suppose -4*o - 20 = 0, 0 = k + o - 4 + 5. Suppose -k*b + d = 23. Is b prime?
True
Let j = 0 - 1160. Let q = j - -3289. Is q a prime number?
True
Suppose -2*m + 9 + 7 = 0. Let t(h) = -3*h - 3*h + 34*h + 11. Is t(m) a prime number?
False
Is (-193200)/(-66) + (-3)/11 a prime number?
True
Suppose 4*j = 5*i - 18, -2*i + 3*j = -7*i + 4. Suppose d + i*q = 458, 5*d - 3*d - 904 = 2*q. Is d a prime number?
False
Let f(n) = 7744*n**2 - 59*n - 166. Is f(-3) a composite number?
True
Suppose -f - 4*g - 252 = -g, 4*g + 751 = -3*f. Let n = 66 + f. Let j = 18 - n. Is j a prime number?
False
Let v(g) = 693*g. Let p be v(1). Let r = p - 386. Is r prime?
True
Let g be (58 - 2)/(2/9). Let o = 81 + g. Is ((-1)/(-3))/(3/o) composite?
False
Let p(i) = -i**3 + 4*i**2 + i + 4. Let f be p(3). Suppose -3*h - j = 46, j = 2*h - 2*j + f. Is (h/6)/((-1)/33) prime?
False
Suppose d - 4665 = 5*w, 2*d + w + 4*w = 9255. Suppose 3*q - 2206 = 4*i + 1271, -4*q + d = -4*i. Is q prime?
True
Let u be (-120)/28 - (-12)/42. Let v(o) = -5*o + 11. Is v(u) a composite number?
False
Suppose -15 = -2*h + 3. Let g be 227/h + 24/(-108). Suppose 0 = 5*b + k - 3*k - 205, -g = -5*k. Is b prime?
True
Let w = 4 + -1. Let c = -586 - -698. Suppose 0 = 5*o - t - 4*t - 135, -4*o + c = -w*t. Is o a prime number?
True
Suppose -19*r + 15497 = -5840. Is r a composite number?
False
Suppose -3*x - 57 = 3*q - 0*x, x - 41 = 3*q. Let y = -24 - q. Is ((-3)/y)/((-3)/(-7983)) a composite number?
False
Suppose -u - 10220 = -2*k + 1939, 5*k - 30400 = 3*u. Is k a composite number?
True
Let x(g) = -2*g**2 - 82*g + 5 + 160*g - 2*g**3 + 23*g**3 - 84*g. Is x(4) composite?
True
Suppose 0 = 4*o + 4*z - 28, -o + 6*o - 3*z = -5. Suppose 5*t - 9705 = -0*t - o*d, -3*d = -3*t + 5844. Is t a prime number?
False
Let g(d) = 4*d**3 - 7*d**2 - 3*d + 7. Let x(a) = -5*a**3 + 6*a**2 + 2*a - 8. Let t(u) = -4*g(u) - 3*x(u). Is t(9) composite?
False
Let g(p) = 233*p**2 - 2*p. Let q be g(2). Suppose 4*w + 2*x - q = 250, 0 = 3*w - x - 876. Is w prime?
True
Suppose 5*f = -2*d + 122232, d - 70367 = 2*f - 9242. Is d a prime number?
True
Suppose -2*t + 15 = t + 3*u, -5*t - 4*u = -22. Suppose 0 = 4*v + 2 + t. Let l(d) = -97*d. Is l(v) composite?
False
Let l = 147 + -232. Let t be 2/4*(1 + l). Is 28/t + (-502)/(-6) a composite number?
False
Let z = 11 + -8. Suppose z*g = -2*n + 4, -5*n - 5 = -3*g - 15. Suppose 7*k = 3*k + n*f + 626, -2*f - 149 = -k. Is k prime?
False
Suppose -190*u = -183*u - 58303. Is u a composite number?
False
Let x = -620 - -918. Suppose -30 = 4*w - x. Is w prime?
True
Let n(a) = -a + 8. Let v be n(6). Suppose w + x = 532, 0*w - 2*x - 1084 = -v*w. Is w prime?
False
Let m(g) be the second derivative of -2*g**3/3 - 9*g**2 + 13*g. Is m(-5) composite?
False
Let w be ((-2)/(-2) - 1)/1. Suppose -3*m + 2*y - 4*y - 4 = w, 2*y + 14 = 2*m. Suppose 2*l - 1268 = -m*l. Is l a composite number?
False
Let j(s) be the third derivative of -19*s**4/24 + 11*s**3/2 + 6*s**2. Is j(-10) composite?
False
Let o(v) = -5*v**3 - 5*v**2 - 2*v - 1. Let r be (-2 - 28/8) + 3/(-6). Is o(r) composite?
False
Is (-366624)/(-32) + 8/1 a prime number?
False
Let u = -2207 + 5062. Suppose -5*f = -5*r - 4750, 2*r + 0*r = 3*f - u. Is f composite?
True
Let g(n) = -n**3 + 9*n**2 - 9*n + 5. Let m be g(8). Let w be m*(1 + -5)/4. Suppose -w*b = -4*v - 385, -4*b - b - 4*v = -631. Is b a prime number?
True
Let p be 4 + -3 + -1 + 4. Suppose -2*u = -k + 53, p*k = 4*u + 21 + 191. Is k composite?
False
Let q(n) = 28*n**3 + 5*n**2 + 8*n + 11. Is q(6) a composite number?
False
Suppose 0 = 4*d + 4*m - 508, 0*m = d - 4*m - 142. Suppose 7*l - 83 - 57 = 0. Suppose l = -2*x + d. Is x a composite number?
True
Let j(o) = -7*o**3 + 2*o**2 - 1. Let f be j(1). Let u = 8 + f. Is -3*u - -3 - -56 a prime number?
True
Let u be ((-357)/4)/(3*(-2)/(-24)). Let d = -550 - -1284. Let w = u + d. Is w a prime number?
False
Is 4 + 957/3 - -6 prime?
False
Suppose 5*c - 2*d + d - 143 = 0, -2*c + 44 = 4*d. Let i = -24 + c. Is 331*(4 + i + -7) a composite number?
False
Let h(c) = 3*c - 11. Suppose 2*k = 4*v + 10, 3*k = k - 2*v + 40. Let j = 23 - k. Is h(j) a prime number?
True
Suppose 2*x + 3*a + 86265 = 5*x, -2*a + 143803 = 5*x. Is x prime?
True
Suppose 86 = 2*j - 68. Let z be 4/(-12) + (-62)/(-6). Let d = z + j. Is d a composite number?
True
Let t(b) = 12*b - 5. Let c be t(1). Suppose 3*r + 3 = 0, 3*r - 392 = 6*l - c*l. Is l a composite number?
True
Let c(v) = -2*v**2 + 8*v - 25. Let d be c(-9). Suppose -5*x + 2064 = -x. Let l = d + x. Is l a prime number?
True
Let r = 11041 - 2288. Is r a prime number?
True
Let k = -1754 - -2619. Is k prime?
False
Suppose g + 0*g - 9 = 0. Let o be (-5 + -241)/(4/28). Is (-3)/9 - o/g composite?
False
Let u(w) = 28*w**2 - 24*w - 57. Is u(-13) a prime number?
True
Let p be 9/(-1) - 10/(-10). Let y be -4*2/p - 36. Is (-3)/(-5) - 224/y a composite number?
False
Suppose m + 0*m = -9. Is (-349)/(-4) + m/36 a prime number?
False
Suppose -5*a - 1 = 29. Is 60/(-45) + (-14378)/a a composite number?
True
Let y = -3579 - -5056. Is y composite?
True
Let l(t) = 40*t**2 + 2*t - 1. Let g(x) = x**2 - x - 1. Let q(i) = -3*i**2 + 2*i + 2. Let y(h) = -4*g(h) - q(h). Let c be y(2). Is l(c) prime?
True
Is ((-7)/(-7))/(1 - 14580/14583) composite?
False
Let d = 27 + -25. Suppose 3*r = -2*f + 13, d*r + f - 4 = r. Suppose -6*y + r*y + 87 = 0. Is y a composite number?
True
Let v be (-252)/(-147) - (-