posite?
True
Suppose -1696 = -12*s + 8*s. Let n = 731 - s. Is n composite?
False
Suppose -2*r + 90 = 7*r. Suppose r*t - 17*t + 8169 = 0. Is t a composite number?
True
Let r(n) = -n**3 + 12*n**2 - 11*n + 8. Let j be r(11). Is (446/(-4))/(j/(-16)) prime?
True
Let n(o) = -o**3 - 4*o**2 + 3. Let s be n(-4). Suppose -2*a - y + 449 = 0, 2*a = -s*y - 2*y + 437. Suppose -4*r + 130 = -a. Is r a composite number?
False
Let r be 9/(-15) + (-21465)/(-25). Suppose -r = -4*x - 2794. Let t = -273 - x. Is t prime?
True
Let y be 6/(1 - (-2)/4). Suppose -3*m = 2*h - 1150, -4*m + 47 = -y*h - 1473. Is m a composite number?
True
Suppose 3*g - 5*t - 2209 = 0, g + 5*t - 456 - 307 = 0. Is g a prime number?
True
Suppose -7*d - 369528 = -31*d. Is d composite?
True
Suppose 0 = -5*y + 3*x - 17586, 4871 = -2*y - 5*x - 2151. Let m = y - -5153. Is m a composite number?
False
Let m(z) = -z**2 + 13*z - 5. Let t = -10 + 20. Let d be m(t). Suppose -4*g - 3*k = -d, 0*g = 2*g + 3*k - 11. Is g a composite number?
False
Let l(x) = 12*x**2 - x - 66. Is l(13) a composite number?
False
Is 12506 - (-6 + 1 + 12/6) prime?
False
Let z(t) = -8*t + 21. Suppose 4*o + 2*q + 9 = 3*o, 0 = 3*o + 3*q + 24. Is z(o) a prime number?
False
Let c(f) = -f**2 - 13*f + 14. Let r be c(-14). Suppose -5*b - 4*p + 2841 = r, -b - 5*p - 2240 = -5*b. Suppose -b = -6*q + q. Is q composite?
False
Let r(w) = -2*w - 19. Let k be r(-6). Let d(a) = a**2 - 7*a - 3. Is d(k) a prime number?
False
Let y(k) = k**3 + 6*k**2 + 6. Let g(v) = v**2 - 11*v + 2. Let q be g(10). Let n be y(q). Let l = n + 211. Is l a composite number?
False
Suppose 5*c + 2*q = -55, 3*q - 33 = -c + 4*c. Let s(g) = -135*g - 8. Is s(c) a prime number?
False
Let b(o) = -2*o**3 + 11*o**2 + 3*o - 11. Is b(-8) a composite number?
False
Let i(y) = 16*y**2 - 10*y - 127. Is i(-9) a composite number?
False
Let v be (0 + 3 + -2)*7. Let s be (-1)/(-2)*1274/v. Let g = s - -120. Is g a composite number?
False
Let a(y) = 2*y**2 - 6*y - 10. Let r be (-282)/(-30) - (-3)/5. Let s be a(r). Is -8 + 5 + 1*s composite?
False
Suppose a = 4*a - 12. Suppose -3*s = s + 4*p - 8, 3*s - 8 = -a*p. Suppose s = -2*m, -f = 3*f - 4*m - 364. Is f a prime number?
False
Suppose -3*i - d = -417, -d - 770 = -4*i - 221. Let l = 195 - i. Is l prime?
False
Suppose -f = -3*b + 255 - 12680, 0 = -3*b + 12. Is f prime?
True
Is 26552*7/10 + (-1473)/(-2455) a prime number?
True
Suppose 12*c = 9*c + 5541. Is c a composite number?
False
Let q(c) = -3*c**3 + 4*c**2 - 12*c - 21. Let v be q(-6). Suppose g - 2590 = v. Is g a prime number?
True
Let t(b) = 11*b**3 - b**2 - 5. Suppose u + 2*m - 4 = -0*m, -m - 8 = -2*u. Is t(u) a composite number?
False
Let a(x) = -6300*x + 7. Is a(-22) a composite number?
True
Suppose -9*p + 11*p + 8 = 0. Let t be 1*-6 - p/(-4). Is (-4)/t - 13878/(-42) prime?
True
Is (-6)/(-9)*(-7677)/(-6) a prime number?
True
Let k(h) = -h + 422. Is k(0) composite?
True
Is -2 - (-74580 + (-7 - -5 - 1)) a prime number?
False
Let f = 20 - 17. Suppose -5*k + p + 7280 = -0*k, 0 = f*k - 2*p - 4375. Suppose -d + 3*x = -481, 0 = -2*d - d + 3*x + k. Is d composite?
False
Let x(k) = k**3 - 6*k**2 - 6*k - 5. Let h be x(7). Suppose -3*q = -3*v - 639, -3*v = -4*q + h*v + 854. Is q composite?
False
Let r(y) = 564*y - 277. Is r(35) a prime number?
True
Let z = 7874 + -3997. Is z a prime number?
True
Suppose 8*r - 331110 = 281362. Is r composite?
True
Let n = 322 - 227. Let q = 4346 + n. Is q a prime number?
True
Let l(t) = -t**3 + 17*t**2 + 26*t - 35. Suppose -11*w - 48 + 235 = 0. Is l(w) a composite number?
True
Let c be -1 - (-2)/1*1. Let r(s) = -9*s - 1. Let m(g) = g. Let x(f) = c*r(f) - 5*m(f). Is x(-6) prime?
True
Let d be (-155)/(-9) - 2/9. Suppose -3*r + 26 = d. Is 356/r + (-2)/(-6) prime?
False
Suppose 0 = u - 3*u. Suppose 0 = -3*j - 12, 5*d = 2*j - 2 + 20. Suppose u*h - 787 = -5*z - 4*h, d*z - 312 = -3*h. Is z prime?
False
Suppose 0 = 2*h - 13 - 17. Let r = h + -13. Suppose -r*b - 18 + 70 = 0. Is b composite?
True
Suppose 3*x + 2*x - 3*n - 3 = 0, -2*x = -n - 2. Suppose -x*o = 2 - 20. Is (-262 - 5)*(-2)/o prime?
True
Suppose 0 = 3*r - 8951 + 260. Is r a composite number?
False
Let s = -318 - -584. Suppose -117 + 16 = k. Let p = s - k. Is p a composite number?
False
Suppose 35 = -4*v - 17. Let j = v + 15. Suppose -4*h - 4*p + 92 = 0, h + 0*p - j*p - 20 = 0. Is h prime?
False
Let g(i) = 5*i**2 - 22*i + 11. Let d be g(14). Suppose -204 = q - d. Is q a prime number?
True
Let v(r) = -4*r + 10. Let k be v(-2). Suppose 0 = -4*u - 2*h + 562, 3*h + k - 297 = -2*u. Is u prime?
False
Let x be (-705)/(-21) - (-6)/14. Let z = x - -1069. Is z composite?
False
Suppose y + 0*m + 10 = 2*m, 0 = -3*y - 3*m - 3. Let g be -108*(2/y - 1). Let d = -29 + g. Is d a prime number?
False
Let u = 26 - 21. Let h(f) = -6*f**3 - 4*f**2 - 11*f + 6. Let y(j) = 7*j**3 + 4*j**2 + 12*j - 6. Let b(s) = -5*h(s) - 4*y(s). Is b(u) a composite number?
False
Suppose 4*w - 1482 = 2314. Suppose -4*a - 64 - w = -u, -u - 3*a + 1006 = 0. Is u a composite number?
False
Let r(t) = -14*t - 13. Let o(b) = -4*b**2 + 3*b. Suppose -2*v - 4*q - 11 = -3, 5*v = -5*q - 5. Let h be o(v). Is r(h) prime?
True
Suppose -5*q + 13659 - 1814 = 0. Suppose 3*p - 174 = 5*h + 1235, -2*h + q = 5*p. Is p composite?
True
Let n(r) = r**3 + 7*r**2 - 8*r - 9. Suppose -a = 3 - 5. Let s = -5 - a. Is n(s) composite?
False
Let t = -20 + 11. Let u be (-30)/165 + 10/(-11)*2. Is (10 + t)/(u/(-254)) a prime number?
True
Let q be (48/56)/3 - (-558)/7. Suppose -2*x - 5*n = -q, -4*n + 2 = -3*n. Is x a composite number?
True
Suppose j = 2*a - 57396, 3*a - 2*j - 42125 = 43968. Is a composite?
True
Suppose -186 + 166 = -4*b. Suppose 3*r = -b*x + 3064 + 266, -5*r = -x - 5578. Is r a prime number?
False
Let t(n) = 2 - 2 + 1 - 10*n - 200*n. Is t(-3) prime?
True
Suppose i = 4*l + l - 10881, 0 = -5*l - 4*i + 10901. Is l a prime number?
False
Let o be (-1)/(-4) - 3495/(-20). Suppose o = -4*j + 9*j. Let w = j - -126. Is w composite?
True
Suppose 8 = 9*m - 10. Suppose -435 = -m*s - s. Is s a composite number?
True
Suppose -5*y = -y + 24. Let v be (-9)/(3 + y) + 144. Suppose 0 = -0*i - 3*i + v. Is i composite?
True
Let u = 1023 - -6164. Is u a composite number?
False
Suppose 5*w = 4*b + 17, 2 = w + 2*b - 7. Suppose -w*t + 10155 = -2360. Is t composite?
False
Let w(v) = -v**2 + 6*v - 8. Let a be w(4). Suppose 3*s - 2435 + 596 = a. Is s a prime number?
True
Suppose 3*b = -4*p - 62, -2*b + 4*p = 3*p + 34. Let g = -9 - b. Is (-10)/15 - (-753)/g a prime number?
True
Suppose 3*x - 7*x + 8 = 0. Suppose -2*t = x*t. Suppose t*u = u - 413. Is u a composite number?
True
Let a be 0*(-4 + (-21)/(-6)). Suppose a = c + c - 2424. Is (15/20)/(3/c) a prime number?
False
Let f = -1974 + 3041. Is f composite?
True
Suppose -5*l + 526 = -2*c, -4*l + 380 - 117 = -c. Let t = c - -462. Is t a prime number?
True
Let y(j) = 125*j**2 - 10*j - 33. Is y(-5) a composite number?
True
Let p be (-5)/(-2)*(-2)/(-1). Is (-1)/p + (-31224)/(-20) + 0 prime?
False
Let d(y) = -y**3 + y. Let i be d(-1). Suppose 13*v - 5*v - 152 = i. Is v prime?
True
Is -5 - 106848/(-7 - 0) composite?
False
Suppose 8*a - 3*a - 390 = 0. Suppose 0 = -3*d + 6, -n + 223 = 4*d - a. Is n a composite number?
False
Let q(x) = x**3 - 5*x**2 + 5. Let s be q(5). Suppose -4*n - g - 957 = -8*n, 0 = -s*g - 5. Is n a composite number?
False
Let i(x) = -x**3 - 10*x**2 - 11*x - 33. Is i(-11) composite?
True
Suppose 0 = 3280*x - 3291*x + 975535. Is x prime?
False
Let x(r) be the second derivative of r**4/4 + 5*r**3/6 - 5*r**2 + r. Let p be x(-8). Suppose 0 = 7*i - 9*i + p. Is i prime?
True
Suppose 31*a - 41*a + 67310 = 0. Is a a composite number?
True
Let c = -879 + 5620. Is c prime?
False
Let y(v) = -v**3 + 11*v**2 + 5*v - 21. Let t(w) = -2*w + 22. Let m be t(7). Is y(m) composite?
False
Suppose -i - 23 = -6. Let n(p) = 22*p**2 - 27*p - 38. Is n(i) composite?
False
Let w = 494 - -1606. Suppose -w = c - 4*c + 3*y, 5*c + 3*y - 3460 = 0. Is c a prime number?
False
Suppose -2*k + 0*n + 1080 = 2*n, -3*k + 3*n = -1626. Is k a composite number?
False
Is -1 - (-12)/18*1602 a prime number?
False
Let i = -1699 + 3600. Is i a composite number?
False
Is 412 - 27 - (-12)/2 a prime number?
False
Let q(b) = 8*b**2 + 7*b - 25. Is q(-12) a prime number?
False
Let u be (-36)/(-