6111 = 3*d + 2*o. Suppose -6*y + d = -12057. Is y prime?
False
Let g(f) = -3*f - 45. Let v be g(-14). Is (21876/v)/(16/(-4)) a prime number?
True
Let d = -6 - -13. Let i be (-2 - -1) + (99 - d). Let t = i + 120. Is t a prime number?
True
Let y(x) = -x**2 + 9*x - 6. Suppose 4*z - 5*q = 42, -3*z = -6*z - 5*q + 14. Let v be y(z). Is 13*(v + -2 + 67) composite?
True
Let y(u) = u + 119. Suppose 0 = -2*t - t - 3*x + 9, -5*x = -15. Let m be y(t). Suppose d + 229 = -w + 3*w, w - m = 2*d. Is w a prime number?
True
Let t = 17 + -23. Let y = 6 + t. Let m(f) = 2*f**2 + f + 3251. Is m(y) a composite number?
False
Let v(u) = -138*u - 41. Suppose h - 27 = 7*p - 6*p, -5*h = -2*p - 42. Is v(p) composite?
True
Suppose -c + 27 = -2*b, -4*b + 5*b = -4*c - 18. Is b/3*153441/(-18) prime?
False
Suppose -y - 2*j = 3185, 0*y + y = j - 3170. Let l = 5009 + y. Let f = l - 1251. Is f a prime number?
False
Let j = 8571 - 3561. Suppose -1878*c + j = -1872*c. Is c a prime number?
False
Suppose -3 = 4*w - 3*p, -4*p = -2*p - 10. Suppose 3*m = 2*n + 14 - 0, 3*n - 9 = -w*m. Suppose 5*u + 461 = m*v, 3*v - 243 = -5*u + 129. Is v a composite number?
True
Let t be 6/(-45) + ((-534)/45 - -2). Let a be 1/t*-6*20. Suppose a*s - 7*s = 955. Is s a prime number?
True
Suppose 0 = -2405*t + 2355*t + 26581550. Is t prime?
True
Is ((-169512)/(-84)*(-69)/3)/((-2)/1) a prime number?
False
Is (-5)/((-20)/766768)*(-1)/(-4) a composite number?
True
Let z = -38 - -41. Let o be 1086 - ((-12)/z)/1. Let n = o - 413. Is n composite?
False
Let z(j) be the third derivative of 2*j**5/15 - j**4/12 + 23*j**3/6 + 5*j**2 - 3. Is z(-6) a composite number?
True
Is (-4 - 60/(-25)) + 110441313/155 a composite number?
True
Suppose -5*n - 70 = 3*b - n, 0 = -n - 4. Is -3 + ((-4)/b - 683276/(-99)) a prime number?
True
Suppose 0 = -14*i - 4108 + 7664. Is i prime?
False
Suppose 0 = -23*m + 49541 + 23622. Suppose -2*v + 5*g + m = 0, -13*g = -2*v - 9*g + 3178. Is v composite?
False
Let z(f) be the second derivative of f**5/20 - f**4/12 - f**3/3 - 5*f**2/2 - 6*f. Let k = 5 - 0. Is z(k) prime?
False
Let p(g) = 36*g**2 + 12*g + 3. Let l be p(6). Let x = 1996 - l. Suppose -3*y = -5*z - 500 + 94, -5*y - 2*z + x = 0. Is y a composite number?
False
Suppose -4*b + 9*b - 287583 = -8*l, 5*l + 5*b = 179730. Is l a composite number?
False
Suppose 0 = -6*i + 1568804 - 218882. Is i composite?
True
Suppose 10 = -2*z, 106 = l + 4*z - 735. Let t be (1 - 2)/(10/4220). Let o = t + l. Is o a composite number?
False
Let o = 144236 + -52899. Is o a prime number?
False
Let y(n) = -n**2 + 2*n + 2. Let l be y(2). Suppose -l*w + 49711 = 5*a + 2*w, 0 = 3*a + 2*w - 29827. Is a a prime number?
False
Let m(z) = 13*z + 9. Let g be m(4). Suppose -g = -3*w - 5*j, 0 = -w + 2*j - 5*j + 27. Let b(y) = 6*y**2 - 6*y - 1. Is b(w) a composite number?
True
Let k(h) = -6*h - 16. Let g be k(-9). Let i = 42 - g. Suppose 4*t - 5496 = -i*f, 5*t - 9528 + 2618 = 3*f. Is t a prime number?
False
Suppose -8*p + 11*p = -474. Let q = p + 973. Is q composite?
True
Let c(l) = -3*l**3 - 3*l**2 + 19*l + 19. Suppose -3*g - 6 = -15. Let z(r) = -2*r**3 - 2*r**2 + 10*r + 10. Let s(o) = g*c(o) - 5*z(o). Is s(4) composite?
True
Let m(k) = 2*k**3 - 2*k**2 - 7*k - 8. Let v(y) = -5*y**3 + 3*y**2 + 12*y + 14. Let i(a) = 11*m(a) + 6*v(a). Let u be 4/((-24)/(-9))*-2. Is i(u) prime?
True
Let k = -11115 - -29719. Let j = k + -9293. Is j a prime number?
True
Suppose -2882 = 2*w + 1352. Let m = w - -4266. Is m a prime number?
False
Suppose 5*i - 274798 = -4*v, -10*v - 755771 = -21*v - i. Is v a prime number?
False
Let f = 87878 + 1041. Is f composite?
False
Suppose 6 = 2*y + 22. Let t(z) = z**3 + 2*z**2 + 26*z - 4. Let n be t(y). Let b = 1087 + n. Is b a composite number?
False
Suppose 4*b - 3*z - 9681251 = 0, 5*z = 5*b - 11266199 - 835371. Is b composite?
False
Let h(o) = -o**3 - 41*o**2 + o + 32. Let y be h(-41). Let i(r) = -269*r + 82. Is i(y) a prime number?
True
Let p be (-664)/12*6651/(-6). Let j = -37584 + p. Is j a prime number?
True
Let h(d) = 190*d + 149. Is h(77) a prime number?
True
Let j = 2603 + -508. Is j a prime number?
False
Let z(w) = 125*w**2 + 5*w + 21. Let u be z(-5). Let t = u + -890. Is t a prime number?
False
Let i = -197 + 195. Is ((-1481)/i)/(10*(-1)/(-20)) a prime number?
True
Suppose 522 + 599 = b. Let x = b - 648. Is x a prime number?
False
Suppose -k = 4*v - 644081, -41*k - 4*v + 1932315 = -38*k. Is k prime?
True
Suppose 282 = 5*v - 2018. Suppose -11*w = -9*w - v. Suppose -24*l + 22*l = -w. Is l prime?
False
Let c be (10/(-8))/(4/(-272)). Suppose 2508 = 19*m - 8*m. Let g = m - c. Is g composite?
True
Let g be 4 + 2 + -5 + 634 + -5. Suppose -5*u + 10 = 2*l - u, -2*u - 4 = -2*l. Suppose -g = -c - 5*z, -582 - 56 = -c + l*z. Is c prime?
False
Let n be (-3)/(-4) + -2 + (-500)/(-16). Suppose 0*x + n = 6*x. Suppose v = -0 + 1, -x*w - v + 2936 = 0. Is w composite?
False
Suppose 0*r + r = 4*d + 678, 2664 = 4*r - 4*d. Is 2/3 + r/6 prime?
False
Let n be 146650/25 - (2 - 0). Let s = n - 3465. Is s composite?
False
Suppose 2*a = 265 + 453. Suppose 2571 + a = 2*m. Is m composite?
True
Let h be (85/15)/((-1)/6*2). Let t = 4 - h. Suppose 0 = t*m - 23*m + 1790. Is m a composite number?
True
Let n = 112 + -107. Is 906*n + (12/(-1))/(-3) a composite number?
True
Let h = 30 + -46. Let z(n) = n**3 + 15*n**2 - 15*n + 18. Let r be z(h). Is 0/(r + 2) + 2 + 56 prime?
False
Let i(j) = 3*j**2 + 33*j + 15. Let v be i(-10). Let c(m) = m + 17. Let k be c(v). Suppose 5*w = -4*f + 1133, k*f - w + 79 - 628 = 0. Is f a prime number?
True
Suppose -s - 32 = 3*z, 4*s - 2*z - 2*z = -96. Let f(u) = -u + 20. Let m be f(s). Suppose -m*g = -42*g - 1292. Is g a prime number?
False
Suppose 4*f + 864777 - 2246069 = 0. Is f a prime number?
False
Let h(r) = -3*r**3 - 8*r**2 - 66*r - 11. Let m be 125/(-20) + 7/(-4). Is h(m) a composite number?
True
Suppose -6*r + 3 + 375 = 0. Is (-14)/r + 12658/18 composite?
True
Let n(z) = -2*z**3 + 12*z**2 - z + 11. Let k be n(6). Suppose -861 = -k*c + 2644. Is c a prime number?
True
Suppose 3*x + 83998 = r, r - 5*r + 335965 = -3*x. Is r a composite number?
True
Suppose -616 = -2*g - 3*y, 0*g - 3*g + y + 902 = 0. Let p = -11784 + 11973. Let l = p + g. Is l prime?
True
Let r(z) be the first derivative of 9*z**4/4 + 14*z**3/3 - 3*z**2/2 - 49*z - 54. Is r(9) prime?
False
Suppose 5*b + m + 24 = 9*b, 2*b - 26 = -3*m. Is 29*(280 + 7/b) composite?
True
Let p(g) = 6*g**2 - 2*g + 11. Let o(k) = 5*k**2 - 13*k - 11. Let x(d) = -4*d**2 + 14*d + 11. Let z(s) = 3*o(s) + 4*x(s). Let t be z(18). Is p(t) prime?
False
Suppose -47 = -4*c - x, -5*x + 12 = c + 5. Is (c/15)/(2 - (-1008)/(-510)) a composite number?
True
Is 12 + 14/(-14) - -119948 composite?
True
Let r = 13496 - 8235. Is r prime?
True
Let q(m) = -105*m**2 + 32*m + 168. Let t(p) = -27*p**2 + 8*p + 42. Let c(o) = 2*q(o) - 9*t(o). Is c(9) a prime number?
False
Let t(c) = 2*c - 2. Let o(n) = -62*n - 11. Let l(y) = o(y) - 3*t(y). Is l(-14) a prime number?
True
Let g(b) = 42*b + 106. Let m = 40 - 34. Is g(m) prime?
False
Suppose -3*k + r = -77033 - 41465, k = -3*r + 39496. Is k a prime number?
True
Is 57/(-133)*(-3675539)/7 a composite number?
True
Is (-4254)/8*31/(279/(-1164)) prime?
False
Let z = -42 - -33. Let h be 0 + -32 + (-36)/z. Is (-10452)/h - 8/28 a prime number?
True
Suppose 2 = -g, 2*g = h - 32225 - 144916. Is h composite?
True
Let t(c) = 62*c**2 - 1078*c - 77. Is t(20) composite?
False
Let f = 34 - -8. Suppose 9 = -3*w, 0 = 4*s + 45*w - f*w - 3955. Is s a prime number?
True
Suppose l - 2474 = 3*b, 4*l - 3*b - 4488 - 5363 = 0. Is l composite?
False
Let t(w) = w**2 + 31*w + 35. Suppose -8*i + 256 = 744. Is t(i) a prime number?
False
Let s = -49246 + 1181567. Is s prime?
True
Suppose -1000642 = -82*f + 3318052. Is f a prime number?
True
Let b be 334/(-5)*(-68 - -73) - -8. Suppose -l + 3*l = -42. Let f = l - b. Is f prime?
False
Suppose -40 = 8*u + 12*u. Let r(a) = -787*a - 39. Is r(u) prime?
False
Let c = 34 - -99. Suppose -u - 4*u + 30 = 0. Let b = c - u. Is b a prime number?
True
Let x = 913 + -911. Suppose x*p + 4*i = 1958 - 220, -870 = -p - i. Is p prime?
False
Is (-1)/(-4) - 1231812/(-48) a composite number?
True
Let r(v) = 369*v**2 + 98*v - 722. Is r(8) prime?
False
Suppose -17*f = -7*f - 490. Suppose f + 699 = 4*r.