posite number?
False
Suppose -647 = -10*c + 9*c. Is c prime?
True
Let d = 17 + -55. Let m = d - -89. Is m a prime number?
False
Suppose -4*r + 2540 = 4*j, 2*j - 3*j + 5*r = -623. Is j composite?
True
Let r(z) = 2*z - 7. Let o be r(6). Let i be 2/(-6) + 2216/24. Let v = i + o. Is v prime?
True
Let j(f) be the third derivative of f**6/120 - 7*f**5/60 - 5*f**4/12 - 5*f**3/3 + 2*f**2. Let y be j(8). Let w = 36 + y. Is w a composite number?
True
Suppose p - 365 - 115 = 0. Suppose -4*j - p = -4*k, -j + 560 = 5*k + 2*j. Is k a composite number?
True
Let s = 80 - 47. Is s a prime number?
False
Suppose 0 = -2*n - 2*j + 14, 2*n + 5*j - 7 = 22. Suppose -2*v + 25 = -b - 53, -n*b + 195 = 5*v. Is v prime?
False
Let z = -1 - 1. Let q be 1/z*(-8 + 4). Suppose -q*f = 4*x - 154, 3*x = -6*f + 3*f + 216. Is f composite?
False
Suppose 3*u + u - 3*c - 629 = 0, u - 156 = c. Is u prime?
False
Suppose -2*a + 6*a = 1744. Suppose 3*z - 5*h - a = 0, z - 150 = -5*h - 18. Let u = z + -51. Is u composite?
True
Let p = 1011 - 562. Is p a prime number?
True
Let n be 2/(2/3) + 2. Suppose 3*p + 2 = n. Is (-11)/(-2)*(p + 1) prime?
True
Suppose 31 = s - 26. Is s a composite number?
True
Suppose -s + 4*c + 39 = 0, -3*s + c + 117 = -0*s. Let a = s + 14. Is a a prime number?
True
Let g(a) = -a + 240. Let j be g(0). Let c = j - 82. Is c composite?
True
Suppose 4*j - 5*d + 12 = 0, -7*d + 14 = -3*j - 2*d. Is -6*3/j*-1 prime?
False
Is (3/12*-2)/(6/(-41196)) a prime number?
True
Let s(y) = -y**3 + 9*y**2 + y - 6. Let g be s(9). Suppose 2*a - g = -11, -274 = -2*v + 5*a. Is v a prime number?
True
Let n = -217 - -383. Is n a prime number?
False
Suppose 0 = -y - 5, 0 = q - 6*q + 4*y + 30. Suppose q*j = -0*j + 8. Is (2 - j)*1 + 69 a prime number?
True
Is 149/(-4*(-1)/4) a prime number?
True
Let j(a) = 120*a**3 - a**2 + a - 1. Is j(1) a prime number?
False
Let q be -1 + 2 + (-9 - -10). Suppose 0 = -2*p - 4*o + 230, 4*p + 0*o - q*o - 450 = 0. Is p a prime number?
True
Suppose -3*k - 8 = -0*c - 5*c, -2*c + 28 = 5*k. Suppose -s + 0 = -l - k, 0 = 3*l + 3. Suppose d - 188 = -s*d. Is d prime?
True
Let j = 574 - -864. Is j composite?
True
Let l(d) = d - 11. Let n(u) be the third derivative of u**4/4 - 9*u**3 - u**2. Let q(b) = -11*l(b) + 2*n(b). Is q(-6) a prime number?
True
Suppose 2 = 2*o + 10. Is (7/o)/((-4)/112) a prime number?
False
Is 24 - (15/(-20) - (-30)/8) composite?
True
Let h = 4992 - 1873. Is h prime?
True
Let x(c) = -c**3 + 3*c**2 - 2*c + 5. Is x(-9) a composite number?
True
Let v(f) be the third derivative of f**6/60 + f**4/24 - f**3/2 - 3*f**2. Let i(u) be the first derivative of v(u). Is i(1) a prime number?
True
Let m = -39 + 151. Suppose -78 - m = -5*p. Is p a composite number?
True
Let r(m) = 952*m**3 + m**2 + m - 1. Is r(1) a prime number?
True
Let g(r) = r + 12. Let w be g(-9). Suppose 0 = -4*h + w*h + 295. Is h a prime number?
False
Suppose -g = g + 12. Is (-3)/(g/170) + 2 a composite number?
True
Let t = 399 - 274. Suppose 0 = -6*o - t + 443. Is o prime?
True
Suppose 0*h - h + 6 = 0. Let d = -37 + 36. Is (d - -4)*158/h a prime number?
True
Let g(y) = 53*y + 33. Is g(8) composite?
False
Suppose 2*o - 316 = -84. Suppose -2*j = -o - 174. Is j a prime number?
False
Let w = 509 - 278. Let d = w - 14. Is d prime?
False
Suppose m - 10923 = -10*m. Is m composite?
True
Let f(u) = -u**2 + 5*u + 8. Let d be f(6). Suppose 6*h - 8 = d*h. Suppose 3*i + 33 = 3*k, -h*k + 5*i - 4 = -20. Is k prime?
True
Let r = 2449 - 728. Is r a composite number?
False
Let p = -123 - -220. Is p a composite number?
False
Suppose -y - 4*y = -355. Is y a prime number?
True
Let f = 5 + 0. Suppose 3*c = -2*c. Suppose -n + f*n - 12 = c. Is n a composite number?
False
Let n be 217 - 1*1/(-1). Let g = n - 55. Is g + (1 - 3/3) prime?
True
Suppose 4*h = 5*h - 172. Let v = -119 + h. Is v a prime number?
True
Let a = 49 + -35. Let n(g) = g**2 - 5*g + 10. Let y be n(7). Let m = y + a. Is m composite?
True
Let f = -91 + 234. Is f prime?
False
Suppose 100 + 12 = 2*q - 4*j, 0 = -q + j + 51. Is q a prime number?
False
Suppose -437 = -3*t + 5*h, -t - 5*h = 2*t - 457. Is t a composite number?
False
Suppose 0 = -5*c + c + 40. Let j = 4 + c. Is j/(-1 - -2) - 1 a composite number?
False
Let c = -10 - -12. Suppose 5*k = -3*b + 295, 4*k - 236 = -c*b + b. Is k a prime number?
True
Is 3235/(-10)*(-1 + -1) - 0 a prime number?
True
Let c(j) be the first derivative of 4*j**2 + 5*j + 3. Let h be 26/4 - 1/2. Is c(h) composite?
False
Is -3 - -5 - (-2 + -34) composite?
True
Let f be -2 - (9/3 - -335). Is -28*(f/16 + 3) composite?
True
Let n = 14 + -6. Is (n/(-4))/((-2)/35) prime?
False
Suppose -5*p - 125 = -10*p. Suppose -4*w + 237 = p. Is w prime?
True
Let m(v) = 2*v + 1. Let t be m(1). Suppose -4*y + 3*i + 10 = -2*y, -t*y = -i - 1. Is (y*1)/(3/(-267)) composite?
False
Let j(r) = r**2 + 6*r. Let q be j(-6). Is (-4)/(q - (-4)/(-26)) a prime number?
False
Let i(u) = -4*u**3 + u**2 - u + 2. Let z(f) = -9*f**3 + 3*f**2 - 2*f + 5. Let n(y) = 7*i(y) - 3*z(y). Is n(-3) a composite number?
False
Let q be (-13)/(-5) - (-2)/5. Suppose q*r + 3*t = -0*r, 0 = r + 5*t - 8. Is (r - -1)/((-7)/91) prime?
True
Let m(o) = -1469*o - 3. Is m(-1) prime?
False
Suppose -4*z = 2*m - 818 - 1140, 0 = -m + 3*z + 994. Suppose 6*a - m - 509 = 0. Is a a prime number?
False
Is (-2)/6 - (-764)/6 prime?
True
Suppose -4*z + 5*a + 82 = 0, -4*z + 3*z - 5*a + 8 = 0. Suppose 2*y - 32 = z. Is y a prime number?
False
Let d(s) = -s**3 - 4*s**2 + 1. Let t be d(-6). Let c = -50 + t. Is c a prime number?
True
Let y be 301/(2 + -2 + 1). Suppose 0 = 3*n - n - 3*d - y, -3*n - d + 446 = 0. Is n a prime number?
True
Let u be (-1 - 11)*57/(-6). Suppose 221 = 5*w - u. Is w prime?
True
Let s = 1049 + -654. Is s a composite number?
True
Suppose 3 = d - 3*y - 40, -3*y + 13 = d. Suppose -g + 51 = h, 4*g = -5*h + 40 + 168. Let a = g - d. Is a composite?
False
Suppose 0 = -2*y + 2*z - 18, 0 = 5*y - 0*z + 3*z + 53. Let w be (-444)/(-22) - y/(-55). Let a = 63 + w. Is a a prime number?
True
Let i be 0 + 1 + (1 - 1). Let k be (i + (-4)/(-6))*3. Suppose k*u = 4*a + 109, 1 = u - a - 21. Is u a prime number?
False
Suppose 0 = 2*w + w - 3. Let h = 1 - w. Suppose 5*a + 5*p = 35, -2*p + h*p = 5*a - 32. Is a a prime number?
False
Let c(l) = l**3 + l**2. Let j(n) = 3*n**3 + 11*n**2 + 7*n + 11. Let m be (-1)/(-1) - (6 + -3). Let f(o) = m*c(o) + j(o). Is f(-8) prime?
True
Is (-1)/5 - (-3768)/15 a composite number?
False
Let v = -1 + -1. Let n = v + 7. Suppose -n*k = -k - 764. Is k a composite number?
False
Let d(v) = -v + 11. Let z(f) = 10*f - 120. Let s(b) = -45*d(b) - 4*z(b). Let o(i) = 3*i - 7. Let j(p) = 13*o(p) - 6*s(p). Is j(6) composite?
False
Let k(w) = w**3 - 13*w**2 + 12*w + 8. Let d be k(12). Let c be 4/(d/30)*-1. Let y = 34 + c. Is y prime?
True
Let s = 723 - -428. Is s a composite number?
False
Suppose 0 = 5*v + 2*i - 423, i + i + 2 = 0. Is v prime?
False
Let f(d) = -d. Suppose -4*j - p - 13 = 0, 9*j - 4*j - 4*p - 10 = 0. Let c be f(j). Suppose c*o + 74 = 4*o. Is o prime?
True
Let z = 2 - 8. Let x be (-4)/(-6) + 34/z. Let p = x - -15. Is p a composite number?
True
Suppose -l + 2*j + 0*j = -4255, -2*l + 3*j + 8515 = 0. Is l a composite number?
True
Let k be 4*993/6 - 2. Let n = k + -355. Is n a composite number?
True
Let i(o) = o + 46. Is i(-7) a composite number?
True
Let t(o) = 34*o**2 - 2*o + 1. Let v be t(-5). Suppose v + 1204 = 5*n. Is n a prime number?
False
Let b(x) = -49*x**2 + 1. Let m be b(-1). Let l = m - -157. Is l composite?
False
Let g(d) = -d**3 + 3*d**2 + 3*d + 3. Let f be g(4). Is f/(2/(-72)) - -1 prime?
True
Suppose 4*r + 5*g - 880 = 895, 2*r - 5*g - 895 = 0. Is r a composite number?
True
Suppose -4*u = -8*u + 8. Suppose 0 = -2*n - f + 223, -4*n + u*f + 441 = -f. Is n composite?
True
Let t(m) = 4*m. Let u be t(5). Suppose -4*a - 4*r = -32, 6*a + 5*r - u = 5*a. Suppose 0 = j - 4*y - a, 42 - 1 = 3*j + y. Is j prime?
True
Is (-10)/(-6) - (-16840)/12 composite?
True
Suppose 0*n = n - 5. Let p(v) = v**3 - v**2 + 5*v + 8. Is p(n) a composite number?
True
Let k(j) = j**3 - j**2 + j + 10. Let s be 0 + 1 + -2 + -1. Let q be 6/9 + s/3. Is k(q) composite?
True
Suppose -4*c - 16 = b, 5*c + 40 = 2*b + 7. Suppose 0 = b*a - 261 - 479. Is a a composite number?
True
Let o be (4 + -1)/(3/(-9)).