
False
Suppose 5*q = 45 - 15. Suppose 249 = 7*z - q*z. Is z prime?
False
Let c(a) = -2*a**2 + 12*a + 1. Let d be c(3). Let f = 5 - -1. Let s = d - f. Is s a composite number?
False
Suppose -28 = 3*a + 14. Let q be (-8866)/a - (-6)/(-21). Suppose q = -i + 4*i. Is i prime?
True
Let i = 115 + -115. Suppose 3*o + 0*s + s - 1470 = i, 0 = -4*s + 12. Is o prime?
False
Suppose 10*y - 5*y = 2120. Let t be -1*(3 - 1*y). Let i = t + -154. Is i a composite number?
True
Let t(v) = 8838*v - 93. Is t(8) a composite number?
True
Suppose -f = -4*t + t - 5, 5*t + 5 = 5*f. Is (t - 3)*(-8 - 3) prime?
False
Let v = -1 + -10. Let x(a) = a**2 - 14*a - 8. Is x(v) prime?
False
Let r(l) = l**3 - 8*l**2 - 4*l + 8. Let h be r(11). Suppose 0 = -2*j - j + h. Is j a prime number?
True
Suppose -21*t = -34*t + 623129. Is t prime?
True
Let k = 1786 - 269. Is k prime?
False
Is (-13490)/(-22) - (-12)/(-66) a composite number?
False
Let s = 2896 - 1590. Is s a prime number?
False
Let z(r) = -245*r - 8. Let s be z(-6). Let v = -1013 + s. Suppose d + 70 = -t + v, 2*d + t - 758 = 0. Is d a composite number?
False
Suppose 2*m + 68411 = 3*z, -4*m + 8*m = 2*z - 45594. Is z a prime number?
True
Let h = 1593 - 677. Suppose 0 = 8*o - 3*o - 2190. Suppose 2*x = h + o. Is x composite?
False
Suppose 12*q - 9558 = -522. Is q composite?
True
Suppose -2*d = 5*l - 189364, -378744 = -4*d + 17*l - 19*l. Is d a composite number?
False
Suppose -5*f + 303 = -307. Let m be ((-90)/(-21) - 2/7) + -2. Suppose 0 = -m*r - 4*k + 6 + 56, k + f = 5*r. Is r composite?
True
Let u(y) = y**3 + 23*y**2 - 22*y - 37. Is u(-11) prime?
True
Let k(o) = 46*o**2 + 4*o + 7. Let t be k(-3). Suppose -2*c = -3*c + t. Is c prime?
True
Let g be (-6)/(-5)*10*1. Let a = -11 + g. Is (3 - a) + 0 - -139 prime?
False
Suppose -2*c + 5*t - 32 + 91 = 0, 5*c - 125 = 5*t. Let l(x) = x**3 + 5*x**2 + x - 8. Let g be l(-5). Let n = c + g. Is n a composite number?
True
Suppose 0 = -p + 3, 2*n + p - 1 = 0. Is (-681 + 0)*n + (-2)/1 prime?
False
Let f(u) be the second derivative of u**4/3 + 11*u**3/6 - 12*u**2 - 29*u. Is f(5) prime?
True
Let p = -5982 - -8459. Is p prime?
True
Is ((-39)/15)/13 + 5436/5 a prime number?
True
Suppose 30*x = 29*x + 652. Let f = x - 461. Is f composite?
False
Suppose -115*v = -111*v - 12. Suppose 3*o + 2*o = -4*f + 2363, 5*f = -v*o + 2944. Is f prime?
True
Let k(a) = 577*a + 93. Is k(8) composite?
True
Suppose 0 = -5*d + 5*l - 770, 0 = -3*l - 1 + 4. Let t = d + 280. Is t composite?
False
Suppose 4571 = b + 4*x, -5*b + x - 11023 = -33941. Is b a composite number?
False
Let q(o) = 4*o**3 - 3*o**2 + 5*o - 7. Let j = 28 - 23. Is q(j) a composite number?
False
Let a be 0/(5/(-15)*3). Suppose 5*d = -a*d + 3725. Is d composite?
True
Suppose 5*w + 5 = 4*f + 14, 2*w = 3*f + 12. Is 548/f*(-270)/36 a composite number?
True
Suppose 0 = -7*a + 3*a + 128. Suppose -a + 647 = 5*r. Is r prime?
False
Is 1/(-3) + -1*(-11810)/15 a prime number?
True
Let s = -125 - -121. Is (s + 1)*1 + (2260 - -1) a prime number?
False
Let r(j) = 1785*j**3 + 3*j**2 + 5*j - 10. Is r(3) a prime number?
False
Let f be 175/(-30) - 2/12. Let i = -3 - f. Suppose 2*q + i*q - 1015 = 0. Is q a composite number?
True
Suppose -5*f + 835368 = 19*f. Is f a prime number?
True
Let t = 25273 + -39425. Is ((-4)/11)/(-2) - t/88 a prime number?
False
Let n be 0 - ((-1288)/(-21))/((-2)/(-48)). Let f = -125 - n. Is f composite?
True
Suppose -3831 - 13424 = 5*d. Let k = 5088 + d. Is k a prime number?
True
Let v(u) = u**2 - 4*u - 4. Let t be v(-2). Let o(x) = -x**2 - 10. Let f be o(t). Let c = 109 + f. Is c composite?
True
Let c = 1827 + -772. Is c a prime number?
False
Let l(u) = -39*u**3 - 9*u - 9. Is l(-2) a prime number?
False
Let x(g) = -39*g - 245. Is x(-12) a prime number?
True
Let m = -1003 - -495. Let i be 1/(504/m + 1). Suppose -5*j + 4*j + i = 0. Is j a composite number?
False
Let m be -6 - 8*(-3)/6. Let d be (-9 - 0)*(m + 1). Let k = 70 + d. Is k composite?
False
Suppose 4*j + 0*n + 4*n + 928 = 0, 4*j + n + 925 = 0. Let y = -118 - j. Is y composite?
False
Let l(a) = 8*a**3 - 16*a**2 + 6*a - 47. Is l(12) prime?
False
Is 1/(0 + 5 + (-105274)/21055) composite?
True
Let b(c) = c**2 - 5*c + 6. Let z be b(3). Is 1 - z/2 - 162/(-3) a composite number?
True
Let f = -11 - -5. Let y be (f/4)/((-6)/56). Suppose 2*x - 140 = y. Is x a prime number?
False
Let w(q) = q + 3. Let u be w(-7). Is ((-16)/u - 3)*1097 composite?
False
Let k be 24/(-40) + 98/5. Let n = k - 9. Is 4/n - 1230/(-50) prime?
False
Suppose -85 = 6*q + 41. Let i = q - -24. Suppose -3*p + p = 2*c - 214, -i*p = -5*c + 551. Is c a prime number?
True
Let u = 5 + -1. Suppose n = 3*n, 2*h = u*n - 440. Is ((-5 - -2) + h)*-1 a composite number?
False
Let w(f) be the first derivative of -10*f**2 + 9*f + 1. Suppose i = -85*h + 84*h, 2*h - 4*i = -30. Is w(h) prime?
True
Let u(c) = -c**3 + 7*c**2 - 2*c. Let s(j) = j**3 - 6*j**2 + j - 1. Let o(d) = -4*s(d) - 3*u(d). Let v be o(5). Let y = v + 73. Is y a composite number?
False
Suppose -2*d = -70 + 10. Is d/20*(-3454)/(-3) composite?
True
Let x = -2 - -3. Let k be x*-3*2/3. Is ((-19)/k)/(1/22) a composite number?
True
Let f(d) = -233*d**3 - 3*d**2 - d + 1. Let v be f(-1). Suppose -2*o + 150 = -4*l, -2*o + v = -5*l + 78. Is o a composite number?
False
Let y(t) = -t**2 - 13*t - 15. Let z be y(-10). Suppose -2*s = 4*g - 4 - 6, 2*g = 3*s - z. Suppose g = j - 2*j + 87. Is j a prime number?
False
Let l(z) = 2*z**3 - 7*z**2 + 14*z + 3. Let o be l(7). Is (o/9)/4*3 prime?
True
Suppose -61*g + 515820 = -65*g. Is (-2)/9 + g/(-135) a composite number?
True
Let p(g) = g**2 + 6*g - 3. Let z be p(-7). Let f be 125*2*6/4. Suppose -f = z*o - 2251. Is o a prime number?
False
Let v(n) = -33*n + 5. Let r(y) = 65*y - 10. Let w(x) = -2*r(x) - 5*v(x). Let z be 80/15 + (-2)/(-3). Is w(z) a prime number?
False
Suppose -5*y + 59726 = -3*k, y + 47776 = 5*y - 4*k. Is y prime?
False
Suppose -v - 3*v + 1856 = 0. Suppose -3*x = l + 3*l - v, l - 4*x = 97. Is l composite?
False
Let x = -12037 + 29220. Is x a prime number?
True
Suppose 5*r - 19827 = -2*t, 8*r = 3*r + 2*t + 19843. Is r prime?
True
Let v(f) = 758*f + 109. Is v(5) a prime number?
False
Suppose -8*u + 363038 = 18*u. Is u a prime number?
True
Suppose -4*j - 1004 = 2*u, 251 = 2*j - 3*j - u. Is (j/(-1))/(6 - 5) a composite number?
False
Let l(z) = 1446*z + 353. Is l(6) composite?
False
Is 8/44 + (-358935)/(-33) a prime number?
False
Suppose m + 5*q = 2, -5*m + 1 = 5*q - 9. Suppose 5*f - 124 = -m*z + 19, -2*z - f + 155 = 0. Is z composite?
False
Suppose 2*r + 5*p = 131 + 16, -r + 72 = 3*p. Suppose -5*n - 3*t = -15, n = 2*t - 0*t + 3. Suppose n*v - 300 = r. Is v prime?
True
Let n = -748 + 3971. Is n composite?
True
Let u be 771/4 - 17/(-68). Suppose u = 2*y - 1893. Is y a prime number?
False
Let t(j) = -50*j - 507. Is t(-47) composite?
True
Suppose -2*b + 793 = -225. Suppose -5*f - b = -r, -3*r + 1503 = -0*f - 3*f. Is r a composite number?
False
Let g be ((-51)/(-4))/((-1)/(-488)). Suppose -4*c = 1258 - g. Is c a composite number?
True
Suppose -4*y - n + 25961 = -9651, 5*n + 44515 = 5*y. Is y composite?
True
Let l = 3487 + -1944. Is l a prime number?
True
Suppose 5*o = -3*d + 122867, 13*d - 9*d - 5*o - 163811 = 0. Is d a composite number?
True
Suppose q + 6 = 4*r + 1, 0 = 5*r + 5*q - 25. Suppose -r*x = -7*j + 3*j + 4032, -5*j + 4*x = -5043. Is j composite?
True
Suppose -116 = c - 10. Let j be ((-852)/24)/(2/4). Let x = j - c. Is x prime?
False
Let w = 28856 - 7609. Is w composite?
False
Let t = -421 + 422. Let b(z) = -6 + 2 + 96*z**2 + 5. Is b(t) prime?
True
Suppose -3*u + 29 = 2. Suppose -u = -b + 4. Is b a prime number?
True
Let b be (-12)/(-7) + 2 - (-2)/7. Suppose b*m - 275 = 3*l + 485, 2*m - l = 378. Is m prime?
False
Suppose -8 = 2*i - 0*h - 3*h, -3*i = -h - 2. Suppose -3*l + 2 = 2*y, 2*l - 2*y + i = -3*l. Suppose -5*u + l*u = -1955. Is u a prime number?
False
Let r(z) = z**2 - 17*z - 14. Let o be r(18). Is (1 - 3)*314/o*-3 composite?
True
Let r = -292 + 905. Suppose -5*t = -z + 163, -t + 180 = -3*z + r. Is z prime?
False
Let v(w) = w**2 + 8*w + 9. Suppose -3*c + 28 = -5*c. Let r be v(c). Suppose -r = -s + 68. Is s a composite number?
True
Let c = -23 + 34. Let f = 115 + c. Suppose -3*o + 69 = -f. Is o composite?
True
Let u = -15 - -12. Let