- -45. Is o a prime number?
True
Suppose 11*k + 2073 = 14*k. Is k prime?
True
Let a(r) = 82*r - 31. Is a(14) a prime number?
True
Let y be (-115)/(-2)*(-112)/(-70). Let d = y - -77. Is d a prime number?
False
Let o = -1 + 4. Suppose 5*x = -20, 4*x + 27 = 2*w + o. Suppose w*b - 17 = 2*k + 181, -3*b + 148 = -k. Is b a composite number?
True
Let s(w) be the first derivative of w**2/2 + w + 3. Let i be s(4). Suppose b = i*u + 44 - 303, u - 55 = b. Is u prime?
False
Let y be ((-36)/(-6))/(-1 + 2). Is (-6 - -4)*(-867)/y prime?
False
Let b = 176 + -82. Suppose -b = 3*r - 331. Is r composite?
False
Let q = 25 - 14. Is (-2)/(-3 + 32/q) prime?
False
Let w be 1*(-2)/(-1) + -4. Let f be (-1)/(w/(-1 + 65)). Let p = 17 + f. Is p prime?
False
Let g = -1167 - -2524. Is g composite?
True
Suppose 0 = -3*o + 2688 + 4689. Is o prime?
True
Let o(h) = 17*h**2 + 5*h + 7. Is o(-3) a prime number?
False
Let z = -6 + 7. Is 143 + 0/(z + -5) a composite number?
True
Let y = 85 + -48. Is y a prime number?
True
Suppose 742 = 4*c + 106. Let q be 3/5 + (-383)/5. Let t = c + q. Is t composite?
False
Is 1847 + -3 + 15/5 composite?
False
Let z(a) = 32*a**3 - a**2 + 2*a + 1. Suppose 6*u = -2 + 14. Is z(u) a composite number?
False
Let x(a) = -a**3 - 6*a**2 - 4*a + 7. Let u be x(-5). Suppose 2*l + u = 20. Is l a composite number?
True
Let v(u) = u**3 - 12*u**2 + 15*u - 13. Let a be (-1)/(-1 + 30/33). Is v(a) a prime number?
True
Let o = 196 - -217. Is o composite?
True
Let f(b) = -b**3 - 11*b**2 - 10*b + 13. Let t be f(-10). Let n = t + -19. Is (-114)/(-4)*(-8)/n composite?
True
Let u(z) = -4*z + 7*z - 1 + 5 + 8*z. Is u(3) prime?
True
Let b be -2 + 3 + (-2 - 1). Suppose -4*g = -0*g + 12. Is g/(((-2)/(-19))/b) prime?
False
Suppose -4 = 4*u, -2*s - 5*u + 0 + 3 = 0. Suppose -t - 79 = -3*v + 289, 3*t = -s*v + 495. Is v a prime number?
False
Suppose -1279 = -2*s - 4*l + l, 5*l = 2*s - 1255. Is s a composite number?
True
Suppose 2*a = -2*h, 7 = -2*a - 0*a + 5*h. Let v be (a/2 - -1)*0. Suppose 0 = 2*l + 5*s - 35, v = -10*l + 5*l - s + 122. Is l prime?
False
Is -1 - (-337)/(-2)*-4 prime?
True
Let h be (-2)/(-1 + (-3)/(-5)). Let l = -8 - -6. Let k = h + l. Is k prime?
True
Let a = 397 - 190. Let p(k) = -k**2 - 15*k - 6. Let c be p(-11). Suppose h = a - c. Is h a prime number?
False
Let d = -277 - -480. Is d a prime number?
False
Suppose 2*o = -2*o + 52. Let h = 18 - o. Let b(c) = 16*c - 3. Is b(h) a prime number?
False
Let r = -1 - -3. Suppose -2*z = -28 + r. Is z a prime number?
True
Suppose 2*j + p + 21 = 6*j, 0 = 3*j + 5*p - 10. Suppose 11 + 39 = j*f. Is f prime?
False
Let o be 3*(1 - 2)*-1. Suppose 3*n - 8 = 2*d, 4*d + 0*n - 4*n = -8. Suppose l - 52 = -o*v - v, 3*v + d*l - 34 = 0. Is v prime?
False
Let f(y) = y + 4. Let k be f(-4). Suppose 2*z - 61 = -5*q, k*q - 3*q = -3*z + 102. Is z a composite number?
True
Suppose -3*w - 4*j = -2848, -3*j + 3262 = 3*w + 412. Suppose -4*k + 370 = 2*n, -n - 4*n = k - w. Is n a prime number?
True
Let a = -1 - -2. Let f = 2 - a. Is 0 - f*(-89 - 0) prime?
True
Let v(c) = c**2 + 6*c + 4 + 2 + 1. Is v(-8) a composite number?
False
Suppose 2*b - 116 = -c + 5, 0 = 5*c + 5*b - 620. Is c prime?
True
Suppose -2*h + v + 16 = 4*v, -v = -2*h. Let k(p) = 14*p - 5. Let b be k(5). Is (b - 0) + -2 + h a prime number?
False
Suppose -4*n = -15 - 73. Suppose -o - 5*a + 31 = 0, -40 = -2*o - 4*a + n. Is o a composite number?
False
Let l(b) be the second derivative of -5*b**4/6 + b**3/6 - 3*b**2 - b. Let p be l(6). Let x = 611 + p. Is x prime?
True
Let x(k) = k - 11. Let g be x(11). Suppose 2*j + 3*j = g, 2*j + 15 = -3*y. Let q = y - -9. Is q prime?
False
Let x(b) = -b + 11. Let n be x(8). Suppose -n*v + 6*v = 174. Is v prime?
False
Suppose -4*d + 1071 = -245. Is d composite?
True
Let k(s) be the third derivative of s**5/60 - 11*s**3/6 - 2*s**2. Is k(-8) a prime number?
True
Let h = -12 - -8. Is (-46)/(h - (-40)/12) prime?
False
Let w(m) = -2*m**3 - 12*m**2 - 7*m - 10. Is w(-11) a composite number?
False
Suppose -3*v = -2*y + 9, -v = 5*y - 0*v - 14. Let m(k) = 40*k - 1. Is m(y) composite?
True
Let t be (3 + -2)/(1/63). Let j = -89 + t. Let c = j - -49. Is c a composite number?
False
Suppose 46 + 4 = -2*n. Let z = n + 62. Is z composite?
False
Is 4 + (-420 + -3)/(-3) composite?
True
Suppose 4 = 2*h - h. Let c(l) = -l**3 + 3*l**2 + 3*l + 1. Let g be c(h). Is 11/(g/(-9) + 0) composite?
True
Let v(p) = -17*p + 10. Suppose 2*z + 6 = 16. Suppose 0 = -y - 4, 5*y + 1 + z = 2*f. Is v(f) a composite number?
True
Suppose -w - 18 = 2*w. Let g(r) = r**2 + 7*r + 4. Let x be g(w). Is (-3)/(-6)*x - -32 composite?
False
Is (2 - (-4)/(12/(-9)))*-1823 a composite number?
False
Is 223 - -3 - 15/5 prime?
True
Let o(p) = 15*p**3 - 3*p**2 - 3*p - 1. Let y be o(-2). Let c = 166 - y. Is c prime?
True
Let r(g) = -g + 13. Let u be r(-6). Let t = -10 + u. Is t a composite number?
True
Suppose -470 = -2*n + 2*f, -5*f = -4*f - 4. Is n a prime number?
True
Suppose 52*x - 1052 = 48*x. Is x composite?
False
Let d(c) = 7*c**2 - 4*c + 9. Let b(f) = -4*f**2 + 2*f - 4. Let t(v) = 5*b(v) + 3*d(v). Is t(6) composite?
False
Let k = 972 - 1750. Let r = k + 1227. Is r a prime number?
True
Suppose 5*i = 2*m - 455, 2*m - 3*i + 244 = 3*m. Is m prime?
False
Let b = -1 + -5. Is 0 + 1 - 9*b a prime number?
False
Let l(d) = -16*d - 3. Let o(q) = q**3 + 7*q**2 + q + 3. Let f be o(-7). Let c(u) = -17*u - 4. Let w(j) = f*c(j) + 5*l(j). Is w(-2) a prime number?
False
Let o(c) = 12*c - 7. Let a(h) = -2*h + 1. Let b be a(-2). Is o(b) prime?
True
Suppose 0 = -d - 2 + 5. Let s be (-2 - (0 + -1)) + 259 + 8. Suppose -6*g + d*g = -u - s, -4*u = 3*g - 241. Is g prime?
False
Let m(t) = t**3 + 9*t**2 - 5*t - 7. Is m(-9) a prime number?
False
Suppose 0 = 5*y - 8*y + 4539. Is y prime?
False
Let j(w) = w**2 + 9*w + 10. Let a be j(-8). Let v(k) = -5 - 2 + k**3 + 2*k - 2*k**a + 0. Is v(6) a composite number?
False
Is (318/(-3))/((-10)/25) prime?
False
Suppose -7*n = -2*n - 5*w - 2400, 4*w + 950 = 2*n. Is n a composite number?
True
Suppose 5*w - 183 - 722 = 5*j, j + 2 = 0. Is w a composite number?
False
Let m = 492 - 325. Is m a prime number?
True
Is (-2)/8*-2*-409*-4 prime?
False
Suppose -w - 4 = -2*f, 15 = -4*w - 5*f + 38. Suppose 0 = -7*x + w*x + 55. Is x composite?
False
Let r(z) = 15*z**2 - 4. Is r(-3) composite?
False
Let q(x) = 8*x**2 - 1 - 9*x**2 + 26*x - 18*x. Suppose b = -0 + 6. Is q(b) a composite number?
False
Let p(h) = 4*h - 5*h**3 - h**3 + 3 + 3*h**3 - 5*h - 6*h**2. Is p(-5) prime?
True
Suppose 4*i = -16, -3*s - 3*i = -6*s + 441. Is s prime?
False
Suppose r - c + 1255 + 2878 = 0, -3*r - 12411 = c. Let d be r/(-18) - 4/(-18). Suppose i = -i + d. Is i a prime number?
False
Suppose 2*x = 3*o - 732, -7*x - 488 = -2*o - 2*x. Suppose 5*v - 1258 = -w, 5*v + 5*w + o - 1514 = 0. Is v a composite number?
False
Let v be 2/6 - (-2)/(-6). Let b(j) = 7*j**2 + 1 + 0 + v + 4*j. Is b(-4) a composite number?
False
Suppose 8*u - 3*u = 52775. Is u composite?
True
Is 0 - -14 - (4 - 4) composite?
True
Suppose o - 2*z = 33, -4*o + 43 = -3*o - 4*z. Suppose 2*d - o - 3 = 0. Is d prime?
True
Let w be (-6)/(-4)*(-12)/(-2). Let z = w + 0. Suppose z = -2*b + 139. Is b a composite number?
True
Suppose -2*a + 1123 = 3*p, -2*a + p + 2*p + 1105 = 0. Is a a composite number?
False
Suppose 2*v + 3*o + o = 0, -18 = -4*v + o. Suppose 3*z + 2*c = 17, -v*c = -4*z - 7 + 23. Is (-10)/25 + 37/z composite?
False
Suppose 10 = 4*k + 2. Suppose -h + 3 = -0*h. Suppose t - 3*v = 49, -2*t - h*v + k*v = -63. Is t prime?
False
Let x(y) be the third derivative of -7*y**4/8 + 5*y**3/6 + 2*y**2. Is x(-6) prime?
True
Let d be (372/(-9))/((-1)/15). Is d/(-8)*(-12)/10 a composite number?
True
Let o be -5*(28 + (-4)/(-2)). Is 6/2 - (-4 + o) a composite number?
False
Is 7*-5*(66/(-10) - -6) composite?
True
Suppose 11*g - 259 = 4*g. Is g composite?
False
Suppose -r + 188 = -3. Is r a composite number?
False
Suppose 4*x - 2*n = 876, -n + 7 = -x + 226. Is x a composite number?
True
Suppose -b - 18 - 14 = 0. Is 2/(-2 + b/(-14)) a composite number?
False
Suppose 5*z + i - 11 = 0, i = 3*z - 3 - 2. Is 148/z - (-2 - 1) prime?
False
Let d(v) = -2*v + 2. Let r be d(2). Let s = 0 - r. Suppose 36 = s*o - 2*q, 11 = 2*o - 4*q - 23. Is o a composite number?
False
Let a = -9 - -14. Suppose -2*b