?
True
Let o(h) = -409*h + 31 + 31*h - 18 - 300*h. Is o(-11) a composite number?
True
Suppose 0 = -5*j + 63 - 73. Is -26*(j + (-127)/2) composite?
True
Suppose 40 = 5*t - 3*f + 8*f, -3*f = -15. Suppose b = 0, t*c + 35*b - 18339 = 39*b. Is c a prime number?
True
Suppose 0 = 49*y - 633380 - 333229 + 93968. Is y a prime number?
False
Suppose 5 - 1 = 2*t. Let l be 8 + t + -2 - 3. Suppose s - 2232 = -2*f - 0*s, 0 = -f - l*s + 1125. Is f prime?
False
Let n be -25*8/360*9/(-1). Let t = -2 + 4. Suppose t*w - 635 = -m, -3*m + n*w + 1889 = 3*w. Is m prime?
True
Let n(i) = 10*i + 17. Let p be n(18). Suppose t = -2*m + 3559, -1590 = -m + t + p. Suppose -s = 4*x - 1767, -4*x + 3*s + m = s. Is x prime?
True
Let h be ((-6)/(-4))/((-244)/(-128) + -2). Let v(u) be the second derivative of u**4/12 + 5*u**3/2 + 21*u**2/2 - 2*u. Is v(h) prime?
True
Suppose 0 = 118*f - 120*f + 10. Let g(r) = 163*r**3 - 7*r**2 + 17*r + 2. Is g(f) composite?
False
Is 2/(-12)*2 + (-2311600)/(-30) prime?
False
Is 189724 + 4 + -6 - (-5 - 4) composite?
True
Let v(r) = 1174*r + 74. Let z be v(-17). Let w = 28823 + z. Is w a composite number?
True
Let x = 35 - 32. Let z(n) = x*n + 4*n + 0 + 19 - n. Is z(11) a prime number?
False
Let n(v) = 102*v - 29. Let f = 95 + -93. Suppose 0 = 5*p + 4*c - 10, -f*c = -4*p + 2*c + 44. Is n(p) a composite number?
True
Let k(c) = -29637*c + 1718. Is k(-21) a composite number?
True
Let n(g) = g**3 - 2*g**2 + 3*g - 2. Let u be n(1). Suppose u*o - 3*o + 115188 = 0. Suppose -13805 + o = 3*x. Is x prime?
False
Suppose 0 = 4*s - b - 5543, 4*b - 3108 = -2*s - 314. Suppose s = -p - 2*a, p - 3*p = -4*a + 2734. Let q = 4110 + p. Is q a composite number?
True
Suppose 0 = -43*o + 76343819 + 6521180. Is o a prime number?
False
Let c(i) = 13*i**2 + i - 183. Let u be c(-30). Let s = u - 5756. Is s a prime number?
False
Suppose d + 5*k - 16290 = 0, 2*d + 3*k - 20403 = 12191. Suppose -9720 = -4*m + d. Is m prime?
False
Let t(h) = 2*h**3 - 29*h**2 + 20*h - 72. Let k be t(14). Is -3*(((-15892)/k - 0) + 5) prime?
False
Suppose -2*p + 8289 = -p + s, 4*p + 3*s = 33154. Suppose 0 = 2*o - p - 2791. Is o a composite number?
True
Let f(r) = r**2 + 5*r - 8. Let t be f(-10). Suppose -t*w = -47*w + 45. Suppose w*h + 410 = 11*h. Is h a prime number?
False
Let l(a) = 2*a + 64*a + 765 - 4*a - 728. Is l(6) composite?
False
Is 4 - (262/(-6))/(22/157938) prime?
False
Suppose 3061 - 117 = 23*h. Let d = h + 4985. Is d composite?
False
Let g = -94603 + 313862. Is g a composite number?
True
Let x(c) = 521*c**2 + 6*c - 16. Let d(u) = -u**2. Let g(k) = 6*d(k) + x(k). Is g(3) composite?
False
Suppose 0 = -3*a + 5*k + 194, -a + 31 = 3*k - 29. Let x = a - 56. Let c(j) = 16*j**2 - 21*j - 4. Is c(x) a composite number?
True
Suppose 13*f = 17*f - 32. Suppose f*r + 414 = -186. Is r*130/(-15) - 1 a prime number?
False
Suppose -3*s + 3*l - 3607 = 5*l, -3*s - 3612 = 3*l. Let b = s + 2386. Is b a prime number?
True
Is (186 + -184)/((-4)/(-76786)) prime?
True
Is (-9*1 - 2405/(-260))*1411964 composite?
False
Is (38694/(-21))/(61/(-427)) a composite number?
True
Is ((-4)/(-5))/((-1408)/(-521377120)) prime?
True
Let t(u) = -3*u + 29. Let n = -73 + 82. Let i be t(n). Suppose 3*w - 556 = 2*w + o, 3*w - i*o - 1669 = 0. Is w a prime number?
True
Is 100/250 + (-265149)/(-15) + 4 a prime number?
True
Let t = 129 + -125. Is t*450 + (-16)/(-4) + -5 prime?
False
Suppose 3*d - 7 = 2*x, -x - 1 = -d - 0*x. Suppose -d*n + 6120 = 4*r, -5*r = -4*n - 9525 + 1834. Is r a prime number?
False
Let w = -4789 + 2711. Let t = 1815 - w. Is t a composite number?
True
Let d(a) = -12998*a**2 - 2*a + 12997*a**2 + 0*a + 3 - 256*a**3 - 120*a**3. Is d(-2) a composite number?
False
Suppose -4*h = 3*s + 57806, -5*s = -9*s + h - 77043. Let l = s - -29259. Is l a prime number?
False
Let j(o) = -5*o**3 + 4*o**3 - 10*o + 2 + 3*o**2 + 11 - 15*o**2. Let w be j(-11). Suppose 0 = 4*p - 4*d - 1464, w*d = 3*p - 2*d - 1099. Is p prime?
False
Let y(b) = -9*b**3 - 15*b**2 - 35*b + 4. Let i be y(-6). Let h = 2979 - i. Is h composite?
False
Suppose 21 = -4*r + r. Let m = r + 13. Suppose -m*v = -14*v + 13192. Is v a prime number?
False
Is ((-9)/(-6) - 1)*(6 + -31 - -430183) a prime number?
False
Let k(j) = -3*j + 22 - 54 + 2*j - j. Let x be k(-14). Is x + 6 - (-1 - 368) prime?
False
Let k be (4/(-6))/(1/18). Let r be ((-3)/9)/((-4)/k). Is 2/((4/(-3898))/r) a composite number?
False
Suppose -82*k = -77*k + 40. Let f be (-934)/k*(15 + -19). Let p = f + 658. Is p a prime number?
True
Suppose 5*q + 624 = -3*t, 2*t - 5*q = -4*q - 416. Let o = -101 + t. Let v = o + 1780. Is v composite?
False
Let o(y) = 746*y**2 + 61*y - 148. Is o(15) composite?
False
Let n(b) = -2*b**3 - 11*b**2 + 5*b - 8. Let w be n(-6). Is (0 - 1)/(w - (-5838)/2922) prime?
True
Let r(a) = 46*a**2 + 321*a - 365. Is r(-72) a composite number?
False
Let n = 5991 - -10435. Suppose 2694 = -4*j + n. Is j a composite number?
False
Let o be 30/4*12/18. Let t be -1 - (o/(-4) - (-2)/8). Suppose 5*v - 442 = -2*n - 0*v, 5*v = t. Is n a prime number?
False
Suppose -3*n = 27897 + 15360. Let z = -9900 - n. Suppose 2*v - 4503 = -u, 0*u = -u + 2*v + z. Is u a composite number?
True
Let z(c) = 54250*c**2 - 106*c + 107. Is z(1) prime?
True
Let p be (-18155)/(3 - (-20)/(-6)). Suppose 16*i - p = 18511. Is i composite?
False
Suppose 188 - 71 = 13*b. Suppose 11259 + 4338 = b*o. Is o composite?
False
Let r(j) = -j**3 + 25*j**2 - 6*j - 7. Suppose -3*g + 2*g + 28 = 3*z, g = -2*z + 25. Is r(g) prime?
False
Suppose -2*l + 38 = 3*d, 5*d + 6*l - 4*l = 58. Suppose d = -2*j, -4*o + 16039 = -2*j - 22199. Is o a prime number?
False
Is 1/(-10 + 51542256/5154224) a composite number?
False
Let z = 237 - 240. Is -2 - (z - -2) - 1*-2238 prime?
True
Let i = 3452 + 1227. Is i prime?
True
Let i = 1446 - 2668. Let z = i + 2091. Is z a prime number?
False
Suppose 6*t = 7*t - 5*w + 40, -t + 3*w = 34. Let r = 26 + t. Is (-1)/9*3*(r + -3370) composite?
False
Let v = -13 - -13. Suppose v = 4*g - 5*g + 232. Suppose -i + g = -37. Is i a prime number?
True
Let o(g) = 2*g + 2. Let h be o(0). Suppose 4*k - 16 = 2*c + 6, 0 = -2*c - h*k - 4. Let v = c - -204. Is v a prime number?
True
Let r(v) = -5003*v + 7651. Is r(-74) composite?
False
Let b = 726028 + -513021. Is b a composite number?
True
Let b(r) = -1082*r**2 + r + 1. Let w(p) = p**3 - 13*p**2 + 2*p - 27. Let s be w(13). Let v be b(s). Is (-8 + 4)*v/8 composite?
False
Is (-1*11606)/(-2) + 17 + -6 + -5 prime?
False
Let z(l) = 653*l + 125. Let j(y) = -1. Let c(u) = 6*j(u) - z(u). Is c(-6) a composite number?
True
Let v(c) = 7*c**3 + 103*c**2 + 504*c + 55. Is v(51) a composite number?
False
Let d(n) = 385*n**2 + 159*n - 1453. Is d(9) composite?
True
Suppose -3*p = -15, -2*r - 5*p + 290 = -383. Suppose 26358 = -r*h + 330*h. Is h a composite number?
True
Let g = -70635 + 109903. Suppose 7*f - g = -6557. Is f a composite number?
False
Let k(r) = -129*r + 4. Suppose -y + 3 = -4*u, -4*y + 12 = -0*y - 2*u. Suppose -5*n - 5*g + 0 = 25, -y*g = 4*n + 20. Is k(n) a composite number?
True
Suppose 463*i = 472*i. Suppose 8*n - 16824 - 80752 = i. Is n composite?
False
Is 1299858/(-63)*1*(-6)/4 a prime number?
True
Let y(l) = 6*l**2 + 19*l + 35. Let a(u) = 7*u**2 + 18*u + 36. Let v(d) = -5*a(d) + 6*y(d). Let i be v(-12). Let x = i + 1271. Is x composite?
True
Suppose 16098 - 29455 = -5*x + 25458. Is x a composite number?
True
Let d be 3/((-2)/((-748)/3)). Let g = d + 299. Is g a composite number?
False
Let v = 643544 + -359503. Is v prime?
True
Let b = 18704 - -19227. Is b prime?
False
Suppose -27*f + 13620 = -17970. Suppose -13*j + 7345 = -f. Is j a composite number?
True
Let d = -611535 + 1441850. Is d a prime number?
False
Is (-45788834)/(-245) + 3/(-15) composite?
True
Suppose 0*j + 2*j + 2 = 2*r, 0 = -4*j - 2*r + 20. Suppose -2147 = -2*p - 3*t + 1658, j*p + 4*t = 5707. Is p a composite number?
False
Let r(u) = -7*u - 13. Let o be r(-3). Is -3 + 135/40 - (-45301)/o prime?
False
Suppose 3*t - 56404 = -4*h - 0*t, -4*h - 4*t = -56400. Suppose -6*c - 4*q = -c - 23495, 3*c - h = -q. Is c a composite number?
False
Let b(u) = 15*u**2 + 51*u + 707. Is b(-27) a prime number?
False
Let x = 507 + -398. Suppose -1990 = -j + x. Is j a prime number?
True
Suppose -9 = s - 44. Let b = s - 29. Suppose 0 = -4*d - 2*i + 