osite number?
True
Is 9510/14 + 70/(-245) a prime number?
False
Let v(t) = 23*t - 2. Let w(n) = -47*n + 3. Let k(u) = -5*v(u) - 3*w(u). Let m = 191 + -189. Is k(m) composite?
False
Suppose 12582 = 5*l + 2*a, 4*l - 2*a = 7*l - 7546. Let v = l - -2919. Is v prime?
True
Let q(m) = -m**3 + 9*m**2 + 4*m + 2. Let s be q(10). Let y be s/(-4)*(-20)/10. Is y/((-1 + -2)/6) a prime number?
False
Let t(o) be the second derivative of -22*o**3/3 - 13*o**2/2 + 78*o. Let b = 2 - 6. Is t(b) a prime number?
True
Let j(w) = 236*w + 85. Is j(8) composite?
False
Let n = -98 - -102. Suppose 4*k + 2*i = 5894, -k - i = -n*i - 1456. Is k a composite number?
False
Let p(m) = 157*m**2 + 17*m - 7. Let v(y) = -78*y**2 - 9*y + 3. Let s(x) = 4*p(x) + 7*v(x). Is s(3) composite?
True
Let i(k) = 413*k**3 - k**2 + 1. Let z(u) = u**3 + 6*u**2 + 5*u - 1. Let s be z(-5). Let p be i(s). Let r = p + 604. Is r a prime number?
True
Suppose 46*q - 49*q = 204. Is (-102)/q + ((-1582)/(-4) - 0) a composite number?
False
Let c(k) = 78*k + 7. Let x(n) = -39*n - 3. Let h(i) = -2*c(i) - 5*x(i). Suppose 2*q - 4 + 0 = 0. Is h(q) prime?
True
Let v = 1227 - 430. Is v a composite number?
False
Let i = 828 - -3994. Is i prime?
False
Let b(f) = -f**3 + 2*f**2 + 3*f + 2. Let u be b(-2). Let r = u - -67. Is r prime?
True
Let q be (-2 + 3)*(1 - 1). Suppose q*n = 3*n + 18. Is (-1466)/(-10) + n/10 composite?
True
Let n(u) = u. Let m be ((-6)/(9/(-3)))/2. Let j(q) = -59*q - 11. Let a(i) = m*j(i) + 2*n(i). Is a(-6) a prime number?
True
Suppose 2*a + 21729 = 5*a. Is a a composite number?
False
Suppose -3*q + 42 = -372. Let z(y) = 88*y**2 + y + 1. Let b be z(3). Suppose -b = -2*h - q. Is h a composite number?
True
Let u be (-429)/(-52) - 2/8. Suppose 0*g - u = 2*g, -2*x + 5*g = -3294. Is x a prime number?
True
Suppose 3*w - 2*k = 2695, -5*k + 0*k = 25. Is w prime?
False
Let k be 1/(138/(-70) + 2). Let a be (4 + -2)/(6/(-9)). Is k/(4 + a) + 3 prime?
False
Let k(z) = z**3 + 6*z**2 + 2. Let x be k(-6). Suppose -x*q = q - 213. Suppose -232 + q = -l. Is l a composite number?
True
Let x(v) = v**3 + 3*v**2 + 4*v - 223. Let w be 6*4/(-30)*-5. Let u(p) = p**3 + 4*p**2 + 5*p - 223. Let n(l) = w*u(l) - 5*x(l). Is n(0) composite?
False
Let n(u) = u**3 + 2*u**2 - u + 1. Let a be n(-2). Suppose z = -4*f + 6 + 3, z + a = 2*f. Suppose -f*j - 2*q + 148 = -4*q, -q + 242 = 3*j. Is j prime?
True
Let n(f) = -f**2 + 13*f - 10. Let w be n(12). Suppose m + 5*k = w*m - 384, -3*k = 5*m - 2060. Is m composite?
False
Suppose 13922 = 4*z + 2*i - 9324, -2*i - 6 = 0. Is z a prime number?
True
Suppose z - 11 = -2*o - 0*z, -3*o + 9 = -z. Let l(t) = 132*t - 10. Let m be l(o). Suppose -a - a + m = 0. Is a a composite number?
True
Let w = 595 + -524. Is w prime?
True
Suppose -z - 5*k - 61 = 0, 4*z - 4*k + 171 + 25 = 0. Let b = z + 116. Is b prime?
False
Let i = 1282 - -895. Is i composite?
True
Suppose -6*h + h + 33 = -2*r, 3*h + 2*r - 23 = 0. Let c(o) = 25*o**2 + o + 21. Is c(h) a prime number?
False
Let z = 75 + -90. Let p(b) = 13*b**2 - 12*b - 26. Is p(z) a composite number?
False
Let t = -347 - -760. Is t a composite number?
True
Let h be 36/10 + 39/(-65). Suppose 200 + 94 = h*q. Suppose -5*p + k = -q, -5*p + p + 2*k + 82 = 0. Is p a composite number?
False
Let o(u) = -u**2 + 16*u + 19. Let q be o(17). Suppose 12 = q*d - 3*r, 2*d - 4*r - 16 = 3*d. Suppose -2*f = 2*s - d*f - 76, -4*s + 149 = f. Is s prime?
True
Let i = -55 + 59. Is 422/i*(7 + -5) prime?
True
Let v(t) = t**3 + 59*t**2 - 40*t - 29. Is v(-57) composite?
True
Let s(g) be the first derivative of 1 + g - 5/2*g**2 + 5/4*g**4 - 2*g**3. Is s(4) a prime number?
False
Suppose 4987248 = 25*n + 23*n. Is n a composite number?
True
Suppose -11*w + 28*w - 6307 = 0. Is w a prime number?
False
Let x(y) = y**3 + 37 - y**2 + 11*y**2 - 9*y**2 - y + 48. Is x(0) a prime number?
False
Is ((-306814)/(-6))/(211/633) a prime number?
True
Suppose -3 = -l - 9. Is 362/l*-3 - 3 a composite number?
True
Let p = 0 - -5. Suppose 15864 = -2*h + v, -p*v = 3*h + 34170 - 10400. Is 2/(-10) - h/25 composite?
False
Let f(n) = -1095*n - 199. Is f(-8) a prime number?
False
Suppose 28 = -f + 274. Suppose 4*i - 3*i = 61. Suppose -f = -b + i. Is b prime?
True
Let k = 47 + -28. Let h = 19 - k. Suppose 0 = 2*w - 4, h*q - 117 = -q - w. Is q prime?
False
Let x(o) be the third derivative of 239*o**4/12 + 7*o**3/6 + 42*o**2. Is x(7) a composite number?
True
Let a(p) = 144*p + 443. Is a(46) a composite number?
True
Suppose t - 2614 = -3*n + 5*t, -2*n + 5*t = -1745. Suppose 0*p + 6*p - n = 0. Is p a prime number?
False
Suppose 450 = -4*s - 2. Let r = 19 + s. Let k = 252 + r. Is k composite?
True
Suppose 316*u - 14228 = 314*u. Is u a prime number?
False
Let a = -85 + 86. Let h(u) = 2319*u + 2. Is h(a) prime?
False
Let p(k) be the second derivative of -k**5/20 - k**4/2 - k**3/2 - 7*k**2/2 + 15*k. Is p(-11) composite?
False
Let w = -142 + 1313. Is w a composite number?
False
Is 5 + 6146/4 - 6/(-4) a prime number?
True
Suppose 1 - 2 = l, -26 = -w + 4*l. Suppose w*k - 4574 = 20*k. Is k prime?
True
Suppose 5*m - 341 = 4. Let g be m - (1 - 0)*2. Suppose g = 5*k - 3*c, -k + 4*c - 2*c = -19. Is k composite?
False
Suppose 2*j = -0*j + 5716. Suppose 4*t = -j - 1690. Is t/(-9) - (-6)/9 composite?
False
Let j be -1*(-264 - -1) - (2 - 4). Suppose 6*i - j = i. Is i composite?
False
Let q(r) be the second derivative of -r**3/6 + 479*r**2/2 - 2*r. Is q(0) a composite number?
False
Let v(z) = 6088*z**3 - 2*z**2 + 1. Is v(1) a composite number?
True
Let u be -1*6*339/6. Let h(n) = 71*n**2 - 2*n + 13. Let o be h(3). Let j = o + u. Is j a prime number?
True
Let b(t) = t**3 - 4*t**2 + 4*t - 4. Let c be b(3). Let m(y) = 505*y**2 + y + 1. Let h be m(c). Is 3/6*(h + -3) a prime number?
True
Let w(p) = 6*p - 34. Let u be w(7). Is (199/4)/(1 - 6/u) a composite number?
False
Let o = 9999 - 4276. Is o prime?
False
Suppose 2*x + 658 - 17 = 5*o, o + 2*x = 121. Is o a composite number?
False
Let b be 81/6*(-30)/1. Let v = -52 - b. Is v a prime number?
True
Let z(r) = r**2 + 16*r + 4. Let n = -24 + 8. Let g be z(n). Suppose -9 = -3*l, -g*s + 2*s + 4*l = -578. Is s a prime number?
False
Suppose 25 + 4095 = 5*o. Suppose -2*c + o = 2*f - 768, 0 = -c - 4*f + 790. Let s = c - 409. Is s composite?
False
Suppose -3*k - 67639 = -3*r + 48605, -2*k + 77492 = 2*r. Is r prime?
True
Let h = -110 - -178. Let w = h - -3. Is w a composite number?
False
Let j(x) = 223*x - 18. Is j(25) a composite number?
False
Suppose -o + 5*y + 63 = 0, 5*o + y - 157 = 2*o. Suppose -32335 = -o*j + 48*j. Is j a prime number?
False
Let w be (-2 + 4)/(8/508). Suppose 5*a - 6*a + w = 0. Is a a composite number?
False
Let z = -332 - -1912. Suppose -m - 3*m = -z. Suppose 0 = 5*o - 5*k - m, 3*o - 2*k + 4*k - 237 = 0. Is o composite?
False
Let l(y) be the first derivative of -109*y**2 - 39*y + 53. Is l(-14) prime?
False
Let q(j) = -j + 31. Let s be q(10). Let l = s + 22. Is l a composite number?
False
Is (22 - 20)*1927/2 a prime number?
False
Let f(m) = m**3 - 7*m**2 + 8*m - 7. Let c be f(6). Suppose o - 3*o - 25 = c*l, 0 = 2*o - 2*l + 46. Is o/(-50) - 186/(-10) a composite number?
False
Let n = 318 - -2593. Is n prime?
False
Let d(o) = 94*o - 11 - 131*o + 0 - 57*o. Is d(-7) prime?
True
Let y(p) be the second derivative of -p**5/20 + 7*p**4/12 + p**3 + 7*p**2/2 + 6*p. Is y(6) a prime number?
True
Let w(k) = k**2 + 3*k - 35. Let m(s) = -s**3 - 8*s**2 - 16*s + 6. Let u be m(-6). Is w(u) prime?
False
Suppose 80 = 7*k - 3*k. Let v be -12*(k/(-12))/5. Suppose -87 = v*q - 415. Is q a prime number?
False
Suppose -5*u = -2*u - 2*x + 12, 0 = -u + 4*x - 4. Let l be u/(-16) - (-2)/(-8). Suppose 2*a + l*a - 314 = 0. Is a composite?
False
Let l(v) = 1251*v + 23*v**2 + 1 - 2500*v + 1251*v. Suppose -4*j = j + 5. Is l(j) a prime number?
False
Let s(m) = -m**3 - 5*m**2 + 3. Let f be s(-5). Suppose -f*g = -0*g - 6. Suppose g*w - a - 449 = 0, 3*w + a - 678 = 4*a. Is w composite?
False
Is 51/(-85) - (-600528)/30 a composite number?
True
Let l(m) = -57*m - 5. Let t be (4/(-3))/(4/(-6)). Suppose -t*v = 10 - 2. Is l(v) a composite number?
False
Suppose 37 = 4*r - r - k, 8 = -2*k. Let c(x) = -x**3 + 13*x**2 + 8*x + 4. Is c(r) composite?
True
Suppose 32 = 3*t + 5*t. Is (-35973)/(-57) - t/38 a composite number?
False
Let