5) a prime number?
True
Suppose 107*w + 1619 = 106*w. Let c = w + 4072. Is c composite?
True
Suppose -2*b - 1219 = 8159. Let p = b - 2665. Is p/(-8) + 34/(-8) + 4 a prime number?
True
Let x = -1172 - -2771. Let w(u) = 529*u**2 - 2*u + 1. Let g be w(1). Suppose -3*q + g = -x. Is q a composite number?
False
Let v be (212420/55 - -1) + 4/(-22). Suppose 0 = 4*i - i - 2*k - v, -3*k - 3867 = -3*i. Is i prime?
False
Let p = 109 + -1. Suppose -p*d + 113*d = 4425. Let b = d - -846. Is b a composite number?
True
Suppose 0 = -7*k + 105 - 70. Suppose 0*t + 2*t - 5*g - 2659 = 0, k*g = -5*t + 6595. Is t composite?
True
Let q(b) = -69258*b + 2489. Is q(-7) a prime number?
False
Let c be 1641 + 72/9 + 0. Suppose 444 = 7*g - c. Is g a prime number?
False
Suppose 355 = 3*y + 4*w, -9 = -4*w + 7. Let q = -121 + y. Let f = q + 30. Is f a composite number?
True
Let o(s) = -660*s + 165. Let a be o(-14). Suppose -3*z = -2*j - 12789 - 15448, -z + a = 3*j. Is z composite?
True
Let u be 4 + 33*6/(-9). Let b(q) = -4 + 0*q**2 + 8*q**2 + 4*q - 6 + 3. Is b(u) composite?
True
Let m = -38 - -34. Let p be 1*3 - (m + (0 - -3)). Suppose 6461 = 5*t + 3*d, 4*t = d + p*d + 5154. Is t composite?
False
Let a(x) = -5894*x + 56. Let t(q) = -1965*q + 19. Let m(u) = 3*a(u) - 10*t(u). Let n be m(2). Is -1 - (-12)/20 - n/(-10) composite?
True
Let x = -120895 - -247772. Is x composite?
True
Let t = 123 - 118. Suppose -15 = -t*o + 5. Suppose -5*g - o*u = -1687, -2*g - 243 = -u - 910. Is g a composite number?
True
Let i = 324516 - 207757. Is i a prime number?
False
Let i(o) = o. Let g(q) = -4 - 6 - 9 + 9 - 75*q. Let y(t) = g(t) + 6*i(t). Is y(-5) a composite number?
True
Suppose -c - 8*c = -153. Let f(d) = -7 - 8*d + 7*d**3 + 8*d**3 - d - c*d**3. Is f(-6) a prime number?
True
Is (((-16880)/3)/16)/((-2)/6) composite?
True
Suppose 43*l = -708 + 622. Let g = -987 + 5999. Is (-1)/5 + g/10 + l composite?
False
Is 37 + 2637 + -18 + 1 composite?
False
Is 1*(0/(-5) + 398441) prime?
True
Suppose 21 = b + 17. Let f(c) = 155*c**2 + 12*c + 3. Is f(b) a composite number?
False
Suppose -264033 = -93*c + 66*c. Suppose -3668 - 1239 = -u + 2*g, -2*u - 3*g = -c. Is u composite?
True
Suppose -11 = -3*x + h + 12, 0 = -4*x - 3*h + 48. Suppose 441 = i + 5*q, 3*i = -x*q + 8*q + 1337. Is i composite?
True
Suppose -136*n + 127*n = -680769. Is n a prime number?
True
Let o be (9/(-3) + 3/(-3))*-1471. Suppose -o = 282*j - 286*j. Is j a prime number?
True
Suppose -4*a - 3*y = 18, -4*a - 6 = -2*y + 2. Let o be a/3 - (-5016 - -1). Let w = o - 1949. Is w composite?
True
Let y(r) = -12*r - 4. Let j be y(0). Is j*(-4 - (-2613)/(-12)) a prime number?
True
Let r(v) be the second derivative of -1519*v**5/20 + v**4/6 + v**3 + v**2/2 - 167*v + 2. Is r(-2) composite?
False
Let b(a) = a**3 - 8*a**2 + 6*a + 11. Let h be b(7). Suppose 0 = k + h*k - 13280. Let r = k - 1373. Is r prime?
True
Let i = -40 - -43. Suppose -4*x + 256 = i*l, 0*l = l. Is -4*1 - (-5 - x) a composite number?
True
Is (-1265092)/(-2)*(-9)/24*208/(-156) a prime number?
False
Let u(n) = -2*n**3 + 10*n**2 + n - 4. Let f be u(-8). Let a = f - 408. Let v = a - 195. Is v prime?
True
Let x(u) = u**2 + 112*u - 268. Is x(63) a composite number?
True
Let n be ((-7)/(105/(-22167)))/((-2)/(-10)). Suppose 0 = -8*c + 5*c + 4*h + n, -4*c + 9848 = -4*h. Is c prime?
True
Is 2402392/12*42/28 prime?
True
Is (-32444804)/(-92) - 52/(-598) composite?
False
Let n = -68845 + 122372. Is n a composite number?
False
Suppose -7*h + 16809 = -2156404. Is h prime?
True
Let w be (5 + -4)*(26 - 1). Suppose 2 = 2*n - 5*a + 3*a, 0 = -n - 5*a + w. Suppose -2*x + n*x - 3*y - 4086 = 0, x - 1366 = -3*y. Is x composite?
True
Let b(k) = 14*k**3 - 148*k**2 + 67*k - 156. Is b(29) prime?
False
Suppose 34*s = 26*s - 1544. Is ((-854)/(-61))/((-2)/s) a composite number?
True
Let l(r) = -r**3 - 17*r**2 - 37*r - 34. Let t be l(-14). Is (5131/(-14))/(4/t) prime?
False
Let j(w) = -571*w**3 + 2*w**2 + w - 2. Let y be j(-4). Let v be ((-12)/(-18))/(4/y). Suppose 4*m - v = -m. Is m a prime number?
False
Let j = 6478 - -204343. Is j a composite number?
True
Let q be (-22)/(-33) + (-106)/(-12)*4. Let p = 42 - q. Let s = 151 - p. Is s prime?
False
Let k = 448820 - -530831. Is k a composite number?
False
Let m(i) be the first derivative of 5*i**2/2 - 26*i + 7. Let y be m(6). Is 1982/5 - 2 - y/10 a composite number?
True
Let g = 13 + -7. Suppose 5*d - g - 9 = 0. Is (4/d - 2)/(40/(-3540)) a composite number?
False
Let d(c) = -c**3 - 3*c**2 - 4. Let o be d(0). Let x be (-4*o/24)/(1/3). Is x*2/(-6)*(-1506)/4 a prime number?
True
Let w be -11 - (-1 + 0/3 + -3). Is (-85 - 4609)/(2/w) prime?
False
Suppose 24 = -10*z + 11*z. Let s = z + -20. Suppose 5*m - 2*m = -3*q + 3399, -s = 2*m. Is q composite?
True
Let v = -654008 - -1159189. Is v prime?
True
Suppose 22*b - 18*b - 100 = 0. Suppose 5*w = -b, 0 = 5*k + 2*w - 61362 - 16473. Is k prime?
True
Suppose -3*a - 2*y + 0*y + 1574357 = 0, -4*y - 2099176 = -4*a. Is a composite?
False
Suppose 338 = q + 3*x, 5*x - 22 + 2 = 0. Is q composite?
True
Let i(l) = -156*l**3 - 6*l**2 - 11*l - 10. Let c = 153 + -156. Is i(c) prime?
False
Let d be (0 + 0)*(10 - 11). Suppose 3*b - 6*a + 2*a - 4682 = d, 4*b = 5*a + 6242. Let u = b - 299. Is u prime?
True
Let z = 979 + 174. Let f = 865 + z. Is f a prime number?
False
Let o be (((-21)/6)/(-7))/((-1)/(-132)). Let a = o + -58. Suppose -11*m = -a*m - 1317. Is m prime?
True
Let g(v) = -395*v - 3654. Is g(-13) composite?
False
Let q = -545 + 566. Is 40/(-420) + 88769/q a composite number?
True
Let q(n) = 26*n**2 - 6*n + 7. Let d be 1/((-42)/(-112)*(-1)/(-3)). Is q(d) a composite number?
True
Suppose 10*g + 85695 - 245395 = 0. Suppose 5*r + 2*o = 15979, -5*r - 2*o - 3*o = -g. Is r a composite number?
True
Let t(c) = c**3 - 4*c**2 + 15*c - 13. Let z(d) = 4*d**3 + 1. Let w be z(2). Let o = -26 + w. Is t(o) a prime number?
True
Let n be (25/15)/(30/36). Suppose -4 + n = -h, g = 4*h + 935. Is g composite?
True
Is -5 + 0/2 + 7 + 118313 composite?
True
Let u = -1058 + 4878. Is -4 + u + 10 + -5 prime?
True
Let r = 462 - 462. Suppose -3*f + 2*o + 10913 = r, -2*o = -4*f - 7351 + 21899. Is f a prime number?
False
Let h be (-8)/(-2) + -2 + 3823 + -7. Is h*(91/14 + -6) composite?
True
Suppose 43 = -5*d - 3*f, 2*d + 4*f + 15 = -5. Let g be (1 - 3) + 2 - d. Let b(a) = 3*a**3 - 16*a**2 - 8*a + 3. Is b(g) prime?
False
Suppose 0 = 387*d - 133522557 + 20625756. Is d a composite number?
True
Let u(s) = -290*s**3 + s - 1. Let o be u(2). Let a(j) = j**3 - j**2 - 20*j - 776. Let f be a(0). Let r = f - o. Is r prime?
True
Suppose 25*m - 24*m = -1, 2*p - 85626 = -4*m. Is p a composite number?
True
Let m(z) = -286*z + 291. Let u be m(-28). Suppose 3*v - u = -562. Is v a prime number?
True
Suppose 2*p + 14440 + 16383 = s, 4*s - 5*p - 123280 = 0. Is s composite?
True
Is (-69429)/6*(228/19)/(-6) a composite number?
False
Suppose -1035824 = -94*v + 2505908. Is v a prime number?
False
Let v = -91801 - -168860. Is v a prime number?
False
Suppose 4*d = 852 - 212. Is ((48722/(-3))/1)/(d/(-240)) composite?
True
Let k be (-9)/(-9)*(-4 - -8 - 3). Is (1 - -3100)/k + (-12)/3 prime?
False
Is (-3231524)/6*51/(-34) a composite number?
True
Let y(v) = 304*v**2 - 3. Let h(j) = -5*j + 57. Let n be h(11). Is y(n) a composite number?
False
Let n be (755/906)/((-7)/(-6) + -1). Suppose 4*p - n*w - 6917 = 0, -2*p + 2101 = 5*w - 1380. Is p composite?
False
Let g(h) = 562*h + 6. Let d(r) = r**2 + 10*r + 5. Let t be d(-10). Let q be g(t). Let x = -1055 + q. Is x composite?
True
Suppose 5939 = 5*w - 901. Suppose -4*r + 1106 = a, -3*a - w = -5*r - 4635. Is a prime?
False
Let f = 29 - 22. Suppose 0 = -f*r - 14. Is 4 + 144 + r/(-2) a prime number?
True
Let m be 7 - 190/(-20)*-2. Let w(t) = -842*t + 139. Is w(m) a prime number?
True
Suppose -21*w + 8*w = -2314. Suppose 184*g - w*g = 146634. Is g a prime number?
True
Let h be 75123/(-63) + (-6)/(-14). Let b = -395 - h. Let x = b - 478. Is x a prime number?
False
Let c(l) = -11 + 1 - 5*l**2 + 10*l**2. Suppose -74*y - 182 = 188. Is c(y) a prime number?
False
Let r(f) = 21005*f**3 + 4*f**2 - 9*f + 5. Is r(1) a prime number?
False
Suppose i - 4*i = 3, 3*g - i = 5470. Is g a composite number?
False
Let o(z) be the second derivative of 3*z**5/10 - 21*z**3/2 + 11*z*