ite?
True
Let c = -64 - -63. Let i(p) = -3*p**3 + 3*p**2 + p - 1. Let m be i(c). Suppose -2*r = -5*u + 11671, u - 7*r = -m*r + 2342. Is u prime?
True
Suppose 43247106 = 104*v - 44720486 + 16396144. Is v prime?
True
Suppose -10*j + 159670 = 4*j - 110544. Is j a prime number?
True
Suppose 3*r + 3 = 0, -3*w - 28480 = -3*r - 1867. Let i = w - -15755. Is i a prime number?
True
Suppose 0 = 17*j - 2078 + 5104. Let n = j - -2637. Is n composite?
False
Let s(t) = 3*t + 2. Let c be s(-7). Let j(l) = l + 47. Let y be j(c). Suppose -y - 214 = -3*i - 5*p, 2*p = -4*i + 346. Is i a prime number?
True
Let w(i) = -645*i**2 - 7*i + 5. Let t(z) = -z**2 - z + 1. Let v(r) = 4*t(r) - w(r). Let s be -10 - ((-420)/(-20) + -33). Is v(s) prime?
False
Let i(n) = n**2 + 12*n - 16. Let x be i(-23). Suppose 0 = x*p - 227*p - 59210. Is p composite?
True
Let g be -2 + 4 + 2 + -3 + -18192. Let s = g - -52222. Is s a prime number?
True
Let o(x) be the first derivative of -x**4/2 - 5*x**3/3 + 27*x**2/2 + 3*x + 6. Is o(-8) composite?
False
Suppose 0 = 5*v - 1986 - 2189. Let m = 1308 - v. Let q = 676 - m. Is q composite?
True
Let y = 401 - 389. Suppose 0 = -2*i + y*m - 15*m + 18604, -4*i = 5*m - 37210. Is i a prime number?
False
Suppose 550636 = 5*c - 3*n, 6*n = 3*c + 9*n - 330396. Is c prime?
True
Suppose 5*i - 112 = 243. Let f(c) = -2*c**2 + 113*c + 498. Let h be f(60). Let w = h - i. Is w composite?
False
Suppose -206*i + 312667 = -5548651. Is i a prime number?
False
Is 5144 - ((-75)/12 + 6 + (-110)/40) prime?
True
Suppose 164 - 65919 = -3*t + 68672. Is t composite?
False
Let m(u) = -547*u - 113. Let y(r) = -272*r - 57. Let n(j) = 3*m(j) - 5*y(j). Is n(-11) composite?
False
Let y be -15*(-6 + (-234)/(-27)). Is 11884 + 7/(-2) + 60/y a composite number?
True
Let z(x) = 3*x**3 + 2*x**2 + 7*x - 11. Let m be z(2). Suppose -31*l - 5988 = -m*l. Is l prime?
False
Let g = -48270 - -97267. Is g a prime number?
False
Suppose 2*z + 1257312 + 2746777 = 3*y, 0 = 5*y - 3*z - 6673484. Is y a prime number?
False
Is (-3 - (-30 + 9)) + 139535 composite?
True
Suppose 3*y - a - 1097705 = 0, 2*a = 5*y - 574725 - 1254786. Is y prime?
False
Let o(b) = 18341*b**2 - 11*b + 23. Let k be o(2). Suppose 0 = 4*p - t - k, 0 = 2*p - 4*t - 48781 + 12095. Is p composite?
False
Let x be (2 + -1)*8*(-1)/(-4). Suppose 0 = -4*s - 2*y + 950, -x*y = 3*s - 16 - 696. Suppose -5*h + s = -1032. Is h a prime number?
False
Let y be (-15 - -12) + 1 + 1*-16. Let m(j) = -120*j + 61. Is m(y) composite?
False
Let i = 29509 + -15615. Is i a prime number?
False
Let i(o) = 180*o**2 - 13*o - 38. Let l be i(-8). Suppose d - q = 6003, -12430 = -4*d + 3*q + l. Is d a prime number?
True
Suppose 0 = -411*j + 408*j + 9411. Is j prime?
True
Suppose -y - 2*s + 0*s = -5359, -5*y + 26795 = 2*s. Is y composite?
True
Let w(q) = -q**3 + 19*q**2 + 20*q + 42. Let b be w(18). Suppose -3*n = -3*x - b, -3*x = -0*x + n + 706. Is (21/(-9))/(0 + 1/x) a prime number?
False
Let y(v) = 990*v**3 - v**2 + 2*v - 2. Suppose 0*r - 40 = -4*c + 4*r, -3*c - r + 14 = 0. Suppose 11 = -c*d + 17. Is y(d) a prime number?
False
Let a(f) = -f**3 + f**2 + f - 2. Let u be a(-2). Let s be (-12 - -12)/(4 - 6). Suppose s = u*m - 10*m + 4726. Is m composite?
True
Let k(r) = r**2 + r - 11. Let p be k(-4). Let b(t) = 1. Let n(i) = -58*i + 23. Let d(g) = p*n(g) + 2*b(g). Is d(-12) a prime number?
False
Let v(f) = -16000*f**2 + 8*f - 5. Let j be v(1). Is j/(-3) - (0 + (-16)/(-12)) prime?
False
Suppose 5*w = -2*w + 140. Suppose -8*r = -4 + w. Is (298/r)/(5/10*-2) prime?
True
Let s = -15 + 12. Let p be s + 34/12 + 2/12. Suppose 4*d - 3*w - 850 = 0, -3*w = -p*d - 2*d + 428. Is d composite?
False
Let s = 2912 + -647. Let p(q) = 5*q**2 + 13*q + 6. Let x be p(-10). Let a = s - x. Is a a composite number?
False
Let f be (-3 - 5/(-2))*32/(-2). Is (-6 - -5)*(-61352)/f composite?
False
Suppose 13*y = 7*y. Suppose -2*n - 4*d - 22 = y, 0 = -5*n + 2*n + 2*d + 7. Is n - 24545/(-7) - (-63)/(-147) composite?
True
Let q = 122 + 500. Let u = 731 + q. Let k = 1930 - u. Is k prime?
True
Let g = 92848 - 33377. Let n = g + -33428. Is n a prime number?
False
Let k = 14 - -6. Suppose -5*p = 3*v - 66, 3*p - k = p + 2*v. Suppose -w = m - 266, 0 = 5*m - 8 - p. Is w a composite number?
True
Let x(k) = -k**2 + 13*k + 2. Let p be x(0). Suppose -871 = -p*b - 5*i, 4*b - 1787 = -0*i + 5*i. Is b composite?
False
Let g(p) = 3095*p**3 + 4*p**2 + 4*p + 8. Let d be g(-2). Let x = d + 36149. Is x prime?
False
Let p = 353 - 238. Let m = 1718 - p. Is m prime?
False
Suppose -5*t = 5*c + 55, 2*t + c = -t - 25. Let j(d) = -d - 3. Let g be j(t). Suppose -g*q + 2*l = -10318, -q - l = -3*l - 2581. Is q a prime number?
True
Suppose 4*l - 5*l + 19299 = -5*a, 3*l = -5*a - 19303. Let t = 5661 + a. Is t a prime number?
True
Suppose s - 2 = 0, -4 = 3*g - 2*g - 2*s. Suppose -2*r + 6*r - 16 = g. Suppose -1201 = -4*j - 5*a, -a - 3*a = -r*j + 1192. Is j a composite number?
True
Let v(t) = -6450*t - 20. Let k be v(-5). Is 18/12*k/15 composite?
True
Suppose -5*c = 5*z - 1649335, -1871647 = -5*z - 4*c - 222316. Is z a prime number?
True
Let f(b) = -105*b + 1. Let x(y) = -19 + 30*y**2 - 12*y**2 + 14*y - 8*y**2 - y**3 + 2*y**2. Let g be x(13). Is f(g) a prime number?
True
Suppose 3353*y - w = 3350*y + 284770, y + w = 94914. Is y a composite number?
True
Let u(o) = 599*o**2 - 612*o - 148. Is u(-21) composite?
True
Suppose -3*x = -2*x - 1424 - 1319. Is x a composite number?
True
Suppose -2*o + 16*y = 13*y - 356660, 4*y + 891643 = 5*o. Is o a prime number?
True
Suppose -2*b - 254 = t, -4*b + 273 = 4*t + 785. Let j = -122 - b. Suppose 6*n = j*n + 3170. Is n prime?
False
Suppose 4*m - 9*m + 90 = 0. Suppose -2*l + 4*l = -m. Is 62/4 + l/6 a composite number?
True
Suppose -4*h + 0*t = 2*t + 8, 3*h + 17 = 4*t. Let y be (-111)/(-9)*1 - 2/h. Suppose y*u - 63824 = -3*u. Is u a prime number?
True
Suppose -7*w + 217746 = -285169. Is w prime?
False
Let n(i) = i**2 + 5*i + 17787. Let p be n(0). Suppose -26*l + p = -66739. Is l a composite number?
False
Let m = -13 - -22. Let l(a) = -7 - m + 26 - 123*a. Is l(-3) a composite number?
False
Suppose 0 = -3*j - 4*s + 23, j + 14*s - 11*s = 11. Suppose 5*q - 20648 - 8327 = -j*a, -4*a + 23168 = -2*q. Is a a prime number?
False
Let t(k) = -2*k + 1. Let x(y) = -y - 21. Let u(c) = t(c) - x(c). Let j be u(14). Suppose -m - 3*p + 563 = 0, 0 = 3*p - 5*p + j. Is m a composite number?
True
Suppose 47*u - 57745 = 42*u. Is (-1)/(u/52011 - 52/234) composite?
False
Suppose -3*n - n = j - 45, -5*n - 2*j = -54. Let q(w) = w**3 - 13*w**2 + 7*w + 4. Let k be q(n). Is (-8101)/(-7) - (-16)/k composite?
True
Let p be ((-3)/(-6))/((-10)/40)*-1. Suppose -42*v + 45*v - 1479 = -b, v + p*b = 493. Is v a prime number?
False
Suppose 0 = -0*b - 3*b - 9. Let x be (-10 + 16)/(b + 1). Is (4/8)/(x/(-1110)) a composite number?
True
Let w = 59 + -60. Let y(t) = -t**2 + 4*t. Let u be y(3). Is 412 + (u + 0)*w prime?
True
Let j(g) = 26*g + 344. Suppose 21*d = 771 + 174. Is j(d) prime?
False
Is (-213177)/4*29/((-957)/44) composite?
False
Let v be ((-2)/3)/((-76)/(-57))*-14. Suppose v*k - 8763 = 4*k. Is k prime?
False
Let s(g) = 2507*g + 26. Let o(i) = 2507*i + 21. Let d(v) = -2*o(v) + 3*s(v). Is d(5) a prime number?
False
Let j = 626862 + -375485. Is j a composite number?
True
Let g = 556 + 112. Suppose -3*n - 5*h + g = 0, -5*n + n - 2*h = -900. Suppose -3*j + 226 = -2*c + 3*c, 5*j + n = c. Is c a prime number?
False
Suppose 2*x = -0*x + 342. Suppose 2*s - 73 = -q, -x = -6*s + 2*s + 3*q. Let n = s + 164. Is n prime?
False
Let y be (-9)/(-6)*(1 - (-5)/15). Suppose -7*n + 465 = -y*n. Suppose 52*j - 49*j - n = 0. Is j prime?
True
Let x = 4713 + -1015. Let o(f) = 4*f**3 + 2*f**2 - 3*f - 6. Let j be o(13). Let w = j - x. Is w a composite number?
True
Let f(b) = b**3 + 76*b**2 + 89*b + 55. Is f(-54) a composite number?
True
Let x(r) = -3*r**2. Let w(c) = 994*c**2 - 4*c - 1. Let l(h) = w(h) - 4*x(h). Is l(4) a composite number?
True
Let z = 48 + -15. Suppose -20*o + 1523803 = z*o. Is o prime?
True
Let g be (1/1)/((-5)/(-6700)). Suppose -5*o - 5 = 0, 3*h + 6*o - 10*o = 28. Suppose -4*w = -h*w + g. Is w a composite number?
True
Let r(j) = 10*j**2 + 36*j + 85. Suppose 4*g - 50 = 22. Is r(g) a composite number?
True
Suppose -4*s - 24*r + 86966 = -26*r, -2*s