 b(13) a prime number?
True
Suppose c - 7 = 3. Let z be (1 + (-2436)/(-8))*c. Suppose -4*q = 0, 2*q + q = -5*u + z. Is u prime?
False
Let x be 3/5 + 904/10. Let y = x + -62. Suppose 2*h + 2*h - 4*f = 88, y = 2*h + 3*f. Is h composite?
False
Let x be (-7)/(-21) + (-2098)/(-6). Is x - 3/(0 - -1) a prime number?
True
Is 376 + 1 - 192/(-16) prime?
True
Let h be (-2)/1 + 13 + -9. Suppose -h*z - 143 = -f, 5*f - z - 693 = -2*z. Is f prime?
True
Let i(x) = x - 1. Let r be i(-1). Is r/(-3) - -17*(-105)/(-9) prime?
True
Let p(b) = 3*b**3 - 9*b**2 - 19*b - 29. Let k be p(11). Let f = k + -823. Is f composite?
True
Let l be 9/(-15) - 26/(-10). Let o be (-3 + 0 + l)*-3. Is (-2388)/(-16) - o/12 a composite number?
False
Suppose 16*t + 96188 = 20*t. Is t a prime number?
False
Let b be (4/3)/((-5)/(-150)). Suppose 0*a - 4*a + 108 = 0. Let c = a + b. Is c a composite number?
False
Let p(u) = 80*u**3 + u**2 + u + 11. Is p(3) prime?
False
Suppose 0 = -2*j + j - 2*t + 912, -4566 = -5*j - 4*t. Suppose -5*a - 4*z + 4317 = -j, -2*z + 2094 = 2*a. Is a a composite number?
True
Let b = 9395 - 4882. Is b composite?
False
Let d be 93/217 - 571539/7. Is 1/(-5) + (d/(-15))/6 a prime number?
True
Is ((-1)/((-30)/(-12)))/(2/(-8770)) prime?
False
Suppose 6*y + 8*y - 42 = 0. Suppose -4*j + 5*m = -3123, -y*j - m = -579 - 1787. Is j a prime number?
True
Let p(m) = -m**3 + 4*m**2 - 2*m. Let z be p(3). Let q be (z - 0)*(-1)/(-1). Suppose -2*w = 3*w + q*g - 482, 3*w - 292 = g. Is w a prime number?
True
Let v(s) = 1636*s**3 + 4*s**2 - 8*s + 6. Is v(2) prime?
False
Suppose 8*k - 3*k - 73445 = 0. Is k composite?
True
Suppose 4*t - j + 3549 = 0, 0*t - 3*j - 3561 = 4*t. Let r = -485 - t. Is r composite?
True
Let z = -5366 - -9663. Is z composite?
False
Let d(l) = 9*l**2 + 2*l + 8. Suppose 0 = 3*i - i - 2*m, -m - 15 = 2*i. Is d(i) a prime number?
True
Let b(n) = 20*n**2 - 2*n + 1. Suppose 5*z + 0 + 15 = 0. Let q be b(z). Let g = 314 - q. Is g prime?
True
Suppose 5348575 = -82*q + 13518153. Is q composite?
True
Let a(s) = 160*s**2 + 2*s - 3. Let n(u) = u**2 - 6*u + 2. Let o be n(6). Is a(o) a prime number?
True
Let q(r) = r**3 + 6*r**2 - 2*r - 6. Let b be q(-6). Suppose -b + 0 = -2*d - 3*n, d = -2*n + 2. Is 3 - 3/(d/(-416)) a composite number?
False
Suppose -32*v + 5651780 - 1334628 = 0. Is v prime?
False
Suppose 2*a = -5*a + 22043. Is a a composite number?
True
Let s(i) = 12*i**2 + 1. Let m be s(1). Suppose m*f = 14*f - 1169. Is f composite?
True
Let d = -1078 + 2048. Is 3*d/15 - 0 composite?
True
Is -1 + 9 - 167220/(-20) composite?
False
Suppose 6*m - 9*m = -22110. Suppose -3*s = -1655 + m. Is ((-8)/6)/(10/s) composite?
True
Let t(x) = -x**3 + 1687. Is t(0) composite?
True
Let w(d) = -115*d. Let l(i) = 23*i. Suppose -3*p + 1 = -32. Let o(u) = p*l(u) + 2*w(u). Is o(7) a prime number?
False
Suppose 4*n + 616 = -0*n. Let v = 365 + n. Is v a prime number?
True
Let g(k) = 14919*k + 4. Is g(1) a prime number?
True
Let a be 15/(-25) + 23/5. Is (a + (-7304)/12)/((-2)/3) prime?
True
Is (157702/232)/(1/12) a prime number?
False
Let j = -6 - -10. Suppose -o = -j*o + 213. Is o a prime number?
True
Is (-808450)/(-90) + (2 - 16/9) prime?
False
Suppose -4*k + 2*s = -0*s - 3702, -4*k + 4*s = -3696. Let u = k + -169. Is u a prime number?
False
Suppose -k + 2*k = 0. Suppose -u + 44 = 2*g, -2*u - 2*g = -k*g - 82. Let t = -24 + u. Is t composite?
True
Let q(f) be the first derivative of 2 - 7/3*f**3 - 7*f + 1/4*f**4 - 2*f**2. Is q(9) a composite number?
True
Let q = 1507 + -596. Is q a composite number?
False
Let z = -28 + 19. Let l(s) = -15*s + 14. Is l(z) composite?
False
Let v be (-12)/(-20) + (-48)/(-20). Suppose -v*o - 2*o = -w + 364, -4*w + 1528 = 4*o. Is w a composite number?
False
Suppose -5*u - 4*o + 4929 = 0, 0 = -5*u - 3*o + 1117 + 3816. Suppose u = 3*k - 2*t, 2*t - 1328 = -2*k - 2*k. Is k a prime number?
True
Let t = -19 - -36. Is (89/4)/(t/68) prime?
True
Let t be 13 - ((-6)/8)/(4/(-16)). Suppose q = -w + t, -q = -2*w - 5*q + 10. Is w composite?
True
Let o(c) = -c + 15. Let z be o(0). Suppose 4*r + 10 = 5*t, -2*r = -31*t + 26*t + 10. Is 3891/z - t/5 a composite number?
True
Is 6/(-7) - ((-13401100)/(-35))/(-17) prime?
False
Is ((-17410)/(-20))/((-3)/(-6)) a prime number?
True
Let f(g) = -g**2 - 16*g + 11. Let d be f(-16). Let z(l) = l**3 - 4*l**2 + 3*l - 1. Is z(d) prime?
False
Is (675/(-18))/(-15) - (-6713)/2 prime?
True
Let h(v) = 25*v**2 + 14*v + 6. Is h(5) a prime number?
True
Suppose -4*b + 0*b = 3*z - 25, 2*z = 2*b - 2. Suppose d - z*d = -6. Let k(u) = 4*u**2 - 1. Is k(d) a composite number?
True
Suppose -3*v - 2 + 20 = 0. Let q(z) = -z + 11. Let n be q(v). Is (17 - 6)*(n + -2) composite?
True
Let c = -56 + 33. Suppose 0 = -4*l + a + 148, -168 = -3*l - 2*l - 3*a. Let x = l + c. Is x a composite number?
False
Let u(c) = -c**3 - 16*c**2 + 12. Suppose 6*w - 2*w + 16 = -2*p, 5*w = 10. Let k be u(p). Let l = k + 2029. Is l prime?
False
Let l = 16 - 12. Let j be 3/(l/16*-6). Is (-1)/j*(291 - 1) composite?
True
Suppose 3*c = 4*m + 8 + 11, -2*m = -2*c + 10. Let q be m*((-6)/4 + 2). Let t = 67 + q. Is t a composite number?
True
Let f(m) = -4 + 8*m + 9*m**2 + m**3 + 12*m**2 - 11*m**2. Let n be f(-9). Suppose -n*v + 1004 + 266 = 0. Is v composite?
True
Let v(o) = 7 + 2*o**2 + 28*o + 47 - 24 + 9. Is v(20) composite?
False
Suppose k - 95 = 2610. Suppose 0 = 9*r - 4*r. Suppose -3*s - 2*s + k = r. Is s a prime number?
True
Suppose 6*k - 4*k = 0. Let f = k - -5. Suppose 4*y = f*y - 87. Is y a prime number?
False
Suppose -5*l + 2355 + 1330 = 0. Is l a prime number?
False
Let b = -26 - -27. Let d = 2 + b. Suppose 0 = 2*a - d*u - 88, -5*a - u = -2*a - 143. Is a a prime number?
True
Suppose 0 = -2*l + a - 4 - 6, -4*a = -4*l - 24. Let s(i) = 15*i**2 + i + 3. Let g be s(l). Suppose -4*p + g = -233. Is p prime?
False
Suppose 8 = 5*i - 2. Suppose -i*p + 175 = 2*h - 3*p, 338 = 4*h + 2*p. Is h a composite number?
True
Suppose 11514 = 3*t + 4*u - u, -4*u = -20. Is t prime?
True
Suppose -3*y - 58 = 4*q - y, 2*y = 5*q + 50. Is 15/(q/(-4))*79 a prime number?
False
Let z be (6 + 1)*(-12)/(-7). Let g be (-22)/5 - z/20. Is (-3 - g/1) + 249 a composite number?
False
Let r(i) = 8*i - 15 + 3 + 44*i**2 + 16. Let q be r(-6). Suppose -o + q = 3*k - 2192, -o = -2*k + 2483. Is k composite?
True
Suppose 0 = 11*b + 59319 - 164930. Is b a composite number?
False
Suppose 5213 = -26*i + 27*i. Is i prime?
False
Let w be 5*((-3)/6)/((-3)/6). Suppose -5*y - w*v + 5865 = 0, -2*y + 2370 = -v - 3*v. Is y a composite number?
True
Let q = -2854 + 5770. Let o be (1/(-2))/((-6)/q). Let v = o - 32. Is v prime?
True
Let r(z) = -7*z**3 - z**2 + 3*z - 5. Let j be r(3). Let f = j + 541. Is f a prime number?
True
Suppose -2*i = -i - 46. Suppose 4*y + 6 = -i. Is -1*(3 + 20)*y a prime number?
False
Let y(j) be the first derivative of j**3/3 + 2*j**2 - 13*j - 6. Let h be y(-9). Let w = h - 19. Is w prime?
True
Let y = -3 + 6. Let b(t) = -2 - 4*t**2 - 2*t - 2 + 0 - 12*t**y + 5. Is b(-3) a composite number?
True
Let s(c) = 3*c + 11. Let d be s(8). Let o be (-2 + 7)*14378/d. Let n = o - 1233. Is n composite?
False
Let j = 1 - 17. Let o be (-9)/(-12) - 20/j. Suppose -6 = 2*b, -o*u = b - 79 - 84. Is u prime?
True
Is (-4 - -491)/(6/30) a composite number?
True
Suppose 0 = 4*n + 13 - 5. Let y = -386 - -384. Is n + (-2 - (y + -97)) composite?
True
Suppose 0 = 3*b - 2*y, -y - 10 = -2*b - 3*y. Suppose -h + 6*h + 243 = l, h = -b. Is l composite?
False
Let p = -1 + 12. Suppose -7*k + p*k - 140 = 0. Suppose -r + 48 = -k. Is r prime?
True
Suppose -16 + 4 = -3*i. Let s(c) = -16*c**2 - 3*c + 5. Let m(p) = -16*p**2 - 2*p + 4. Let l(d) = -4*m(d) + 3*s(d). Is l(i) a prime number?
True
Is (-1181)/(-9 - (-136)/16) a composite number?
True
Let h be (2*-1)/(14/(-1078)). Suppose -3*d = -317 - h. Is d a composite number?
False
Let n(d) = 554*d - 347. Is n(34) a prime number?
False
Let x be 38/(8/(-4))*-4. Let y = -9 + x. Let d = y - 42. Is d prime?
False
Suppose 2*p = 30712 - 1938. Is p a prime number?
True
Let j be (-3)/(-1) + -2*(1 - 0). Is 1212 - (3 + (-4)/1*j) a composite number?
False
Let j(a) = -a**3 + 6*a**2 + 2*a - 1. Let t be j(6). Let g(h) be the second derivative of 4*h**3/3 + h**2/2 - h. Is g(t) a composite number?
False
Suppose -8*s = -n - 5*s + 4705, -9428 