 f = -1672 - s. Is f a composite number?
True
Let r = -4055 + 6444. Is r prime?
True
Let d(i) = 37*i**2 + 3*i - 60. Let b be d(6). Let x = b + -503. Is x a composite number?
False
Suppose 5*m + y = 880 - 2278, 12 = -4*y. Suppose 0 = 5*a + 4*b + 53 + 607, -a - 126 = 2*b. Let d = a - m. Is d prime?
False
Let m(b) = b**2 - 6*b - 4. Let w be m(6). Let k = w - -561. Is k a composite number?
False
Let l(u) = -193*u - 5. Let x be l(-5). Suppose -2*v - x = -6*v. Suppose -5*c + 205 + v = 0. Is c a composite number?
False
Suppose -9*k + 14*k - 75 = 0. Suppose g = -2*g - k, -5*g = -a + 272. Is a prime?
False
Let g(r) = 7*r**2 + 8*r - 1. Let c be g(-6). Let y = 145 - c. Let j = -5 - y. Is j a composite number?
False
Suppose -3*a - 5*f + 26 = 0, -4*f = -4*a - 6 + 30. Suppose 3*r - 632 = -d, -4*r + 840 = -3*d + a*d. Is r prime?
True
Suppose 43*f = 40*f + 168. Suppose 86 + f = 2*c. Is c a prime number?
True
Let t(w) be the second derivative of 19*w**4/12 - w**3/3 + 5*w**2/2 + 15*w. Is t(2) a prime number?
False
Let b be -10*2/4 + (-9)/(-3). Is (0 - -1318) + b + 5 + -2 prime?
True
Let f = 4 - 7. Let u be (3 + (5 - f))*5. Suppose -3*n - 2*n + u = 0. Is n a composite number?
False
Let a(l) = 48*l - 7. Suppose -2*y - 4*b = 0, 0 = 3*y + 2*b + 4 - 12. Is a(y) composite?
True
Let l(w) = 763*w - 63. Is l(34) a composite number?
True
Let j(v) = v**2 - v + 3. Suppose 9*f = 4*f - 35. Is j(f) prime?
True
Suppose -4*g + 3*p + 22 = 0, 7*g + 5*p - 6 = 3*g. Suppose -51 = -g*v + 105. Is (-2 + 4)*(v - -2) composite?
True
Let c(t) = 6*t - 10. Let z be c(5). Is (z/(-16))/(-5) - (-3323)/4 composite?
True
Let s = -510 + 852. Suppose 0*c = -6*c + s. Is c a prime number?
False
Suppose 22*h - 58548 = 1006. Is h composite?
False
Let q(k) = 105*k + 52. Is q(23) a composite number?
False
Let w = -4889 - -9090. Is w prime?
True
Let s(j) = 10*j**3 - 11*j**2 - 17*j - 21. Is s(11) composite?
True
Let b = 60 + -34. Suppose 6*k - b = 16. Is k a composite number?
False
Let f = -11056 - -22343. Is f prime?
True
Let b(c) = -30*c - 98. Is b(-12) a prime number?
False
Let u = -9 + 11. Suppose -u*j - 757 - 1611 = 0. Is (j/24)/(4/(-6)) composite?
True
Suppose 36*z - 53886 = 148542. Is z prime?
True
Suppose 4*a = 28 + 4. Suppose 0 = -2*d + 6*d - a. Is -38*(d/4 + -1) composite?
False
Let t be 6/7*(-14)/(-3). Let r(f) = 14*f**2 + 6*f - 25. Is r(t) composite?
False
Suppose -2*v - 3*v - 40 = 0. Let p(r) = -2*r**3 + 10*r**2 - 7*r + 3. Let l(f) = f**3. Let x(j) = 3*l(j) + p(j). Is x(v) a composite number?
True
Suppose -2 = -b - u - 3, -b + u + 9 = 0. Suppose -7*c = -b*c + 345. Let q = 204 + c. Is q composite?
False
Suppose -4*r - 3*g + 12 = -8, -g = -5*r + 25. Suppose 4*y - 4*f = 1148, r*y - f = f + 1441. Let i = 584 - y. Is i a prime number?
False
Let i = 36 + -27. Suppose i*l = -155 + 569. Is l a composite number?
True
Suppose -5*f = 4*y - 4*f - 10732, 5*f = -5*y + 13430. Suppose 3*w + 1082 = 2*z, 0 = 5*z + 3*w + w - y. Is z composite?
True
Suppose -24*q = -16*q - 233456. Is q a composite number?
True
Suppose -2800 = -4*q + 2*h, -4*q + 3*h + 1179 + 1619 = 0. Is q a composite number?
False
Let r(z) = 10*z**2 - 17*z + 13. Let m be (-6 + -3 - -3)*1/(-1). Is r(m) a composite number?
False
Let s(j) = -2*j**2 - 5*j - 6. Let q be s(-2). Let a(c) = 4*c**2 - 3*c + 2*c + 3*c + c + 6. Is a(q) composite?
True
Is (34922/114)/((-2)/(-6)) a prime number?
True
Let y = 15344 - 763. Is y a composite number?
True
Let u = 253 + 288. Suppose k - u = l, 7*k + l = 3*k + 2184. Is k composite?
True
Suppose -3*l = -3*r - 119604, -5*l + 199341 = -5*r + r. Is l a composite number?
False
Suppose 15 = 4*g + 3*y, -2*g + y = 4*y - 15. Suppose z - 4*k - 4893 = 0, 4*k + g*k - 9834 = -2*z. Is z a prime number?
True
Suppose 11*t = 4*t - 868. Let c be (t/3)/(6/(-9)). Let u = c + 360. Is u a prime number?
False
Let v = 53285 - 35908. Is v composite?
False
Let v = 178 - -52. Let x(r) = r**2 - 5*r + 3. Let d be x(-6). Let o = v - d. Is o composite?
True
Let o(h) = -h + 2*h + 6 + 2 - 2. Let p be o(-3). Suppose 0 = s + 3, -p*x - 2*x + 2*s = -161. Is x prime?
True
Let z = -356 + 215. Is -2*z/6*1 prime?
True
Suppose -2*s + 4*o + 146250 = 0, -4*o + 365595 = 5*s + o. Is s composite?
False
Suppose -62611 = -7*l + 40744. Is l a composite number?
True
Let n = -14913 + 29026. Is n prime?
False
Let y be (-86)/(-8) + 7/28. Suppose 10 = -2*t - 4*s, -12 = -t + 5*s + y. Suppose -2*w - 635 = -t*q, 638 = 3*q - 2*w - 3*w. Is q composite?
False
Suppose -3*f - 2*h + 90090 = f, 5*f = h + 112602. Is f composite?
True
Let z(n) be the first derivative of 12*n + 2 - 1/3*n**3 + 5*n**2. Is z(9) composite?
True
Let c(h) = 14*h**3 - 9*h**2 + 4*h - 5. Is c(6) a prime number?
True
Suppose -4 - 8 = -2*i. Let x be i/(-15) + (-30285)/(-25). Suppose 8*k - 53 = x. Is k composite?
True
Suppose -3 = 31*k - 30*k. Is (-3451)/k + (-20)/(-30) prime?
True
Let q = 18 - 17. Is (-27078)/(-8) + q/4 a composite number?
True
Let m be 3*1/3 + 3. Suppose 153 = m*v - 83. Is v prime?
True
Let l(n) = -2718*n - 145. Is l(-6) prime?
False
Let r be ((-3)/6 + 1)*4. Let b(s) = 2*s - 15 + 97*s**3 - 30*s**3 - 13 + 29. Is b(r) prime?
True
Let k = -45 + 24. Let h be 1*30*(-7)/k. Suppose -65 + h = -c. Is c composite?
True
Suppose -f + 147*r + 2863 = 151*r, 2859 = f + 2*r. Is f composite?
True
Suppose -5*r + 46 - 19 = b, b + 3*r = 17. Let d(j) = -61*j + 12 + j**2 + 52*j + j**b. Is d(9) prime?
False
Let a(w) = -15*w**3 + 3*w**2 - 17*w + 6. Is a(-5) composite?
True
Is 11411631/273 + (-4)/(-26) a composite number?
False
Let h be (-10)/20*(-1 + 235). Let f = -32 - h. Is f a prime number?
False
Let v be 1/(21/(-51) + (-2)/(-5)). Is (-3)/(((-10)/v)/(-2)) a composite number?
True
Suppose 5*i - 34 = p, 2*i = 5*i - 4*p - 34. Is i/4 - (21942/(-12) - -8) a prime number?
False
Is (8 - 0)/(-4) + 3387 a composite number?
True
Is (2/7)/(8 + 92675/(-11585)) composite?
True
Suppose 0 = -4*s + 21 + 31. Let d(c) = -c**2 + 12*c + 11. Let k be d(s). Let t(l) = 33*l**2 + 2*l + 3. Is t(k) a prime number?
True
Suppose -f + 4*l + 1052 = 0, 3*l = -4*f - 2*l + 4124. Suppose -538 - f = -2*n. Is n composite?
False
Suppose -b = -4*h + 6, 4*b = 6 + 2. Suppose -2*n - 2*t = -4094 + 496, -h*t + 7188 = 4*n. Is n prime?
False
Suppose 4*p - 12 = 3*h - 4, -5*h = -2*p + 18. Is (85 + (-2)/1)/((-4)/h) composite?
False
Suppose 0*z - 5*y + 17828 = 3*z, z - 5936 = -3*y. Is z composite?
True
Let d be (8/(-20))/((-2)/20). Is (-25109)/(-3) - d/60*10 composite?
False
Suppose -2*h = 5*t - 5247, t - h - 1046 = 2*h. Is t composite?
False
Suppose -2*f + 5*y = -4*f + 907, 1350 = 3*f + 4*y. Suppose v - 189 - f = 0. Is v composite?
True
Suppose -5*t - q - 7 = -2*t, 4*t - 4*q = -4. Let p(x) be the first derivative of -180*x**2 - x + 1. Is p(t) a composite number?
False
Suppose -b - 5*j = -23907, 10 = -10*j + 5*j. Is b composite?
False
Suppose f - 5*q + 53 = 0, 0 = 5*f - 2*q + 67 + 106. Let p = f - -144. Is p prime?
False
Let i(o) = -754*o + 345. Is i(-35) prime?
False
Suppose -5*q + 6 = 6. Suppose q = -2*v + 8, 5*k + 2*v - 10372 = k. Is k composite?
False
Suppose 12*l - 171654 = -30*l. Is l a prime number?
False
Let i(g) = -171*g - 1. Let n be i(-5). Suppose -2*p = -4*p + n. Is p composite?
True
Let l(w) = w**3 - 12*w**2 + 10*w + 11. Let x be l(11). Let n(o) = o**3 - o**2 + 2*o + 1867. Is n(x) a composite number?
False
Let d(c) = -c**2 + 20*c - 19. Let u be d(16). Is (1506/(-4))/(u/(-30)) a composite number?
False
Suppose -4*i = 2*p - 4860, 2*i - i + 4*p = 1229. Is i a prime number?
True
Let w be (-288)/(-128) + (-2)/8. Suppose y - 6*y + p + 1530 = 0, w*p - 1238 = -4*y. Is y a composite number?
False
Is 2/(-3) + 555*57/27 prime?
True
Let s be -14 - (4/6)/((-26)/39). Let l(j) = 8*j**2 + 6*j - 15. Is l(s) a prime number?
True
Suppose 0 = -c + 5*q - 39, 0 = -2*c - 3*q + 2*q - 133. Let t = -37 - c. Let v = -1 + t. Is v composite?
True
Suppose -4*m = 5*g - m - 199, -5*g = -m - 207. Suppose -3*p + g = -4. Is p a composite number?
True
Suppose -2*h + 2*w + 22386 = 0, 0 = -3*h - 17*w + 14*w + 33555. Is h prime?
False
Suppose 81*t - 23*t = 427402. Is t prime?
True
Let j = 12 + -6. Suppose -j*s - 8 = -2*s. Is (s/(-8))/(4/2608) prime?
True
Suppose -2*b - 2*f = -9502, -2*b = 4*f - 14271 + 4769. Is b a prime number?
True
Suppose 2*u - 13 = -k - 4*k, 23 = 2*u - 5*k. Sup