s z(w) prime?
True
Suppose z + 196*r - 201*r = 95521, z - 95549 = -2*r. Is z prime?
False
Let l = -724 - -1253. Is l a prime number?
False
Let q = -6 + 14. Let l(a) = 2*a**3 - 10*a**2 - 9*a - 19. Is l(q) composite?
False
Let h = 1272 + -1123. Is h composite?
False
Suppose 2*d - 5*x = 9432 + 5987, -3*x - 15409 = -2*d. Is d a composite number?
True
Suppose 5*q - 204 = 61. Let r = 62 + q. Is r a composite number?
True
Suppose -5651 = -3*v - 3*f + 2737, 0 = -5*v - 4*f + 13981. Is v a prime number?
True
Let a be -1 + (-3 - -3) + 1. Suppose 5*n - 2*u - 10 = a, -6*u + 4*u - 10 = -2*n. Is (n + 1)/1*115 a prime number?
False
Let k(c) = -108*c**3 + 4*c**2 - 23*c - 66. Is k(-5) composite?
False
Let a(k) = 847*k + 17. Is a(6) a prime number?
True
Let z = 488 - -1427. Is z prime?
False
Let q(w) = 2 + 8*w - 5 + 4. Let h be q(6). Let i = 138 - h. Is i a prime number?
True
Let j be 1 - (-16)/(-4) - -5. Let y be (j - 2)/(-1) + 7. Suppose -588 = -2*q + 3*n - y*n, 2*q - 600 = 2*n. Is q prime?
False
Suppose 15 = 5*i, 4*y - 5*i = -y + 70. Suppose 4*c - 77 = -y. Suppose 1015 = c*p - 10*p. Is p prime?
False
Suppose q - 7 - 3 = 0. Suppose 2*v - q = -0. Suppose v*d - 427 = 148. Is d a composite number?
True
Let h be -4 - 4015/(5/(-1)). Let c be 10/4*(-16)/(-10). Suppose -h = -c*w + 45. Is w composite?
False
Suppose -3*b + 3 = 3*n, 5*n - 3*b = -24 - 3. Is (-1)/(n/(-3)) + 994 composite?
True
Let g(n) = 2*n**3 - 8*n**2 - n - 2. Let k be g(7). Let s = k - -52. Is s a prime number?
True
Suppose 0 = 2*i + 2572 - 14478. Is i composite?
False
Let v(b) = 3*b - 15. Let q be v(7). Suppose 6*j - 3*j = q, -2*p + 4*j + 1250 = 0. Is p a prime number?
False
Suppose -5*q - 40 = -5*v, -4*q - 5 - 2 = v. Suppose 258 + 412 = 2*j + 2*y, 0 = v*j - 4*y - 1675. Is j prime?
False
Suppose m - 3 = 0, 5*v + 3*m - 4*m - 40127 = 0. Is v prime?
False
Let f = 512 + -175. Is f a composite number?
False
Is 3979/4*(-188)/(-47) a prime number?
False
Is (-10 + (-634788)/24)*-2 composite?
False
Let z = 4138 + -1995. Suppose -z = -3*x - 244. Is x composite?
True
Let q be (-2)/((-3)/((-9)/2)). Let x be q + ((-409)/(-1) - 0). Is x/(-1)*(-4)/8 a prime number?
False
Let i be (3 + 7)/(5/160). Let j = i + 253. Is j composite?
True
Suppose 0 = 192*x - 195*x + 5601. Is x composite?
False
Suppose -4*r - 1576 + 161 = -b, 1403 = b - r. Is b a composite number?
False
Is ((-1743175)/15)/(-7) - (-32)/24 composite?
False
Is 3/((-18)/(-87))*878 composite?
True
Let r(k) = -16*k**2 - 10. Suppose 5*f = 5*a + 25, -4*f - 3*a - 17 = -44. Let d be r(f). Let p = d + 1475. Is p a prime number?
False
Let d(i) = 88*i**2 - 25*i + 8. Is d(-5) prime?
True
Is -659*(-3 - (4 - 6))*1 a composite number?
False
Let l = 18321 - 11866. Is l a prime number?
False
Let k be 0/(3 - (7 - 2)). Suppose -3*p - 12 = -k*p, 3*p + 1880 = 4*n. Is n a composite number?
False
Let n = 30 - 23. Suppose -4*t = 5*o + 8, -2*t + 7 + n = -2*o. Suppose 208 + 29 = t*x. Is x prime?
True
Suppose 2*t - 2203 = -3*g + 309, 2*g - 2514 = -2*t. Is t composite?
False
Suppose -433*d + 429*d + 5524 = 0. Is d a prime number?
True
Let o(c) = c**3 + 6*c**2 - 2*c + 5. Let a be o(-6). Suppose -15*x = -a*x - 126. Let m = -17 - x. Is m composite?
True
Is 154038/14 + 62/217 prime?
True
Suppose 22*m - 29910 = 17632. Is m prime?
True
Let j be (-31042)/(-14) - (-18)/(-63). Suppose v + 5 = 2*k, -k - 2*v - 14 = -6*k. Suppose -k*x + j = -x. Is x a composite number?
False
Suppose -5*q - 3*c = -90 + 30, -3*q = -5*c - 2. Let k = q - 1. Let p(n) = 2*n**3 - 3*n**2 + 3*n + 9. Is p(k) prime?
False
Suppose -4*t - 5*l = -3498, -4*t + t = -2*l - 2635. Is t prime?
True
Suppose -3*y - 4 = -5*y. Let g be 0/(-4) + y + 0. Suppose 305 = g*n - n. Is n composite?
True
Is (3 - -1) + -12 + 199 composite?
False
Suppose 0 = -2*w + 4*w + 5*f + 26, -2*w - 18 = 3*f. Let n(v) = v. Let y be n(w). Is 2391/(-2)*2/y composite?
False
Let i(s) = s**2 - 6*s + 3. Let f be i(8). Suppose 0 = 3*b - 3*t + 15, f = b + 6*t - t. Is (-452)/(-8)*(11 + b) a prime number?
False
Let g = 1694 + -217. Is g a prime number?
False
Let c be (-7 + 1)*(-4)/8. Suppose 5*y + 10 = 3*m, -c*m + 0*y + 18 = 3*y. Suppose 1731 = m*x - 424. Is x prime?
True
Is 7011 + -21 - (0 - 5) a prime number?
False
Let h be 11061/33 + 12/(-66). Suppose -2*u + 3*u - h = 0. Is u a prime number?
False
Let t(m) = 2*m**2 + 14*m + 8. Let s be t(-9). Suppose k + s = 5*k. Is k a composite number?
False
Let a(s) = -5*s - 51. Let j be a(-13). Let l = 54 + -17. Let d = l - j. Is d a composite number?
False
Let g = 303 - 173. Let u = g - -59. Suppose 64 = -5*z + u. Is z a composite number?
True
Suppose 0 = h + 3*h - 312. Let x = h - 113. Let c = x + 54. Is c a composite number?
False
Let b = -3 - -3. Suppose -3830 = -b*u - 2*u. Is u prime?
False
Let k = -11 + 17. Suppose -k*b = -11*b. Suppose b = 4*h - 4, 0 = 3*w + w + 4*h - 136. Is w a prime number?
False
Let y be (1672/3)/(2/9). Is (y/(-24))/(2/(-4)) a prime number?
False
Suppose 0 = 10*x - 14*x + 4000. Suppose 5*c + 5*u - 1255 = 0, 3*u = -3*c - c + x. Is c composite?
True
Let o(l) = -l**3 - 21*l**2 - 19*l + 24. Let x be o(-20). Suppose -4*w = 5*y - 5799, 5*w - 4357 = 2*w + x*y. Is w prime?
True
Let k(c) = -2*c**3 + 2*c**2 - c. Let t be k(0). Suppose t = 7*v + 11*v - 25182. Is v a composite number?
False
Let c(o) = o + 1. Let k be c(-11). Is ((-14)/k + -2)*-545 a composite number?
True
Let l = -191 - -318. Suppose 4*k - l = 101. Let h = k - -70. Is h a composite number?
False
Let o = 19 - 15. Suppose 0 = 2*n - 0 + o. Is (-1515)/(-6) - n/4 prime?
False
Suppose -28*i - 20*i + 961296 = 0. Is i prime?
False
Is (3 + -96898 - -2)/(13/(-13)) a prime number?
True
Suppose 4*v + v + k - 16325 = 0, -5*k = 0. Is v a composite number?
True
Let w be (-2 + 18)/(-4) - -8. Suppose -z + 517 = 5*j - w*z, 5*z - 317 = -3*j. Suppose -5*m - 4*u = -1279, m = u + 159 + j. Is m a composite number?
True
Suppose -3*u = -5*u - j + 1, -3*j = -3*u - 3. Let l be (-2)/8 + (-39)/(-12). Is -35*(u + l/(-3)) a prime number?
False
Let q(w) = 2123*w + 393. Is q(4) composite?
True
Suppose -f - 4*f - c = -21867, -13127 = -3*f - 4*c. Is f a composite number?
False
Let t be (-2)/6 + (-30)/(-9). Suppose 5*d + 2 - 12 = 0, -2*q = -t*d + 98. Let m = q + 159. Is m prime?
True
Let u = -27149 - -52968. Is u prime?
True
Suppose 22*f - 36*f + 81382 = 0. Is f a prime number?
True
Let m be ((-4)/3)/(8/(-30)). Suppose -2*g = -m*g + 4431. Is g a composite number?
True
Suppose 0 = 3*c - a - 5495, -c + 4*a = 3*c - 7332. Is c a prime number?
True
Let b(k) = -17*k**2 - 5*k - 20. Let l(h) = -9*h**2 - 2*h - 10. Let w(x) = 4*b(x) - 9*l(x). Is w(7) a prime number?
False
Suppose 0 = -5*h + 8 + 12. Suppose -x + 0*x + 2 = -2*z, -5*x = -4*z - h. Suppose x = 5*g - 396 + 1. Is g a composite number?
False
Let w(k) be the second derivative of -40*k**3 - 9*k**2/2 + 13*k. Is w(-11) a prime number?
False
Let f be (51/2 + 0)*6. Let r = 670 - f. Is r composite?
True
Let h be 9859/3 - ((-56)/12)/7. Suppose -5*n + 26000 = -5*b, -3*n - h = -5*b - 18885. Is n prime?
False
Suppose 16729 = 4*z - 4*g + 3*g, -4*z + 5*g + 16749 = 0. Is z prime?
False
Let q(c) = -157*c**3 - c**2 - 11*c + 4. Is q(-3) prime?
False
Suppose 6*b - 4 = 10*b. Is (0 - b)/(2/(-4388)*-2) prime?
True
Let f(s) = -s - 8. Let m be f(-11). Let z(j) = j**2 - 5*j + 4. Let x be z(m). Is ((-1)/x)/((-2)/(-268)) a prime number?
True
Suppose -6*y - 3722 = -8*y. Is y a prime number?
True
Let n(x) = 1789*x - 664. Is n(17) a composite number?
True
Let l(k) be the first derivative of -479*k**2/2 - 3. Is l(-1) a prime number?
True
Let v(p) = 251*p. Let r = -3908 + 6669. Let y(n) = -346380*n. Let x(i) = r*v(i) + 2*y(i). Is x(1) a composite number?
False
Let y = 810 + -1348. Is (y/4)/(11/(-22)) a composite number?
False
Let j be (1/(-4))/(3/(-24)). Let k = 2 + 9. Is (186 - j) + k + -8 a composite number?
True
Suppose -51*k + 64099 = -44*k. Is k a composite number?
False
Suppose 5*t + 45 - 7 = -r, -32 = 5*t + 4*r. Let l = t + 8. Is (3 - l)*(-3598)/(-42) a prime number?
True
Suppose -1522 = 4*u - 86. Let p = u + 652. Is p a composite number?
False
Suppose 0 = 3*o + 12*o - 4845. Let x = 430 + o. Is x composite?
True
Let l = 17 + -15. Suppose -3*m + 404 = 2*v, -l*v = 5*m - 0*m - 396. Suppose -v = -g + q, 2*g - 431 = -0*g + 5*q. Is g prime?
False
Let g(l) be