l composite?
False
Suppose 5*b + 3729 = -3936. Is 4/(-14) - b/49 a prime number?
True
Let z(q) be the third derivative of q**4/4 - 7*q**3/6 - 36*q**2. Is z(7) composite?
True
Suppose -5*f + 42 = -d, 0*d + 48 = 5*f - 4*d. Let p(s) = 5 + s + 0*s + 2*s**2 + 4 + f. Is p(-12) prime?
True
Suppose 0 = -5*l - b + 229020, -214 = 2*b - 204. Is l a prime number?
False
Suppose 0*w = 4*w. Let d be (-8)/((-2)/(-18) - w). Let g = d - -155. Is g a prime number?
True
Suppose v + 3*v - 253196 = k, 5*v - k - 316495 = 0. Is v a prime number?
True
Let j = 130 + -127. Suppose 1863 = f + 4*b, -j*f + 613 = 4*b - 4944. Is f composite?
False
Let w be 1/1*(-2 + -633 + 0). Is (-2)/(-2)*0 - w prime?
False
Suppose 159 + 209 = 4*r. Let c = 51 + r. Suppose -3*l - c = -392. Is l prime?
True
Suppose 3*b = -3*k + 7131, -15 = -5*b - 0. Is k composite?
True
Suppose 0 = 4*h + 263 - 39. Let a = h - -82. Is a prime?
False
Suppose 17*t = 4*t - 624. Let x = t + 91. Is x a prime number?
True
Let a = -2278 - -3872. Is (a/(-8))/((15/20)/(-3)) prime?
True
Let x(p) = 4*p**2 - 9*p + 12. Let s be x(6). Suppose 5*v - s = 383. Is v prime?
True
Let d(z) = -163*z**2 + 2*z - 1. Let s be d(1). Let l be 4/6*s/(-3). Suppose -5*v - 3*y + l = -4, -53 = -3*v + 4*y. Is v prime?
True
Suppose 0 = 14*f + 57 - 1. Is 364/(-16)*-1 + (-1)/f prime?
True
Let s(o) = 13291*o**2 - 5*o - 7. Is s(2) a composite number?
False
Suppose 2*h - 9 = -3*f - 2, 3*f + 4*h = -1. Suppose -f*a + 2*a = -2154. Is a prime?
False
Let i be (-6)/(-27) + (-43)/(-9). Suppose 0 = -i*f + 5*y - 25, -3*f = -4*y + 7 + 13. Suppose 2*a - 84 = -2*p, 0*a - a - 4*p + 30 = f. Is a prime?
False
Let k = -1272 + 2228. Let x be (307/(-2) - -3)*2 + 4. Let f = k - x. Is f composite?
True
Suppose 0 = j - 0 - 2. Suppose j*h = -i - 3, -24 = 4*i - 2*i - 5*h. Let d(m) = -m**3 + 9*m**2 + 5*m + 2. Is d(i) prime?
True
Let g be 1*(0 + -8)/(-1). Let v(u) = 5*u**3 - 12*u**2 + 4*u - 5. Is v(g) composite?
True
Suppose 0 = 7*x - 150630 - 83555. Is x prime?
False
Is (-3 - -15772 - 0)*1 - 8 a prime number?
True
Let h(z) = z**3 - 20*z**2 + 23*z + 11. Let t be (14 - -2)/1 + 3. Is h(t) prime?
False
Let g(j) = 13*j**2 - 16*j + 7. Is g(-6) a prime number?
True
Let t(n) = n**3 - 6*n**2 + 5*n. Let k be t(1). Suppose -2*u + 3*f + 2290 = k, 11*f = -4*u + 9*f + 4612. Is u a composite number?
False
Suppose 3*l + 13 = 5*k - 2, -5*l = 3*k - 9. Suppose -5*b + 875 + 805 = -5*s, k*s = -4*b + 1351. Is b a prime number?
True
Let w(c) = 2809*c**3 + 2*c - 3. Let y be w(2). Suppose -y = -x - 8*x. Is x prime?
False
Is (-28850)/(-60) - 4/72*-3 a prime number?
False
Let a(m) = -m**2 + 2. Let f be a(2). Let n(o) = -3*o - 2. Let b be n(f). Suppose -4*r = -5*j + 1471, 4*j + b*r - 1184 = -0*j. Is j composite?
True
Let f = 3 - 3. Let c be (f - -3) + (1 - 4). Suppose 8 = 2*x - c. Is x composite?
True
Let v be (-4)/(-62) + (-306)/(-62). Let o(z) = 0*z + 7*z**2 + z**3 - 2*z**3 + z. Is o(v) a prime number?
False
Suppose 2*r - 4*g - 1358 = 3052, -4*r + 4*g + 8816 = 0. Is r a prime number?
True
Let z(f) be the second derivative of 44*f**3/3 + 31*f**2 - 39*f. Is z(5) a prime number?
False
Suppose -40 = -3*r - 2*r - 5*i, 12 = 3*i. Suppose r*n - 7 = -15. Let q(g) = -110*g + 3. Is q(n) a prime number?
True
Let d(m) = 383*m + 26 - 4 - 9 + 16. Is d(4) a composite number?
True
Let l(y) = y**3 + 7*y**2 - 11*y - 1. Suppose 4*i + 34 = n, 0 = -0*i - i - n - 6. Is l(i) a prime number?
True
Let v = 451 - 180. Let o be (-1)/(-2) + 99/(-6). Is 12/o - v/(-4) a prime number?
True
Let u be (28/3)/(462/(-117) + 4). Let a = u + 111. Is a composite?
False
Suppose s + 25220 = b, 8*s = 13*s + 5. Is b a prime number?
True
Let n(u) = -u**2 - 9*u + 545. Is n(0) a prime number?
False
Suppose -2 = -2*c + 2. Suppose 7*b = c*b. Suppose -40 + 7 = -4*f - 3*m, -f + 3*m - 3 = b. Is f prime?
False
Suppose 3*a = -2*u + 1580, -3*u - a + 2370 = -3*a. Let j = u + 97. Is j a composite number?
False
Let r be (-1)/3 + (-80)/3. Is (-45501)/r + 4/(-18) a prime number?
False
Let s(p) = -10*p**3 - 10*p**2 - 4*p + 15. Let l be s(-8). Suppose 7021 + l = 4*d. Is d prime?
True
Let r be (33/(-9) + 4)/(5/45). Let y be (2/(-4))/((-2)/4928). Suppose 0 = -3*j - 3, -2*s = 3*s + r*j - y. Is s a prime number?
False
Let t be 9*((-5 - -9) + 3/(-1)). Suppose 7*x = t*x - 398. Is x a composite number?
False
Let v be (-1 - -5) + -7 + 8. Suppose -4*r + 1136 = c, v*c - 4580 = c - 4*r. Suppose -2*b - 2*b = -c. Is b prime?
False
Let c = 495 - 993. Let d be 1/(3*(-2)/c). Suppose 3*j + d = 4*j. Is j composite?
False
Is (-10 + -6937)/(-1 + 0) prime?
True
Suppose -1866 = 3*o - 17331. Is o a prime number?
False
Let c(r) = -r**3 + 12*r**2 - 20*r + 12. Let s be c(10). Is (4/s)/((-2)/(-1398)) composite?
False
Is ((-30)/(-25))/3 - 16692/(-20) prime?
False
Let v = -44 + 25. Let c = v + 23. Suppose 204 = 2*l + c*p - 122, -682 = -4*l + 2*p. Is l a prime number?
False
Suppose 17*w - 16*w = 8941. Is w prime?
True
Let u be -5 + 7 - (0 + -2). Let k be u/10 - 4/10. Let j(w) = w**3 + w + 121. Is j(k) composite?
True
Is 72755/40 + 2/16 a prime number?
False
Let s(f) be the second derivative of f**5/20 - f**4/12 + 2*f**3/3 + 7*f**2/2 - 3*f. Is s(6) a prime number?
True
Suppose 1846 + 3013 = z. Is z a prime number?
False
Let m = 3 - 1. Is ((-11791)/52)/(m/(-8)) a composite number?
False
Suppose 4*x - 1812 = -2*d, -5*d + 471 = x - 0*d. Is x composite?
True
Is 18188*(-1 - (-20)/16) prime?
True
Suppose -5 + 26 = 3*g. Let w = g + -9. Is -1*1/w*70 a prime number?
False
Suppose u + p - 15 = 2*p, -2*u - 5*p - 5 = 0. Let i(s) = u + 7*s + 1 + 0. Is i(5) composite?
True
Suppose -179 = 3*w - 683. Suppose 4*z = 4*o - 328, 0 = 2*o + z - 4*z - w. Let r = 125 - o. Is r composite?
False
Suppose -14*b = -200338 - 120108. Is b composite?
True
Let u be -1 - (1 + -4 + 0). Let v = u + 2. Suppose -3*z = -z - 4*c - 50, -20 = -v*c. Is z a composite number?
True
Let f(w) = w**3 + 8*w**2 - 18*w - 23. Let z be f(-8). Let b = 998 - z. Is b a prime number?
True
Let u(v) = v**2 - 8*v + 10. Suppose 8 = 3*r - 13. Let m be u(r). Suppose g + m*h = -2*g + 867, -1152 = -4*g - 5*h. Is g a prime number?
True
Let l(x) = 1432*x**2 + 8*x + 1. Is l(1) prime?
False
Let h = -7687 + 23624. Is h composite?
False
Suppose 23*o - 311882 - 460205 = 0. Is o a composite number?
False
Let w(s) = s**3 - 7*s**2 - 6*s - 11. Let c be (8 - -2) + 2 + -4. Let a be w(c). Suppose -1639 = -a*y + 3*o, -3*y - y - 2*o = -1298. Is y composite?
True
Suppose 4*r + 4*s = -24, -12 = -0*s - 4*s. Let g(l) = -8*l**2 + 3*l + 16. Let a(p) = p**2 + p - 1. Let x(z) = -6*a(z) - g(z). Is x(r) prime?
True
Let v be 5404/(-10) - 2/(-5). Let d = 787 + v. Suppose 2*w + d = 3*h, 5*h - 2*w - 390 = -3*w. Is h composite?
False
Let b(n) = -n**3 - 5*n**2 - 3*n + 5. Let d(v) = -v - 1. Let w be d(4). Let m be b(w). Suppose -2*t + m = -134. Is t a prime number?
False
Let i = -1 - -1. Suppose i = -0*o - 4*o + 12. Suppose z + 2*c = 51, -4*z - c = o*c - 208. Is z a prime number?
True
Let p(j) = -3*j**2 + 2*j + 2. Let y be p(2). Let g(d) = -45*d - 5. Let s(f) = -23*f - 3. Let b(m) = 4*g(m) - 7*s(m). Is b(y) a prime number?
False
Let d be 0 + 2 - 0*4/(-20). Suppose 8 = -d*p, -4*n - 2*p = 3*p - 1992. Is n a prime number?
True
Suppose 5*k - 5929 = 2*v + 271, 3*v = -5*k - 9300. Is ((-37)/(-5))/((-20)/v) composite?
True
Suppose 0 = 4*j + n - 34083, -2*j + 28095 = -3*n + 11050. Is j a prime number?
True
Let f(w) = -321*w**3 + w**2 - 3*w. Is f(-2) prime?
False
Let q(f) = -f - 12. Let a be q(6). Let d = 39 - a. Is d composite?
True
Suppose c - 2*f = 10841, -4*c + 43400 = -170*f + 174*f. Is c a prime number?
True
Is 1371*(-19)/(-3)*6/6 composite?
True
Suppose 3*t - 31 = -4*a, 0 = a + 2*t - 4*t + 6. Suppose 0 = -a*c - 3*i + 2206, 3*c - 1649 = -0*c - 5*i. Is c a composite number?
True
Let v(n) = -1 + 3*n**2 + n + 123*n**2 + 19*n**2. Is v(1) composite?
True
Let x(t) = t**3 - 5*t**2 + 5*t + 3. Let i be x(4). Let j be -203*(0 + (-60)/i). Let h = -1235 + j. Is h a prime number?
False
Suppose 0 = -3*s - 90 - 15. Let i be (-1029)/s + 2/(-5). Suppose 0 = 4*j + 2*t - 32, -2*t = -3*j - 6*t + i. Is j a prime number?
True
Suppose 32*z - 671130 + 136506 = 0. Is z a prime number?
False
Suppose -11*w = -13*w + 8. Suppose w*k + 7 - 3 = -m, -m + 8 = -2*k. Suppose 5*t - 191 = 2*u, -4*t + 8*u - m*u = -160. Is t