/u) a composite number?
True
Let g(r) = 632*r**2 - r. Is g(-1) prime?
False
Let n be (-1 + (-3)/(-1))*2. Suppose -n*z + 130 = z. Is z a prime number?
False
Suppose -40*n = -37*n - 9. Let a = 0 - 2. Is (-9)/n + 376 + a prime?
False
Suppose 8*x = 10*x - 8. Let d(b) = -2*b**3 - 4*b**2 - 4*b + 5. Let i(c) = c**3. Let m(w) = -d(w) - 3*i(w). Is m(x) a prime number?
True
Suppose 4*p - 5965 = -p. Is p composite?
False
Let l(i) = -i**3 + 9*i**2 - 4*i + 17. Is l(7) composite?
True
Suppose 0 = -3*j + 4*j - 5*y - 93, 5*j - 465 = y. Suppose 5*x - 1003 = -j. Suppose 0 = -3*r + 575 - x. Is r a prime number?
True
Let m = -6 - 2. Let c(i) = i**2 + 7*i - 8. Let r be c(m). Suppose r = 5*h + 2*b - 393, -4*h + 2*b + 165 = -135. Is h a prime number?
False
Let x be ((-2)/3)/((-8)/(-36)). Is (-1)/x - (-762)/9 prime?
False
Suppose -a + x + 3 = 2, a = -5*x + 13. Let w = a - 0. Suppose -n + 4*g = 6*g - 9, -w*g + 3 = 0. Is n prime?
True
Let l(c) = 4*c + 1. Let k be l(-1). Let y be 4/k*(-3)/1. Suppose r = -x - 3*x + 57, -5*x + y*r = -87. Is x a prime number?
False
Let f = 8 + -4. Suppose 0*g + 120 = f*z - g, 0 = 5*z - 4*g - 161. Let j = 20 + z. Is j composite?
True
Let f(l) = -l**2 + 5*l + 5. Let t be f(5). Let a(v) = v**3 - 4*v**2 - 3*v - 2. Let o be a(t). Suppose b + o = 5*b. Is b a prime number?
True
Let r = 1161 + -616. Is r prime?
False
Suppose -2*n - 4*u = -4, 0 = 3*n - 6*u + u + 27. Let x(i) = i + 6. Let s be x(n). Is s*7 - (-3 + 2) a prime number?
False
Let w = 496 + -237. Is w a prime number?
False
Suppose -1021 = -2*w + 683. Suppose 4*m + 0*m = w. Is m a prime number?
False
Let n = 642 - -265. Is n a prime number?
True
Is -1 + (-248)/12*-27 prime?
True
Let x(g) = g**2 - 6*g - 9. Let t be x(7). Let q(p) = -3*p**2 + 3*p - 3. Let v be q(3). Let h = t - v. Is h prime?
True
Let b(g) = -g**3 - 4*g**2 - 5*g + 9. Let q = -12 + 5. Is b(q) a prime number?
True
Let w = 7498 - 3669. Is w a prime number?
False
Suppose 3*d + 50 = 5*k + 16, -2*k + 13 = -d. Let w(v) be the second derivative of 17*v**4/12 - 2*v**2 + v. Is w(d) a prime number?
True
Let c(s) = 16*s - 1. Let z = -10 - -18. Is c(z) composite?
False
Let h = 5 + 113. Suppose 5*n = 2*w - h, -n = -3*n. Is w a prime number?
True
Let f(i) = -i + 17. Let t be f(12). Suppose 0 = 5*j - 0*j - 15. Suppose j*b + 106 = t*b. Is b prime?
True
Let d(u) be the third derivative of -u**5/60 + 7*u**4/24 + 2*u**3/3 + 3*u**2. Let j be d(7). Suppose j*q = -0*q + 88. Is q composite?
True
Let x be (20/6)/((-2)/(-3)). Suppose 0 = v - 0*s - 5*s + 2, -v - 2*s = -5. Suppose -175 = -x*f - 2*i, v*f + 152 = 7*f + 4*i. Is f a composite number?
True
Let j(i) = i**2 + i - 1. Let q be j(-3). Let a be 3/q - 4/(-10). Is (5 - (0 - a))*1 prime?
False
Suppose -37 = -5*p + 3*h, -2*h = h + 12. Suppose 4*x = -5*z + 35 + 23, 0 = -p*z + 3*x + 79. Is z prime?
False
Let p = 22 + -15. Is p prime?
True
Let u(h) = 2*h + 2. Let o be u(-3). Let q = o + 8. Suppose -q*k + 36 + 168 = 0. Is k prime?
False
Let g = 316 - 105. Is g a prime number?
True
Is 4/((-16)/(-12)) - -611 a composite number?
True
Let v(y) = y**3 - 3*y**2 - 4. Let x = 15 + -10. Is v(x) a prime number?
False
Let c(o) = 45*o - 3. Is c(2) prime?
False
Let l be (-3)/(-9)*(-1 + 1). Suppose -3*s - 2*w = -0*s - 2361, l = s + w - 787. Is s prime?
True
Let c(n) = 869*n**3 + n**2 + n - 1. Let r be c(1). Is r/(-25)*5/(-2) a prime number?
False
Suppose -5*f + 16 = -14. Suppose 662 = 8*q - f*q. Is q prime?
True
Let h(i) = -34 - 4*i + 3*i + 125. Is h(0) composite?
True
Suppose 33 = c - 9. Suppose g - c = -g. Is g a composite number?
True
Suppose 5*i = 3*u - 37979, 5*u - 63269 = -0*u + i. Is u composite?
False
Suppose -b + 221 = -6228. Is b a composite number?
False
Let m(k) = -k**3 + 12*k**2 + 1. Is m(8) prime?
True
Suppose -2*v = v - 15. Is (-10)/(-4)*(v + 1) a composite number?
True
Suppose 0 = 13*a - 10*a + 1875. Let r = a + 980. Is r composite?
True
Suppose 5 = -3*p - 5*i, -p + 5*i + 2 = 3*i. Suppose 9*a - 4*a - 10 = p. Suppose a*k - 483 = -k. Is k a prime number?
False
Let o = -757 - -1170. Is o prime?
False
Let h(x) = -13*x + 6. Suppose -3*z - 4*t - 2 = 15, 0 = -5*z - t - 51. Is h(z) prime?
True
Let l(n) = n**3 - 4*n**2 - 3*n - 4. Let g be l(5). Let t(b) = -3 + 3*b**3 - 2*b**3 + 9*b + 0*b**3 - 6*b**2. Is t(g) prime?
False
Let o(c) = -c + 9. Let v be o(4). Suppose 2*w - 52 = -4*k, 5*k - 2*k = v*w + 52. Is k a composite number?
True
Let n(d) = -d**3 - 4*d**2 + 4*d + 2. Let t(y) = 3*y**3 + 8*y**2 - 8*y - 5. Let s(o) = 5*n(o) + 2*t(o). Let v be s(7). Suppose 7*c - v = 2*c. Is c prime?
False
Suppose -t + 135 + 52 = 0. Is t prime?
False
Let b(w) = -9*w**3 + 4*w**2 - 5*w + 5. Let f be b(2). Let r = f - -120. Is r composite?
False
Let r = 2089 + -720. Is r a composite number?
True
Suppose 0 = s + 5 - 184. Is s composite?
False
Is -1 + (-7)/14 - 215/(-2) composite?
True
Let y be 600/88 + (-4)/(-22). Suppose 2 = 3*v - y. Suppose v*a - 57 = 144. Is a a composite number?
False
Let z(k) = -7*k + 1. Let b(j) = -2*j + 4. Let q be (3/2)/((-1)/(-2)). Let o be b(q). Is z(o) prime?
False
Let p(t) = t**3 + t**2 + t - 1. Is p(6) a composite number?
False
Let c = 7 + -5. Is (28/8)/(c/12) composite?
True
Suppose -5*j = 136 - 9076. Suppose 0*o = -3*o + j. Suppose 0 = -k - 3*k + o. Is k a composite number?
False
Let b(z) = -13759*z + 8. Let l be b(-4). Is 2/13 - l/(-156) a composite number?
False
Let a be (115/4)/(1/4). Suppose 0 = -0*b - 3*b + 576. Let n = b - a. Is n a composite number?
True
Let p be ((-1)/4)/((-3)/84). Let y = -1 + 1. Suppose p*z - 2*z - 715 = y. Is z prime?
False
Is 3/15 + (-848)/(-10) prime?
False
Let q be (-1168)/24*3/(-2). Suppose -j = d - 54, -4*d - 3*j = -q - 142. Is d a prime number?
True
Let v(i) = i**3 + 10*i**2 - 6*i + 12. Is v(13) prime?
True
Suppose 4*i + l - 3 = 2, -4*l - 10 = i. Suppose a + 99 = 3*j, 0*j - i*j + 66 = 5*a. Suppose j = 2*y - y. Is y composite?
True
Let c be (-436)/(-6) - (-3)/9. Suppose 2*m - c = 243. Is m a prime number?
False
Suppose 23*h - 18*h = 0. Suppose h = -g - 4*g + 255. Is g a prime number?
False
Suppose u + s - 65 - 91 = 0, 0 = 4*u + s - 639. Is u a prime number?
False
Suppose -a = -5 - 3. Suppose -a = -q + 3. Is q a composite number?
False
Let b(m) = 2*m**2 - m + 6. Let j be b(-6). Suppose 5*f = -4*c + 107, 5*f - j = 2*c - 5*c. Is c a composite number?
False
Let r be ((-9)/2)/((-12)/(-64)). Let t = -3 - r. Suppose 6*a - t = 5*a. Is a prime?
False
Suppose -2*k + 2*s = -156, 0 = 5*k - s - 2*s - 392. Let g = 131 - k. Suppose -3*w + g = -w. Is w prime?
False
Suppose 8*y = 5*s + 4*y - 105, -4*y = 2*s - 14. Let x(v) = 2 - 1 - 1 + s*v + 4. Is x(5) a prime number?
True
Suppose -5*o - 10 = m + m, -2*m + 2*o - 38 = 0. Let c = m + 27. Let r = 37 + c. Is r a prime number?
False
Let g(c) = 44*c + 2. Let f be g(-3). Let t = 241 + f. Is t a prime number?
False
Let u(h) = 202*h**2 + 1. Is u(-2) prime?
True
Suppose -3*i - 3 = -5*f - 5, 5*f + 3*i - 22 = 0. Suppose -4*c = f*k - k - 183, 2*c - 109 = 3*k. Is c composite?
False
Let m(s) = 77*s**2 + 4*s + 1. Is m(4) prime?
True
Let a(w) = 28*w**2 + 4*w + 3. Let p(b) = -14*b**2 - 2*b - 1. Let q(n) = -2*a(n) - 5*p(n). Is q(-2) composite?
True
Suppose 7*l + 4514 = 40417. Is l a composite number?
True
Let n(l) = 3*l**2 - 4*l - 10. Is n(7) a prime number?
True
Suppose -x = -2*j + 2, -5*j = -2*x - 3*x. Suppose -5*u + 4*i - 2 = j, -3*u + 5 = 5*i. Suppose u*r = -2*r + 78. Is r a composite number?
True
Let u(h) = 39*h**2 + 5*h + 5. Let v be u(-5). Suppose -5*y + 2*k = -1409 + 454, -5*y + v = -3*k. Is y prime?
True
Suppose 0 = -2*n + 4*n - 36. Let r = n + 8. Is r composite?
True
Let k be -1*(-2)/4*16. Let s be ((-15)/12)/(2/k). Is (-4)/10 + (-927)/s composite?
True
Let m be -2 + (1 - 3) + 4. Suppose m = -o - 83 + 404. Is o prime?
False
Suppose -25*q = -26*q + 12. Suppose 0 = -3*i + q, 3*i = 3*y + 4*i - 1765. Is y a prime number?
True
Let i(w) = -178*w**3 - 2*w - 1. Is i(-1) composite?
False
Suppose a + 9 = 4*a. Let g be (-1)/(-1 - a/(-6)). Is g/5 - 113/(-5) a composite number?
False
Let h(v) = -315*v - 41. Is h(-4) a prime number?
False
Suppose -5*t = -541 - 1344. Is t prime?
False
Let x(v) = -v**3 - 3*v**2 + 3*v - 12. Is x(-7) composite?
False
Is (23/(-3))/((-4)/204) prime?
False
Let t(l) = -29*l + 61. Is t(-14) a composite number?
False
Suppose 5*p - 