Suppose 130*c = 132*c - 128794. Is c composite?
True
Suppose -4*d + 8218 = -77650. Is d composite?
False
Suppose 0 = -x + 4*y + 18671, 23*y - 18701 = -x + 21*y. Is x prime?
True
Let c = -12 - -15. Suppose 0 = -z + c*z - 2018. Is z a composite number?
False
Is (-148325)/(-4) - 11*(-1)/(-44) a prime number?
False
Suppose s = 2*s - 3. Suppose -15 + 21 = 3*g. Suppose s*x + 38 = d, -x = 5*d + g*x - 280. Is d a prime number?
True
Let h(o) = -29*o**3 - o**2 - 7*o + 10. Let c be h(4). Let a = 1070 + c. Let d = -353 - a. Is d prime?
True
Let f = 8652 - 5971. Let o = 4510 - f. Is o prime?
False
Suppose 2*c = 2*l, -c = 5*l - 13 + 1. Is (1 + -3)/l*-737 prime?
False
Let w(v) = -24*v**2 + 5*v - 9. Let s be w(5). Let h be 2*(3 - 2) - s. Suppose 0 = -3*i + 77 + h. Is i a composite number?
True
Let y(i) = -i - 12. Let t be y(-9). Let s(z) = -440*z**3 + 2*z - 11. Is s(t) prime?
True
Let p be (40/32)/(1/4). Suppose p*n - 5709 = 5906. Is n prime?
False
Suppose -3*j + 70 = -j. Let s(k) = -j*k + 0 + 1 + 0 - 3. Is s(-1) prime?
False
Suppose -9*h + 348829 = -72929. Is h a prime number?
False
Suppose 14*y - 24271 = y. Is y a composite number?
False
Suppose -3*o + 10116 = 5*d, 4*o + 8*d - 13505 = 7*d. Is o a prime number?
False
Suppose 0 = -l + 13 - 13. Suppose l*h - 8212 = -4*h. Is h composite?
False
Suppose 4*q = -m + 47353, -17*q = -15*q - 4*m - 23690. Is q composite?
False
Let y = 47783 - 21286. Is y prime?
True
Let i(o) = 6*o**3 + 22*o - 9. Is i(8) a prime number?
False
Let d be ((-3)/(-2))/((-12)/(-16)). Suppose -3*b + 1501 = 3*q - d*b, q - 2*b = 512. Is q a composite number?
True
Is -3*-3*171670/90 a composite number?
False
Is 22*((-42)/(-12))/7*1381 a composite number?
True
Suppose 15*a - 16*a + 719 = 0. Is a prime?
True
Suppose -2*o - 6140 = -t - 5*o, 3*t + o - 18404 = 0. Is t a prime number?
False
Let q be ((-307 - 1) + 2)*6/4. Let k = 856 - q. Is k composite?
True
Suppose 9 = 39*p - 38*p. Suppose 13*g = p*g + 140. Is g a prime number?
False
Suppose 0 = -5*o + 4*o + 2. Suppose 3*q = i + i + 14, -2*q + o*i = -12. Suppose g + q*h - 50 = -h, -2*h = -2. Is g a composite number?
False
Let d(i) = i**3 + 3*i**2 + 2. Let h(j) = -9*j - 1. Let n be h(-1). Let l be d(n). Suppose -5*k + 124 = -l. Is k a composite number?
True
Let b(n) = n**3 - 2*n**2 - 2*n + 2. Let i be b(2). Let r be (-1)/1 - (0 + i). Is r*3*(39 - 2) a prime number?
False
Is (-2 + 3)/(57435/14357 + -4) a composite number?
True
Is (24 - -57943) + 0 + 6 prime?
True
Suppose 5*c - 7 = 23. Let l = c - 4. Is (-4)/(-5)*205/l a composite number?
True
Suppose 4*c = -5*a - 1278 - 460, 0 = 5*c - 15. Let m = 613 + a. Is m prime?
True
Suppose -53*o + 50*o = -231. Is o composite?
True
Let w(c) = -2*c + 12. Let x be w(9). Let p = x + 10. Suppose -u - 1491 = -p*u. Is u prime?
False
Suppose 3*d + 3*q - 7435 = 27107, -4*q + 34543 = 3*d. Is d a composite number?
True
Let j = 2997 + 1064. Is j a prime number?
False
Is (-89595)/(-21) - 4/(-7) prime?
False
Let s be -6*(-2)/3 - -48. Suppose 4 = -4*w + s. Is (-844)/w*-3*1 composite?
False
Let m be (-15)/6 - (1/2)/(-1). Is (27555/6)/5 + (-1)/m a prime number?
True
Let n = 3817 - 752. Is n prime?
False
Let m(r) = 1 - 2*r - 8 + r. Let d be m(-9). Suppose 0 = 4*a + 3*k - 755, 3*k = -4*a - d*k + 749. Is a a prime number?
True
Suppose 1076 = 3*x - 1141. Is x a prime number?
True
Suppose -3*u = -2*u - 7367. Is u a composite number?
True
Suppose 2*h + 4*a = 20, 4*a - 10 = -h + 4*h. Let v(k) = 4*k**2 - 1 + k - 1 + 0*k**h - 7*k. Is v(6) a composite number?
True
Let s = 7 - 3. Suppose -4*n = 0, s*k = -k - 2*n + 15. Suppose -k*j + 11 = 26, -4*g - 4*j = -24. Is g a composite number?
False
Suppose 7764 = 5*u - u. Suppose 0 = 4*c - u + 361. Is c composite?
True
Let m(l) = -9852*l - 85. Is m(-2) a prime number?
False
Let v(q) = -q**3 + 9*q**2 + 10*q - 3. Let d be -1 + 13 + -5 + 1. Is v(d) a prime number?
False
Suppose 127*x - 11177 = 126*x. Is x prime?
True
Let o be -2*22/(-20) - (-2)/(-10). Suppose -o*s + 217 = -81. Is s prime?
True
Let b(h) = h**3 + 7*h**2 + 2. Let m be b(-7). Let q(v) = 28*v**m + 0*v + 3*v + 4 - 9. Is q(2) composite?
False
Let y(a) = 51 + 4 - 4*a + 4*a - 2*a. Is y(0) a composite number?
True
Let v(p) = -2*p**2 + 3*p + 1. Let b be v(3). Is -2 + b/(-6)*27 prime?
False
Suppose 5*w = 0, -5*x - 57 + 3512 = w. Suppose 0 = 3*v - 125 - 1333. Let z = x - v. Is z prime?
False
Is -1 + 3 + 191*(4 + 5) a composite number?
False
Let l = -49 + 52. Suppose l*b + 1259 = 4*h, 0 = -3*b - b - 4. Is h composite?
True
Let p(m) = 2*m**2 + 3*m + 7. Let h be p(10). Let x = 436 - h. Let f = x + 88. Is f a composite number?
True
Suppose 4*p + 75432 = m + 10599, 2*m - 129622 = -3*p. Is m a prime number?
True
Let y(j) = -137*j**2 - j - 1. Let a be y(1). Let l be -1 - -5 - 1 - a. Suppose -3*s + 2*s = -l. Is s a composite number?
True
Let h be -1*(1144/24)/((-1)/3). Suppose -g - 3*p + h = p, 0 = -3*g + p + 377. Is g prime?
True
Let k(j) = 2141*j**2 + 26*j + 54. Is k(-2) prime?
False
Let m = -4604 - 697. Let k = m + 7910. Is k a prime number?
True
Let a = -122 + 180. Is (23403/a)/(3/4) a composite number?
True
Let r(g) = -133*g + 23. Let v = 17 - 23. Is r(v) prime?
True
Is (6 + -7)*(-6451 + -6) composite?
True
Suppose 3*n - i - 76199 = 0, 0 = -4*n - 132*i + 127*i + 101586. Is n a composite number?
True
Suppose 0 = -3*h - h + 1388. Suppose 1052 = q - h. Is q a prime number?
True
Suppose 20*h = 19*h. Let a = 0 + 3. Suppose -a*c - 2095 = -5*w, 5*c = -w - h*w + 419. Is w a prime number?
True
Let d be -3 + 5 - (-2 - 0). Let o = 840 - -38. Suppose -d*f + o = -2*f. Is f a prime number?
True
Suppose -2*o + 0*o - 1178 = 0. Let m = o - -1000. Suppose a = 2*h + m, -4*a + 1224 = -a + 3*h. Is a composite?
False
Is 315009/123 - 4/82 prime?
False
Let i(y) be the first derivative of 2*y**3/3 - y**2/2 + 1. Let u be i(-1). Is u*(1 - (-344)/12) a composite number?
False
Suppose -2*w + 1 = f, -4*w = -2*f + 2 + 8. Suppose -2*c - f*q = -9, -c = -2*q - q + 9. Suppose c = 13*s - 12*s - 149. Is s a composite number?
False
Let t(o) be the first derivative of -o**3/3 + 5*o**2 - 4*o - 4. Let n be t(6). Let y = 107 + n. Is y composite?
False
Let i be 13 - 16 - (-5 + -1). Suppose 0 = -i*t + 807 - 12. Is t composite?
True
Let k be (1 + -4)*32/(-48). Suppose 0*n + 218 = n + 5*f, k*n = 5*f + 451. Is n prime?
True
Suppose 3*g - 2*z - 16431 = 3138, 5*g + 4*z - 32593 = 0. Is g composite?
False
Suppose -b + 3*b = 10. Suppose 4*a - 6*a - b*z + 1119 = 0, -3 = -3*z. Is a a prime number?
True
Let j be -2*((-1)/(-1))/((-22)/(-4191)). Is (j/6)/((9/(-6))/3) a composite number?
False
Let r(d) = 350*d**2 - 21*d - 4. Is r(5) a composite number?
False
Let z(v) = 1240*v - 4. Let r be z(2). Let m = -1163 + r. Suppose -6*d = -m + 215. Is d composite?
True
Is 1*(12/36)/((-1)/(-34311)) prime?
True
Let p(t) = t**3 + 22*t**2 + 2*t - 164. Is p(39) composite?
True
Suppose 2*a - 6 = -m - 4, -8 = -3*m - 4*a. Let u = -6 + m. Is -2 + 2/u + 132 prime?
False
Let t = -9 + 11. Let v(i) = 14 + t*i**2 - i + 0*i - 4*i + 2*i. Is v(9) prime?
True
Is 2362472/448 - (-6)/(-16) a composite number?
False
Let g(j) = 284*j - 11. Let b be (2 + (-32)/12)*-3. Is g(b) prime?
True
Is (-3)/((-3)/5) - (-10 - 33034) prime?
True
Let w(b) = -28*b - 4. Let n(g) = -g. Let l(h) = -3*n(h) - w(h). Let r be (2 - 7/5)*5. Is l(r) a prime number?
True
Let u be ((-426060)/(-75))/((-3)/10). Is u/(-27) - 1*3/9 a composite number?
False
Let f(b) = 1083*b - 2. Let l be f(2). Suppose -5*g - 541 = -x, -6*g = 4*x - 2*g - l. Is x prime?
True
Let d(k) = -k**2 + 16*k - 6. Let g be d(16). Is (0 + 1)/(-7*g/181734) composite?
False
Let h(g) = 12*g**3 + 4*g**2 - 19*g + 22. Is h(9) a prime number?
True
Let m(r) = 3057*r + 41. Is m(4) a composite number?
False
Let k(y) = -2*y**3 + 4*y**3 - y**3 + 0*y**3 + 9*y**2 - 5*y + 8. Suppose -7 + 34 = -3*i. Is k(i) prime?
True
Suppose -2*v - 2*v + 3*i + 221 = 0, -4*i + 60 = v. Suppose -7*g - v = -0*g. Is (46/g)/(1/(-116)) a prime number?
False
Let o(c) = c**2 + 28*c - 32. Let p be o(-29). Let m(r) be the first derivative of 9*r**3 + 2*r**2 + 2*r + 1. Is m(p) a composite number?
False
Is 4/(-4)*-1 + 171*18 prime?
True
Is (350/(-140))/(5/(-33322)) composite?
False
Is 1938643/308*4 - 2/11 a prime number?
False
Let u(s) = s**3 - 6*s**2 + 7*s - 7. Let x be u(5). Suppose -p - 