Is v composite?
True
Suppose 2*w + 5*s = 31, 0*w - 2*w + s = -1. Suppose 0 = o + w*o + r - 36, -9 = -o - r. Is (-264)/16*(-114)/o a prime number?
False
Let w(o) = o**2 + 2*o - 1. Let m(v) = -98*v**2 + 27*v + 25. Let z(t) = -m(t) + 6*w(t). Is z(12) a composite number?
True
Suppose 78 = -5*d - 477. Let i = d + 111. Suppose -c - 15 = -g + 4*c, -4*g - c + 60 = i. Is g prime?
False
Let t = 277 + -272. Suppose -l - 86363 = -3*c - t*l, 4*l + 115160 = 4*c. Is c composite?
False
Suppose -x = -4*u + 182718, 52*u - 4*x = 48*u + 182700. Is u composite?
True
Let y(w) = 463*w + 63. Let f(r) = -466*r - 62. Let g(z) = 3*f(z) + 4*y(z). Is g(2) a prime number?
False
Let b be (-190)/(-15) - (-1)/3. Let d = b + -17. Is (-2)/(3 + d) - -87 a prime number?
True
Suppose -29776193 = -52*j + 3626475. Is j composite?
False
Suppose 142*r - 179*r = -1486725 - 5892148. Is r composite?
False
Let c(t) = t**3 + 2*t**2 - 3*t - 2. Let b be c(-2). Suppose -6*i + 5*i - 3*l = 1188, 0 = -i + b*l - 1174. Is 27/(-54) + i/(-4) a composite number?
True
Suppose -21*m + 48 = 6. Suppose 3*r + m*s - 9235 = 0, -r + 47*s + 3084 = 42*s. Is r a composite number?
False
Suppose 3*l - 3*s = 15, 26 = 3*l + 2*s - 4. Let g be (-5)/(-4) + -1 - (-142)/l. Suppose -a = 5 - g. Is a prime?
True
Let o = -241391 + 477752. Is o a prime number?
False
Suppose -2*u - 146185 = 5*g, 2*g + 29245 = g - 2*u. Let y = 44381 + g. Is y a composite number?
True
Let f(w) = -125*w**3 - 25*w**2 + 185*w + 4. Is f(-15) a composite number?
True
Is 480277/(-7)*-3 - 16 composite?
False
Let l = 737822 - 438051. Is l composite?
False
Let w(c) = 110*c**2 - 18*c - 3. Let j be w(9). Let d = j + 788. Is d prime?
True
Suppose 0 = -2*l - 36 - 18. Let f = l + 68. Suppose -f = -3*g - 4*y, 0 = -5*y + y - 16. Is g a composite number?
False
Let w = -55 + 43. Let y be (-5)/(10/w) + (-6)/6. Suppose -z = -p + 946 + 3222, 4*z - 20795 = -y*p. Is p a prime number?
False
Suppose -388480 - 1085223 = -7*s. Is s a composite number?
True
Is 9/(108/(-16)) + (-11286550)/(-66) prime?
True
Let s(d) = -d**3 + 5*d**2 + 12*d - 46. Let g be s(5). Suppose g*b + 17700 - 49214 = 0. Is b a composite number?
False
Suppose m + 17*m - 2708 = 385354. Is m composite?
False
Let h(b) = -b**3 - 4*b - 17. Let f be h(0). Let c(w) = -664*w - 79. Is c(f) a prime number?
False
Suppose 4*p = 4*h - 256, 2*h = -h + 5*p + 192. Suppose -o - 5*j + h = o, -106 = -5*o + j. Suppose 19*y - o*y + 381 = 0. Is y a prime number?
True
Let i = -59 - -62. Suppose -2*r - 11 = -2*h + i*r, -4*h = r - 11. Suppose 4*a - 4*t = 9344, h*a + 2*t - 2333 = 2*a. Is a prime?
False
Suppose 5*u - 8245 = 2*p, 5*u + 2*p = -0*u + 8225. Let t be (-12)/(-14) + 1591/259. Suppose -z + t*k = 2*k - u, -z + k + 1643 = 0. Is z prime?
False
Let g be (56/35)/((-8)/(-20)). Suppose -g*r - 51571 = -17*r. Is r composite?
False
Let z = 666 + 78. Suppose -s + 6317 + z = 0. Is s prime?
False
Let g(d) = -36*d**3 - 2*d**2 + 4*d. Let m = -24 - -29. Let l be g(m). Let o = l + 6517. Is o a prime number?
True
Suppose -643*t + 668*t - 3407575 = 0. Is t prime?
True
Suppose -4*q = -3*g - 533405, -10*q + 1333475 = 24*g - 19*g. Is q a prime number?
True
Let n(i) = 197*i**3 - 24*i**2 + 161*i - 65. Is n(6) a composite number?
False
Let f(x) be the third derivative of -x**4/24 + x**3/6 + 33*x**2. Let a(l) = -132*l - 23. Let c(k) = -a(k) + 5*f(k). Is c(7) composite?
True
Suppose 0 = 43*k - 25*k + 473580. Is k/(-4)*(-174)/(-261) composite?
True
Suppose -3128019 - 1816717 = 87*u - 119*u. Is u composite?
False
Let n(g) be the first derivative of -1670*g**2 + g - 81. Is n(-1) composite?
True
Let o(x) = -9*x**2 - 4*x - 3. Let r be o(-4). Let q = r + 233. Suppose q = a - 55. Is a a composite number?
False
Suppose 2*m = -3*z + 362, m + z - 143 = 40. Suppose -154 = -t + m. Is t a composite number?
True
Let l be (-357852)/(-240) + 2/(-40). Let y = l + -374. Is y composite?
False
Let v = 358 + -361. Is v*7/(-21) + (-2832)/(-1) a prime number?
True
Suppose 0 = 100*x - 85*x - 158115. Is x a composite number?
True
Suppose p - 7*h = -5*h + 2050, 4*p - 4*h - 8192 = 0. Suppose -p = -13*g + 11*g. Suppose 0 = -4*n + 6365 + g. Is n a prime number?
True
Let m = -62 + 63. Let x be (-1 + 6)/m - 0/(-5). Suppose q - 173 = -x*n + 113, 2*n + 807 = 3*q. Is q a composite number?
False
Suppose -50*s - 48 = -62*s. Suppose -4*a + 1065 = 2*g - 1005, 4120 = s*g - 2*a. Is g a composite number?
False
Is 2/(3/((-2361579)/(-22))) a composite number?
False
Let m = -16342 - -23998. Let b = 6173 + m. Is b prime?
True
Suppose l - 6 = -g, 3*l - g - 9 = 9. Suppose 2*k + 26 = -3*v, -2*v = -4*k - l*v - 52. Let r(u) = -u**3 - 11*u**2 - 6*u + 3. Is r(k) composite?
False
Let a(d) = 1203*d**2 + 14*d - 51. Is a(8) a prime number?
False
Suppose 4*d - 1 = 11. Suppose -3*k = n - 1549, -8*k = 3*n - d*k - 4635. Suppose -4*b + 4*v + n = 0, -5*b + 1290 = v - 611. Is b composite?
True
Let l be ((-8946)/(-140) + (-3)/2)/((-20)/(-450)). Suppose -2*d = x - 7*d - 3621, -14548 = -4*x + 4*d. Let g = x - l. Is g a prime number?
True
Is (-1816667)/(-6) - ((-10)/(-9))/((-1544)/(-1158)) a prime number?
False
Suppose -10*w + 32270 = -12*w. Let m = w - -28735. Suppose -6*z + 570 = -m. Is z a composite number?
True
Let i be ((-120)/50)/(62/15 - 4). Let z be ((-1)/(-1))/((-1)/11). Let v = z - i. Is v a composite number?
False
Let v be (0 + 34/(-4))*2. Let r be (-9)/(-4 - -1) - v. Let u = r - -13. Is u a composite number?
True
Suppose -5*y - 6*y + 220 = 0. Suppose 0 = 7*c - y - 1. Suppose 293 = -c*w + x + 1210, -3*x = 3*w - 933. Is w composite?
False
Let r(t) = 3250*t**2 - 69*t + 328. Is r(5) prime?
True
Let s(j) be the first derivative of -j**4/4 - j**3/3 + 5*j**2/2 - j - 19. Let t be s(-3). Suppose 146 = t*z - 648. Is z a composite number?
False
Let w be 4/20 - (-260711)/(-5). Let c = 34 + -52. Is w/c - 48/(-216) composite?
False
Suppose 83*d + 833409 = 3*w + 80*d, -2*w - 5*d = -555578. Is w a composite number?
True
Let j(w) = 3456*w**3 - 9*w**2 + 62*w + 12. Is j(5) a composite number?
False
Let n(l) = -19*l - 24*l + 5*l**2 + 4*l**3 + 47*l - 13*l + 5. Is n(6) composite?
True
Let r(a) = 23*a**2 + 2*a + 4. Let v be r(-5). Suppose -17 = 4*u - v. Suppose -2*x + u = -88. Is x a prime number?
True
Let l be 25/(-10)*(-1 - 21). Let m(z) = z**2 + 12*z + 4. Let g be m(-14). Let y = g + l. Is y composite?
True
Let a(u) be the second derivative of -294*u**3 + 401*u**2/2 + 249*u. Is a(-10) composite?
False
Suppose 0 = b - 27 + 22. Suppose -2933 = -12*q + b*q. Is q prime?
True
Is ((-474)/(-4))/((-836577)/(-55762) - 15) a composite number?
True
Let d be -1304 - 23 - (-2 + 0). Is (1 + d)*(-21)/12 a prime number?
False
Let a = 56086 + -3317. Is a a composite number?
False
Is 804514340/5985 - (-3)/(27/2) composite?
True
Let d(s) = 354*s**3 - 8*s**2 + 9*s + 82. Is d(9) prime?
False
Suppose 2*k - 1908838 = -p, -3*k - 3*p + 3026103 - 162852 = 0. Is k prime?
False
Let j = 2357 - -482. Let l = 2868 + -4820. Let q = l + j. Is q composite?
False
Let u(k) = -2*k**3 - 5*k**2 - 19*k - 21. Let w(i) = i**3 + 3*i**2 + 9*i + 10. Let c(n) = 2*u(n) + 5*w(n). Let z be c(-4). Is -4*z/16 + 418 composite?
False
Suppose 4*f = f. Suppose -2*m = -3*s + 35, -41 = -4*s - 3*m - f*m. Suppose -s*o = -6*o - 705. Is o a prime number?
False
Let y = 100340 - -179231. Is y a composite number?
False
Let p be (-3)/(-12)*4 + 2 - -2. Suppose 2*h - p*z = 5, -2*z - 1 = h + 1. Suppose 11 = -4*x + 3, h = -3*m - 3*x + 1347. Is m a prime number?
False
Let v = 129037 - 35378. Is v a prime number?
False
Let p be (3*1720)/6 + (1 - 2). Is 2/(-2 - -4)*p prime?
True
Is (-6 + 2 + ((-34524)/(-27))/(-4))*-1227 prime?
False
Suppose -15 = -7*t - 57. Is (-4108)/(-12) + t - (-2)/3 a composite number?
False
Suppose -7734 = -14*p - 2050. Suppose 3*k = -2*k - 5*n + 1015, 0 = -2*k + n + p. Is k prime?
False
Let d(t) be the third derivative of t**4/8 + t**3/6 - 38*t**2. Let b be d(-5). Is 23/((-2)/b + (-744)/5502) a composite number?
True
Suppose 44 - 42 = -a. Is -5 - (-490 + a + 2) a prime number?
False
Let t(k) = -417*k - 2. Let h(f) = -f. Let m(y) = -h(y) + t(y). Let x be m(-3). Suppose 5*n - x = 3*n. Is n composite?
True
Let b be (-68 - 1)*(-224920)/60. Is (2*1)/(92/b) a composite number?
False
Let z(j) = 32115*j + 1703. Is z(24) prime?
False
Let l(j) = -3*j + 36. Let h be l(11). 