a prime number?
True
Is (-52 - 1)*(1 + -2) prime?
True
Let v be (-3 - -2) + 6*2. Suppose 0 = -4*s - 5 - v, -68 = -z + 4*s. Suppose 0*r - z = -2*r. Is r composite?
True
Suppose 0 = -4*u - 0*u + 3188. Is u a composite number?
False
Suppose -z + 28 = 2*z - 5*u, 4*z + 2*u = -6. Let l be 0/(4/(2/z)). Is 2 - (l + -120 + 3) prime?
False
Let a(w) = w**3 + 9*w**2 - 2*w - 10. Let g be a(-9). Is (4/g)/((-3)/(-1326)) prime?
False
Let c(s) = -s**2 - 18. Let u be c(0). Let r = -11 - u. Suppose -z = 4*a - 232, -3*z = 4*a - r*z - 232. Is a prime?
False
Suppose 0 = q - w + 896, -5*w = -1 + 6. Let k = 1264 + q. Is k a composite number?
False
Is 540 + 0 + -2 - 30/10 a prime number?
False
Let h = -12 - -17. Suppose h*t - 4*r - 1303 = 0, 0*t + 5*t - r - 1312 = 0. Is t prime?
True
Let s(r) = -24*r - 3. Let a be s(-2). Let k = 88 + a. Is k a prime number?
False
Let m be (-2)/((6/(-4))/3). Let d = 0 + 3. Suppose -4*h - 43 = -d*v + 96, -285 = -5*v - m*h. Is v prime?
True
Let i(c) = -c**2 + c - 1. Let b be i(2). Let x = b - -3. Is (x - -2) + -2 - -14 a prime number?
False
Suppose 4*c - 30 = -3*h - 2*h, -3*h = 3*c - 18. Let z = 10 - h. Suppose z*r = -w - 2*w + 341, 2*w = -10. Is r a prime number?
True
Suppose j = 3*f + 8, -j + 5*f + 4 = -4*j. Suppose i - j*n = 2*n - 31, -3*i - 18 = 3*n. Let v = i - -26. Is v prime?
False
Let p = -2300 + 4231. Is p composite?
False
Suppose i + 15 = 6*i. Suppose 0*u - 63 = -i*u. Is u composite?
True
Let u(j) = j**3 + 2*j**2 - 3*j - 5. Suppose -1 = -2*n + 7. Is u(n) a prime number?
True
Is (-2)/(-17) - (-402174)/102 prime?
True
Suppose -g - 5*g = -2694. Is g prime?
True
Suppose 0 = -4*w - 30 - 82. Let r be w/(-12) - 1/3. Suppose r*a - 5*x - 155 = 0, 355 = 4*a - 2*x + 7*x. Is a a composite number?
True
Let w = 3 + 1. Let u be 2/w + 4/(-8). Suppose u = -z + 3, -5*o + z = 39 - 301. Is o composite?
False
Let o(a) be the third derivative of a**4 + 5*a**3/6 - a**2. Is o(6) prime?
True
Let n(a) = 15*a**3 - 4*a**2 - a - 3. Is n(4) a prime number?
False
Suppose 5*h - 7*h = -13010. Is h a composite number?
True
Let z = -2 - -1. Let x(l) = -187*l**3 - l**2 - l. Is x(z) composite?
True
Suppose 4*p = 2*p + 16. Suppose 3*x - c - p = 1233, 2*c = 2*x - 822. Is x a composite number?
True
Let l(x) be the third derivative of x**8/20160 - x**7/5040 + x**6/720 + x**5/60 - x**2. Let v(g) be the third derivative of l(g). Is v(-2) prime?
True
Let t(f) = -f**2 + 0*f**2 - 25*f**3 - f + f**2. Is t(-1) a composite number?
True
Let s be ((-1768)/(-20))/(1/5). Suppose r = i + 132 + 89, 2*r - 4*i - s = 0. Is r a prime number?
False
Let p = 8 - 12. Let r = 42 + p. Is r a composite number?
True
Let n(d) = 14*d**2 - 1. Let s = 2 + -3. Let a be n(s). Suppose -a = -q + 98. Is q prime?
False
Let p be (1 - 0)/((-6)/(-108)). Is ((-27)/p)/(1/(-214)) a composite number?
True
Is 142 + (6 - 6/2) composite?
True
Let q = 1290 - 649. Is q a prime number?
True
Let d(k) = -38*k - 27. Is d(-20) a prime number?
True
Let g(u) = 26*u**3 - 31*u**2 - 5*u + 5. Let n(c) = 5*c**3 - 6*c**2 - c + 1. Let l(j) = 2*g(j) - 11*n(j). Is l(-3) a composite number?
False
Is (-5 + 267)/(-1 - -3) composite?
False
Let k = 1541 + -798. Is k a composite number?
False
Let m(a) = 31*a + 2. Is m(5) prime?
True
Suppose -2 = 4*s - 10. Suppose 2 = s*o, -6*u + 1110 = -u - 5*o. Is u a composite number?
False
Let j(t) = -2*t**2 + 0*t**3 - 6 + 1 - 3*t + t**3. Is j(4) a prime number?
False
Suppose m = 2*m - 218. Suppose 3*d = g - 425, -m = -g - 5*d + 191. Is g prime?
True
Let o be -2 - (-2 + 3 - -1). Let q = o + 6. Suppose -b - 9 + 49 = q*i, -3*b = i - 25. Is i prime?
True
Let v = -1 + 3. Suppose 13 = 3*m - v*m. Is m prime?
True
Suppose 5*t + 131 = -3*r, 2*t - 3*r = r - 42. Let g = 62 + t. Is g a composite number?
False
Let a(g) = -g + 6. Let i be a(6). Suppose 0 = -q + 2*k - 12, -4*q = -i*q + 3*k + 4. Is 4/q*(-130)/2 composite?
True
Suppose -3*l + 2*l + 2 = 0. Is (-2)/(-2)*(l - 0) prime?
True
Let g = -19 - 17. Let i = 62 + g. Is i a prime number?
False
Suppose -5*h + 19 = -1. Suppose 16 = h*o + 4. Suppose o*l - 1 = 5*x - 48, -20 = -4*x - 2*l. Is x a composite number?
False
Let n(z) = 2*z**2 - 11*z - 2. Is n(-9) composite?
True
Let g be ((-24)/(-15) + 2)*5. Let w = g - 13. Suppose -w*l - 4*u + 425 = 0, l = -l - u + 170. Is l a prime number?
False
Suppose -10 - 26 = -w. Suppose 0 = -5*m, 0 = -2*t - 4*m + 6*m - w. Let p = 31 + t. Is p composite?
False
Let m(n) = n**3 - 10*n**2 + 9*n + 1. Let q be m(9). Let y(b) = -8*b - q + 5*b**2 + b**3 + 4*b**2 + 0*b**2 - 6. Is y(-8) a composite number?
True
Let a(v) = -19*v**3 + 9*v**2 + 2*v + 8. Let b(j) = -6*j**3 + 3*j**2 + j + 3. Let p(m) = 2*a(m) - 7*b(m). Is p(4) a composite number?
False
Let m(i) = 3*i**3 + i**2 - i. Let g be m(1). Suppose -y = -g*y + 262. Is y a composite number?
False
Let r be (-23)/(2*(-1)/34). Suppose 0 = 2*t + x - 3, -2*x + 0 = -4*t + 18. Suppose 5*y - r = 2*n, 4*y + t*n + 42 - 364 = 0. Is y a composite number?
False
Suppose -3*v + 273 = -4*h - 2, -3*v + 15 = 0. Let x = 38 + h. Is (-276)/x + 2/(-9) a prime number?
False
Let f = 9 + -5. Suppose 32 + 40 = f*d. Suppose -131 = -x - d. Is x a composite number?
False
Let r be (30/(-25))/((-2)/(-10)). Let n be 9/6*(-44)/r. Suppose -125 = -3*x - n. Is x prime?
False
Let r be 13/2 + 3/(-2). Suppose -5*k = b + 1, 5*b = 4*b - 3*k + r. Is b prime?
False
Let n = 455 + -175. Suppose 2*r = n - 42. Is r a prime number?
False
Is 0 + -4 + 122*1 composite?
True
Suppose 4*j - 5 = 3*j. Suppose 0 = -j*w - 0*w + 155. Is 1 + w + -4 + 3 a prime number?
True
Suppose -4*o + 3*o - 121 = -3*r, 4*r - 136 = -5*o. Let k be -6 - (0 - 1) - -2. Is 1 + k - r/(-3) a composite number?
False
Suppose l + 0*l = -5*h + 340, 5*l - 2*h = 1835. Let a = l - -104. Is a a composite number?
True
Let j be (-33)/(-9) + (-2)/(-6). Suppose -b - 4 = -3*b + 4*a, j = -4*b + 4*a. Is -2 + 186/b*-2 a prime number?
False
Suppose -5*n - j + 1965 = -0*j, n = -2*j + 402. Let w = 643 - n. Is w a prime number?
True
Let y = 16 - 15. Suppose -s + l - 19 - 1 = 0, 4*s = 3*l - 78. Let x = y - s. Is x a composite number?
False
Let j = -17 + 21. Suppose -122 = -j*z - 34. Is z a composite number?
True
Let v(p) = -14*p - 5. Is v(-5) prime?
False
Let w(c) = -c**2 - 8*c + 6. Let t be w(-9). Is 74/(t/(-1) - 1) prime?
True
Let t(g) = -7*g - 6. Let d be t(-2). Is 24/d - (-228 - 2) prime?
True
Is (-160 - -11)*1/(-1) a prime number?
True
Let j = 850 + 69. Is j a prime number?
True
Let w(o) = 7 - 3*o**3 + 0*o - 9*o**2 - 7*o + o**3. Is w(-6) a prime number?
True
Let n = 10 - 7. Is (-11)/(114/39 - n) prime?
False
Let d(y) = -y**3 - 10*y**2 - 10*y. Let h be d(-9). Let s = 4 - 1. Suppose -k - 11 = -2*t - 0*k, -t - s*k = -h. Is t a composite number?
True
Is -6*1/(-27) + 19094/18 a prime number?
True
Suppose -4*t + 29 - 5 = 0. Let m(b) = -5*b + b**2 - 6*b**2 + 7 + b**3 + 0. Is m(t) a prime number?
True
Let f be 2*(-3)/(-6) - -3. Let n = 1 + f. Suppose n*u = -38 + 93. Is u a prime number?
True
Suppose -2*y = y - 1551. Is y composite?
True
Let h be ((-4)/10)/((-3)/(-30)). Let b(l) = -3*l - 3 - 2*l - l - 2. Is b(h) a prime number?
True
Let h(v) = 4*v + 8 - 2 - 5*v. Let z be h(4). Suppose -2*w - 8 = -3*l, -z*l - 4 = w - 7. Is l prime?
True
Let i = 12 + 91. Is i prime?
True
Let m(o) = -o**2 + 20*o - 15. Let i = -9 + 19. Is m(i) a composite number?
True
Is (3196/(-2) + -1)*(-2)/6 a prime number?
False
Let b be (-1 - 6)*6/7. Let s(h) = h**2 + 7*h + 3. Let u be s(b). Is 42 - ((-9)/u + 0) composite?
True
Let i = 3168 + -1745. Is i prime?
True
Let w(j) = -j**3 - j + 9. Suppose t + 5 = 2*v, 5*v + 4*t = -7 - 13. Let x be w(v). Suppose 332 = 4*n - 2*c, -2*n + 157 = -2*c - x. Is n a composite number?
False
Let p be (-8050)/(-18) - (-4)/(-18). Let w = 651 - p. Suppose -w = -6*v + 2*v. Is v a composite number?
True
Let t(i) = -i**2 + 4. Let b be t(0). Let s = 1423 - 945. Suppose -5*z - p + 3*p = -601, b*z - 3*p = s. Is z a prime number?
False
Let r(a) = 20*a - 2. Suppose 0*y + 5*n + 35 = 3*y, -4*y + 8 = 3*n. Let s be r(y). Is s - (3 + -2)*1 prime?
True
Let o(s) = 148*s + 1. Let a be (-4)/18 + 312/(-54). Let f = 7 + a. Is o(f) composite?
False
Is 2/(-4) - 14/(-28) - -37 composite?
False
Let y = -11 - -9. Let z be y/(-11) - (-72)/(-33). Is (-15)/z*(-20)/(-25) prime?
False
Suppose -l - 16 + 1 = 0. Let u = l - 