 prime number?
True
Suppose 18488 = 5*m - 3*x, -40*m + 36*m + x = -14789. Is m prime?
True
Suppose 55 = -0*j - 5*j. Let i = j + 15. Suppose -5*u + 15 = 0, -i = -a - 3*u + 90. Is a a prime number?
False
Let q(w) = -w**2 - 8*w - 6. Let f(h) = h**2 - h - 6. Let c be f(0). Let x be q(c). Suppose -596 = -x*r + 2*r. Is r a composite number?
False
Let f be 655 - ((-4)/(-4) + -5). Suppose 4*p - 856 = 3*i + f, 2*p - 4*i - 750 = 0. Is p prime?
False
Let p = -32 - -21. Let x(q) = q**2 - 9*q - 7. Is x(p) composite?
True
Let x be ((-1)/2)/((0 - 1)/(-12)). Is 449 + (-3)/x*(2 - 2) prime?
True
Let t = 2721 + 206. Is t a composite number?
False
Let b(o) be the third derivative of -o**5/60 - 13*o**4/12 - 8*o**3/3 + 5*o**2. Is b(-15) a composite number?
False
Suppose -2*n - 12 = -4*n. Let x be 4 + 4*3/n. Is (921/x)/(-1)*-2 a composite number?
False
Let h(u) = -u**3 + 16*u**2 - 14*u + 32. Let g be h(-15). Suppose g = 9*o - 2*o. Is o prime?
True
Suppose -6*v + 5637 = -45621. Is v a prime number?
True
Let o(y) = 6*y - 10. Let q(w) = 36*w - 59. Let i(g) = -34*o(g) + 6*q(g). Is i(3) a composite number?
True
Let b(q) = 1. Let n(t) = -82*t**2 + 6*t + 8. Let p(a) = -5*b(a) + n(a). Let i be p(-4). Is i/(-5) + (-6)/(-15) a composite number?
True
Let h = 1293 - 288. Suppose -5*x - 5*z = -2*z - 1258, 4*x + z - h = 0. Is x a composite number?
False
Suppose 35*j = 38*j + 15, 2*j = -2*n + 40528. Is n prime?
True
Let w(l) = 29*l**2 - l + 3. Let a(b) = 4*b**2 + 18*b - 5. Let o(n) = -7*n**2 - 35*n + 10. Let x(t) = -5*a(t) - 3*o(t). Let y be x(-15). Is w(y) a prime number?
True
Suppose -2*w + 15150 = 3656. Is w a prime number?
False
Let a(i) = 166*i - 74. Let f be a(24). Suppose -f = -8*y - 286. Is y prime?
False
Let g be 64/20 - (-1)/(-5). Suppose 4*b = -g*b + 3395. Is b a composite number?
True
Suppose -327*c - 52674 = -333*c. Is c composite?
False
Let y be (-2)/7 + (-4)/(-14). Let o(l) = -l**3 - 11*l**2 - 28*l + 3. Let c be o(-4). Suppose 5*g + 20 = y, 1616 = 2*n + 2*n - c*g. Is n composite?
False
Suppose -5*w - 9 + 33 = 2*h, 0 = 3*h + 5*w - 31. Let m(o) = 38*o + 21. Let i(t) = -t - 1. Let f(j) = 5*i(j) + m(j). Is f(h) a prime number?
False
Suppose c + c - u - 12 = 0, -5*c = 5*u - 30. Suppose 1355 - 3773 = -c*i. Is i prime?
False
Let t = 21699 + -14896. Is t a composite number?
False
Suppose 7*t + 23214 = 79627. Is t prime?
True
Let b be 0 - 3/(-3) - -18444. Suppose -2*r + 7366 = v + 4*v, 0 = 5*r + 5*v - b. Is r composite?
True
Suppose 0 = 5*h - 5, -4*c - c - 2*h = 18. Suppose 0 = -w + 3*w - 56. Is 2/c + 3906/w composite?
False
Let i(t) = -t**3 + 7*t**2 + 4*t - 1. Let b be i(6). Let a(p) = -68*p + b*p + 7 + 1. Is a(-6) a prime number?
False
Suppose 5*o - 24 = -264. Let d be 2/(-16) + (-27414)/o. Let u = d + -317. Is u a composite number?
True
Let p(f) = 408*f**2 + f + 2. Let t be p(-2). Suppose 0 = h - 0*h + t. Is h/(-22) - (-4)/(-22) composite?
True
Let u be 4/(-2) + 122 + 0. Suppose -b + 133 = -u. Is b a prime number?
False
Suppose -3*p + 2*p = 5. Is p*124/(-2)*6/12 composite?
True
Let t = -551 - -894. Let b = t - -1480. Is b a prime number?
True
Suppose -4*v - 213 = -3*s - 2192, 4*v - 8 = 0. Let a = -454 - s. Is a prime?
False
Suppose 4*r - 2*l = 14, -6 = -l - 1. Let i = r + -2. Suppose -5*z + 1977 = -3*w + 5*w, -i*z + 1583 = 3*w. Is z composite?
True
Let q(h) = h**2 - 6*h - 5. Let t(g) = -g**2 + 7*g + 6. Let a(p) = 5*q(p) + 4*t(p). Let m be a(4). Suppose -m - 133 = -4*k. Is k composite?
True
Let s = -26 + 26. Let w be 7/(-21) + 5326/3. Suppose 0 = m - b - 446, -b = -s*m - 4*m + w. Is m a prime number?
True
Let w be (-6)/8*(5787 + 1). Let g = 6334 + w. Is g a composite number?
False
Let v be -8 + 0 - (-1 + -2). Let l = v + 35. Let s = 73 - l. Is s prime?
True
Let f(v) be the second derivative of 62*v**3/3 - v**2 + 4*v. Let h be f(2). Let i = 395 - h. Is i prime?
True
Suppose -4*p + 6 + 9 = 3*q, -5*p - 15 = -3*q. Suppose 907 = q*c + 5*b - 2*b, 0 = -c + 5*b + 159. Is c a prime number?
True
Let s be (-1 - -2) + 1 + 10. Let o = s - -32. Suppose 2*c = -0*c + o. Is c prime?
False
Let q(z) = -426*z**3 + z**2 - z + 1. Let w(t) = -t**3 + 4*t**2 + 6*t - 4. Let o be w(5). Let s be q(o). Let v = 1080 + s. Is v prime?
False
Let t(j) = -2 + 84*j**3 - 2*j**2 + 3 + 0 + 0. Is t(1) a composite number?
False
Let a be 4 + (-2 - -3) + -3. Suppose -a*y = 4*n - 7*y + 1714, 3*n = -3*y - 1272. Is (2*-1)/(4/n) prime?
False
Let i(r) be the second derivative of r**7/1260 - 11*r**6/720 + r**5/20 + r**4/4 + 3*r. Let u(y) be the third derivative of i(y). Is u(11) a composite number?
False
Let s(y) = 6*y**2 - 14*y + 9. Is s(11) a composite number?
True
Let k(w) = 20*w**2 + 141*w - 19. Is k(-30) prime?
True
Let v(m) = -2*m - 3. Suppose 0 = 3*x + 4 + 2. Let i(k) = -k**2 + 9*k + 11. Let t(h) = x*i(h) - 9*v(h). Is t(6) a prime number?
False
Let f(w) = -w**3 + 4*w**2 + 4*w - 6. Let r be f(4). Let z be (32/r)/(10/25). Let n = z - -27. Is n a composite number?
True
Let q(w) = 93*w + 53. Let d(f) = -47*f - 26. Let x(a) = -7*d(a) - 3*q(a). Is x(7) prime?
True
Let y be (1 + 4)*-7 + 3. Let u be (-20)/(-25) - y/10. Suppose u*j = -0*j + 932. Is j a composite number?
False
Suppose 2 = 5*k - 23. Suppose -k*c + 970 = -0*c. Is c composite?
True
Suppose 9*m - 40 = 5*m. Suppose 0*b - k - 30 = -4*b, 0 = 5*k + m. Is b a composite number?
False
Is 5261220/945 + (-6)/14 prime?
False
Suppose -x = j - 70, -2*x - 3*j = 2*x - 280. Let h = x + 1111. Is h a composite number?
False
Let k(f) = 18*f**3 + 3*f**2 - 5*f - 2. Let i be k(-3). Let a = i - -669. Suppose 3*q - a = 2*q. Is q a composite number?
False
Let j(i) = -18*i**3 - i**2 + 11*i + 31. Is j(-6) prime?
False
Let h(r) = 6*r**3 + 6*r**2 - 2*r + 43. Is h(6) a prime number?
True
Suppose -2*y + y - 136 = 0. Let a = 11 - y. Suppose -n + a = 2*n. Is n a prime number?
False
Suppose 2*d + 4*b + 2388 = -3*d, -2*d - b = 957. Let r = d - 34. Is r/(-8) + 12/16 prime?
False
Suppose 7*f = 13*f + 1122. Let q = 736 - f. Is q composite?
True
Suppose -4*s + 4*q = -1776 - 472, 550 = s + 2*q. Let g = s - 309. Is g prime?
False
Is ((-2 + 7)/5)/((-1)/(-36587)) a prime number?
True
Suppose -5048 = -3*b + 2*i - 1798, 0 = -4*i + 4. Suppose -840 = -4*a + b. Suppose 3*j = a + 272. Is j a composite number?
False
Let j(k) = 16*k**2 + 4*k + 11. Let w(a) = -a**2 + 11*a - 6. Let h be w(11). Is j(h) composite?
False
Is (-3)/(-2 - 21063/(-10533)) a prime number?
False
Let l = 74847 - 44338. Is l a prime number?
True
Let q(t) = t**2 - 10*t + 8. Let j(b) = b**2 + 6*b + 1. Let r be j(-7). Let n be q(r). Is (-4)/n - (-789)/2 prime?
False
Let z(v) = 1486*v**2 - 3*v - 5. Let f be z(-2). Let t = f - 3216. Is t prime?
True
Suppose -28*q = -25*q - 15. Suppose -q*z + 5*s + 2199 = s, s = 2*z - 882. Is z prime?
True
Suppose 5*s = 2*s - 15, 9680 = 5*u - 2*s. Suppose 30*n = 28*n + u. Is n a composite number?
False
Suppose 5*o - 602 = -3*i + 4*o, -i + 196 = -2*o. Let p = -78 + i. Is p a prime number?
False
Let t = -33 - -1316. Is t a composite number?
False
Let d be (-2)/(2/3) - -13. Is 129 - (d/5 + 0) a composite number?
False
Let q be 2 + 1 + -1 + 3. Suppose q*i + 95 = 4*i. Let m = 346 + i. Is m composite?
False
Suppose -h + d + 0*d - 1 = 0, 2*d + 7 = 5*h. Suppose h*o + 137 - 1793 = 0. Let l = o - 329. Is l prime?
True
Let x(y) = -y**3 + 3*y**2 + 41*y + 15. Is x(-8) composite?
True
Let k(h) = -h**3 + 33*h**2 + 23*h - 53. Is k(33) composite?
True
Suppose 5*k + 0 - 20 = 0. Suppose -5*l - 7 = -t, l - 3 = 3*t + k. Is 3*(-2)/l - -290 composite?
False
Suppose a - s = -2*s + 4, 2*a = -s + 3. Let l be (-1 - a) + (5 - 4). Is l*(3*20 - 2) a composite number?
True
Let x(h) = -5*h**2 + 6 + 2*h - 3 + 0*h**2 + 11*h**3. Is x(4) a composite number?
True
Let y be 0*(-3 - (-7)/2). Suppose y = 4*r - r - 429. Is r prime?
False
Let b(z) = 3398*z**2 + 29*z - 1. Is b(-4) a composite number?
False
Suppose m - 12385 + 90186 = 2*c, -3*c + 116712 = -5*m. Is c composite?
True
Let t(y) = -669*y - 11. Let r be t(3). Let l = -579 - r. Is l composite?
False
Let i = -4059 - -20792. Is i prime?
False
Suppose -4*r + 1000 = -588. Is r composite?
False
Let v(p) be the first derivative of -p**3/3 + 8*p**2 - 14*p - 3. Let n be v(13). Let z = 94 + n. Is z a prime number?
False
Suppose 3*t = 2*n + 2547, -5*t + t - 3*n + 3413 = 0. Is t prime?
False
Let z be 54