rime?
False
Let d = -3801 + 5344. Suppose 151*m - 150*m = d. Is m prime?
True
Is 202/(371/119 - 3) a composite number?
True
Let u = -99 + 16. Let r = u + 160. Is r a composite number?
True
Let r(w) = -27*w + 7949. Is r(0) composite?
False
Let g(t) = -2694*t + 39. Is g(-3) a prime number?
False
Let q(r) = -2420*r - 37. Is q(-2) a composite number?
True
Let o be (-1 - (1 + 3))/(-2 - -3). Let v(l) = 8*l + 8. Let f(h) = -1. Let b(d) = -5*f(d) - v(d). Is b(o) a prime number?
True
Let i(m) = 15*m**2 + 8*m - 7. Let z be i(-8). Let j = -410 + z. Is j composite?
False
Is ((-3)/(-9))/((-2)/(-2274)) a prime number?
True
Let y be (-2)/4 + (-3054)/(-12). Suppose 0 = -0*l + 2*l - y. Is l prime?
True
Is (-35 + 34)/(1 + (-890)/889) a composite number?
True
Suppose 5*g - 31927 = 4*x + 15696, -g + 2*x + 9521 = 0. Is g composite?
True
Let c be (-1 + 2)*(-4)/(-4). Is (5/15)/c*3447 a composite number?
True
Let g(z) = -90*z + 0 - z**2 + 103*z + 1. Suppose -23 - 4 = -3*w. Is g(w) a prime number?
True
Let h(c) = -231*c - 169. Is h(-12) a composite number?
True
Let x(n) = n**2 + 5*n - 1. Let z be x(-6). Suppose m - 296 = -z. Is m prime?
False
Let x be 5/((-20)/(-1088)) + -4. Let r = -123 + x. Is r a prime number?
False
Let p(f) be the third derivative of -17*f**6/40 - 5*f**4/24 - 5*f**3/6 - 9*f**2. Is p(-2) a composite number?
True
Is (-90)/(-9) + -4 + 11507 a composite number?
True
Suppose 0 = s + 3*i - 2930, -3493 + 18110 = 5*s + 4*i. Is s a prime number?
False
Suppose k + 20 = 5*k. Suppose 0 = k*r - 4 - 16. Suppose 5*c - 2424 = -r*j, j + c = -0*c + 607. Is j prime?
False
Let t be 2*((-573)/6)/(-1). Suppose 4*p + 4*r + t = 623, -2*r - 114 = -p. Suppose 4*u + p = 9*u. Is u composite?
True
Suppose 0 = 2*p - 4*b - 8250, -5*b - 1 = -6. Let u = p + -2360. Suppose u = 3*i - 288. Is i prime?
False
Is 37/(3/(-954)*-6) a prime number?
False
Suppose 0 = 2*j + 5*n - 2931, 0 = 4*j - 0*j - n - 5873. Suppose -2*m = -j + 164. Suppose m = -13*y + 17*y. Is y prime?
True
Let i = -25 - -65. Suppose -i = 2*g - 3*g. Is g + 4/(-4*1) a prime number?
False
Let l(h) = h**2 + 6*h - 4. Let j be (-13)/(-4) - 12/48. Suppose 14 + 1 = j*d. Is l(d) composite?
True
Let w(r) = -r**3 + 19*r**2 - 19*r + 16. Let t be w(18). Is -5*(709/(-5) + t) a prime number?
True
Suppose -137236 = -49*h + 5*h. Is h prime?
True
Suppose 3*x - 2844 = o, -5*x + x + 3773 = 5*o. Suppose -f + x = d - 166, 0 = f + 4*d - 1101. Is f prime?
True
Suppose 4846 = j - 5*i, -28*i + 14438 = 3*j - 23*i. Is j a composite number?
True
Let i(v) = -v**2 + 1. Let h be i(-1). Suppose -4*k - 2*n + 4 = h, 0*k - 5*k + 5*n = 10. Suppose k = 5*m - 492 + 122. Is m a prime number?
False
Let o = 3482 - 2361. Is o prime?
False
Is (1*(-267)/6)/((-45)/6030) a prime number?
False
Suppose 7*c - 4837 = 29498. Suppose -7*z - c = -18086. Is z a prime number?
False
Suppose 201 = -0*p + 3*p. Let j = 77 + p. Suppose -3*r - 4*w = 49 - j, 4*r - w - 152 = 0. Is r composite?
False
Suppose 3 = -5*h - 3*v - 3, -3*h - 10 = 5*v. Suppose 4*z + 5*l - 4739 = -h*l, 3*z - 2*l = 3537. Is z a composite number?
False
Suppose 4*z = 5*t + 177, 2*z + 195 = 7*z - t. Let j(l) = 2*l + 2. Let m be j(16). Suppose m*v + 1756 = z*v. Is v composite?
False
Suppose 2*g - 20 = -2*g, m - 2*g = 0. Let f(s) = s**3 - 7*s**2 + 3*s - 3. Is f(m) a composite number?
True
Is 174/(-15) - -12 - (-49866)/10 a prime number?
True
Is (-7)/(-28)*2518 + 6/4 composite?
False
Suppose 0 = -8*m + 68916 + 97972. Is m prime?
False
Suppose -20*i = -21*i + 1. Let d(s) be the first derivative of 157*s**3/3 - s**2/2 + s - 1. Is d(i) a prime number?
True
Let l(a) = 99*a**2 + 9*a + 41. Is l(-6) a composite number?
True
Let m(z) = 4 + 5*z**2 + 2*z + 5*z**2 - 13*z**2 - 2*z**3. Let s be m(-3). Let c = 68 + s. Is c a prime number?
False
Let i(v) = -v**3 + 10*v**2 - 4*v + 1. Let u = -10 + 18. Let j be i(u). Suppose -6 = -2*z, -5*r - j + 294 = 4*z. Is r a prime number?
True
Suppose -263*a + 264*a - 90790 = -3*d, a + d - 90788 = 0. Is a composite?
False
Suppose 0 = 2*n - 3*k + 4 - 3, -3*k = 2*n - 17. Suppose -4491 = -n*s + 8921. Is s composite?
True
Let g(d) = -97*d - 8. Suppose -4*v - 21 = 7. Let r be g(v). Suppose 0*l + r = l. Is l a composite number?
True
Let i(f) = 1057*f - 96. Is i(2) prime?
False
Suppose -886811 = -88*q + 65*q. Is q a composite number?
False
Let h(u) = -2*u - 23. Let d be h(-9). Let a(f) = -6*f**3 - 4*f**2 + 2*f - 7. Is a(d) prime?
False
Suppose -16*q + 12*q + 20 = 0. Suppose 0*t = -2*s + t + 1270, q*s - 3157 = -2*t. Is s prime?
False
Let y(g) = 3*g**3 + 16*g**2 - 39*g + 1. Is y(17) a composite number?
False
Let f(i) = i**3 + 5*i**2 + 3*i - 6. Let s be f(-3). Let n(c) = 38*c**2 + 8*c + 7. Is n(s) composite?
False
Is ((-8)/(-16))/(3/55452) a composite number?
True
Suppose -1074 = -n - 5*w, -2*n - 3*w + 641 = -1500. Suppose 8*z - n = 1027. Is z a prime number?
False
Let s(i) = -i**3 + 8*i**2 - 15*i + 8. Let a be -4 - 7/(28/(-40)). Let u be s(a). Let p(h) = h**3 + 15*h**2 + 11*h - 13. Is p(u) prime?
False
Suppose 104 = -5*n - 2*c, 72 = -n - 3*n + 4*c. Is (31/2*1)/((-10)/n) composite?
False
Let q be (0/(-9))/(1*3). Suppose p - 2*p - g + 375 = 0, q = 3*p + 4*g - 1121. Is p a prime number?
True
Let a be 3/4 + (-217)/28. Let k be ((-12)/a)/(16/8344). Is 2/(-7) + k/42 prime?
False
Is (-2)/((-4)/46456*4) a composite number?
False
Suppose 3*i = -2*i. Suppose 2*s + 0 + 12 = i. Is (-754)/s + (-4)/(-3) a composite number?
False
Is (17 + -4 - 16)*7618/(-6) composite?
True
Suppose -19550 = -2*i - 3*h, 2*h + 12 = 5*h. Is i composite?
False
Let d = -280 + 467. Suppose 1197 = 4*l - d. Let b = l + 1. Is b a prime number?
True
Let h = 102 - -42. Let g = h - -237. Is g a composite number?
True
Suppose -305 = -5*v + 80. Suppose 0 = -h - 0*h + v. Suppose -h - 189 = -g + 3*i, -4*g + 5*i + 1057 = 0. Is g a prime number?
True
Let f(r) = 168*r**3 + r**2 - 2*r + 2. Let w(h) = h**3 - 7*h**2 + 4*h + 14. Let t be w(6). Let i be f(t). Suppose x - i = -x. Is x a prime number?
True
Let n = -1984 - -1136. Let i = 1525 + n. Is i a composite number?
False
Let g be ((-358)/10 - -3)*-70. Let m = 4565 - g. Is m a composite number?
False
Let d(i) = -i**3 + 2*i**2 + 4*i - 3. Let u be d(2). Suppose -z + 8 + 0 = -2*r, -7 = 4*z + u*r. Suppose -5*n + s = -0*n - 90, 0 = z*n + 5*s - 63. Is n prime?
True
Suppose o - 9*o + 40 = 0. Suppose -5296 = -13*p + o*p. Is p a prime number?
False
Let n = 1577 + 4824. Is n prime?
False
Is -3 + 0 + ((-5936)/8)/(-7) a prime number?
True
Suppose -12895 = -71*v + 66*v. Is v a composite number?
False
Suppose -2*k + 1 = 5*p + 10, k = 2*p. Let f be (6/4)/(k/100). Let y = f - -110. Is y a prime number?
False
Is (-6905)/(-8) + (9 - (-365)/(-40)) composite?
False
Suppose -3*l - 1 = 8. Let y(n) = -425*n - 16. Is y(l) composite?
False
Suppose 1247856 = -466*i + 490*i. Is i a prime number?
False
Let z = 8775 - 5506. Suppose 6*a + a - z = 0. Suppose 45 = -2*p + a. Is p composite?
False
Suppose 0 = 2*q + 2*y - 4*y - 2, q + 2*y = -2. Suppose q = 3*m - 10*m + 2639. Is m a prime number?
False
Suppose -5*h + 33 - 2 = -4*f, 0 = h - 3. Let n be (9/(-6))/(3/f). Suppose n*b + 3*y = 190, -b + 4*y - 461 = -6*b. Is b a composite number?
False
Suppose -2*t - 10019 = -38293. Is t prime?
False
Let f(x) = -3*x**3 + x. Let p be f(-1). Suppose -p*c + 2*b = -1174 + 142, 3*c - 1573 = -2*b. Is c a composite number?
False
Suppose -2*a + 56 = -a. Suppose -4*u + 4*v + a = -u, 4*u + 4*v - 28 = 0. Let r(m) = 6*m + 17. Is r(u) composite?
False
Let a(h) = h**2 + 10*h - 1. Let f be a(-10). Is 646/4 + f/2 prime?
False
Let f = 887 - 2420. Is (-18)/(-45) - f/5 prime?
True
Suppose 7*w + 2124 = w. Let s = w - -653. Is s prime?
False
Let c(l) = -l**2 - 8*l - 9. Let p be c(-6). Suppose p*a = 10 + 2. Suppose 7*k - 1005 = a*k. Is k a prime number?
False
Let u be 2/((6/(-2))/(-6)). Let x be 0 + -1 + -3 + u. Suppose 2*j - 170 - 48 = x. Is j composite?
False
Is 121393/15 + 8/60 a composite number?
False
Suppose -5058 = 6*v - 22368. Is v a composite number?
True
Suppose -31 = q + 29. Let m(w) = 32*w - 96. Let x be m(3). Is (-45)/q*(236 - x) a prime number?
False
Let v(a) = 33*a**2 + 29*a - 11. Is v(8) a composite number?
False
Suppose -4*l + 340*c - 336*c + 35128 = 0, -2*l - c = -17555. Is l prime?
True
Suppose 0 = 3*t + t - 12. Let j be (t + -1 + -1)*7. Is 639/