13, 0*o - 2*o - 2*g = -14. Is r(o) composite?
True
Let l(j) = 3*j**3 + 2*j**2 + j + 1. Let x be l(3). Suppose i - x = -0*i. Suppose -y + 67 = 3*s - i, 0 = 4*y - s - 641. Is y prime?
False
Let f(a) be the second derivative of a**4/12 + a**3/2 - 17*a**2/2 - 4*a. Is f(-8) composite?
False
Let z = 3 - -16. Let h = z - -66. Is h a composite number?
True
Let p(f) = 16*f + 35. Let k(y) = -y**2 + 14*y - 13. Let b be k(12). Is p(b) a prime number?
True
Let p(c) = 6*c**3 - 15*c**2 + c + 12. Let q be p(12). Suppose 3*x - 2*x + 4*g - 2073 = 0, -4*x = 4*g - q. Is x composite?
False
Let z be 128/(-9) + 12/54. Let f = 16 + z. Suppose -55 - 199 = -f*c. Is c composite?
False
Suppose l + 2*n = 2*l - 12291, 0 = 4*l - n - 49199. Is l prime?
True
Let c = -360 - -491. Is c composite?
False
Let b(n) = 12*n + 5. Let s(j) = -2 + 18*j - 6*j - 1 + 7. Let z(w) = -3*b(w) + 4*s(w). Is z(8) prime?
True
Let l = -1245 - -1946. Is l a prime number?
True
Is (834812/176)/(6/(-8) + 1) prime?
True
Let w = 25272 + 8317. Is w composite?
False
Suppose 477867 = 3*t + u, -16*u + 318578 = 2*t - 15*u. Is t a composite number?
True
Suppose 6*h - 1 = 311. Suppose r + h = 503. Is r a composite number?
True
Suppose 48 - 198 = 5*r. Let w be 3/2 - (-45)/r. Suppose 4*q - 252 = -4*z, w*q + z = 4*q - 247. Is q a prime number?
False
Let j = -458 - -1792. Suppose -5*v = 5*u - 2170, 3*v - 4*u - u = j. Suppose 5*k - v = 2*k. Is k a prime number?
False
Suppose 40*p = 30*p + 436370. Is p a composite number?
True
Suppose -72*d = -65*d - 40103. Is d a prime number?
False
Let a = 4879 - 3480. Is a composite?
False
Suppose 5*m + 70 = 5*x + m, m = 2*x - 31. Suppose x*w - 1346 = 16*w. Is w prime?
True
Suppose -3*b = -10*b - 7. Is (-6 - (b - 2)) + 180 composite?
True
Suppose 0*l = -4*l + 820. Let z = 16 + l. Is z a composite number?
True
Suppose -2*p - b + 16 = -3*b, -3*b - 38 = -5*p. Suppose m = 3*a + p - 4, 1 = a. Suppose 2*u - m*u + 4178 = -2*q, 6 = -2*q. Is u composite?
True
Let t = 30 + -12. Let l = t - 13. Suppose 7*a - 4*n - 20 = 5*a, -5*n = l*a - 20. Is a a composite number?
True
Suppose 0 = 11*m + 1602 - 10050. Let d = -181 + m. Is d a prime number?
True
Is (-2)/8 - ((-3202220)/16)/7 prime?
True
Let v be 0 + (3 - -1) + -6 + 2. Suppose 4*z - 3690 = -v*z + 2*t, -4*t + 1830 = 2*z. Is z a prime number?
False
Let h(t) = -37*t**3 + 18*t**2 + 38*t - 6. Is h(-10) a composite number?
True
Let l(z) = 671*z**2 - 2*z + 4. Is l(1) a composite number?
False
Suppose 10*l - 392879 = -6589. Is l prime?
True
Let d(c) = c**2 + 8*c + 12. Let m be d(-5). Let s = 148 + m. Is s composite?
True
Suppose -9 - 7 = -4*d. Suppose -d*f = -5*f + 9318. Is f/(-6)*(1 - 2) a composite number?
False
Let c(f) = -25*f**3 + 2*f + 1. Let q be c(-1). Suppose 4*i + 3*d = -4, 5*i - d = -0*d - q. Is (i/6)/((-8)/6972) a composite number?
True
Let j = -1996 + 3883. Suppose 11*g - 14*g = -j. Is g prime?
False
Let s(r) = 109*r + 3. Let t be s(-8). Suppose -5*v - a + 2 + 7 = 0, -v + 13 = 3*a. Is (t/(-33))/(v/3) composite?
False
Suppose -d = -0*d + 5*r + 56, 3*d + 4*r + 157 = 0. Is (-1802)/d*66/4 a composite number?
True
Let g = -1257 + 3036. Suppose -2*u + g = 5*v, -4*u - v - v = -3518. Is u a prime number?
True
Let i(g) = 679*g + 6. Let x(h) = h + 1. Let j(z) = i(z) - 6*x(z). Is j(5) a composite number?
True
Let s(f) = 0 + 151*f + 28 + 11 + 295*f. Is s(8) a prime number?
True
Let r = 601 - 23. Is (r*7/(-28))/((-1)/2) prime?
False
Let n(z) = 1085*z + 49. Let u be n(15). Suppose u = -20*d + 106584. Is d composite?
False
Let x be (0 - -1)/(-1) + 0/11. Let v(r) = -70*r**3 - 4*r**2 + 1. Is v(x) a prime number?
True
Suppose -3181*y = -3194*y + 254189. Is y a prime number?
True
Let m be 1043025/100 + 2/(-8). Suppose -9*t + m = t. Is t a composite number?
True
Let f(n) = -8 + n - n - n + 14. Let t be f(6). Suppose -8*w + 13*w - 155 = t. Is w composite?
False
Let k(r) be the second derivative of -r**4/12 + 5*r**3/6 + r**2 + 2*r. Let l be k(5). Suppose 3*h - 4*h + 2*p + 397 = 0, l*h - 758 = -5*p. Is h composite?
False
Let b(n) = 5*n**2 - 46*n**3 - 3*n - 4*n**2 - 3 - 2*n. Is b(-2) prime?
True
Let k be 2104 + 6 - 1*-4. Suppose 2*a + 2*a + 4260 = 4*b, 2*b + 2*a - k = 0. Is b composite?
False
Suppose 8*f - 10096 = -8*f. Is f composite?
False
Suppose 12 = 4*q - 0. Suppose -6 = m - q*m. Is m/(0 - -9)*633 a prime number?
True
Let n(y) = 43*y**2 - 9*y - 65. Is n(-9) prime?
True
Suppose -3*k - 3*p + 43678 + 92993 = 0, -2*p = 0. Is k composite?
False
Let m(n) = -569*n**3 + 10*n - 7. Let u(p) = -379*p**3 + 7*p - 5. Let r(w) = 5*m(w) - 7*u(w). Is r(-1) a composite number?
False
Let w be 11/(4/(-7) + (-5142)/(-8974)). Suppose 2*o + a = w - 672, -5*o + 4*a + 15915 = 0. Is o a composite number?
False
Let n = 41014 - 27105. Is n a composite number?
True
Let v(o) be the first derivative of 8*o**2 + 47*o + 21. Is v(11) composite?
False
Suppose 4*h - 8 = 0, 9*h - 5*h = -2*l + 1918. Is l a composite number?
True
Let n = -35 + 51. Suppose -11 + n = a. Suppose 480 = 4*g - 4*j - 324, 0 = -g + a*j + 193. Is g a composite number?
True
Let u be (-1)/3 - (-31)/3. Suppose -2166 = -u*p - 536. Is p composite?
False
Let b(m) = 2*m**2. Let k be b(0). Let l be -4 - (2 + k + -15). Is 4395/l - 4/3 composite?
False
Let z(o) = 11*o - 6. Let a(s) = -12*s + 6. Let c(i) = 4*a(i) + 5*z(i). Let l be c(3). Suppose 0 = -3*t - 4*q + 1749, -5*q = -10*q - l. Is t a composite number?
False
Let h = -635 - -1386. Is h a composite number?
False
Let m = 4596 + -2837. Is m a prime number?
True
Suppose 0 = -3*n - 2*s + 140701, -3*n - 5*s + 140666 = -10*s. Is n a prime number?
False
Let z(c) = 3*c**2 + 61. Is z(-14) a composite number?
True
Is ((-206)/(4 - 2)*-1)/1 composite?
False
Let s(o) = o**2 - 14*o - 13. Let d be s(15). Suppose -d*x = f - x - 183, f - 167 = -5*x. Is f composite?
True
Let y(b) = 9*b - 24. Let d be (-18 + 2)/(-4) - -11. Is y(d) prime?
False
Suppose 4*u - 13632 = 332. Is u a prime number?
True
Is (-188910)/27*9/(-6) a composite number?
True
Let j(v) = v. Let f be j(0). Let c = f - -3. Is 20 - c/(-2 - -5) a composite number?
False
Suppose 0 = -3*r - 2*r + 2*d + 17, 21 = r + 4*d. Suppose r*t - 6 = 4. Suppose -2*s - t*s + 2*o = -450, s = -o + 114. Is s prime?
True
Suppose 7*n - 12 = 9. Let x = 1190 - 469. Suppose -m + x = 4*q, -q + 0*m + n*m = -164. Is q composite?
False
Suppose 33*k - 20 = 31*k. Is 18/(-30) - (-5876)/k a prime number?
True
Is (-21)/(84/(-80656)) - -9 composite?
False
Let v be 3 - (3 + 1) - -1. Suppose 90 = -3*k + 3*r - 0*r, -4*r = v. Let s = 99 + k. Is s composite?
True
Let b(a) = a**2 - 2*a + 20. Let g be b(-9). Suppose 3*n - 2711 = -g. Suppose -3354 + n = -6*v. Is v composite?
True
Let a(v) = 7*v**2 + 3*v + 1. Suppose -6 = -d + 4*d. Let c be a(d). Suppose 10 = s - c. Is s a composite number?
True
Let a = 913 - 632. Suppose -760 = -3*x + a. Is x composite?
False
Let y(u) = 11*u - 17. Let o = -77 + 83. Is y(o) prime?
False
Let y(a) = -12*a**2 - 3 + 14 + a**3 + 11*a**2 + 9*a. Let b be y(8). Suppose v - 4*v = -b. Is v a prime number?
False
Let b = 12 - 4. Is (202/b)/(1/8) prime?
False
Let k(y) = 161*y + 3. Let i be (-2)/1 + (-2 - 0). Let v be k(i). Let m = -430 - v. Is m prime?
True
Let u(s) = -15*s**2 - 5*s - 2. Let k be u(-4). Let o = -708 + 329. Let f = k - o. Is f a composite number?
False
Let y(w) = -517*w - 280. Is y(-33) a prime number?
False
Let h be 2/(-6) + 1 + (-112)/6. Is ((-39870)/h)/(1/1) a prime number?
False
Suppose -2*u + 12 = u. Is (585 - (u - 1)) + -1 + 2 composite?
True
Let w(b) be the second derivative of 0 + 5/6*b**3 - 3*b + 0*b**2. Is w(2) a prime number?
False
Let j be 14/70 - 92/10. Let b be ((-233)/(-3))/((-3)/j). Let i = 418 - b. Is i prime?
False
Suppose -v = -5*u + 31768, -2*u - 5*v - 6368 = -3*u. Is u composite?
False
Suppose -5*q - 2*q + 2310 = 0. Suppose -n - q = -5*u, 4*n = -u + 92 - 5. Is u prime?
True
Let w = 65223 - 38276. Is w prime?
True
Let j(b) = -b**2 + 170*b - 29. Is j(28) a composite number?
False
Let m(z) = z**3 - 8*z**2 + 7*z + 4. Let a be m(7). Suppose 0 = a*n - 2331 - 2105. Suppose 0*q - 3*q = -2*x - 1115, 0 = -3*q + 5*x + n. Is q a composite number?
False
Suppose -26*s = -28*s + 47582. Is s prime?
False
Let q(y) = -y**2 - 7*y - 8. Let d be q(-4). Suppose -10*n - 5283 = -3*b - 7*n, -d*n + 5311 = 3*b. Is b a prime number?
False
