j - (-4)/(-14) a prime number?
False
Let a be -2 + (7 - 3) + 0. Is 4 - 10/a - -420 a composite number?
False
Let u(y) = 6275*y + 616. Is u(23) a prime number?
True
Let m be 1 + (-1 - 36/4). Let w(b) = -3*b - 4. Is w(m) a composite number?
False
Let h(d) = -d**2 + 4*d - 1. Let k be h(4). Let q(z) = 99*z**2 + 3*z + 1. Is q(k) a composite number?
False
Let l(k) = -k**3 + 12*k**2 + 4*k - 11. Let d be 3 + -1 - 288/(-6). Suppose -5*c = -10 - d. Is l(c) prime?
True
Let h be (-2 + 0 + 31)*1. Let t = h - 28. Is (-6252)/(-42) + t/7 a composite number?
False
Let t(y) = 182*y**2 - 3*y. Let m be t(3). Let w = m - -1599. Let q = w + -2051. Is q prime?
False
Let t(u) = -u**2 - 7*u - 14. Let l be t(-3). Is 1*1151*2/(-4)*l a prime number?
True
Suppose 3*l + 5*p - 250907 = 62972, -3*p - 12 = 0. Suppose 0 = -t + 20*t - l. Is t prime?
True
Let g(u) = -u**2 + 3*u + 5. Let h be g(5). Suppose 40*w - 8*w = 7232. Is w/h*5/(-2) a composite number?
False
Let s(z) = -z**3 - 7*z**2 - 2*z - 16. Let l be s(-8). Let m = l - -3. Is m composite?
False
Let f(j) = -27*j**3 - 2*j**2 + 3*j + 3. Let a = -29 + 27. Is f(a) a composite number?
True
Let q = 45 + -40. Let f(d) = 12*d + 11. Is f(q) a composite number?
False
Let b(m) = -3*m**3 - 8*m**2 - 6*m - 3. Let u be b(-5). Is (3 - u)*(2 + -3) composite?
False
Let b = -980 + 14557. Is b a prime number?
True
Let m = -266 - -449. Suppose 7*l + m = 13238. Is l prime?
False
Suppose 3*p + o + 129 = -2*o, -2*o + 154 = -3*p. Is (1594/(-8))/(12/p) prime?
True
Let l = -127 + 526. Suppose 115 = 2*d - l. Is d prime?
True
Let j(w) = 18*w - 1. Let x(r) = -5*r**2. Let m be x(-1). Let o = 14 + m. Is j(o) a prime number?
False
Suppose 12*j = -3*j + 45. Is 9/j - (-286 + (-2 - -4)) a composite number?
True
Let f be (2*(-8315)/10)/1. Let y = 5928 + f. Is y a prime number?
False
Suppose -10*y = -4*y - 6702. Is y prime?
True
Is (83625/9 + 5)*18/12 a composite number?
True
Suppose 0 = -2*o + 10 - 6. Suppose -2*f + 20 = o*f. Suppose -649 = -3*q - g + f*g, -3*g = 12. Is q prime?
True
Suppose -4*q = -3*z - 63, -3*q - 2*z + 47 = -4*z. Let u(m) = m**2 - 16*m + 17. Let p be u(q). Is (1 - 175)*p/(-6) composite?
True
Suppose 35*o + 84246 = 3*x + 34*o, 4*x - 112315 = -3*o. Is x a prime number?
True
Let p(g) = 16 - 5 + 2*g**2 + 380*g - 362*g. Is p(14) a composite number?
True
Suppose 257*z = 265*z - 852712. Is z prime?
False
Let u(s) = -s**2 + 7*s - 7. Let p be u(5). Suppose 3*a + 2*x - 750 = -x, 0 = p*a - 3*x - 744. Is a a composite number?
True
Suppose -6 = -2*r - 2*w + 8, 4*r = -w + 22. Let l = -4 + 7. Suppose -a = -l*t + r*t - 97, t = a - 97. Is a composite?
False
Let d = -233 + 398. Let y = d + -44. Is y a composite number?
True
Suppose 3*w = -2*w - i + 10, -2*i = 3*w - 6. Is (-4 + 1 + w)*-305 a composite number?
True
Let c(f) be the first derivative of 736*f**3/3 - f**2/2 - f + 36. Is c(2) a composite number?
True
Let c(v) = 2*v**3 + 10*v**2 + v - 14. Is c(-4) prime?
False
Let m(a) = -a**2 + 6*a + 9. Let z be m(7). Let h be (z - -2)*3/3. Let n(j) = 4*j**3 - 3*j**2 - 5. Is n(h) prime?
False
Let v = 9091 - 5792. Is v a composite number?
False
Suppose 4*a - 2520 = -616. Suppose a = l + 3*l. Is l composite?
True
Suppose 2*n - 5*i + 16 = 0, -4 + 2 = -3*n + i. Suppose h = n*h + 5*q - 488, 0 = 4*h + 4*q - 2000. Is h prime?
True
Let p(c) = -16 + 37 - 16 + 368*c - 112*c. Is p(9) a prime number?
True
Suppose -4*g + 5*p + 136 = 0, 4*g + 2*p - 108 = -0*p. Let o be (g - -2)/((-2)/(-38)). Suppose -4*z + o = -0*z - 5*t, -3*t + 549 = 4*z. Is z a composite number?
True
Is 13/(65/2884) + 2/10 a prime number?
True
Let u = 900 - -2868. Is u/40 - (-1)/(-5) composite?
True
Suppose 0 = -y + 3*l + 20704, 7*y - 10*y + l = -62120. Is y a composite number?
False
Let y(d) = d**3 - 6*d**2 + 6*d - 1. Let h(j) = -j**3 + 6*j**2 + j. Let z be h(6). Let c be y(z). Is (-21)/c - (-796)/10 prime?
True
Let a = -14979 + 37842. Is a a prime number?
False
Suppose 5*g = 3897 + 253. Let a = g - -509. Is a a prime number?
False
Let o(z) = z**2 - 13*z + 27. Let b(x) = -x**3 - 9*x**2 - 2*x - 7. Let p be b(-9). Let h be o(p). Suppose h*i - 114 = 151. Is i composite?
False
Is (0 - (-6)/9)/(12/131778) a prime number?
True
Suppose 2*i = a - 5, 2*a - 5*i + 8 - 19 = 0. Suppose -4*j - a*v - 41 = 0, 4*j = 5*v - 22 + 5. Is 13 - (j/2 - -7) composite?
True
Let y be 6/(-4) + (-3)/2. Let x = -2 - y. Is x/(-3) + 1918/21 a prime number?
False
Is 4/(-8) - (-4)/((-8)/(-4507)) composite?
True
Suppose -18*u + 7335 = -15*u. Suppose 39*i = 36*i + u. Is i a composite number?
True
Let v = 1728 - 983. Is v prime?
False
Suppose 0 = 13*h - 20526 - 13625. Is h a composite number?
True
Let s(f) = 5*f - 11. Let b be ((-1)/3)/((-2)/24). Suppose 2*r = h + 3*h + 8, -b*r + 26 = 2*h. Is s(r) composite?
False
Suppose -6*a = -4*a - 42. Let c = 103 - a. Is c a prime number?
False
Suppose 3*s + 3*y = -6, -s + 10 = 5*y - 8*y. Let x be (s + -2)*(-3)/3. Is (246 + x - -1) + 1 a composite number?
True
Let f(q) = -q**3 - q**2 + q + 91. Let w be f(0). Suppose 2*i + w = 645. Is i a prime number?
True
Suppose 0*f = 4*u - 5*f - 128, 3*u - 5*f = 96. Suppose 0 = 5*r - 3*n - u, 2*n = 5*r - 0*n - 28. Is 2/r + 890/4 composite?
False
Suppose 2*q = 6, -2*s + q - 3*q = 672. Let j(n) = 123*n + 4. Let l be j(-4). Let m = s - l. Is m a composite number?
False
Let l(x) be the third derivative of x**4/24 - x**3 + 4*x**2. Let i be l(10). Suppose 4*p - 176 = -i. Is p composite?
False
Suppose -116*q + 114*q + 20642 = 0. Is q a composite number?
False
Suppose 29*l = -22*l + 223941. Is l composite?
False
Suppose s + 24 = 3*s + 5*v, 4*s = -5*v + 28. Suppose 5*f - 2*y - 2847 = s*y, -3*f = 3*y - 1719. Is f composite?
False
Let n(g) = 2*g**2 - 45*g + 101. Is n(-24) a composite number?
False
Let c(p) = -2197*p**3 + 2*p**2 + 7*p - 23. Is c(-3) composite?
True
Suppose -4*u - 5*k = -55, 3*u - 34 = u + 4*k. Let a be (-132)/u - 5/25. Let x = a - -78. Is x a prime number?
False
Let n(w) = -w**3 - 7*w**2 + 5*w + 101. Is n(-24) a composite number?
True
Let b(q) = q**2 + 15*q + 5. Let x be b(-15). Is (-2)/5 - (-3207)/x a composite number?
False
Let v = 12476 - 8307. Is v a prime number?
False
Suppose 0 = 4*p + 4*v + 2128, 4*p - 3*v + v = -2140. Let b = -153 - p. Suppose 0 = -u - 88 + b. Is u prime?
True
Let v(u) = 65*u**2 + 8*u + 3. Let w be v(-3). Let i = w - 173. Is i composite?
True
Let n(r) = 5*r**2 - 27*r - 15. Let q(b) = 2*b**2 - 9*b - 5. Let k(u) = 3*n(u) - 8*q(u). Let t be k(-6). Suppose t = m - 42. Is m a prime number?
False
Suppose -z + i + 1 = 0, 0*i + 25 = 4*z + 3*i. Suppose -5*y + 1096 + 561 = d, 0 = z*y + d - 1326. Is y prime?
True
Suppose -k - 2377 = -3*c, -c - 3*k - 3967 = -6*c. Suppose 2*j - 3*r - c = 0, r = j + 3*r - 413. Is j a composite number?
True
Suppose -2*d = -1803 - 3359. Is d a composite number?
True
Suppose -b + r = -8, r + 13 = b - r. Suppose 3*q + b*u - 20 = 22, -3*q = -3*u - 36. Suppose 15*j = q*j + 138. Is j a composite number?
True
Let f(k) be the first derivative of k**2 - 2*k - 3. Let a be f(-3). Let x(q) = 4*q**2 + 9*q + 7. Is x(a) composite?
False
Let k(y) = -518*y + 169. Is k(-8) a composite number?
True
Let b(w) = w**2 + 5*w + 1011. Let y(i) = i**2 + 4*i + 1010. Let z(d) = -3*b(d) + 4*y(d). Is z(0) a composite number?
True
Is 36669 + -197 + 3/(-1) a composite number?
False
Let f be (-1)/4 + -4 + 201/4. Suppose 4*s = 3*g + 92, f = 4*s + 5*g - 78. Is s a composite number?
True
Suppose 0 = -5*m - 10, -p + 2120 = 5*m - 373. Is p a prime number?
True
Is (1/(-2))/(14/(-14924)) a prime number?
False
Let a(c) = 2*c - 12. Let u be a(6). Let l be 450/2 + u + -2. Suppose -4*s - l = -1283. Is s a composite number?
True
Let a(x) be the first derivative of x**2/2 + x - 4. Let v be a(3). Suppose 811 = v*y + y - 2*n, -n = y - 165. Is y a composite number?
False
Let n = 950 + -542. Suppose -3*x = -n - 411. Suppose -731 = -4*y + x. Is y a prime number?
True
Let v(d) = 43*d**2 + 3*d + 6. Let k be v(10). Let j = -2775 + k. Is j composite?
True
Suppose 0 = l + 4*z - 19, 2*z + 3*z - 21 = -l. Suppose l*i - 8*i - 4089 = 0. Is i prime?
False
Is (1612/39)/(-2 - 8/(-3)) prime?
False
Let a(f) = -f**2 + 1. Let g be a(-1). Suppose 5*b - 3*b + 3*q = 2033, 0 = 4*b - 2*q - 4058. Suppose g*j - 5*j + b = 0. Is j a prime number?
False
Let i = 16946 + -9513. Is i prime?
True
