82)/t prime?
True
Let y(a) = 7*a**3 - a**2 + a - 487. Suppose -6*j + 27 = -9. Let x(h) = h**3. Let s(u) = j*x(u) - y(u). Is s(0) a prime number?
True
Suppose 2*i - 6 - 2 = 0. Suppose -i*q = 4*h - 888, -6*h + 4*h = 2. Is q prime?
True
Let h(j) = -2*j**3 - j**2 - 4*j + 1. Let f be h(-5). Let d be (3 - 2) + (-1 - f). Let i = -133 - d. Is i a prime number?
True
Let n = 7087 - 4111. Let x = n - 1027. Is x prime?
True
Let a(l) = 194*l**3 + 3*l + 2. Let u be a(-1). Let s = 404 + u. Is s prime?
False
Is 2*5/30*25062 prime?
False
Let u = -1 - -1. Suppose -20 = -4*c - u*c. Is c*3/(3/5) prime?
False
Let l = 76 - -343. Is l prime?
True
Let x be (-3 - 1)*(-5 - -4). Suppose 368 = x*s + 108. Is s prime?
False
Is (352513/(-42))/(1*(-1)/6) composite?
False
Suppose -2 = -3*r + 1. Let z = 1 - r. Suppose z = -0*a + 4*a - 236. Is a prime?
True
Is (-7175)/(-2) - (-24)/(-48) a composite number?
True
Let g be 30/8 + 45/(-60). Suppose -b + 880 + 781 = g*z, 4*b = z - 545. Is z composite?
True
Let n be 0 + (-5)/(10/(-294)). Let v = n - -16. Is v prime?
True
Let p be ((-2)/4)/(3/6). Let i(l) = -564*l - 2. Let u be i(p). Let z = u - 275. Is z a composite number?
True
Is 1/((-6)/(-30) - (-54714)/(-273595)) a composite number?
True
Let u be 75/20 + 2/8 + 3009. Suppose -u = -10*n - 503. Is n prime?
True
Suppose 0 = -2*h + 10, -1411 = -5*d + h + 1134. Suppose -b + a = -d, -2551 = -5*b + 5*a - a. Is b a prime number?
False
Let a(s) = -s**2 - 4*s - 3. Let g be a(18). Let t = 716 + g. Is t prime?
True
Let r(b) = -b - 5. Suppose -4*l = -3*w - 6, 4*w - l = 2*l - 15. Let h be r(w). Suppose 2*i - 1 - h = 0, 2*a + 2*i - 508 = 0. Is a prime?
False
Is (-4392)/(-1) + -1 - (-8)/(-2) composite?
True
Suppose 2*t - 16*d + 13*d - 109661 = 0, -d = 4*t - 219315. Is t a prime number?
True
Suppose 355872 - 1028396 = -76*s. Is s prime?
True
Suppose 33*w = 42*w - 422001. Is w a composite number?
False
Let q = -713 - -1198. Suppose q = 2*d - 153. Is d prime?
False
Let y = -790 - -1932. Suppose -2*t = 4*s - y, 2*s + t - 551 = -4*t. Suppose b + 13 = -4*v + 64, 4*b = 5*v + s. Is b a prime number?
True
Let m = -77 + 133. Let f be (327/4)/(21/m). Suppose -w + 4 = -0*w, -3*n = -w - f. Is n a prime number?
False
Let k = 54 - -1371. Let l = k - -728. Is l prime?
True
Let t = 533 - -2368. Is t a composite number?
True
Let b(r) = 2*r**3 + 8*r**2 - r - 2. Let n(u) = -2*u**3 - 7*u**2 + u + 3. Let p(t) = -3*b(t) - 4*n(t). Is p(5) composite?
True
Let f(q) = -3*q - 3. Let s be f(-2). Suppose s*t + 4*j = -249 - 110, -115 = t - j. Is 2/(-2)*-2 - t a prime number?
False
Is 28967/15 - (-18)/(-135) a composite number?
False
Suppose 2149 = -3*n + 4*n. Suppose 3*f - v - 1620 = 0, 5*v = 2*f + 2*f - n. Is f a composite number?
False
Let n(l) = -l**3 - 8*l**2 - 8*l - 5. Let t be n(-7). Suppose 19 = 4*b + 3. Suppose -b = -3*g - 5*m + 75, -t*g + 58 = 2*m. Is g a prime number?
False
Suppose 4*t - 41 = 7. Is 447/12 - 3/t prime?
True
Suppose 7*s - 438 = 5*s. Suppose -4*k + 149 = -s. Suppose 2*r - 14 - k = 0. Is r composite?
False
Let u be (-15*4)/(-3)*10. Suppose d + 4*d + u = -5*j, -4*d - 25 = j. Is (-2)/5 + (-1683)/j a prime number?
True
Let t(u) = u + 13. Let o be t(-10). Suppose 0 = -q - 4*w + 75, 0 = -o*w + 7*w + 12. Is q prime?
False
Let k(f) = -96*f + 34. Let c be k(-23). Suppose 5279 = 5*u + 2*h, -h - c = -5*u + 3031. Is u a prime number?
False
Suppose l + y = -9, -4*l + y + 6 = 57. Let u(b) = -b**2 - 4*b + 12. Let g be u(-4). Is 1 + 14 + l/g a composite number?
True
Let q = -58803 - -121862. Is q a prime number?
True
Let x(a) = 2*a**3 - 2*a**2 - 1. Let p be (1 - -7)/(-2)*-1. Suppose p*h + 5*g = -12 + 3, -3*g - 7 = 2*h. Is x(h) prime?
False
Suppose 0*c + 4*d + 14 = 2*c, 4*c - d = 7. Is (-22875)/(-24) + c/(-8) a composite number?
False
Let k = 901 + -473. Let l = k + -279. Is l a prime number?
True
Let l be 4/22 + 504/132. Suppose 2*a - 4*a = l*w - 10, 5*w - a = 2. Let g(f) = 218*f**2 - 1. Is g(w) prime?
False
Is (264236/6)/((-2)/(-21)*7) a composite number?
True
Suppose 2*r - 145 = r. Let x = 59 + r. Is -3 + (-1)/((-1)/x) composite?
True
Let o(g) = g**3 - 15*g**2 - 98*g + 249. Is o(40) composite?
True
Let d = -319 + 638. Is d a prime number?
False
Let l be (10635/(-30))/(2/4). Let a = -242 - l. Is a a composite number?
False
Let c be 8 - (0 - -2)/2. Suppose 5*d - 5*p = 705, 0*p = 2*d + 5*p - 289. Let k = d + c. Is k composite?
False
Suppose -12 = -2*t + t - 5*b, -t - 3*b = -8. Suppose -t*x = -1 - 3. Suppose 0 = d + x*d + q - 977, -4*d + q = -1305. Is d a composite number?
True
Let x be (-45)/10 + 6/4. Let v be (4 - 1)/(4 + x). Suppose v*k + 60 = 7*k. Is k a prime number?
False
Suppose -3*w - 3*l + 47040 = 0, 3*l + 2*l = -w + 15668. Is w a composite number?
False
Let o be (-116)/(-3) + -1*8/12. Let d = 221 - o. Is d a composite number?
True
Let p be 29*(-3 + 2) - 3. Let g = p - -48. Let t(y) = 3*y + 11. Is t(g) a composite number?
False
Suppose -1476 = -7*o + 4*o. Let p = o + -227. Is p prime?
False
Let q(g) = g**2 - 16*g + 19. Let d be (-12)/4*(3 - 8). Let k be q(d). Let v(o) = 38*o**2 - 6*o + 7. Is v(k) prime?
False
Suppose -2*u + 2842 - 680 = -m, -4*u - 2*m = -4316. Let j = -563 + u. Is j composite?
True
Let n = 42 - 39. Suppose 738 = 9*g - n*g. Is g a prime number?
False
Suppose -7*d + 175145 = 5*i - 8*d, 0 = 3*i - d - 105087. Is i prime?
False
Let g = -153 - -906. Is g prime?
False
Let z be (-6 + (-57)/(-9))/(2/42). Suppose -2 = 5*q - z, 1244 = 3*u - q. Is u a composite number?
True
Suppose 3*y - 874 = 1979. Is y prime?
False
Is 9722/(-4)*(-3 - -8 - 7) a composite number?
False
Suppose 3*g + 3640 = -2903. Let f = 11302 + g. Is f a prime number?
False
Let j = 19 + -32. Let i(w) = -39*w + 7. Is i(j) a prime number?
False
Let w(z) = 386*z**2 + 15*z + 5. Is w(-4) prime?
True
Suppose -19*s = -18*s - 101. Let m = s - 66. Is m composite?
True
Let y(t) = t. Let m be y(3). Suppose 0*f - 10 = -4*p - 2*f, -3 = -3*f. Suppose -349 = -v + m*h, 3*v - p*h - 1019 = -0*v. Is v a composite number?
False
Suppose 0*u = 4*w - 3*u - 32, 4*w - 8 = -3*u. Suppose -n = n + w*l - 658, 3*l = 0. Is n a prime number?
False
Let r(c) = 73*c**3 + 8*c**2 - 3*c. Let y be r(4). Is 1/5 + y/10 a prime number?
True
Suppose 0 = 13*h - 19*h + 12. Suppose -3*c + 1260 + 2581 = 4*p, 2*c - h*p - 2570 = 0. Is c composite?
False
Let p be 1 + 4 + (-6)/3. Suppose -4*t + 890 + 2158 = 5*k, 4*k = p*t - 2255. Is t a prime number?
True
Let n be (-735)/(-10)*(-2)/(-3). Let i = 217 + -117. Let p = n + i. Is p a prime number?
True
Suppose -3525 = -7*d - 571. Suppose -12*y = -14*y + d. Is y a composite number?
False
Suppose 0 = 2*k + 4, 12 = -0*n + 5*n + 4*k. Is (843/n - (-2)/8)*1 a composite number?
False
Let j be 2/8 - (-385)/(-20). Let v = j + 24. Is (-2)/10 - (-5276)/v a prime number?
False
Suppose 3*c - 14 = -4*c. Suppose -g - c*g = -513. Suppose j - 4*j = -4*v + 169, 4*v - j - g = 0. Is v prime?
True
Let a = 36011 - 25090. Is a composite?
True
Let n = -44532 + 71730. Suppose n = 12*g - 60918. Is g composite?
True
Let x be (-83 - 0)/(-1)*46. Let a = -1929 + x. Is a a prime number?
True
Let n be 2 + 39/15 - 6/10. Suppose n*f - 381 = f. Is f prime?
True
Suppose 2*g - l = 993, 2*l = -2*g - 0*l + 984. Let o = g + -118. Is o prime?
False
Suppose a = 3 - 1. Suppose a*x = 3*g - 475, -g = -0*g - 3*x - 163. Is g a prime number?
True
Let j(p) = 32*p**2 - 18*p - 41. Is j(-14) prime?
False
Suppose 4*x - 1183 - 1331 = -2*l, -l + 1261 = 3*x. Is l composite?
False
Let c(h) be the first derivative of 2*h**3/3 - 3*h**2 - h - 2. Let k be 2*(44/8)/(-1). Is c(k) a prime number?
True
Let x(m) = 2*m**3 - 2*m**2 - 4*m + 3. Let f be x(8). Suppose -3*d - f = -3*c, -c + 3*d + 2*d = -273. Is c composite?
False
Let k = -72 - -78. Suppose -n + 3367 = k*n. Is n a prime number?
False
Let j be 2 + (0 - (-3 - -2)). Suppose 0 = 5*l - 0*l + 5. Is j*(l - (-388)/6) a prime number?
True
Let p = 36 - 26. Suppose -p = -5*i + 5*f, 0*i + i + 4*f - 12 = 0. Suppose 0 = -i*a + 403 + 441. Is a prime?
True
Let p be 68/2*(0 + -20). Let t = p - -1128. Suppose -y + t = 153. Is y prime?
False
Let m = -79 + 33. Let p be (m/6)/(4/(-228)). Suppose -x - h = -0*h - 206, -3*h = -2*x + p. Is x composite?
False
Let p(i) = -i + 18. Let w be p(10). Suppose 4 = -4*r, w*a - 5*a - 173 = -r. Suppose -119 = -3*g + a. Is g compos