 5*i + 12 = 0. Is l prime?
True
Suppose 30 = 5*j - 5*x, 26 - 71 = -5*j + 2*x. Let q = j - 10. Let t = q + 76. Is t prime?
False
Suppose 2*g - 2*x = g + 115, -5*x = -4*g + 454. Suppose 2*j + 185 = 5*v, -2*j = -3*v - 6*j + g. Is v composite?
False
Let l(f) = 360*f. Let z be l(-4). Let u be 0/(-2) - z/15. Suppose y + 3*a = 2*a + u, -y + a + 94 = 0. Is y prime?
False
Suppose 3*a - 3*f = -459, 0*f = -4*a + 3*f - 614. Let y = a - -286. Is y a prime number?
True
Suppose -2*b + 5*b = 6. Suppose 4*o - b*o - 382 = 0. Is o composite?
False
Let m(v) = -v + 13. Let w = 27 - 16. Let k be m(w). Suppose 0 = -3*f - 2*p + 885, 10*p - 5*p + 590 = k*f. Is f a prime number?
False
Suppose 8 = -2*z, 45 + 53 = 5*h - 2*z. Suppose 2*w + h = 258. Suppose 3*t - 2*t = 5*r + w, 3*t + 3*r = 450. Is t prime?
False
Suppose 3*s - 21*s + 68598 = 0. Is s prime?
False
Let i = 45 + -42. Suppose 15*s - 4884 = i*s. Is s a composite number?
True
Let w(u) = 26 + 49*u - 2*u**2 - 26. Is w(23) composite?
True
Suppose 3*y = 3*p - 33, p - 4*y - y - 11 = 0. Suppose 14*g - 6609 = p*g. Is g a composite number?
False
Let l = -3790 + 2466. Let d = l + 2687. Is d prime?
False
Let n = 100 - 49. Let a = n - -506. Is a prime?
True
Let b(p) = 662*p**2 - 27*p + 92. Is b(3) composite?
True
Let y be (10/30)/(2/798). Let i = y + -70. Let b = 278 - i. Is b a composite number?
True
Suppose -292*o - 32245 = -297*o. Is o a composite number?
False
Let v(k) = -k - 3. Let r be v(-7). Suppose r*u - 1420 = -320. Suppose 0*o - u = -5*o. Is o a composite number?
True
Suppose 0 = 23*z - 152213 + 21044. Is z prime?
False
Is (-117891)/(-3) + -11 + 7 a prime number?
True
Suppose -5*y + 2*a + 149921 = 0, -a + 2*a + 3 = 0. Is y composite?
False
Suppose -5*l = -258 - 1952. Suppose -4*z + 670 = -l. Is z prime?
False
Let i = 80125 - 29628. Is i composite?
False
Suppose 3*p = -4*p + 35. Suppose -113 - 162 = -p*o. Is o a prime number?
False
Let x(c) = c**2 + c + 4. Let q = 4 - 5. Let g be (-15)/6*-2 - q. Is x(g) a composite number?
True
Let n = 9933 + -5862. Suppose -4*g = 6*l - 3*l - n, -4*l + 5438 = 2*g. Is l a composite number?
False
Let k = 104905 - 61178. Is k prime?
False
Let t be 2/(2/107) + 2. Suppose 5*a = -t - 956. Let f = -64 - a. Is f composite?
False
Suppose -2*y - 9*p = -4*p - 2681, 3*p = 3*y - 3990. Suppose -2 = l, -4*t = 2*l - y - 547. Is t a prime number?
False
Let c(m) = m**3 - 18*m**2 + 6. Let k be c(18). Let x(z) = -z**3 + 10*z**2 + 13*z + 1. Is x(k) a composite number?
False
Let t be (-94)/((-17)/(-8) - 2). Is (3/2)/((-12)/t) a composite number?
True
Let m(v) be the third derivative of -29*v**4/8 + v**3/6 - 4*v**2. Let o be m(-1). Suppose -o = -3*j + g + 72, 0 = 5*j + 3*g - 262. Is j prime?
True
Let h be -2 - -4 - 1*2. Suppose 3*o + 20 = 5*d + 7*o, 2*d + 4*o = 20. Suppose -i + 3*s - 2*s + 91 = d, -4*i - 4*s + 348 = h. Is i prime?
True
Let s = 1018 - 725. Is s a composite number?
False
Let g(z) = 117*z**3 - 4*z + 3. Let r be g(2). Let a = r + -624. Is a a prime number?
True
Let i(n) = 370*n + 349. Is i(40) prime?
True
Let g(m) = 12*m - 1. Suppose 5*d - 47 - 28 = 0. Let l = d - 3. Is g(l) prime?
False
Suppose 3142 + 112 = p. Is p prime?
False
Suppose 0 = -4*v + 2*d + 2226, 0 = 3*v + 2*d - 752 - 921. Is v prime?
True
Let n be (42/35)/(6/20). Suppose 0 = 2*t - n*m - 1342, -979 = -3*t + m + 1039. Is t prime?
True
Suppose 12*u = 9*u + 2595. Let r be (3 - 6)*-1 + u. Suppose 3*y - 5*h - 848 = 0, -r = -3*y + 3*h - 2*h. Is y composite?
True
Suppose -18*v - 4503 = -21*v. Is v a composite number?
True
Let k(a) = 17*a + 42. Let g(z) = 1. Let u(i) = -3*g(i) + k(i). Is u(20) prime?
True
Let r = -24 + 17. Let u(k) = k**2. Let h(b) = 6*b**2 + 8*b + 1. Let s(y) = h(y) - 4*u(y). Is s(r) a prime number?
True
Let h be (-4)/6 - (-2116)/6. Suppose -5*r + 0*p = 4*p - 453, 2*p + h = 4*r. Is r a prime number?
True
Let t = 1843 - 1170. Is t a composite number?
False
Let c = -563 + 712. Is c prime?
True
Let o = 74 + -59. Let z = 28 + o. Is z a prime number?
True
Let j(i) = 60*i**2 + 4 + 18 - 5*i**2. Is j(-5) prime?
False
Is (-1876)/(-24) + 1/(-6) + 1 a prime number?
True
Is ((-21)/(-35))/((-24)/(-18640)) composite?
True
Let q = 7 - -951. Is q a prime number?
False
Let l be (-6)/(4 - (-1702)/(-424)). Suppose -l = -7*y + 2495. Is y composite?
True
Let j be 1/(5 - 2 - 2). Is -1 + (2 - -2) - (-4105 - j) a composite number?
True
Let m(l) = -2761*l - 318. Is m(-5) a composite number?
False
Suppose 0 = -g + 6*g - 25. Suppose -2*t = 4*m + 12, 0 = -4*m + 5*t + 12 + 4. Is (109 - g) + 0 + m composite?
False
Suppose 4*t + 58 = -n + 220, -469 = -3*n + 5*t. Suppose -459 = 5*p + 2*m, 2*p + 2*m + 161 + 25 = 0. Let c = p + n. Is c a composite number?
False
Is (-37)/((-740)/92 - -8) prime?
False
Suppose -3*n = 220 + 227. Let g(f) = f**3 - 7*f**2 + 2*f + 10. Let i be g(5). Let y = i - n. Is y a composite number?
True
Is -5*(-3)/(-5)*(-212620)/20 composite?
True
Let p be -1 + (-1 - 1) + 2. Is (-31)/(-1) + (p - -1) composite?
False
Let g(c) = c**3 - 22*c**2 + 28*c - 18. Let n be g(19). Let s = n - -868. Is s prime?
False
Suppose 7*f - 11*f = 0. Suppose 0 = 2*t - f*t - 24. Is (1352/t)/((-2)/(-3)) a composite number?
True
Suppose -2*t + 686 = 2*u, 2*u + 0*u + 3*t - 686 = 0. Suppose b - 668 = u. Is b a prime number?
False
Let g = 6821 + -3124. Is g prime?
True
Suppose -1648 = -4*v + 2*z + 66958, -3*z = -9. Is v a composite number?
True
Let k(l) = -l**2 + 5*l - 3. Let z be k(3). Suppose z*m - 300 = m. Let a = -59 + m. Is a prime?
False
Suppose -41 = -2*j - 5. Let s be (-7 - 0)*j/(-7). Is 8/(-2)*(-117)/s composite?
True
Suppose -40*x + 232479 = -302641. Is x composite?
True
Let z = 5 + -60. Suppose 0*f - 708 = -4*f. Let w = z + f. Is w composite?
True
Suppose 0 = 4*p + 4*p - 7056. Let v = -197 + p. Is v prime?
False
Suppose -39 = t - 4*t + 3*i, 5*i = -20. Let g(w) = 3*w + 4. Let x be g(t). Suppose -d + x = -43. Is d a composite number?
True
Suppose -4*h + 53166 = 2*m, -66453 = -5*h - 145*m + 147*m. Is h prime?
True
Let j(f) = 3*f**2 - 6*f - 10. Let w = -5 + 7. Suppose -27 = z + w*z. Is j(z) prime?
False
Let o be ((-2)/5 - 152/20)/2. Is (o - 270)/(-1) - (0 + 3) a composite number?
False
Let m = 525644 - 341047. Is m a prime number?
False
Let h(y) = -19*y**2 + 2*y - 4. Let i(w) = -57*w**2 + 5*w - 11. Let t(k) = 8*h(k) - 3*i(k). Let z(s) = -s**3 + 5*s**2 - 5*s + 1. Let o be z(4). Is t(o) prime?
False
Let r(l) = -l**3 + l**2 + 487. Suppose 5*y - b - 23 = 0, 0*y + 2*y - 8 = b. Suppose -5*m - 4*i = -20, 2 + 18 = -y*m + 4*i. Is r(m) a composite number?
False
Let f(i) = 27*i**2 + 11*i + 37. Is f(-12) composite?
False
Suppose 0*c + 22 = 2*c - 2*l, 0 = -5*c + l + 43. Suppose 7*q + 12 = c*q. Is (508/q)/(2/6) prime?
True
Let u = 34 - 31. Suppose -u - 13 = -4*w. Suppose 2*m + w*q = 194, -3*m - 4*q + 289 = q. Is m composite?
True
Suppose q - 3*q = 2*q. Suppose 3*t - 1142 - 2023 = q. Is t prime?
False
Suppose r = 5*s + 503, 4*r + s = 767 + 1308. Let h = r - 229. Is h a composite number?
True
Suppose -138*i + 32468 = -134*i. Is i composite?
False
Suppose -46*d + 76905 = -d. Is d prime?
True
Let p be -5*5/((-100)/8). Suppose v - 1029 = -p*u, -5*v = 4*u - 2*u - 1009. Is u a prime number?
False
Let q be (-3 + 7 - 1) + -5. Let w be ((-6)/(-4))/((-1)/q). Suppose w*c = 7*c - 5*z - 73, 4*c - z = 85. Is c composite?
True
Suppose 220*h = 223*h - 65913. Is h a composite number?
True
Suppose 6*u - 8*u = -12. Suppose 2511 = u*v - 1695. Is v a prime number?
True
Suppose i = -4 + 12. Let d be ((-18)/24)/((-2)/i). Suppose -d*r - 995 = -8*r. Is r a prime number?
True
Suppose x - 2 = 0, 2*x - 3*x = -3*d + 10. Let f be 10 + 2 - (119 + -126). Let t = d + f. Is t a prime number?
True
Suppose 5*o = 4*o + 3. Suppose 0*t = -5*t - h + 5, -3*t + 16 = -2*h. Suppose z = t*k - 73, -o*k + 4*k + 4*z - 50 = 0. Is k composite?
True
Suppose 0 = -2*y - 3*n + 4390, -3*n - 2*n + 4390 = 2*y. Suppose 4*t = 5*u + 8822, t = 2*u - 6*u + y. Is t composite?
False
Suppose 2*r + 2*q + 4 = -3*r, -2*r - 2*q = 4. Let s(c) = -c**2. Let g be s(r). Suppose 3*m + 6 = g, 0 = -4*h + 3*h + 5*m + 917. Is h a composite number?
False
Let w be (6 - 5)/(2*2/8). Suppose 304 = j + x, w*j - 419 - 185 = 2*x. Is j a prime number?
False
Let q(z) = 4*z**3 - z**2 + 8*z + 4. Let j be q(-6). Let s = 549 + j. Is s/(-55) + (-2)/11 a compo