 = -7 + 11. Suppose d - 507 = -p*d - 4*f, 3*f + 6 = 0. Is d prime?
True
Let i be 1 - 3 - (-5 + 3). Suppose 5*u + i*u - 2764 = -3*x, -5*u + 25 = 0. Is x a composite number?
True
Let n(d) be the first derivative of -105*d**2 + 13*d - 13. Is n(-8) composite?
False
Let c be 8/12 + 332/6. Suppose 132 = -7*u + 3*u. Let b = c + u. Is b a composite number?
False
Is 15875 - (-6)/12*4 composite?
False
Let r(d) = 115*d**2 + 7*d - 20. Suppose 3 = -h, 0 = s - 2*h - 7 - 1. Is r(s) a composite number?
True
Is 13664/3 - (-5)/(-3) a prime number?
False
Is (-8927)/(-9) + 520/(-585) composite?
False
Is (-738450)/(-60) - (-3)/(-6) composite?
True
Suppose -89907 = -32*o + 828013. Is o composite?
True
Let f(n) = 9*n**2 - 8*n - 5. Let k be (0 - 5)*(-30)/(-50). Let w(o) = -4*o**2 + 4*o + 2. Let p(j) = k*f(j) - 7*w(j). Is p(5) a composite number?
True
Let j(t) = -t. Let a be j(-6). Suppose a = 2*p - 0. Suppose p*o - 380 = -143. Is o prime?
True
Let v(x) = x**2 + 5*x + 2. Let o(d) = d**2. Let u(s) = 2*o(s) + v(s). Let a be u(6). Let l = -43 + a. Is l a composite number?
False
Suppose -2*w - 10660 = -3*q, -4*w - 17772 = -5*q - 6*w. Is q prime?
False
Let u = 83 + -35. Let g = 35 - -78. Let y = g - u. Is y a prime number?
False
Let l(c) = c + 2. Let a be l(0). Suppose m + 23257 = 4*t - 8*t, a*m = 2*t + 11636. Is t/(-25) + (-4)/(-10) prime?
True
Let w = 3024 - 1859. Is w a prime number?
False
Let s(o) = -725*o + 413. Is s(-16) prime?
False
Let h = -3 - -10. Suppose -h = -c - 4. Suppose c + 4 = p. Is p a prime number?
True
Let k(r) be the third derivative of r**5/60 + r**4/8 - 4*r**2. Let i be k(-4). Suppose 0*c - 5*c = -4*s + 258, i*s - 264 = 2*c. Is s a composite number?
False
Let j(v) = -614*v - 25. Is j(-6) prime?
True
Let h = 73 + -77. Is 29367/27 + (-2 - h/3) a prime number?
True
Is 6*(12/30 - 192866/(-60)) a prime number?
True
Let z be 7 + -1538*3/(-6). Let i(m) = -401*m + 2. Let o be i(-2). Suppose 2*x - o = -j - 3*j, -4*j = -5*x - z. Is j composite?
False
Let s(u) = 4*u - 1. Let i be ((-4)/6)/(2/(-12)). Let p be s(i). Is 68/3 + 5/p a composite number?
False
Let h = 61619 - 37390. Is h a composite number?
False
Let v(a) = a**3 + 7*a**2 - 9*a - 3. Let q be v(-8). Suppose q*y + i + 22 = 0, -8 = y - i + 3*i. Is -2 + (-1 - 744/y) a composite number?
True
Suppose 12*d - 15*d = -75291. Is d a prime number?
True
Let o = 790 + -413. Is o a composite number?
True
Let b be 12/8*(834 - 0). Suppose 4*q + 191 = b. Is q prime?
False
Suppose 4*x + 3 = -x + 2*j, -4*x = 2*j - 12. Let i(t) = 63*t - 1. Is i(x) composite?
True
Let c(t) = -12560*t - 9. Is c(-2) composite?
False
Let w(n) = n**3 - n**2 - 7*n + 2. Let d(f) = -7*f - 1. Let g(b) = 15*b + 2. Let p(x) = -7*d(x) - 3*g(x). Let r be p(1). Is w(r) composite?
False
Suppose 273 = 2*l - 629. Suppose t + 584 = 2*a, -3*t - 340 = -a - 38. Let m = l - a. Is m a prime number?
False
Let c be 54/(-24) - (-3)/12. Is 8094/5 + (c/(-2))/5 a prime number?
True
Suppose -127 = -2*s + 5. Suppose -s = -2*z + w - 5*w, -3*z = 2*w - 95. Is z a composite number?
False
Let h = -1107 + 6556. Is h a composite number?
False
Let u(c) = 798*c**2 - 17*c - 89. Is u(-10) a prime number?
False
Is 6764426/902 - (-4)/(-11) prime?
True
Let r(f) = -f**2 + 7*f + 14. Let q be r(13). Suppose -5*v - 780 = -15. Let w = q - v. Is w a composite number?
False
Let r(l) = -l**2 - 22*l - 23. Let x be r(-15). Suppose -81*a = -x*a + 907. Is a composite?
False
Let g(k) = -8*k + 8. Let y(u) = 7*u - 8. Let i(d) = -6*g(d) - 7*y(d). Let v be i(7). Is ((-20)/16)/(v/(-92)) prime?
False
Suppose 0 = 3*r - 3. Let i(l) = -24*l + 6. Let u(g) = g + 1. Let y(c) = r*i(c) - 2*u(c). Is y(-3) composite?
True
Suppose -2*b + 7*b = 5275. Suppose -980 = -5*v + b. Is v prime?
False
Let q(g) = 517*g**2. Let w be (2/6)/(10/(-30)). Is q(w) a prime number?
False
Let h(x) = -2*x**2 + x. Let z be h(1). Let k(i) = 3*i**2 - 2*i - 3. Let u be k(-1). Is (-1 + -73)/(z*u) a prime number?
True
Let i be (6/9)/((-2)/(-57)). Let r be ((-3)/(-2))/((-6)/(-316)). Suppose -i + r = 4*b. Is b composite?
True
Suppose -5*x - 2039 = -3*l, -2*l - l = 3*x - 2007. Let w = l + -24. Is w a prime number?
False
Let v(z) = 4*z**2 + 8*z - 25. Let p(g) = 20*g**2 + 40*g - 124. Let w(q) = -2*p(q) + 11*v(q). Is w(8) a composite number?
False
Suppose -f - 2*f + 5*k + 11 = 0, -3*f + 2*k = -8. Is (f - 319)*(-3 + 2) prime?
True
Is -1*23354*6/(-12) a composite number?
False
Let r(w) = -25 + 2*w**2 + 15*w - 6*w + 28. Let c be r(-9). Suppose x + c - 293 = 0. Is x prime?
False
Suppose 5*r - 8861 = -2*t + 557, -t + 2*r = -4691. Is t composite?
True
Let x = 830 - 440. Let w = x + 454. Suppose 2*u = -0*u + w. Is u composite?
True
Suppose 2*g = 4*g - 20. Let k = -18 + g. Let n(i) = -14*i + 3. Is n(k) prime?
False
Let f be (4 + -3)/(2/(24/(-4))). Let k(j) be the first derivative of -j**4/4 - 2*j**3/3 - j**2/2 - j - 1. Is k(f) prime?
True
Let i(v) = v**3 - 6*v**2 - 2*v + 7. Let c be i(6). Let m = c - -5. Suppose -290 = -5*n - 3*f, m*f + 2*f = -n + 58. Is n prime?
False
Let u(k) = k**2 - 4*k - 17. Let j be u(7). Suppose 268 = 6*m - j*m. Is m prime?
False
Let s(a) = 2*a**2 + 2*a - 2. Let x be s(-2). Suppose 0 = -0*h + x*h - 144. Let f = h + -35. Is f a composite number?
False
Let d = -24 - -26. Let u(o) = 18*o**2 + o - 2. Let y be u(d). Let j = 217 - y. Is j composite?
True
Suppose -13*s = -5816 - 22173. Is s composite?
False
Let a(g) = -2*g + 53. Suppose -3*p + 15 = -0*p + v, 4*p = 5*v + 20. Suppose p*x = -3*k - 25, k + 3*x = -2*x - 25. Is a(k) prime?
True
Suppose l - 3*f = -3 + 2, -f = 2*l - 5. Suppose -7*p + 3*p - 2*z = -634, 5*z = l*p - 311. Is p composite?
True
Suppose 2*y + 6 = -r, 0*r = -3*r. Is 4 - (-4 + 231/y) a composite number?
True
Let z = -30 + 32. Is (-14 + -132)*(-3)/z prime?
False
Let d(b) = -b**3 + 27*b**2 - 96*b + 18. Is d(19) a composite number?
True
Is 314187/9 + -8 - (-8)/(-12) prime?
False
Let i(c) be the first derivative of -c**5/20 - c**4/6 + 11*c**3/6 + 5*c**2/2 - 11*c + 1. Let x(v) be the first derivative of i(v). Is x(-8) a composite number?
True
Let k(b) = b**2 + 4*b - 10. Suppose 3*d + 5 = -13. Let l be k(d). Suppose l*c - 286 = -i, 4*c - 6*i + 2*i = 596. Is c a prime number?
False
Let f(a) = -a**3 + 4*a**2 - 3*a + 2. Let r be f(3). Suppose 4*t - 4*d - 26 = -146, r*t - 5*d = -51. Is (-489)/t - (-2)/11 a composite number?
True
Suppose 3*q + 3*z - 42533 = z, -2*q = 2*z - 28354. Is q composite?
True
Let j = 47 - 45. Suppose 5*v - j*t = -t + 1463, -2*t = 4*v - 1176. Is v composite?
False
Let t(d) = -59*d**3 - 4*d**2 - d - 5. Is t(-6) a prime number?
True
Let v(w) = -3*w - 17. Let z be v(8). Let p = z + 159. Is p a prime number?
False
Suppose -5*f - 2*m + 31 = 0, 0 = -0*f - 5*f - m + 33. Let p(x) = -5*x - 14*x - 13*x + f - 1. Is p(-4) a prime number?
False
Suppose -4560 = -3*p + 8*p. Let y = p - -1301. Is y a composite number?
False
Let g(b) = -b**2 + 17*b + 5. Suppose -2*c + 14 = 3*j - 0*c, -2*c + 6 = -j. Suppose -l - 3*u = 3*l - 35, 12 = j*l - 4*u. Is g(l) prime?
False
Suppose 0 = -5*z + 15 - 0. Suppose z*h - 959 + 128 = 0. Is h composite?
False
Suppose -4*l = -3*j + 12, -4*j - 4*l - 15 = l. Let u = -2 + 5. Is 44 + u + j + -1 composite?
True
Let k(g) = 5*g**2 + g - 1. Let y = -30 + 28. Let p be k(y). Let f = 16 + p. Is f composite?
True
Suppose -2*j = -3*w - 2982, 3971 = 2*j + 5*w + 957. Is j composite?
True
Let u = 189 + 196. Let n = u + 96. Is n composite?
True
Suppose -u + z = 2, -2*u - 3*u - 4*z = -35. Suppose -1596 = -u*j + j. Suppose h - j = -4*h + m, -801 = -5*h + 2*m. Is h a composite number?
True
Let j(l) = 68*l - 27. Let k(v) = -67*v + 27. Let r(z) = -4*j(z) - 3*k(z). Is r(-16) prime?
True
Suppose -5*u = -69 + 39. Is 2949/u + (-1)/2 composite?
False
Let i(h) = 10*h**2 - 11*h + 1. Let g be i(11). Suppose 864 = 4*s - 2*y, -6*s + 5*y = -s - g. Is s a composite number?
True
Suppose b = 4*b - 3*y - 30, 5*b = y + 34. Suppose 3*z - b*z + 879 = 0. Is z prime?
True
Let r be (2 - 2075)/(21/(-14)). Let o = 3069 - r. Is o a composite number?
True
Let t = -3 + 6. Suppose 0 = t*x - 4 - 8. Suppose -u = 5*a - 226, -4*u + 399 + 585 = x*a. Is u a composite number?
False
Suppose 0*h - 3*k = 4*h + 4, 0 = -2*h + 3*k + 16. Suppose -2*u = 2 + h. Is u/4 + 234/12 prime?
True
Suppose -16*r = -14*r - 940. Suppose 4*a - r = 5406. Is a a prime