composite number?
True
Let u(o) = o + 6. Let r be u(0). Suppose 0 = -5*p + m + 7, 4*p - 4*m + r*m = 14. Suppose -p*w + 360 = 3*y + 59, 82 = y - 3*w. Is y prime?
True
Suppose 3*c - 9795 - 1044 = 0. Is c prime?
True
Let c(k) = k**3 + 8*k**2 - 9*k + 4. Let t be c(-9). Suppose t*p - p - 861 = 0. Is p prime?
False
Let u be -9 - (-2 + 4) - -2. Let x be 7*2/(6/u). Is 11/((9/x)/(-3)) a composite number?
True
Let a(p) = 9*p**3 - 2*p**2 + 10*p + 2. Is a(7) prime?
True
Suppose -5*b = -16*b + 12661. Is b composite?
False
Let y be 2118/36 - 2/(-12). Suppose -5*x + 404 = y. Is x composite?
True
Suppose 5*d = -o + 958, -916 + 334 = -3*d - 3*o. Is d a prime number?
True
Let q(t) = -t**2 + 22*t + 6. Let p(d) = -d**2 + 9*d + 3. Let n be p(8). Is q(n) a prime number?
True
Let c be 2/(-3) - (-6)/9. Suppose 5*l = -c*o - 2*o + 339, 0 = 5*l - o - 333. Is l composite?
False
Let m = -48 + 68. Suppose -2*q = -4*q + m. Let h = 191 + q. Is h a prime number?
False
Let m(q) = 5*q + 6. Let y = 5 - 0. Is m(y) composite?
False
Suppose 0 = -4*m + 20, 5*q + 7*m - 2*m - 275 = 0. Suppose 0 = -4*f + q + 74. Is f a composite number?
False
Suppose -2*h - 4*q = -q, -4*q + 7 = 5*h. Suppose -4*t + 475 = -h*t. Suppose 2*u + 41 - t = 0. Is u composite?
True
Let j = 28 - 17. Suppose j*p - 318 = 8*p. Is p a prime number?
False
Let t(f) = -f + 49. Let u = 7 - 6. Let m = -1 + u. Is t(m) a prime number?
False
Let d = -290 + 451. Is d a composite number?
True
Let s be (-2)/4*(-1 - -1). Let n = 87 - 32. Suppose s = -4*i + 157 + n. Is i a prime number?
True
Let g = 21 - 22. Is (0 - g)*(72 + 5) a prime number?
False
Suppose -618 = u - 3*u. Is u prime?
False
Let f = 2821 - 1460. Is f composite?
False
Suppose 0 = 4*f - 3*f. Suppose 2*t + v - 1 = -25, 0 = 3*t + 4*v + 26. Let i = f - t. Is i a composite number?
True
Let x = -62 + 115. Is x composite?
False
Let x be ((-335)/2)/((-2)/(-4)). Is (-3 + 2)*(4 + x) prime?
True
Suppose 3*k + 2*p + 6 = -3*p, 4*p + 6 = -2*k. Let v(q) = -q**k - 5 + 0*q**3 - q**2 - 3*q - 3*q**2. Is v(-6) composite?
True
Let h = 766 - 213. Is h a composite number?
True
Let u(t) = 7*t**2 - 2*t + 7. Let h(b) = -3*b**2 + b - 3. Let c(z) = -10*h(z) - 4*u(z). Is c(3) a composite number?
True
Let u be 6/(-1 + (-3)/6). Let a be (-12)/u - (-1 + 1). Is (0 + a)/(-9)*-237 composite?
False
Let p(i) = -51*i - 1. Let f be p(-14). Suppose -v = -4*t + f, t - 182 = 7*v - 3*v. Is t a composite number?
True
Suppose 0*n = -2*n + 6. Suppose 8 = 6*h - 2*h, -n*m - 2*h + 139 = 0. Let z = 82 - m. Is z composite?
False
Let a = -14 + 29. Is a a prime number?
False
Let n(r) = 82*r - 3. Let d be n(4). Suppose -d = -0*h - 5*h. Is h a prime number?
False
Let j = 6925 - 3648. Is j prime?
False
Suppose -59 = 4*b + 5*k, 7*b - 4*b - 5*k = -88. Let o = 34 + b. Is o composite?
False
Let v be ((-3)/(-6))/((-2)/(-4)). Is (-52 - -3)/(0 - v) composite?
True
Suppose -3*g = -g - 6. Suppose -g*m + 4*z = -281, -5*m - z = z - 425. Is m a prime number?
False
Let h be 1/(-4) - (-469)/4. Suppose -h = -3*q + 1068. Is q a prime number?
False
Let m(z) = 2*z**3 - 6*z**2 - 2*z + 11. Is m(7) prime?
True
Suppose -8*p + 20*p = 66540. Is p a composite number?
True
Suppose 3*i = 12, -5*n + 426 = -4*i - 743. Is -2 + 3*n/9 a composite number?
True
Let k(x) = 3*x**3 - 11*x**2 + 6*x - 13. Let a(v) = -v**3 + 4*v**2 - 2*v + 4. Let h(j) = -7*a(j) - 2*k(j). Let s = 6 - 0. Is h(s) a prime number?
False
Let f = -5 + 11. Let k = 8 - f. Is ((-11)/3)/(k/(-30)) a prime number?
False
Suppose 0 = 7*u - 13495 + 5298. Is u prime?
True
Let v(m) = -2*m**2 + 5*m - 3. Let s be v(4). Suppose 25 = -2*l + 5. Is (-1558)/(-6) - l/s prime?
False
Let v = -630 + 1175. Is v prime?
False
Let p(x) = -63*x - 3. Let a be p(-2). Suppose -2*i + 30 = 5*h, -3*i - 3*h = -8*i + 106. Is a/5 - (-8)/i a prime number?
False
Let j(w) = w**2 - 6*w - 6. Let l be j(7). Let p = 6 - l. Suppose 6 = 3*b - p*g, b = 3*g - 2 - 0. Is b prime?
True
Let z be (-225)/(-12) + 1/4. Let y = z + 3. Is y prime?
False
Let f(g) = 2*g**2 + 0*g**2 + g + 2*g**2. Suppose 3*s + 3*i - 8 + 23 = 0, -4*s + 4*i = 4. Is f(s) a composite number?
True
Suppose 30 = x + 4*x. Suppose -2*s = -x*s + 332. Is s prime?
True
Let d(b) = 6*b**2 - 10*b + 9. Let k(l) = 7*l**2 - 10*l + 10. Let c(y) = 5*d(y) - 4*k(y). Let r(n) = -4*n - 4. Let f be r(-3). Is c(f) a prime number?
True
Suppose -b + 1 = -2. Suppose 0*k = -b*a + k + 53, -2*a = -k - 34. Is a a prime number?
True
Suppose -4*m + v = -2*m, 5*v = -m + 11. Suppose m = o, 3*b + o - 494 = -4*o. Is b prime?
True
Suppose -2*k + 7*k = 10. Suppose n - v + 40 = 2*n, -n + 42 = k*v. Suppose -87 - n = -5*o. Is o a composite number?
True
Suppose 2*t - 8 = 0, -3*t - 507 = -z - 8*t. Is z a prime number?
True
Let n = -39 + 82. Suppose -4*t + 3*w - n = -5*t, 2*t - 4*w - 106 = 0. Is t prime?
False
Let n be -3*(1 + 72/(-3)). Let w = 44 - n. Let y = w + 82. Is y a prime number?
False
Let g be ((-16)/(-6))/(12/18). Is 8*((-111)/g)/(-3) prime?
False
Let x = 50 + 1. Is x a composite number?
True
Let m(f) be the first derivative of 3 - 10/3*f**3 - 1/4*f**4 - 7/2*f**2 + 9*f. Is m(-10) prime?
True
Is 5/(0 - (-2)/194) a composite number?
True
Suppose 2*s = 1423 + 1663. Is s a composite number?
False
Suppose w = 2*w - 4, -3*w + 157 = 5*j. Let x be 92/22 + 2/(-11). Suppose -x*f + 159 = -j. Is f a prime number?
True
Is 130 - (3 + 1 - 1) a composite number?
False
Let f = -43 + 72. Suppose -z + 0*z - 1 = -u, 5*u + z = f. Suppose u*d = 2*d + 45. Is d prime?
False
Suppose i - 1043 = -0*i - 2*m, -m = 4*i - 4172. Is i prime?
False
Let t = 4 - 4. Let p = 4 - t. Suppose -895 = -3*g + 4*n, 0 = -0*g + g + p*n - 277. Is g a prime number?
True
Let z(i) = -2*i**3 - i**2 + 4*i + 2. Let d be ((-3)/(6/(-16)))/2. Suppose d = 4*b + 16. Is z(b) prime?
False
Suppose 0 = -5*p - 0*p + 40. Is (-8)/32 - (-1994)/p prime?
False
Suppose y + x + 387 = 1790, -2*x = 5*y - 7003. Is y a prime number?
True
Suppose 11*p - 51 = 8*p. Suppose -28 = l - 12. Let h = p - l. Is h a prime number?
False
Suppose -5*b - 5*r = 185, -4*b + 3*b - 21 = -3*r. Let y = 64 + b. Is y a prime number?
True
Suppose -8*b = -13*b - 270. Let l = 88 + b. Is l a prime number?
False
Let c = 5 - 3. Suppose 4 = -0*s + 2*s. Suppose -c*f + 156 = s*f. Is f composite?
True
Suppose -3*a - 2 = 3*v + 7, 3*v = 5*a + 15. Let t be (-1)/((0 + a)/(-3)). Let i(g) = -10*g. Is i(t) a composite number?
True
Suppose -12 = 3*c, 0*c = 4*j + c + 24. Is 110*(j/2)/(-5) a composite number?
True
Let s = 552 + -1029. Is 6/9*s/(-2) prime?
False
Let l(c) = c**3 + 6*c**2 + 7*c - 2. Let q be l(-5). Is (148/q)/((-1)/21) composite?
True
Suppose -5*y = 5*a - 1450, -3*y + 299 = -2*y - 2*a. Is y a composite number?
False
Suppose 6*d + 1245 - 6759 = 0. Is d a composite number?
False
Is (2 + -2)/4 + 13 a prime number?
True
Suppose -h = 72 - 419. Is h a composite number?
False
Suppose 4*k + z = 2*k + 5, 0 = 3*k - 4*z - 13. Suppose -5*s = -k*l + 1232, 0 = -3*l - 3*s + 1123 + 101. Is l a prime number?
True
Suppose 5*k - 305 = 105. Is k composite?
True
Suppose 5*a = 3*a + 4*d + 254, -2*a + 268 = 3*d. Is a a composite number?
False
Let n = 192 - 95. Is n prime?
True
Let r = 2741 - 1618. Is r prime?
True
Suppose 284 - 24 = 4*q. Is q composite?
True
Suppose 508 = l - 260. Suppose 0 = -2*g + 2*k + l, 2*k = -5*g - 3*k + 1890. Is g composite?
True
Suppose -u = -0*u. Suppose u = -3*t - 4*p + 157, -42 - 70 = -2*t + p. Is t prime?
False
Let g(x) = x**3 + 14*x**2 + 2*x - 13. Is g(-6) prime?
True
Suppose -2*k = -579 - 487. Is k a composite number?
True
Suppose -576 = -2*b + 6. Is b composite?
True
Let j = 1 - 2. Suppose -10 = -10*c + 30. Is j/c - 906/(-8) prime?
True
Is -2 + ((-47852)/(-4) - 4) prime?
False
Suppose 3*v - 2942 = 4135. Is v composite?
True
Suppose -y + 37 = 5*w, -4*w - y + 1 + 29 = 0. Suppose x - 4*q - 105 = 0, -3*x - 384 = -w*x - 2*q. Is x a composite number?
False
Let d(n) = 791*n**3 - n**2 + 1. Is d(1) composite?
True
Suppose 0*m = 3*m - 333. Suppose t - m = -6. Suppose -2*f + t - 11 = 0. Is f composite?
False
Let g(m) = 74*m + 11. Is g(4) composite?
False
Suppose 5*f = 3*f + 378. Let j = f + -124. Is j a prime number?
False
Let x(l) = -l**3 + 6*l**2 + 5*l - 9. Let v be (-5)/(-2)*8/10. Suppose 0 = -5*m - 5*u + 50, v*u - 16 = -2*u. Is x(m) composite?
True
Is 2307 + (-3 + -1)*7/(-14) prime?
True
