(-7) a composite number?
True
Let u = -1149 - -1934. Is u/6 - (-1)/6 composite?
False
Let z be 1/(-6) - 18670/(-60). Let x = z + -189. Is x a prime number?
False
Let v = -77 + 108. Is v prime?
True
Suppose -4*i = -8*i + 12, 0 = m - 5*i - 50. Suppose m = 6*f - f. Suppose -4*r = -641 + f. Is r prime?
True
Suppose 213 = 3*d - 3*o, -2*d = -7*d - 2*o + 327. Suppose 2*l = 7 + d. Is l a composite number?
False
Suppose 0*a = a - 59. Is a a prime number?
True
Let b = 12 - 9. Suppose b*v - 63 = 3*n, 3*v = 4*n + 20 + 39. Is v composite?
True
Suppose 0 = 3*q + q - 16. Let k(d) = -337*d + 4. Let m be k(-3). Suppose q*w - 2*f - m = -w, 3*w + f - 609 = 0. Is w prime?
False
Let l be 52/14 - 2/(-7). Suppose -l*j + 15 = j. Suppose -j*i = 49 - 286. Is i a prime number?
True
Let h = 31 + -22. Is h a prime number?
False
Let x(l) = -l**3 + 7*l**2 - l. Let i(o) = -2*o**3 + 15*o**2 - 2*o. Let g(u) = 2*i(u) - 5*x(u). Let k be g(5). Suppose -v + k = -14. Is v prime?
True
Suppose -392 = -3*g + 79. Is g a composite number?
False
Let o(v) be the first derivative of 67*v**2/2 + 2*v + 1. Is o(3) a prime number?
False
Let v(g) = -7*g**3 - 7*g**2 + 9*g - 1. Let s(n) = -4*n**3 - 4*n**2 + 4*n - 1. Let p(z) = -5*s(z) + 3*v(z). Is p(-5) a composite number?
False
Let j(v) = -v**3 + 14*v**2 - 3*v - 2. Is j(4) a prime number?
False
Let v = 308 + 1191. Is v a composite number?
False
Let p(a) = -11*a - 5*a + 5 - 4. Is p(-7) a composite number?
False
Suppose h = -3*o + 1390, o + 0*o - h = 458. Suppose 0 = -5*k + o + 128. Suppose 5*u = 77 + k. Is u a composite number?
True
Let w be ((-2)/(-4)*2)/1. Let y be 16/(-6)*3*w. Let c = y + 43. Is c a composite number?
True
Let x be ((48/(-1))/2)/(-1). Let l be -3*13*(-2)/(-6). Let r = l + x. Is r composite?
False
Let a be (0 - (-6)/4)*24. Suppose -1847 = -2*s + 513. Is s/a + (-2)/(-9) a composite number?
True
Suppose 0 = -4*m + 4 - 0. Let b be (-2 + (4 - 3))*m. Is b/2 + 309/6 a composite number?
True
Suppose -d + 6 = 1. Suppose 2*m + 499 = 2*f - 3*m, 3*f = -d*m + 711. Let q = -151 + f. Is q prime?
False
Suppose -587 = -5*s + 868. Is s prime?
False
Let c be 4/(-2) + (-1 - -7). Let u(d) = 6*d - 6*d**2 + 3 - d**2 + c*d**3 - 5*d**3. Is u(-8) composite?
False
Suppose 5*k + 21 + 4 = 0. Is 2/k - (-954)/10 prime?
False
Suppose 3*n - 3*i + 14 + 1 = 0, 0 = i - 5. Suppose -5*z + 3*q + 4 = -n, 0 = 4*z + 2*q - 12. Suppose 3*b = z*r + 61, 2*b + r = 3*b - 21. Is b a prime number?
True
Suppose 4*v = -r + 15, 0*r + 18 = 5*v + 2*r. Let d be 1104/9*6/v. Is 1/(-3) + d/12 prime?
False
Let c = 74 - 51. Is c a composite number?
False
Suppose 4*k - 52 - 136 = 0. Is k prime?
True
Let j(d) = -127*d**3 - d**2 + 1. Suppose 0*k + 5*k = 10. Let g = k + -3. Is j(g) composite?
False
Let m = -14 - -27. Let v = m + 6. Is v prime?
True
Let c be (-355)/(-2) + 4/8. Suppose -2*k + 4*k = c. Is k a prime number?
True
Suppose -3*x + 1 + 8 = 0. Is x a composite number?
False
Suppose -4 = -n + 1. Suppose 0*q - 3*z = -3*q - 3, -7 = 4*q - n*z. Suppose i = 3*c - 2*i - 81, -120 = -5*c + q*i. Is c a prime number?
False
Let z = -6 - -11. Suppose -4*c - 43 = 2*o - 275, z*c + o = 293. Is c a composite number?
False
Suppose 6 = 3*r, 5*a - r - 4*r = 15. Suppose 76 = 2*u + 5*l - a, -3*l + 144 = 3*u. Is u a prime number?
True
Let p(w) = -w - 4*w + 9*w - 3 + 45*w**2. Is p(-4) a composite number?
False
Let y(x) = -174*x**3 + 3*x**2 + 4*x + 3. Is y(-2) a composite number?
False
Let a(x) = 4*x + 15. Let h be a(-6). Is -93*(6/h)/2 a composite number?
False
Let t = -2677 - -4662. Is t a composite number?
True
Suppose -2*t + 1097 - 39 = 4*x, 0 = 5*t - 25. Let i = x - 186. Is i/2*10/4 composite?
True
Let c = -303 + 169. Let b = -95 - c. Is b a composite number?
True
Suppose u - 8 = -s, -5*s + 16 = -u - 0*u. Suppose -x - 18 = -4*h - s, 3*h - 3*x = 15. Suppose 2*m + h = 3*m, 2*y - 160 = 2*m. Is y composite?
False
Suppose 2*u + 2*u = 8. Let o be (-1)/(-3)*-58*-3. Suppose 0*j = j - 5*h - o, 4*j - u*h = 214. Is j prime?
True
Let c = 67 - 105. Let i = c + 57. Is i prime?
True
Let f = -5 - -11. Let b be -2*(-3)/((-9)/f). Let i(w) = -9*w - 2. Is i(b) a composite number?
True
Let n = 4 - 0. Suppose n*v - 399 - 469 = 0. Is v a prime number?
False
Let z be 6*(1 + 6/(-9)). Suppose z*q - 33 = -q. Is q prime?
True
Let w be (9/4)/(6/16). Suppose 0 = 2*z + 6, 5*r - 2*z + 7*z = 0. Suppose 0 = r*g - w - 15. Is g a prime number?
True
Suppose -91454 = -4*w - 32682. Is w a composite number?
True
Suppose 0 = 2*a - 7080 + 2564. Is a prime?
False
Let o = 9562 - 6415. Is o prime?
False
Let s = 4 + -1. Suppose 0 = 6*n - n, -j - s*n + 3 = 0. Suppose l - 5*q - j = -l, l - 9 = -5*q. Is l a composite number?
True
Is 2/13 - (-67570)/26 - -4 prime?
False
Let b(f) = -f**3 - 10*f**2 - 10*f - 8. Let r be b(-6). Suppose 167 = -4*g - 77. Let w = g - r. Is w composite?
False
Let a = -346 + 531. Is a composite?
True
Suppose 992 - 6512 = -4*v. Suppose -s + v = 4*s. Suppose 3*j = -j + s. Is j a composite number?
True
Suppose 12 = b + 2*b - 4*l, 0 = 5*l + 15. Suppose -y + 3*n = -b*y - 21, -3*y = -3*n - 51. Let a = y - -10. Is a prime?
False
Let b = 2 + -2. Suppose -t - 3*t + 508 = b. Is t composite?
False
Let c = 0 - 0. Let s(a) = -2*a. Let m be s(-12). Suppose -d + f + 24 = c, 4*f - m = -4*d + 88. Is d a prime number?
False
Let d(r) = -r**3 + 5*r**2 - 5*r + 4. Let q be d(4). Let p be q - (-2 + -1 - 1). Let g(t) = 23*t - 3. Is g(p) a composite number?
False
Let f = 388 + -90. Is f composite?
True
Suppose 3*d + 2 - 20 = 0. Is d/(3/33*2) a prime number?
False
Suppose 1537 - 512 = 5*k. Let t = k - 78. Suppose 3 = -3*o, -4*j = -2*o + 7*o - t. Is j composite?
True
Let g(v) = -274*v + 1. Let c be g(1). Let i = c + 578. Is i a composite number?
True
Is ((-3054)/(-15))/(4/10) a composite number?
False
Let u(t) = 2*t**2 + 5*t + 1. Let s be (2 - -16) + 0 + -2. Suppose -6*w - s = -2*w. Is u(w) a prime number?
True
Suppose -114 - 416 = -2*v. Is v prime?
False
Let o(v) = 5*v + 2. Let k(x) = -x**2 - 7*x - 5. Let h be k(-5). Let d be (-8)/h*10/(-4). Is o(d) prime?
False
Let r = -3 + 5. Is (-37)/((-20)/8 + r) a prime number?
False
Is (-4 + 4)*2/(-8) + 4385 a prime number?
False
Suppose 2*i = 5*s + 15, -3*s - 15 = 2*s. Let q(j) = -j**2 + 257. Is q(i) composite?
False
Let b(m) = -1. Let j(k) = 3*k**2 - 5*k - 4. Let i be (-2)/(-1)*1/2. Let q(c) = i*j(c) + 3*b(c). Is q(5) composite?
False
Suppose 5 = -3*k - 25. Let s(z) = -z**3 - 11*z**2 - 10*z + 1. Let v be s(k). Let n(c) = 36*c**3 + c**2 + c - 1. Is n(v) composite?
False
Let x = -6 - -9. Suppose 3*r - 3 = -x*f, f - r = 6*f - 1. Is f - -1 - 2/(-1) a composite number?
False
Is (2 - 153/2)*-2 a composite number?
False
Let t = -5 - 1. Let d(n) be the second derivative of n**5/20 + 7*n**4/12 + 5*n**3/6 + n**2/2 + 4*n. Is d(t) prime?
True
Is (2/(-3))/(2/(-402)) a prime number?
False
Suppose 5*u = -r - 11, u - 1 = 2*u. Let b be ((-2)/r)/((-10)/(-210)). Let p = 12 + b. Is p a composite number?
False
Suppose -3*l = -6*l. Let z(n) = n**3 + n**2 + 55. Is z(l) a prime number?
False
Is 2/((-140)/148 + 1) prime?
True
Let j(p) be the third derivative of -11*p**7/1680 - p**6/720 + p**5/30 - 2*p**2. Let x(m) be the third derivative of j(m). Is x(-2) prime?
False
Suppose -181 = -5*c - 26. Suppose 157 = -5*h - 0*h + 4*w, -w + c = -h. Is 1/(-3)*(0 + h) prime?
True
Suppose -951 = -5*k + 1419. Suppose k = 5*u - 2*u. Is u prime?
False
Let k(f) = -14*f**2 + 2. Let v be k(3). Let m = -45 - v. Is m composite?
False
Is 252 + -1 + 3 + -3 a prime number?
True
Let m = 1266 - 257. Is m composite?
False
Suppose 2 + 6 = -k. Let z(c) = -c - 5. Let j be z(k). Suppose 5*b - 4*x - 228 = b, -j*b + 171 = -5*x. Is b a composite number?
True
Let d(m) = -31*m - 55*m - 8 - 1. Is d(-4) a composite number?
True
Let f be (-4)/6 - 1502/(-3). Suppose -4*u + 76 + 184 = 0. Suppose -5*y - u = -f. Is y a prime number?
False
Suppose 785 = -2*h + 7*h. Is h prime?
True
Let p(r) = r + 1 - 6*r + 2*r. Let x be p(2). Let n = 14 + x. Is n a composite number?
True
Let l(m) = -4 - 5 + 3*m + 2*m**2 + 11. Is l(-7) prime?
True
Suppose x - 3*v - 322 = 0, v - 4*v = -5*x + 1598. Is x a prime number?
False
Suppose -4*w + 445 = -151. Let h be (w/3 + 1)*3. Suppose 2*n = -3*g - g + 154, -4*n + h = 4*g. Is g prime?
False
Is 272 + 2*(-12)/8 a composite number?
False
Is 0 - 283/(-3) 