a prime number?
True
Let o = -1209 - -2392. Suppose -2*q - 4*g + 802 = 0, g - o = -q - 2*q. Is q a prime number?
False
Let w = 15846 + -11095. Is w composite?
False
Let i(d) = d - 11. Let u be i(12). Suppose 2*q - 3*h + 1 = q, -h - u = q. Is q/((-2)/(-6)) - -82 composite?
False
Suppose 2*u + 3*p + 10 = 7*u, 2*u - 4 = p. Is (-13064)/(-40) - u/(-5) a composite number?
True
Suppose 2*z - 1 = 23. Suppose 0 = 16*c - z*c - 1588. Is c a prime number?
True
Suppose -409848 = 3*b - 27*b. Is b composite?
False
Let z(y) = 18895*y**2 + 4*y + 2. Is z(-1) composite?
True
Let x(j) = 77*j**2 - 84*j - 40. Is x(11) prime?
True
Suppose -2*i + 30 = -3*p, -3*i + 60 = i - 4*p. Suppose 5*f + i = 0, 3*f - 1697 = -3*b + 5293. Is b composite?
False
Suppose 2*f = 7*f - j + 23, f = -5*j + 11. Let r(p) = p + 25. Let v be r(-14). Let b = v + f. Is b a prime number?
True
Let f(q) = -2*q**2 + 6*q + 3. Let x be f(8). Let o = -70 + x. Is 1/1 + (9 - o) a prime number?
True
Let d(g) = g**2 + 10*g - 6. Let k be d(-11). Suppose -2*i + k*i - 327 = 0. Is i composite?
False
Let w = 5613 + -580. Is w a composite number?
True
Suppose -5 + 29 = -2*k. Let j = k + 16. Suppose -j*s = 183 - 1075. Is s composite?
False
Let v(t) = 3*t + 3. Let o be v(4). Let y = 18 - o. Is (2 - y) + 191 + 1 composite?
False
Let q = 11732 - 7653. Is q composite?
False
Suppose -5*j + 2947 = 3*b, -3924 = -4*b - 6*j + 2*j. Is b prime?
False
Let q(v) = -48*v - 80*v + 29 - 114*v - 96*v. Is q(-3) a prime number?
False
Suppose -10*q - 3636 = -13*q. Suppose q = 2*r - 170. Is r prime?
True
Let f(p) = -123*p. Let l be f(-7). Suppose -8*m + 25 = -3*m. Suppose m*z - z - l = -3*g, 0 = z. Is g a prime number?
False
Let l = -18 - -23. Suppose 0 = i + 2*z - 8, -47 = -l*i - 3*z + 21. Is (1 - 3)/(i/(-424)) composite?
False
Is ((-6)/(-15))/(((-8)/6805)/(-4)) a composite number?
False
Suppose 4*h - 6*h + 5*l + 4333 = 0, -2*h + 3*l = -4343. Is h a prime number?
True
Suppose s - 4*o - 771 = 0, -4*o - 469 = -3*s + 1868. Let b = 1416 - s. Is b a composite number?
True
Let c = -12 - -14. Suppose -218 - 308 = -c*x. Is x a composite number?
False
Suppose 2 = 4*w - 4*n + 14, 0 = -w - n + 1. Let a(d) = -4*d + 1. Let t be a(w). Suppose -12 = -4*x, 0 = b - t*x - 3 - 8. Is b a composite number?
True
Let b(z) = -z - 7. Let w be b(9). Let j = -11 - w. Suppose 0 = q - 3*t - 156, -421 = -j*q + t + 289. Is q a prime number?
False
Let q(f) = -29*f**2 + f + 1 - 11 + 13*f**2 + 17*f**2. Let w be q(3). Suppose -w*z + 196 - 48 = 0. Is z prime?
False
Suppose 0 = -f + 2*b + 19907 + 3096, b = -f + 23009. Is f prime?
False
Let u(c) = 2*c**3 - 3*c**2 - 15*c + 39. Is u(8) composite?
False
Let q(j) = -j**3 + 5*j**2 + 7*j + 59. Let n(c) = -3*c**3 + 14*c**2 + 20*c + 177. Let k = -29 - -12. Let m(s) = k*q(s) + 6*n(s). Is m(0) a composite number?
False
Let h(q) be the third derivative of 5*q**5/6 + q**4/12 - q**3/3 - 12*q**2. Is h(-2) prime?
False
Let z(a) = 5049*a + 920. Is z(6) a composite number?
True
Let p = 42 - 38. Suppose 131 = 5*o - p*o. Is o a composite number?
False
Let w = 94781 + -34602. Is w composite?
True
Suppose -178505 + 13560 = -55*q. Is q composite?
False
Suppose 3*g = -3*c + 21106 + 38909, 100025 = 5*c - 3*g. Is c composite?
True
Suppose 5*r - 6990 = -r. Is r/(-5)*7*-1 a composite number?
True
Let n(i) = -i**3 + 6*i**2 - 2*i - 17. Let r be n(5). Let m = 5 + -3. Is m/(r*(-1)/289) a composite number?
True
Let v = -114 + 105. Let o(k) be the second derivative of -k**5/20 - 7*k**4/12 + 2*k**3 - k**2/2 + k. Is o(v) a composite number?
False
Let k = -1564 - -3597. Is k composite?
True
Let t(j) = 16*j**3 - j**2 - 3*j - 1. Let r be t(-1). Let v(d) = d**2 + 21*d + 2. Let q be v(r). Let c = 839 + q. Is c composite?
False
Let f(p) = 68*p. Let d = 20 - 13. Let k be f(d). Suppose s = -3*s + k. Is s a prime number?
False
Let g = 5812 + -3179. Is g a prime number?
True
Suppose 3*m - 3*d = 18, -5*d = -3*m - m + 29. Let w = -1 + m. Suppose w = -3*g + x + 1112, -g = -2*x - 507 + 138. Is g a prime number?
False
Let s = 1816 - -6093. Is s prime?
False
Is (-767225)/(-15) - (-12)/18 composite?
True
Let w(k) = -5*k + 383. Is w(0) prime?
True
Let a(g) = 112*g + 5. Suppose 16*t + 24 = 20*t. Is a(t) composite?
False
Let r(z) = -223*z + 319. Is r(-6) a composite number?
False
Let k(i) = -3*i - 4. Let w be k(-3). Let n(a) be the second derivative of -a**4/12 + a**3 - a**2/2 + 13*a. Is n(w) composite?
True
Suppose -842*n + 407 = -841*n. Is n a prime number?
False
Suppose -5*x - 9 = -8*x. Suppose 1030 = x*h - 1361. Suppose -4*r - 1060 = -4*u, 0*u - 4*r - h = -3*u. Is u a composite number?
False
Suppose 2*k = 5*k - 1788. Suppose 0 = 4*f - 0*f - k. Is f a prime number?
True
Let r(p) = 0*p + 17 - 13*p - 9*p. Is r(-5) composite?
False
Let m = 574 - -567. Is m a composite number?
True
Let m = -865 + 1606. Suppose -2*t + 7*t = l + m, -2*t + 302 = l. Is t composite?
False
Suppose 3*o = 4*o + 3*x - 58, x - 56 = -o. Suppose 4*n - 3*n = o. Suppose -2*v - 252 = -2*g, n + 202 = 2*g + 3*v. Is g composite?
False
Suppose 0*f - 5*f + 50 = 0. Let g(m) = 12*m - m**3 + 10*m**2 + m - 18 + 15 + 0*m**2. Is g(f) a prime number?
True
Let w(v) = v**3 - 7*v**2 + 15*v - 24. Let o be w(7). Let r be (-52)/(-14) - 2/(-7). Suppose -2*z + 180 = -l - 0*l, z - o = -r*l. Is z prime?
True
Let j = 2273 + -1330. Is j a prime number?
False
Let x(n) = 7*n**3 + 30*n**2 - 35*n + 3. Is x(17) a composite number?
True
Suppose 2*a = -8 + 26. Suppose 2*v = -v + a. Let z(u) = 29*u. Is z(v) a composite number?
True
Let p(s) = s**2 - 6*s + 11. Let f be p(6). Let l = -8 + f. Suppose -l*v + 91 = -227. Is v a composite number?
True
Suppose -p - 7 = -6. Is p*(-2)/(4/286) a prime number?
False
Let o = -40588 - -125279. Is o a prime number?
True
Suppose 16 = 6*i - 2*i. Suppose 11 - 43 = -i*b. Let h = 155 + b. Is h a prime number?
True
Suppose j - 5 = -1. Suppose -5*u + 388 = -j*o, -5*o - 234 = -3*u + 4. Suppose -2*a = -u + 2. Is a prime?
True
Let g(x) = 25*x**2 - 3*x + 9. Suppose 0 = -0*h + h - 2*w - 17, 2*h + 4*w = 18. Let u = 8 - h. Is g(u) a composite number?
True
Suppose -5*b + 826 = 5*s - 1359, -2205 = -5*s + 5*b. Is s prime?
True
Suppose -17*f = -14*f - 9. Suppose -n + f*h + 30 + 251 = 0, n + 4*h = 309. Is n composite?
False
Suppose -2*t - 2*j - 258 = 0, -t - 52 = -5*j + 59. Let l = t - -893. Is l prime?
False
Let o be (2 + -7)*-1 - 151. Let y = o + 267. Is y a prime number?
False
Let b(k) = -1 + 85*k + 139*k + 60*k - 2. Suppose -w = 4*f - 13, 4*w = f + 14 + 4. Is b(f) a composite number?
True
Let l be 0/((-2)/(-3 - -2)). Suppose l = -2*z + 7*z + 5*f, 4*f = 5*z - 18. Suppose x - 2*i = 187, 6*x - i = z*x + 713. Is x a composite number?
True
Let t(f) = f**3 + 9*f**2 + f - 33. Let x be t(23). Suppose -7*d = -9*d + x. Is d composite?
True
Suppose 10*l - 2667 = 7*l. Is l a prime number?
False
Let m(u) = 2*u**2 - u + 191. Let p(b) = -3*b**2 + 2*b - 382. Let s(l) = -7*m(l) - 4*p(l). Is s(0) a composite number?
False
Suppose -27*y - 685118 = -41*y. Is y a prime number?
False
Is (-2)/(-13) + 115495/65 - 0 prime?
True
Let u = -1115 - -3351. Let w = -1469 + u. Is w prime?
False
Suppose 5*i + 5*q = 25, i - 5*q = -4*i - 5. Let l = -12 - -12. Suppose f = p + 14, l*f + p = -i*f + 28. Is f a composite number?
True
Let z(a) = 2*a**2 + 2*a - 17. Let d be (16/(-20))/((-14)/(-175)). Is z(d) a prime number?
True
Suppose -21 = -7*t + 7. Suppose -4*p = -t*o + p + 1309, 0 = -4*p + 12. Is o a prime number?
True
Let h(z) = -2*z**3 - 3*z**2 - 3*z - 2. Let j be h(-2). Let l be ((-10)/(-3))/(j/12). Suppose -p - 5*x + 3 + 26 = 0, l*x = 5*p - 25. Is p prime?
False
Suppose -j - 4 = -8. Suppose -j*f + 332 = -2*f. Suppose 93 = l - f. Is l prime?
False
Let n(b) = 3126*b**2 + 21*b - 138. Is n(7) composite?
True
Let t(l) = 66*l**2 + 2*l + 3. Let v be t(-3). Let a(n) = -n - 13. Let h be a(-18). Suppose -v = -h*f + 1084. Is f composite?
True
Suppose 7*m = -3*m + 54610. Is m prime?
False
Let t(z) = 97*z**2 - 10*z - 12. Let o be t(9). Suppose 0 = -5*l + 20*l - o. Is l composite?
True
Let i = 5387 - -21800. Is i composite?
True
Suppose -8*k - k - 8631 = 0. Let y = -470 - k. Is y composite?
True
Let i = 941 - -68. Is i composite?
False
Suppose 3*s - 3*a = -s + 2056, -5*s + 2570 = 2*a. Is s a prime number?
False
Suppose 4*l - 40 = -2*h, -2*l - 2*h + 16 = h. Sup