umber?
True
Let p be 3 + 986428/36 + (-4)/(-18). Is -3 + p/3 - (-2)/(-3) composite?
True
Let u = 325613 - 223344. Is u a prime number?
False
Suppose 2*p + 22 - 18 = 0. Is p*(-9956)/3 - (-3)/(-9) a prime number?
True
Let a(u) = 208*u**2 - 18*u - 4. Let c = -15 + 11. Let x be a(c). Let v = x - 2259. Is v a prime number?
False
Let i(y) = 14767*y + 1367. Is i(8) a prime number?
True
Let v = 5488 - 7846. Let t = v + 3889. Is t composite?
False
Suppose -2*c + 14236 = -6166. Is c composite?
True
Let r(p) be the first derivative of -2*p**3/3 - 7*p**2/2 - 16*p + 11. Let c be r(11). Let s = c + 1258. Is s a composite number?
True
Let h be 22 - 4 - 1 - (-17)/((-136)/16). Let n = -15 - -51. Let r = n - h. Is r prime?
False
Let r = 181 - 188. Let h(t) = 73*t**2 + 16*t + 40. Is h(r) a prime number?
False
Let v(q) = 1053*q - 151. Suppose -21*j + 150 = -6*j. Is v(j) a composite number?
True
Let t = 34363 + 4847. Suppose 27*g - 37*g = -t. Is g a prime number?
False
Suppose 17978 = 9*l - 1040953. Is l a composite number?
False
Suppose 3*f = -v + 24955, 16*f = 21*f - 30. Is v a composite number?
True
Is (-6)/(-14) - ((-14349296)/91)/8 composite?
True
Let i = 42656 - 27019. Is i composite?
True
Is 13*(-3 + (0 - 3) + 8 + 2177) prime?
False
Let r(n) = n**2 + 15*n - 299. Let v = 683 + -641. Is r(v) composite?
True
Let y be 16/10*90/36. Let l be 0*(-5)/(y + 6). Suppose 3*u + 1667 = 3*p - u, 3*u + 6 = l. Is p a composite number?
True
Let l be (-328)/(-18) - (-6)/(-27). Let i be 527 + 0 - l/(-30)*-5. Let s = i - 10. Is s a composite number?
True
Let z be 123*(-1 - (-45)/3). Let k = z - 1074. Let c = k + 161. Is c a prime number?
True
Let k = -7791 + 20884. Is k prime?
True
Let n(y) = -4*y**2 - 10*y - 126. Let z(o) = 5*o**2 + 11*o + 127. Let c(m) = 6*n(m) + 5*z(m). Is c(48) a prime number?
False
Suppose -3*g - 273 = -24*g. Suppose -u + 14 = g, n - 1656 = -u. Is n composite?
True
Suppose 22*u + 2*z - 71446 = 20*u, 0 = -4*z - 16. Let o = u - 13174. Is o prime?
False
Suppose n + 0*l - 5*l = 4, -5*n = -2*l - 20. Suppose -n*x = 7*x. Suppose 0 = 2*i - x*i - 974. Is i composite?
False
Suppose -3*b - 13094 = -211181. Is b a composite number?
False
Let m(h) = 1626*h + 1687. Is m(84) a composite number?
True
Suppose 5*m - 3*k + 10 = 2*k, -5*m = -2*k - 5. Suppose 5 + 4 = m*y. Suppose -4*g = y*i - 625, 4*i - 3*g - 124 - 726 = 0. Is i composite?
False
Let p(x) = 10*x - 36. Let l be p(5). Suppose 5*a + t = l + 4, a + 4 = -4*t. Let m(g) = 6*g**2 + 4*g + 3. Is m(a) composite?
True
Is -1 + (3572102 - 1) - ((1 - -2) + 0) prime?
False
Let y = -86 + 94. Suppose -y*t = -13533 - 17339. Is t a prime number?
False
Suppose 53*v = 7409753 - 1926426. Is v a composite number?
True
Let v(o) = o**3 + 24*o**2 - 28*o - 1. Let f be -60*(-6)/3 - -5. Suppose -12*m - f = -7*m. Is v(m) composite?
True
Let p(f) = 21*f**2 - f - 81. Let q be p(-9). Let m = 40730 + q. Is m a prime number?
True
Suppose 5*z + 0*z - 5*p + 175 = 0, 5 = -p. Let s be ((-24)/z)/(1/5). Let n(y) = 85*y + 2. Is n(s) a prime number?
True
Let c(d) = -1417*d**3 - 6*d**2 - 20*d - 56. Is c(-3) prime?
False
Let t = 19431 + -12832. Is t composite?
False
Let f(i) = i**2 - 25*i - 51. Let h be f(27). Suppose 17*a = -h*a + 88180. Is a a prime number?
True
Let j(v) = v**3 + 27*v**2 + 62*v + 126. Let o be j(-25). Is -255*o/18 + -6 prime?
True
Is -3 + 35/10 + 48499/(-2)*-3 composite?
True
Let o be (-465)/(-1)*(290/(-87))/(-1*2). Let h be (-141)/6*(6 - -2). Let c = h + o. Is c a prime number?
True
Let l(b) = -b**3 - 25*b**2 - 30*b - 52. Let o be l(-25). Suppose -4*y + o + 1298 = 0. Is y prime?
True
Suppose 766*h - 400*h + 13467735 = 393*h. Is h a composite number?
True
Let n(l) = -l**2 + 19*l + 68. Let f be n(-3). Suppose -f*s + 0*a - 3*a + 27814 = 0, 0 = s + 4*a - 13897. Is s a composite number?
False
Let o(b) = 1383*b**2 - 667*b - 2689. Is o(-4) a prime number?
False
Let a(n) be the first derivative of 1639*n**3/3 - n**2/2 - n + 61. Is a(-1) a composite number?
True
Let v(c) be the first derivative of -c**4/4 - 8*c**3/3 + 4*c**2 - 10*c + 12. Let m be v(-9). Is (0 - m)/3 + 130610/111 prime?
False
Suppose 23177835 = 95*h - 26*h - 72494184. Is h prime?
True
Let b = -1089152 + 1620673. Is b prime?
True
Let h = 491 + -490. Suppose 4*b = 9 - 1. Is 1339 + (b + (-1 - -3))/h prime?
False
Let g(n) be the first derivative of 7*n**2/2 + 42*n + 8. Let u be g(-7). Is 21/u + (362 - 1) a composite number?
True
Let c(u) = -48675*u + 1141. Is c(-2) prime?
True
Let u = 246922 + 223981. Is u a composite number?
False
Let c be (-17 + -294)*(-1 - -41). Let m = c + 20937. Is m prime?
False
Suppose -24 + 21 = -h. Suppose -24 = -3*g + h*q, g - 27 = -3*g + 3*q. Suppose -2*s + k + 4*k + 2290 = 0, g*k + 4580 = 4*s. Is s a composite number?
True
Let z(l) = l**2 + 14*l - 15. Let k be z(-15). Suppose -4447 + 906 = -b - 3*t, k = 2*b + t - 7072. Suppose 6*i = i + b. Is i a prime number?
False
Is 2040748/44 - 76/(-209) prime?
True
Let r(x) = 15*x - 138*x**2 + 141*x**2 - 60*x + 149. Is r(-38) composite?
True
Let u be (-6 + 0)/((-2 - 16)/(-9)). Let t = u - -6. Is (2429/(-21))/((-1)/t) a composite number?
False
Suppose -2*v - 165 = -17*v. Suppose -57624 = -v*n + 17209. Is n composite?
False
Suppose -676*v = -680*v + 2*o + 949510, 3*o - 712101 = -3*v. Is v a prime number?
False
Let c = 32 + -26. Suppose -5*o = -c*o - 3. Is o/(-9) - 5388/(-9) a prime number?
True
Suppose 0 = -k - n + 16186 + 6382, 5*n - 45145 = -2*k. Is k a prime number?
False
Suppose 218 = 3*v + 221, 5*v = -9*y + 930478. Is y a prime number?
True
Let r = 27119 - 14675. Suppose -606 + r = 6*v. Is v composite?
False
Is 3001470/140 - (-5)/(-70) prime?
False
Let n = -318 - -585. Suppose 12 = -2*l - 4*y, 2*l - 2*y = 5*l - 2. Suppose 4*c = 5*r + 1634, -4*c = l*r - 1385 - n. Is c prime?
False
Let x(i) = i**3 + 7*i**2 - 17*i + 14. Let q be x(-9). Let u(t) = 2126*t - 53. Is u(q) composite?
True
Let u be (44/6)/(4 + (-70)/21). Suppose -13*m + 4 = -u*m. Suppose -939 = -m*s + 415. Is s a prime number?
True
Is (8 - (8/6 + (-548681)/42))*2 a composite number?
False
Suppose 0 = 4*s + w + 861, 0 = -5*s - w - 536 - 541. Is 4 - s/(-63) - (-30134)/14 composite?
False
Suppose 3*d - 5*m - 263169 = 0, 24*d + 2*m - 87701 = 23*d. Is d composite?
True
Suppose 49*g - 47*g - 10 = 0. Suppose -g*y = -y. Suppose 3*t - 336 - 93 = y. Is t a composite number?
True
Let g(f) = 8*f**2 - 7*f + 1. Suppose -5*o + 3*o = -2. Let q = -7 + o. Is g(q) a prime number?
True
Suppose -64 = -3*m - 58, -3*m = 8*s - 2329622. Is s prime?
False
Suppose -2*l - 3*w + 6*w + 16 = 0, 0 = 5*l + 3*w - 82. Is (14/l)/(1/907) composite?
False
Let z(h) = 2019*h**3 - 5*h**2 - 177*h - 59. Is z(10) prime?
True
Suppose 0 = 5*d - u - 467033, 12*d - 93403 = 11*d + 2*u. Is d prime?
True
Let p = -5 - -1. Let n be 10458/56 - 1/p. Let k = n + 792. Is k prime?
False
Let y(x) = 13*x + 6. Let c be y(-1). Let l be (-12)/(-28) + 230/c*-10. Suppose l + 1012 = 3*z. Is z composite?
True
Suppose -10950 = -4*m + 5394. Suppose 4*b = 210 + m. Suppose n = b - 340. Is n prime?
False
Suppose -4*q + 3*r + 199093 = -328044, -q - 4*r = -131789. Is q composite?
True
Suppose -2*v - 73233 = -k + 61978, -4*v - 28 = 0. Is k a prime number?
True
Let c be (35/4)/(2045/340 + -6). Suppose 17*h = 24*h - c. Is h a prime number?
False
Let z = 10098 - 2291. Is z a prime number?
False
Let y(n) = 2*n**2 - 2*n + 15115. Let o be y(0). Let s = o + -7522. Is s a composite number?
True
Let n = -66 - -69. Suppose 4*q - 121 = i - 1291, -5*q - 3510 = -n*i. Let g = -673 + i. Is g composite?
True
Let k = 2262 + -515. Is k prime?
True
Let t(k) = k**3 - 7*k**2 + 9*k. Let b be t(6). Suppose -b - 2 = 4*d. Is ((-30)/(-4))/d + 1177/2 a prime number?
True
Let t = 464 + -506. Is (-3499)/(((-1)/3)/((-28)/t)) prime?
False
Let o = 47066 + -12285. Is o composite?
False
Let n(s) = 707*s + 1594. Is n(11) a prime number?
True
Let j be 19438 + (27/18 - 3/(-2)). Suppose 2*x + 5*o - 58328 = -x, j = x + 2*o. Is x composite?
True
Suppose -6*k + 36482 = -2*k - t, 2*k - 18252 = -5*t. Let i = 18722 - k. Is i a composite number?
False
Let j(d) = -d**2 - 10*d + 5. Let t be j(-8). Suppose -t*f + 3223 = -10*f. Suppose 101 = 2*o + 5*r - 38, -4*o + f = 5*r. Is o composite?
True
Suppose 5*k - 4*a - 97026 - 288587 = 0, 4*k + 4*a = 308440. Is k a prime number?
