 = 4*b, -3 + 7 = 2*j. Is b a composite number?
True
Suppose -5 = n - 302. Suppose 4*x = -4*v + 1204, -v + n = -x - 0*x. Is v a prime number?
False
Let c(o) = -3217*o + 122. Is c(-3) prime?
False
Suppose -3*k = i - 1363, 0*k - 2*k = -3*i + 4067. Is i a composite number?
True
Let o = 1734 - -2753. Is o a composite number?
True
Let q be (1 - -53) + -1*(-3 - -2). Suppose -i + 500 = q. Is i a prime number?
False
Suppose -3*v - v + 4232 = 0. Suppose -4*l + 0*l - 4160 = -4*g, -5*l + v = g. Is g a prime number?
False
Let d = -3113 + 5380. Is d a prime number?
True
Let d(u) = 9*u - 3. Let j be d(1). Let c be (639/j)/(6/12). Let g = c - 30. Is g a prime number?
False
Let p be 6/(-4)*(-15)/((-45)/(-104)). Let a = 1 + p. Is a a prime number?
True
Suppose -324668 = -18*y - 28*y. Is y a composite number?
True
Let h(f) = -f**3 - 31*f**2 - 20*f + 49. Is h(-31) composite?
True
Suppose 5*h - h = 52. Suppose -w - 5*o = -13, -h = -5*w - 2*o + 6. Suppose 0 = w*n + 3*y - 327, 3*y - 4 - 5 = 0. Is n a prime number?
False
Let t(g) = 10*g**3 - 2*g**2 - 2*g - 1. Let h(f) = f**3 + 7*f**2 + 7*f + 2. Let y be h(-6). Let s be t(y). Is (s/4)/(-5)*4 a prime number?
False
Let n = 12 - 7. Suppose 406 = n*u + 2*u. Suppose -16 - u = -i + 4*c, c = -5*i + 412. Is i composite?
True
Suppose -i + 2017 + 2320 = 0. Is i a composite number?
False
Let k = -62 - -67. Suppose 4*i - 5192 = -k*r - 1684, i - 877 = 5*r. Is i composite?
False
Let z = 28 + -31. Let f(x) = -36*x + 7. Is f(z) a prime number?
False
Let k = 15110 + 7431. Is k a prime number?
True
Let r(m) = -2*m**3 - 4*m**2 - m + 2. Let b(f) = -f**3 - 5*f**2 - f + 3. Let c(x) = -3*b(x) + 2*r(x). Is c(3) a prime number?
False
Let v(n) = -15*n**3 + 8*n**2 - 17*n - 11. Is v(-8) composite?
False
Let x be 4/((7 + -4)/6). Let b(y) = x*y - 2 + 2*y - 2*y**2 + y**2. Is b(8) a composite number?
True
Let k be 6*(2 + (-10)/4). Let n = 3 - k. Is (22/(-8))/(n/(-168)) a prime number?
False
Let n(y) = 258*y**3 + 20*y**2 - 6*y + 51. Is n(8) composite?
False
Suppose 5*l = 10, 5844 + 4473 = 5*w + l. Is w a prime number?
True
Suppose 2*v - 9 = -3*m, -2*v = 3*v. Suppose -3*x + 8*x - 945 = 0. Suppose -185 = -3*t + 4*j, -t + x = 2*t - m*j. Is t composite?
False
Is (-1)/5 - ((-360864)/20 + 2) prime?
True
Let g = 27 + -37. Is (2 - -13604)*g/(-20) prime?
True
Let c(f) = 4*f**3 - 5. Let p be c(4). Let q = p - 37. Suppose -b = -4*i - q, 2*b - 234 = -4*i + 134. Is b prime?
False
Let u(x) = -x**2 - 13*x - 9. Let w be u(-13). Let o(l) = -40*l + 17. Is o(w) a prime number?
False
Suppose 5*f + 5*p - 425 = 0, 0*f - 97 = -f + 2*p. Is f a composite number?
False
Let l(o) be the third derivative of 6*o**5/5 + 7*o**3/6 - 3*o**2. Is l(3) a prime number?
False
Let q = 3 + -35. Let j = 131 - q. Is j a composite number?
False
Is 0 + -2 - 244/(3 + -7) composite?
False
Let w = 199 - 43. Suppose -w - 1241 = -11*h. Is h a composite number?
False
Suppose 4*f - 29 + 5 = 0. Suppose j - f*j + 20 = 0. Suppose -5*y + 905 = -5*a, 5*y + 3*a - 921 = j*a. Is y composite?
True
Let t(z) = 2*z + 14. Let s be t(-10). Let y be (32/s)/(10/(-28005)). Is y/24 + (-4)/(-6) a prime number?
False
Let w(f) = 14*f**2 - 6*f + 7. Suppose 2*x - 3 = l, l = -5*x + 3*l + 9. Is w(x) prime?
False
Let v be (-546)/6*(-4 - -1). Suppose 0 = -5*j - 20, j - v = 2*y - 2387. Is y a composite number?
True
Suppose 2*k - 896 = -0*d + d, k = -5*d + 459. Let x = k - -752. Is x a composite number?
False
Suppose -3*v = 3*z - 870, -5*v - 224 = -z + 48. Is z a prime number?
False
Let h(d) = -1 - 114*d - 47*d - 142*d. Let s be h(-1). Suppose -3*b + 717 = 2*o + 3*o, 5*b = -2*o + s. Is o composite?
True
Let y be (-6)/(15591/3900 + -4). Suppose 5*x = x + 4*r + 3480, 3*x - y = r. Let u = x - 224. Is u composite?
False
Suppose -6*b + 13560 = 666. Is b composite?
True
Let h(g) = -g**3 - g**2 + 6*g. Let b be h(-3). Let k = 131 + b. Is k prime?
True
Is (1217/(-1))/(-5*(-7)/(-35)) prime?
True
Let x(a) = 490*a + 349. Is x(21) composite?
False
Let o(q) = 4 + 12*q**3 - q - 6*q**2 + 9*q**3 - 20*q**3. Let d be o(6). Is ((-237)/(-3))/((-2)/d) a prime number?
True
Suppose 0 = 4*h + h - 10. Let d(q) = -2 - 7 + 1 - 5 - 4*q + 6*q**h. Is d(6) prime?
True
Let w(i) = 120*i - 7. Is w(13) composite?
False
Suppose -2648 = -9*l + 5*l. Let g = l + -351. Is g a prime number?
True
Let w(c) = 725*c - 39. Is w(2) prime?
False
Suppose 658 = c - 2059. Let u be (-20)/(-5) - (-503 - -1). Suppose -u = 3*n - c. Is n a composite number?
True
Is (710/(-6))/((-16)/48) composite?
True
Is 74/259 + (-113013)/(-7) a composite number?
True
Let z = -27 + 26. Let h = z - -6. Suppose h*m - 2*m = 4*g + 617, 0 = 2*m + 5*g - 442. Is m a composite number?
False
Let g(v) = 809*v**2 - v + 1. Let i be g(1). Suppose -5*b = -i - 246. Is b a prime number?
True
Suppose w - n = 0, -n + 1 = -3*w + 9. Suppose -w*a + 2*a + 606 = 0. Is a prime?
False
Suppose 0*i = -2*i + 4, 4*n - 50 = 5*i. Let o = 14 - n. Is 1278/27 + o/3 a prime number?
True
Suppose 15272 = 7*u - 4671. Is 8/(-2) + u/1 a composite number?
True
Is ((-3824)/(-80))/((-2)/5)*-86 composite?
True
Let c = 23 - 19. Suppose -712 = c*l - 2940. Is l a prime number?
True
Let z(n) = -2*n**3 + 46*n**2 - 26*n + 17. Is z(18) prime?
True
Let k(h) = -7*h + 12929. Is k(0) a composite number?
True
Let r(c) = -5*c + 89. Let d be r(17). Suppose 0*w + 3112 = 4*w. Suppose 98 + w = d*x. Is x prime?
False
Suppose v + 9 = 4*h + 27, v = -5*h - 18. Is (-12)/(-48) + (-555)/h composite?
False
Let d(m) = -3*m + 1861. Let c = -91 + 91. Is d(c) a prime number?
True
Suppose -6*a - 37 + 7 = 0. Is (-191)/(-2)*(7 + a) composite?
False
Suppose -16*u + 71512 = -2*u. Suppose 4*n = 5*q + u, -5*n + 3*q + 10351 = 3966. Is n composite?
False
Let j = -924 - -2275. Is j a prime number?
False
Let p = -34261 - -22242. Is p/(-4) + (-2)/(-8) a prime number?
False
Let j = 470 + -1590. Let r = 99 - 97. Is (j/(-12) - r)*3 a composite number?
True
Let n be (1/(-2))/((-2)/(-12)). Let s be 1/(((-3)/2)/n). Suppose 43 = s*j - 19. Is j prime?
True
Suppose -58762 = 10*w - 21*w. Is w prime?
False
Let a(w) = w**3 - 3*w**2 - 2*w - 3. Let g be a(4). Suppose 2*s + 2*p - 1 = -3, -g*p - 13 = s. Suppose 990 = s*k + 2*n, -4*n - 2168 - 343 = -5*k. Is k composite?
False
Let d(b) = -9*b**3 + 5*b**2 - 5*b + 1. Let w(y) = -4*y**3 + 2*y**2 - 2*y + 1. Suppose -20 = 2*h - 6*h. Let k(n) = h*w(n) - 2*d(n). Is k(-3) composite?
True
Suppose 472 = 3*c - 662. Suppose -3*y + 270 = -3*j, -27 + c = 4*y + 5*j. Is y a prime number?
True
Let t(o) = 11 - 4*o**2 + 2*o**3 - 7*o + 0*o**3 - o**3. Suppose -29 = -3*m + 5*g, -2*m + 2*g - 6*g = -12. Is t(m) prime?
True
Suppose 0 = -5*b + 3*l + 7305 - 675, -2*b - 4*l + 2678 = 0. Suppose 2*u - 5*u + b = 0. Is u prime?
True
Let c(n) = n**3 - n**2 + n + 12. Let f be c(0). Suppose 3*j = f + 261. Is j prime?
False
Let c(k) = k**3 - 17*k**2 - 14*k - 3. Let h be c(18). Let g = h - -42. Is g a composite number?
True
Suppose -5*n + 2*z + 48 = 0, 2*n - 30 = 2*z - 6. Is (-4)/n + 6839/2 a prime number?
False
Is -4*7/70*-635 prime?
False
Let c = -3629 + 11040. Is c a prime number?
True
Let v = -14 + 17. Suppose 0 = 2*k - 2*r - 0*r - 462, 5*k - 1171 = -v*r. Is k a composite number?
False
Suppose 0*g = g + a - 21, 0 = -5*g + 3*a + 145. Let u be 12684/26 + 4/g. Suppose 5*x - u - 253 = -2*v, -4*v + 588 = 4*x. Is x prime?
True
Let n = 576 + 1717. Is n a composite number?
False
Let p(w) = 66*w - 9. Let b = 22 - 20. Is p(b) a prime number?
False
Let m(r) = 27*r**3 + 3*r**2 + r - 6. Is m(7) prime?
False
Let k be (-12 - -14)/(2/63*-3). Is (-7028)/k - 2/(-6) prime?
False
Suppose -45*r = -10*r - 2493435. Is r composite?
True
Let c be (-2 - 1) + 2 + 2. Let m(s) = 149*s**3 - s**2 + 2*s - 1. Is m(c) a prime number?
True
Let u(g) = 63*g - 10. Let l(x) = -32*x + 5. Let s(v) = -v**2 + 7*v - 12. Let i be s(6). Let j(d) = i*u(d) - 11*l(d). Is j(-3) prime?
True
Let l be (-549)/(3*3/18). Is 4 - 4/(8/l) a composite number?
True
Suppose 2*l + 28*l - 34530 = 0. Is l a prime number?
True
Let c = 1296 + -531. Let h = 1302 - c. Is h composite?
True
Let a(l) = -5 + 3*l**3 + 4*l - 11*l**2 - 3*l - 7*l. Is a(7) a prime number?
True
Is 38/((19/(-3477))/(2/(-12))) composite?
True
Let a(m) = m**3 + 23*m**2 - 19*m + 11. Let q be a(-23). Let d be (-1)/1 - (-6)/1. Suppose 5*c - 188 = j + q, -632 = -d*c - 3*j. Is c a