?
False
Let l(o) = 12*o - 7. Let b(u) = 25*u - 14. Suppose -3*g - 6 = 3. Let h(w) = g*b(w) + 5*l(w). Is h(-10) prime?
True
Suppose 4*v - 6 = v. Suppose 3*b = -v - 1. Is (0 + b)*(4 - 81) composite?
True
Suppose 15986 = -133*t + 135*t. Is t prime?
True
Let h(p) = 2*p**2 + 0*p + 7 + p + 3*p - p**2. Let z be h(-3). Suppose -z*y = -2*v - 2*v - 488, 3*y + 4*v - 401 = 0. Is y prime?
True
Is 8786/(-11 + 22 + -9) a prime number?
False
Let f(r) = r**3 + 4*r**2 - 6. Let z be f(-2). Suppose 2*q - 2012 = -z*q. Is q a prime number?
True
Let o = 1930 - 171. Is o composite?
False
Suppose 25*x + 221301 - 562326 = 0. Is x a prime number?
False
Suppose -2*f = -5*i - 7, i = 5*f - 2*i - 27. Suppose 0 = 5*y + 2*s - 21438, 2*s = f*s - 16. Is y a prime number?
False
Let f = 0 - 36. Let n be (-2 + 1)/(12/f). Suppose -n*p = 3*s - 4*p - 95, -128 = -4*s + 2*p. Is s a prime number?
True
Suppose -76*y = -806819 - 677537. Is y a composite number?
False
Let a = 32280 + -15643. Is a a prime number?
False
Let w = -690 + 292. Let f = -233 - w. Suppose 0 = -3*l - 5 - 7, 5*p - f = -5*l. Is p prime?
True
Let h = -4 - -7. Suppose 4*j + h*p = -157, 0 = j - 2*p - 2*p + 44. Is (1910/j)/((-2)/8) prime?
True
Suppose -99*a - 13214 = -101*a. Is a a prime number?
True
Let a(n) = 1932*n - 7. Let r be a(9). Suppose 0*h = 3*h - 4*i - r, -2*h + 5*i + 11592 = 0. Is h composite?
False
Let z be (-139712)/(-12) - 3/(-9). Suppose 3*r = 5*n - 918 + z, 17912 = 5*r + 4*n. Suppose -2*g = -r + 618. Is g prime?
True
Let h be (-2)/(-4) + (-4455)/(-18). Let p be 3/(-6)*(-17 - -3). Suppose 0 = 3*a - p*a + h. Is a prime?
False
Suppose 2*a - 5*r = 13, a + 5*r + 4 = 3. Suppose 5*m - 2461 = a*t, 4*m - 2567 + 631 = -5*t. Is m prime?
False
Suppose 24186 + 11398 = 4*x. Let w = x - 5945. Is w a composite number?
True
Let p = -10 - -27. Is ((-10)/(-6))/(p/663) composite?
True
Let n(d) = 155*d + 142*d + 6 - 2 - 76*d. Is n(3) a prime number?
False
Let a(y) = 695*y**2 - y. Suppose 5*j = 6 - 1. Let n be a(j). Suppose -4*k = -n - 318. Is k a prime number?
False
Let w(x) be the third derivative of -x**6/120 - x**5/15 + 5*x**4/24 + x**3/2 - 3*x**2. Let m be w(-5). Suppose 9 = m*q - 84. Is q prime?
True
Let l = 1073 + -276. Is l composite?
False
Is (-270)/(-450) + 968024/10 composite?
True
Suppose -295146 - 6442 = -28*i. Is i composite?
False
Suppose 0 = -0*p - 5*p - 60. Let m = -9 - p. Suppose 334 = m*t + l, -l - 457 = -5*t + t. Is t a composite number?
False
Let s be (-17726)/(-10) - 15/25. Suppose -2*g = -s - 1922. Is g composite?
False
Let l(t) = t**3 + 18*t**2 + 33*t - 21. Let v be l(-16). Let j = 126 + v. Is j a prime number?
True
Let o(z) = 2*z**2 + 14*z - 3. Let s be o(15). Let h = s + 194. Is h prime?
False
Let i = -3 + 5. Suppose 2*v + i*a - a - 612 = 0, 0 = 3*v - 3*a - 909. Is v prime?
False
Let h = 8 + -5. Suppose -4*l + 542 + 1023 = 5*b, -1194 = -h*l + 3*b. Is l composite?
True
Let f(g) = -5*g**2 + 2. Let o be f(-5). Let x = 250 + o. Is x prime?
True
Let a be (3/(-9))/((-1)/12). Suppose 2*y + 6*v - 988 = a*v, -5*v = -2*y + 967. Let q = -268 + y. Is q a composite number?
False
Let a = -16910 + 39717. Is a a prime number?
True
Let l(b) = 314*b - 21. Let i(d) = 941*d - 62. Let v(k) = 4*i(k) - 11*l(k). Is v(7) prime?
True
Let v = -73 - -73. Suppose v = 5*l + 15, 3*j - 4*l - 758 = 2*j. Is j prime?
False
Let q(c) = 14039*c + 45. Is q(2) prime?
True
Let h = 40 - 41. Is (h - (0 + -4))/((-1)/(-23)) prime?
False
Let k = -181 + 1346. Is k a prime number?
False
Let w(t) = 6*t**2 - t - 31. Let x be w(11). Suppose 0 = -5*f + x + 20431. Is f a composite number?
True
Let s(p) = 10*p**3 + p**2 - 3*p + 3. Let q be s(1). Suppose 5*v = q*v - 9834. Is v composite?
True
Suppose -5*w = -2*i - 2, -5*w - i + 10 = -2*w. Suppose -8 = -4*y, 6*j - j + w*y - 5789 = 0. Is j prime?
False
Suppose 0 = h + 5*p + 12, 0 = 5*h - 2*p - 21. Let b be 6*h/(-12)*-2. Let n(y) = 41*y**2 + 4*y - 2. Is n(b) prime?
True
Let c be (6/(-9))/((-8)/(-132)). Let x(f) = 20*f**2 - 61*f + 24. Let h(p) = -4*p**2 + 12*p - 5. Let q(b) = c*h(b) - 2*x(b). Is q(11) prime?
False
Suppose 2*r + 2*u = -2, 9 = 3*r + 2*u - 3*u. Suppose 2*o = r*v - 126, 5*o - 2*o + 305 = 5*v. Is v prime?
False
Let c(t) = t**2 - 16*t + 21. Let x be c(15). Let m = 1 - x. Let h(k) = 17*k**2 + 4*k - 4. Is h(m) a prime number?
True
Let p be 3/(32/(-312) + (-1)/(-3)). Suppose -12*r - 1041 = -p*r. Is r prime?
False
Let b(p) = -8*p**3 + 8*p**2 + 9*p + 9. Let y be b(-5). Is y + -2 + -1 + 6 a prime number?
False
Let q be (-3)/(0 - (-6)/(-27932)). Suppose 3*z - 2643 = w + 11311, 0 = -3*z + 4*w + q. Suppose 0 = 2*x + 3*a + a - 2330, 4*x = 2*a + z. Is x prime?
True
Let n(y) = 10*y**2 - 17*y + 31. Is n(16) prime?
False
Suppose 0 = 116*a - 34*a - 193438. Is a composite?
True
Let g be (-3)/((-9)/3)*-1 + -293. Let i = g - -623. Is i prime?
False
Let g be 6*(1 - -3)/12. Suppose 5*x + 4*f = 325, 3*x = -g*x + 2*f + 355. Is x a composite number?
True
Suppose -3*l + 5574 = 5*m, 2*l + 0*m = -3*m + 3715. Let k = -771 + l. Is k a composite number?
True
Suppose 3*r - 12 = 3*o, -5*r + 2*o = -24 - 11. Suppose -r*w + 6*w = -6. Suppose w*d = 6*d - 4*p - 736, 0 = -3*p + 9. Is d a prime number?
False
Let p(n) = 19 - 18*n - 11 - 7. Is p(-1) prime?
True
Let s(d) = 3*d**2 - d + 7. Let m = -17 + 14. Let q = m - 0. Is s(q) prime?
True
Let m = 5742 + -3413. Is m a composite number?
True
Suppose 186*s + 30782 = 188*s. Is s prime?
True
Let i(j) = -j**3 + 12*j**2 + 27*j + 29. Let o(h) = -h**3 + 15*h**2 - 24*h - 12. Let c be o(13). Is i(c) a composite number?
True
Let r(p) = -81*p**2 + 1. Let h be r(1). Suppose -2*n - 234 = -2*t, 0*n + n = 0. Let z = t + h. Is z a composite number?
False
Let b(i) = -2*i + 13. Let s = -5 + 11. Let g be b(s). Is (1676/20)/g*5 prime?
True
Let l(s) = 41997*s**3 + 4*s**2 - 27*s + 25. Is l(1) a prime number?
True
Let c(f) = 21*f - 17. Let a(s) = 10*s - 8. Let q(z) = 5*a(z) - 3*c(z). Let w be q(-6). Let i = w + 452. Is i prime?
True
Let y(u) = 6432*u + 7. Is y(4) a composite number?
True
Let m = 15 + -16. Let f(y) = -267*y - 2. Let n be f(m). Suppose b = -2*a - a + n, -4*a + 362 = -3*b. Is a a prime number?
True
Is (-39)/(-65) - 357784/(-10) prime?
False
Suppose 0 = -l + 2*f + 186 + 359, -3*l + f = -1655. Let y = -74 + l. Is y a composite number?
False
Let x = -2 - -2. Let m be (-4 - x)*(-10)/(-5). Is (-818)/(-22) - m/(-44) a prime number?
True
Let i(j) = 5*j**2 + 14*j + 6. Let r be i(-6). Suppose 5*w - r = -2*a + 887, 0 = 4*a + 5*w - 1963. Is a a composite number?
False
Let c(m) = m**2 - 16*m + 66. Let f be c(8). Let s = -4140 - -6895. Suppose 2*b + s = 3*v, -2*v - f*b = 768 - 2608. Is v a composite number?
False
Let s = 5362 + -1976. Is s composite?
True
Let z(h) = 334*h - 9. Is z(3) a composite number?
True
Let z(m) = -2072*m - 423. Is z(-40) prime?
True
Suppose -2*n - 242 = 5*b, n - b + 9 = -119. Let g = -73 - n. Is g prime?
True
Let c(d) = 15*d**2 - 40. Suppose 156 = -6*y - 6*y. Is c(y) a composite number?
True
Let p(o) = -o**3 + 10*o**2 - 8*o - 7. Let c be p(9). Is 1 - -2 - (-49 - c/(-2)) composite?
True
Let r(y) = 2*y**3 - 73*y**2 - 30*y - 48. Is r(37) a prime number?
True
Let q = 29283 - 15766. Is q composite?
True
Is -877*(4/8*6)/(-1) composite?
True
Let g(y) = 143*y**2 - 3*y - 20. Let l be g(7). Suppose -3*o - 2*o + 23145 = 0. Suppose 3*i - 3*s = l, -2*i = 2*s - s - o. Is i a prime number?
False
Suppose x - 2 = -2*a + 5, 2*a + 4*x = -2. Suppose -a*h - 1 = -11. Is (-2)/(h/(-93)*3) composite?
False
Suppose 0 = 4*d - 1 - 3, -2*c - 3919 = -d. Let s = c + 3018. Is s composite?
True
Let k(h) = 289*h**2 - 7*h - 11. Is k(5) composite?
True
Let g(d) = -18 - 28*d - 12*d + 29. Is g(-6) a composite number?
False
Let g be -67*(2 + -1)*-32. Suppose -3*j = 4*q - 5863, 2*j - 2693 = -4*q + 3169. Let x = g - q. Is x prime?
False
Let v(h) = -9*h + 6. Let p be v(6). Let o be -10*1/((-5)/p). Is 2/14 + o/(-14) composite?
False
Let j(a) = a**2 + a. Let g(q) = -q**3 - 6*q**2 + q + 4. Let c be g(-6). Let l be j(c). Is (93/12)/(l/24) a composite number?
True
Suppose -3*q - 4*g = -4*q - 1, 2*g + 27 = 3*q. Let d = 13 - q. Suppose 5*m - d = -22, 0 = -2*i + 5*m + 262. Is i prime?
False
Let d(t) = 63*t**2 + t + 53. Is d(-13) composite?
False
Let g be 5449 - -19 - 3*(-4)/6. Let a = 7779 - g. Is a composite?
False
Let q = -16 - 