 (-8)/12 - s/3 a prime number?
True
Suppose -3*q + 573 = -4554. Is q composite?
False
Let l = 1609 - 908. Is l a composite number?
False
Suppose 18*s - 17*s = -106. Let z = s - -185. Is z composite?
False
Let i(n) = -2*n**3 - 18*n**2 - 6*n - 17. Is i(-12) composite?
False
Is ((-133)/21)/((-1)/3) a composite number?
False
Let w = 11 - 2. Let p be 3/(-6)*(0 - 10). Suppose p*s - 26 = w. Is s prime?
True
Let g(i) = -i - 4. Let t be g(-4). Suppose t = r - 5*l + 3*l - 128, -655 = -5*r + 5*l. Is r prime?
False
Let x(r) = -r**3 + 15*r**2 - 16*r - 17. Is x(12) composite?
False
Suppose -2*x + 456 = 2*x. Is ((-2)/3)/((-4)/x) a composite number?
False
Let o(w) = 2*w. Let c(a) = -2*a. Let d(l) = -5*c(l) - 4*o(l). Let j be d(-3). Is (-6 - 0)*21/j prime?
False
Suppose 0*r - 3*r = 0. Suppose r = -4*k + k - 72. Let c = k + 38. Is c composite?
True
Suppose 0 = 4*z + 4*u + 32, 0*z + 5*u = 2*z - 19. Let o = z + 6. Suppose 5*f - o*q = 26, -3*f - q + 6*q = -6. Is f prime?
True
Let q = 540 + 137. Is q a composite number?
False
Is (6/8)/(-3*(-2)/16824) a composite number?
True
Suppose 2*q - q - 144 = 0. Suppose 3*x - 14 + 195 = 5*m, -3*x + m = 197. Let o = q + x. Is o a composite number?
True
Let x(o) be the third derivative of -5*o**4/24 - o**3/2 - 2*o**2. Is x(-8) composite?
False
Let m(b) = 179*b**2 + b. Let x be m(1). Suppose -4*z - 352 - 60 = 0. Let l = x + z. Is l a prime number?
False
Suppose -2*w + 5062 = -4*v, 2*w - 5062 = -v + 2*v. Is w composite?
False
Suppose 0 = -4*l + 2 + 10. Suppose -20 = l*k + 2*k. Is 58 - 2/k*-2 composite?
True
Suppose -4*r + 1 = -2*n - 3, -4 = -4*r. Suppose -419 = -n*w - w. Is w a composite number?
False
Let a = 784 - 454. Suppose -5*b + 200 = -a. Suppose -3*p = -5*p + 3*h + 106, 4*h = -2*p + b. Is p prime?
True
Suppose 2*p = 4*n + 12, 7*n - 3*n = -p - 6. Let u be 69/2 + (-4)/8. Suppose l - 2*t = -2*l + u, -p*t = -8. Is l a composite number?
True
Suppose 0 = 4*g - 475 + 23. Let c be 272 + (-2)/(-3)*-3. Let i = c - g. Is i a composite number?
False
Suppose -135 = -3*u + 264. Suppose -4*p - k + u = 0, p + 95 = 4*p - 4*k. Is p prime?
False
Suppose -5*d - 995 = -420. Is 0*(-1)/(-2) - d a prime number?
False
Suppose 4*v = 4*y + 3*v - 463, 0 = 5*y - 2*v - 581. Let a be (-3 - (-26)/10)*140. Let m = y + a. Is m a composite number?
False
Suppose 3*y = 7 + 5. Suppose 3*t + y*u = -0*u + 154, -3*t = -4*u - 122. Suppose 194 - t = 4*x. Is x a composite number?
False
Let d = 3 - 1. Suppose d*r - 52 - 178 = 0. Is r a composite number?
True
Suppose 7 - 47 = -4*m. Let b = m + 44. Suppose 3*z = -3*k + b, k + 3*k - 2*z - 78 = 0. Is k prime?
True
Is -815*1/(-1) - 0 composite?
True
Let a(x) = 58*x - 4. Let k be a(6). Suppose -4*q + k = -404. Is q composite?
True
Let b be ((-2)/(-3))/(1/6). Suppose -b*i = -5*g - 42, -4*i + 2*g + 34 = g. Is ((-4)/i)/((-1)/26) a composite number?
False
Let a(d) = d - 7. Let n be a(9). Let r = n - 3. Is r - (3/(-3) - 23) composite?
False
Let b = 63 - -20. Suppose -6 = -0*u - 3*u. Suppose -4*k = -u*y - 86, 0*k + 4*k = 3*y + b. Is k a composite number?
False
Let p = 49 + 468. Is p a composite number?
True
Let i = 24 - -59. Is i prime?
True
Let c = 15 + 6. Suppose 5*s = -6 + c. Suppose -w - 4*v = -45, -7*w - 2*v + 208 = -s*w. Is w a prime number?
True
Is 1/(-4) + (-372)/(-16) composite?
False
Let x be 5 + -3 - 318 - -3. Let v = x + 728. Is v a prime number?
False
Let y(t) = t + 8. Let z be y(-6). Suppose 2*i - z*k - 36 = 0, 4*k - 104 = -4*i - 0*k. Is i a prime number?
False
Suppose 0*p - 3*s - 115 = -p, 0 = -3*p - 2*s + 323. Is p a composite number?
False
Suppose 3*j - 6 = -4*n + 2*j, -n - 5*j + 11 = 0. Is n/3*(-999)/(-3) composite?
True
Suppose 2*l = 2*z - l - 11, 0 = -z - 2*l - 5. Let s be ((-1)/2)/(z/(-56)). Suppose 0 = q - s + 5. Is q a composite number?
False
Suppose 12 - 27 = -5*q. Let v be -2*q/(-6) - -15. Suppose -2*a = a + 5*n - 17, 5*a - v = 4*n. Is a composite?
True
Let b be 0/(-3)*(-1)/2. Let w(l) = 5*l**3 + 2*l**2 - 6 - 4*l - 4*l**3 + b*l. Is w(5) composite?
False
Suppose -11*t - 11*t + 17314 = 0. Is t prime?
True
Let d(f) = -19*f + 1. Is d(-4) composite?
True
Let i = 31 + -19. Is (8/i)/((-6)/(-333)) a prime number?
True
Suppose 0 = 2*b + 3*z - 1, z = -5*b - 3*z - 1. Let q(p) = -p + 9. Let a be q(7). Is (-2 - b)/(a/(-158)) a prime number?
True
Let t = 243 + -80. Is t composite?
False
Suppose 5*r - 8 + 3 = 0, 0 = 2*h - 5*r - 1397. Is h prime?
True
Let o = 4 - 6. Let q be 1 - (o - 0) - -260. Let i = q + -178. Is i a composite number?
True
Let j(z) = -z**2 + 4*z + 5. Let n be j(5). Suppose -1 + n = -2*g - 3*r, 3*r = 5*g + 29. Is (-4276)/(-36) - g/18 a prime number?
False
Let t = 6 - 6. Let n be 2 - (-2 + t/2). Suppose n*d = 33 + 275. Is d composite?
True
Suppose -4*j - 128 = 32. Let g = -19 - j. Suppose 81 = 3*q - g. Is q a prime number?
False
Suppose -z - 67 + 290 = 0. Let b = -81 + z. Suppose 2*t = b - 12. Is t a prime number?
False
Suppose 4*r - 7181 = -2*l + 5*r, -7161 = -2*l + 5*r. Is l a composite number?
False
Let b = 11 - 11. Let p = 6 + b. Is p a prime number?
False
Let p = -3 + 6. Suppose -2*r + 4 + 0 = 0. Suppose r*f + 33 = p*f. Is f a prime number?
False
Is (1 - -2394)*(6 - 5) a composite number?
True
Suppose 0 = h - 6*h + 10. Let c(m) = 3*m**2 - m**2 + 58 - m**3 - 3*m**h. Is c(0) a composite number?
True
Let l(y) = 12*y + 5. Let h(m) = 5*m - 1. Let w be h(1). Is l(w) a prime number?
True
Suppose -3*c + 4*c = 7934. Is c composite?
True
Let z(m) = m**2 - 2*m - 9. Let u be z(-6). Is (u/5)/(7/35) prime?
False
Suppose 0 = 5*d - 3*p + 645 + 54, 0 = -2*d - 3*p - 267. Let f = -71 - d. Suppose -u = -0 - f. Is u a composite number?
False
Let b(u) = u**2 - u + 86. Let q be b(0). Let h = q + -60. Let z = h - 12. Is z composite?
True
Suppose 20 = 5*a, 3*p + 2*a = 2121 + 788. Is p prime?
True
Suppose 0 = 3*h - 2*h. Suppose 2*u + c - 74 = h, 0 = -0*c + 5*c. Is u a prime number?
True
Suppose -983 = 5*c - 4828. Is c a prime number?
True
Let w(b) = 13*b**2 + 4*b + 3. Is w(-2) a composite number?
False
Is 118 + 2 + -2 + 1 prime?
False
Is 6/(-4) - ((-86645)/(-10))/(-1) prime?
True
Suppose 5*a = 383 + 212. Suppose -5*b + a = x, 3*b - b - 2*x - 38 = 0. Is b prime?
True
Is 1*1/(2/4322) prime?
True
Let a(b) = 2*b**2 + 24*b + 15. Is a(-16) prime?
False
Let w = -13628 + 19483. Is w a composite number?
True
Let m = -2 - -2. Suppose m*q = 4*q + 52. Let k = 26 + q. Is k prime?
True
Suppose 4*t = -0*t + 12. Suppose 316 + 29 = t*g. Is g a prime number?
False
Let q = 3 - 0. Let b(o) = -4 - q*o + 2*o - o. Is b(-3) a prime number?
True
Let o(m) = m**3 + 5*m**2 + m + 7. Let a be o(-5). Suppose -4*g - 8 = -x + 79, 4*x + a*g = 384. Is x a composite number?
True
Let v(r) = -1966*r**3 - 2*r**2 - 4*r - 1. Is v(-1) prime?
False
Let g be (-8)/10*15/(-6). Suppose 0 = 3*i + 2*i - 25. Let b = g + i. Is b composite?
False
Let q = -51 + 36. Let j = 2 + -11. Let u = j - q. Is u prime?
False
Let w(s) = s**3 + s**2 - s + 1. Let n be w(1). Suppose 0 = n*c - 3*c. Suppose -z + 4*z - 111 = c. Is z a prime number?
True
Let a(d) = -14*d**3 - 13*d**2 - 32*d - 14. Let i(l) = -5*l**3 - 4*l**2 - 11*l - 5. Let k(y) = 4*a(y) - 11*i(y). Is k(-8) prime?
False
Let x(k) = k**2 - 12*k - 7. Is x(13) prime?
False
Suppose 0 = 2*k + 4*s - 302, 2*k - s - 2*s - 337 = 0. Suppose -h + 2*h = k. Is h a composite number?
True
Suppose 5*o + 5*v = 2235, 4*o - 1808 = 5*v - 4*v. Is o composite?
True
Let m be 4/10 + (-72)/(-20). Suppose 0 = 5*j + m*a + a - 35, 0 = -3*j - 4*a + 25. Is j prime?
True
Suppose 26*a - 826 = 24*a. Is a a composite number?
True
Let i(u) = 15*u**2 + 15*u - 7. Is i(-9) a composite number?
True
Let o(m) = -3*m + 4*m + 1 + 38*m**2 + 0 - 3*m. Is o(1) a prime number?
True
Let u(o) = o + 8. Let g(b) = -b**3 - 4*b**2 - b + 2. Let l be g(-4). Let k = -11 + l. Is u(k) composite?
False
Let n(q) = -12*q**3 - 2*q. Let b be n(-2). Let o = 96 - 42. Let g = b - o. Is g a prime number?
False
Suppose 3*k - 18 - 3 = 0. Let f = 7 - k. Suppose 4*g - 76 = -f*g. Is g prime?
True
Let g(u) = u**2 + 6*u + 1. Suppose -2 + 14 = -2*p. Let y be g(p). Is (1 + 89 - y)/1 a composite number?
False
Suppose 0*y - 2*y = -442. Suppose a + 0*l - 219 = -4*l, y = a + 5*l. Is a composite?
False
Let v be 2*-1*10/(-4). Suppose -76 = -v*w + 19. Is w a composite number?
False
Let w(x) be the second de