osite number?
False
Let g be (-1106)/(-6) + (-2)/(-3). Let i = g - -1008. Is i a prime number?
True
Let d = 10 - 6. Is 53/(4/48*d) a prime number?
False
Suppose b = -l + 1275, l - 5116 = -4*b + 5*l. Is b a composite number?
False
Suppose 5*g + 5*k = 17125, -4*g + 13665 = 3*k - 6*k. Suppose -2*f + n = 3*f - g, -3*n - 15 = 0. Is f composite?
False
Let h be 5/5*(-12)/(-2). Is 2/h*9*(6 + 47) composite?
True
Suppose v + 7 = 3*l, -l + 2*l = 4*v - 16. Let o(q) = 2 - 6 + 2 - v*q + 3. Is o(-5) prime?
False
Suppose -c - 16 + 19 = 0. Suppose 1833 = -c*z + 6*z. Is z a prime number?
False
Suppose -11*n - 2*n = 104. Let v(l) = 8*l + l**2 - 11 - 8*l. Is v(n) prime?
True
Suppose -13293 = -63*a - 1890. Is a composite?
False
Let t(k) = k. Let n = 10 - 3. Let a be t(n). Suppose 0 = -a*o + 4*o + 111. Is o a composite number?
False
Let z = -2683 - -4866. Is z composite?
True
Let j = 2209 + -1320. Suppose -v + 396 = -j. Is v prime?
False
Let q(y) = y**3 + y**2 + 2*y + 3119. Is q(0) prime?
True
Suppose 21*m = -6*m + 345897. Is m prime?
False
Let b(z) = -z + 15. Let m be 9/(4/1 + -3). Is b(m) a prime number?
False
Suppose 5*q - 4*h = 66, 54 = 4*q - 4*h + 2*h. Let t be (1 - 2)/(1/(-25)). Suppose f = t + q. Is f composite?
True
Suppose 11*k + 5332 = 15*k. Is k prime?
False
Is -1 - -3 - 1 - (-14428 + -2) composite?
False
Let j = -25959 - -11396. Let c = j - -21054. Is c a composite number?
False
Suppose 214*d = 200*d + 25438. Is d composite?
True
Let j(f) be the second derivative of f**5/20 - f**4/3 + 5*f**3/6 - f**2/2 + f. Let a(w) = -w**2 - 8*w - 7. Let b be a(-6). Is j(b) composite?
True
Suppose -i + 654 = -228. Suppose -9*j + 6165 = i. Is j composite?
False
Let o(u) = -11*u**3 - 2*u**2 - 2*u + 2. Let s be o(-5). Let f = -796 + s. Is f composite?
False
Let l = -94799 + 141526. Is l a prime number?
True
Suppose -2*x = 2*l - 5988, -3*x - 9 = 6. Is l a composite number?
False
Is 130/52 - (-58113)/2 a composite number?
False
Let n(v) = -1 - 3 - 6*v + 4*v. Let o be n(-7). Suppose 0 = 4*w - o*w + 1164. Is w prime?
False
Suppose -3280 = 9*g - 14*g. Suppose 4*s + 5*p - 1135 + 222 = 0, 0 = 3*s - 2*p - g. Is (13/(-3))/((-2)/s) composite?
True
Let p be (651 - 0)*(-18)/27. Let i = 701 + p. Is i a composite number?
True
Suppose -2*k + 330 = -4*g, 2*k + g - 170 - 170 = 0. Is k a composite number?
True
Let d = 25 + -23. Let u = -34 + d. Is 48/u*(-1 + -21) composite?
True
Let j = 1519 + -722. Is j a prime number?
True
Suppose 43*j - 48*j + 55860 = x, -4*x = 2*j - 223422. Is x composite?
True
Let c(j) = -222*j + 1. Suppose -1 = t - 0. Let a be c(t). Let x = a + -68. Is x a composite number?
True
Let m(v) = -21 - 34 - 2*v**3 + 16*v**2 + 46 + 6*v. Is m(7) prime?
True
Let d = -3218 - -11821. Is d composite?
True
Let a(n) = -23*n**2 - 6. Let x be a(-5). Let p = 738 - x. Is p a composite number?
False
Suppose -4*g - 180 = -9*g. Suppose n + 2*n = 12. Suppose -3*k - g - 41 = -h, n*k + 144 = 2*h. Is h a prime number?
False
Suppose h - 5*q + 1039 = 5*h, -2*h = 2*q - 522. Suppose -4*b + 494 = -h. Suppose b = 2*t + 3*t. Is t a composite number?
True
Suppose -3*f - 108 = f + 3*d, -3*f = d + 81. Let o be 4/(-18) - 1005/f. Is (-2 - 0)*o/(-2) a composite number?
False
Let p(b) = -b**3 - 71*b**2 - 336*b - 17. Is p(-66) a prime number?
True
Let l(s) = 124*s + 15. Let k be l(-3). Let j = -66 - k. Is j a prime number?
False
Is 42/15*1655 + 3 a composite number?
False
Suppose 0 = -o + 4 + 8. Suppose -o = 5*c - c. Let k(y) = 75*y**2 - 2*y - 2. Is k(c) a prime number?
False
Let x be (-2472)/(-42)*7/2. Let g = x + 603. Is g composite?
False
Is (80/50)/(4/(-10)) - -14945 composite?
True
Let w(s) = 74*s**3 - 7*s + 90. Is w(5) prime?
False
Let q(t) = 186*t**2 - 2*t - 3. Suppose 0 = -4*k + 3*f - 7, -k - f = -0*k. Is q(k) prime?
False
Let p be (-10)/20*-1*4. Suppose -5 = -p*m - 1. Suppose -5*q = f - 191, -f - m*q + 3*q = -191. Is f composite?
False
Let w = 27 - -100. Is w a prime number?
True
Let o be (-10)/(-25) - 408/20. Is (-19768)/o + 12/20 prime?
False
Is (-2692)/(1 - -1)*2/(-4) composite?
False
Suppose -27*p = -25*p - 18182. Is p a prime number?
True
Let r = 101 + 15. Suppose -5*k - r = -7*k. Is k a prime number?
False
Let o(b) = -221*b + 3. Suppose -3*y - 3*t + 3 + 6 = 0, -3*y + 3*t = 21. Is o(y) a composite number?
True
Let d be (2/(-6))/(7/(-42)). Is -1*-257*(3 - d) prime?
True
Suppose -q - 6 = -4*q. Let o = 3 - q. Is (3 - -14 - o) + 3 composite?
False
Suppose 5*v + 6 = 31. Let p(d) be the first derivative of d**4/4 - d**3 + 3*d**2/2 - 6*d + 1. Is p(v) a composite number?
False
Is (-4)/(-6) - (-76095)/27 a composite number?
False
Suppose 296 = -0*n + 2*n. Suppose -153*h + n*h = -9745. Is h a prime number?
True
Let t(j) = 18*j**2 - 4*j - 22. Let x(m) = -m**3 + 6*m**2 - 6*m - 1. Let s be x(4). Let c be t(s). Suppose c = -5*f + 3337. Is f a prime number?
False
Let s be (1 - (-10)/15)*-3. Is (-2 - -1)*4965/s composite?
True
Let r = 34 - 22. Let u be 0/(r/(-4) + 1). Suppose x = -u*x + 118. Is x a prime number?
False
Let s(c) = -7*c - 3*c - 4 + 6 + 2*c + 3*c**2. Is s(-9) prime?
True
Let w(h) = 11*h + 5. Let f(s) = s**2 + 11*s + 5. Let x(a) = 4*f(a) - 5*w(a). Is x(-10) composite?
True
Suppose 7*n - 585 = 2*n. Let d = n - 20. Is d prime?
True
Is (-446278)/(-18) + (3 - (-377)/(-117)) a prime number?
True
Let z(x) = 35*x**2 - 8*x + 173. Is z(-18) composite?
False
Suppose -6*b + 18983 + 31675 = 0. Is b prime?
True
Let z = 24728 - 5659. Is z a composite number?
False
Let c(z) = 3*z**3 + 2*z**2 - 19*z + 59. Is c(17) a prime number?
True
Let t(z) = -z**3 + z**2 - 9*z + 12731. Is t(0) composite?
True
Suppose -g - 4*g = 0. Suppose 3*j - 4*j + 176 = g. Suppose 5*w - 1119 - j = 0. Is w a composite number?
True
Let d(o) = 66*o - 14. Let g be d(6). Suppose -612 - g = -2*w. Is w a prime number?
False
Suppose f - 6 = -f, -3*o - 3*f = 0. Let d = o + 5. Suppose -4*u = -d*u - 76. Is u a composite number?
True
Let l be 2*(-2)/(4/(-29)). Suppose 0 = -8*d - 1517 + 8893. Suppose 0 = 3*k - d - l. Is k composite?
False
Let o = 79 - 20. Is 24/(-12) - o*-1 composite?
True
Let x be 3/(-5) - (-9)/15. Suppose 3*m = 2*h + 5, 4*m + x*h = -h + 25. Suppose 5*g = -m*f + 500, 2*g = -3*g + 15. Is f composite?
False
Let s(c) = c**3 + 5*c**2 + 3*c + 1. Let p be s(-4). Suppose -p*v + 178 + 457 = 0. Is v a prime number?
True
Let j be 20/(-6)*(-15)/10. Suppose -27 = -j*l + 2*l. Let g(m) = 2*m**2 + 2*m + 11. Is g(l) a prime number?
True
Let m = 36 + -28. Let y be (3 + 604/m)*-4. Is y/(3 + (2 - 7)) a prime number?
True
Suppose 16*m - 2632 = 15*m. Suppose -3*h - 5*z = -m, -2*z - 2392 = -5*h + 2005. Is h a prime number?
False
Suppose 9*i = 11*i - 134. Suppose 3*y = i + 944. Is y composite?
False
Suppose -6*a - 10955 = -11*a - f, 4*a - 2*f - 8764 = 0. Is a composite?
True
Let z(i) = 1690*i**3 + i**2 - 6*i + 35. Is z(4) prime?
True
Suppose 0 = -f - 5*x + 27, 0*x = 2*x - 10. Suppose -2*c = f*c - 648. Suppose -2*o + c = -0*o - 3*d, 4*d - 190 = -2*o. Is o a prime number?
False
Let x(r) = -554*r + 93. Is x(-5) composite?
True
Let z be (8 - 8)/(2 + 0). Let q = z - -3. Is q composite?
False
Suppose -2*u - 9 + 15 = 0. Is (((-541)/u)/(3/9))/(-1) prime?
True
Let y be -81*(28/(-12))/7. Let x = 92 - y. Is x composite?
True
Let b = 1037 + -650. Suppose -4*k + 885 = 5*j, 5*k = j + j - b. Is j a prime number?
True
Let w be 4/(-10) + 6/15 + 10. Let n = w + 387. Is n a composite number?
False
Suppose -4*a = 4 - 192. Let o(r) = r**3 - 10*r**2 - 7*r - 10. Let x be o(11). Let y = a - x. Is y a composite number?
False
Let n(y) = 6*y**2 - 2*y - 7. Is n(-16) a composite number?
True
Let x = 24477 + -14554. Is x a prime number?
True
Suppose 1135 = z - 2*r, 2*z - 5*r - 1135 = z. Is z prime?
False
Let m = 1697 - 688. Is m a composite number?
False
Let g be (-4)/6*(14 + 186/(-12)). Let q be (1/1 - 2) + 2597. Is q/55 - g/5 composite?
False
Let z(j) be the first derivative of 109*j**3/3 - j**2/2 + 7*j + 16. Is z(-3) prime?
True
Let i = 24 + -9. Let x = -13 + i. Suppose x*s = 3*s - 485. Is s a prime number?
False
Let v = -5 + 9. Let t(u) = 84*u - 1. Is t(v) a prime number?
False
Suppose 0*f - 3920 = -4*f - 3*l, -3924 = -4*f - 4*l. Is f a prime number?
True
Let o(l) = -7098*l - 79. Is o(-4) a prime number?
False
Let j(x) = 3*x**3 + 18*x**2 - 18*x - 13. Let g(l) = -4*l**3 - 27*l**