. Is z(10) prime?
True
Suppose -3*v + 4*d = 97, -d + 3 = 2*d. Let z = -29 - v. Suppose -586 = -z*i + 4*m, -623 = -4*i - 2*m + 549. Is i composite?
False
Let m(w) = -w**2 + 5*w + 14. Let a be m(7). Suppose a = -2*u + 5*u - 5118. Is u a prime number?
False
Let f be (-15 - (-4 - 0)) + -2. Let z = f - -15. Is ((-4710)/(-4))/5*z a composite number?
True
Let k be 3 + 0 + -6 + 4 + 2. Let n(q) = 283*q**2 - 26. Is n(k) composite?
False
Let d(f) = 954*f**3 + 5*f**2 - 7*f + 4. Suppose 5*u - i = 9 - 2, 2*u + 2*i = 10. Is d(u) composite?
True
Let o(p) = p**2 + 12*p + 31. Let b be o(-8). Let i be (-1 - b/2) + 34356/24. Let v = i - 542. Is v prime?
False
Let w = -80027 - -200712. Is w composite?
True
Suppose -9*x = -18*x + 8532. Suppose 947*q - x*q = -3661. Is q prime?
False
Suppose x = j - 3, -2*x + 3*j = -3*x + 9. Let z = 4039 + -2309. Suppose x = 9*f - 547 - z. Is f a composite number?
True
Suppose -78942 = -17*i + 165110. Suppose -z + i = 4*c, 14356 = -5*c + 9*c - 4*z. Is c a composite number?
True
Let v be 5*-6*7/(-42). Is 1055*(-5 + 1 + v) a composite number?
True
Suppose 0 = -7*v + 13*v - 3708. Is 7*v - (-11)/((-88)/(-40)) a prime number?
False
Let h(r) = -3*r - 6. Let m be h(-3). Suppose -3*d + 2*q = 31, -26 = 4*d + m*q + 4. Let n = d + 40. Is n composite?
False
Let b(z) be the first derivative of -z**4/4 - 31*z**3/3 - 20*z**2 + 21*z - 43. Is b(-31) a composite number?
True
Suppose -3*x = -r - 34, -20 + 79 = 5*x - 4*r. Suppose x*l + 20913 - 60755 = 0. Is l a prime number?
False
Is ((-297374)/(-21))/(-7 - (-115)/15) composite?
True
Let r(a) = -a**2 + 3*a + 4. Let l be r(3). Suppose 6*s - 4*s + l = 0. Is 834 + (6/1)/s prime?
False
Let r(v) be the second derivative of 18*v + 0 + 1/6*v**3 - 10*v**2 + 1/12*v**4. Is r(5) a prime number?
False
Suppose 12*w + 9 = 21*w. Is (w - 520)*19*2/(-6) composite?
True
Let p be 115443/(-18) - 6/(-4). Let x be 12/(7/(p/8)). Is (x/(-2) - 2) + 10/(-5) a prime number?
True
Let m(c) be the second derivative of 75*c**3/2 - 4*c**2 - 5*c. Let j be m(7). Suppose 0 = -3*w - j + 4426. Is w composite?
False
Let s = 119 + -108. Suppose t - 12321 = -s*g + 16*g, 3*t - 4*g = 36919. Is t composite?
False
Let f(v) = 23506*v - 17056. Is f(29) composite?
True
Let p(q) = q**3 - 8*q**2 + 9*q. Let d be (-15)/(-6)*(24/10 - 0). Let f be p(d). Is (-2)/6 - 1500/f composite?
False
Suppose 528 = 2*b - 9396. Suppose -4*u + u = b. Let m = 3385 + u. Is m composite?
True
Let b(z) be the first derivative of 86*z**3/3 + 14*z**2 + 9*z - 65. Is b(8) composite?
False
Suppose 0 = 3*b + 5*s - 5, 2*b - 26 = -2*b + 3*s. Suppose 0 = 2*g + b*m - 107, -3*g + m = -89 - 46. Suppose g*x - 376 = 42*x. Is x prime?
False
Suppose 116*l = 122*l - 47448. Let t = -11 + l. Is t a composite number?
True
Suppose -n = -8*n. Let v(o) = 2*o + 17. Let a be v(n). Let l(i) = 212*i - 33. Is l(a) a composite number?
False
Let j(y) = 1761*y**2 - 95*y + 459. Is j(-25) a prime number?
False
Suppose 33*v = -74*v + 27*v + 107326320. Is v composite?
True
Suppose -10*y + 30848 = 3*o - 5*y, 0 = o - 3*y - 10306. Is o composite?
True
Let g be (-685370)/(-65) + 12/(-78). Let j be 3 + -2 - (-5 + 5). Is (-2)/(-6) - g/(-12) - j prime?
False
Let o(a) = a**3 - 21*a**2 - 25*a + 63. Let v be o(22). Let h(x) = -321*x + 14. Let q(p) = -64*p + 3. Let s(j) = -2*h(j) + 11*q(j). Is s(v) prime?
True
Let o(q) = 4969*q**2 - 545*q + 23. Is o(-7) prime?
False
Let k(t) = -10790*t**3 - t**2 + 20*t + 27. Is k(-2) prime?
False
Let r(k) = 665*k - 11. Let q be -2*(-4)/((-24)/(-15)). Suppose -v + 2 - 5 = -3*d, 9 = -3*d + q*v. Is r(d) a prime number?
True
Suppose 3*o - 8690824 = -5*c, 209*o = 214*o - 15. Is c composite?
True
Let t(v) = -41*v + 9. Let c be t(-3). Let w be (26/(-52))/((-2)/c*1). Is 1264/10 + w/55 composite?
False
Let v(o) = 148*o - 25. Let y(x) = -5*x**2 - 21*x - 7. Let t(b) = -9*b**2 - 42*b - 13. Let i(n) = 3*t(n) - 5*y(n). Let m be i(-10). Is v(m) prime?
True
Let v = -57896 + 135235. Is v a composite number?
False
Suppose 0 = t - 4*m - 23, 2*t = 24*m - 21*m + 26. Let j(a) = 76*a**2 + 16*a - 45. Is j(t) composite?
True
Let d be (85/(-68))/((-1)/(-4)) + 8. Suppose -d*a = 4*p - 15219, 3*a + p - 3*p = 15237. Is a a prime number?
True
Suppose -65*m = -6225500 - 14499815. Is m composite?
True
Suppose -87590 = -5*w - 3*a, 47*w - 52*w + 87600 = a. Is w a prime number?
False
Let m = -107864 + 163507. Is m a composite number?
True
Let b(s) be the third derivative of -s**4/24 + 25*s**3/6 + s**2. Let v be b(-5). Suppose z - 24 = -4*h, 0*h - 5*h + v = 2*z. Is h prime?
False
Let a(d) = 521*d**3 + 10*d**2 - 9*d - 61. Is a(8) prime?
True
Suppose 3*b - b = 12. Let l be (b/(-4))/((-15)/50). Suppose -l*h + r + 2260 = 0, h = 4*r + 521 - 50. Is h composite?
True
Let o be ((-336)/63)/(4/5466). Let a be o/1*42/28. Let w = 16139 + a. Is w a composite number?
True
Let t(n) = 806*n**2 + 251*n + 2. Is t(-19) prime?
True
Suppose -3*f = -2*f. Suppose 5*h - 5549 - 2396 = f. Is h prime?
False
Suppose 45*s - 39*s + 9084 = 0. Let j = -459 - s. Is j a composite number?
True
Suppose 0 = 6*v - 2781 - 831. Suppose v = 2*l - 52. Is l composite?
True
Suppose 2687967 = -17*x + 9914174. Is x a composite number?
False
Let k be (-1)/((-6)/9 - (-7)/15). Suppose 0 = 4*q - 2*j - 860, -5*q = k*j - 4*j - 1068. Let b = q - -5. Is b composite?
True
Let x(y) = 28*y**3 - 40*y**2 - 42*y - 311. Is x(18) a prime number?
True
Let j = -46 - -81. Suppose 0 = -2*x - 5*h + 184, -5*x + 2*h = -3*h - 425. Let c = x + j. Is c composite?
True
Is -8 + (-86)/(-215) + (-4325486)/(-10) prime?
False
Let j(b) = 429013*b**3 - 47*b**2 + 59*b - 11. Is j(1) prime?
False
Let k be 5 + -1 - 0/(-4). Suppose 2*s = k*q - 3*q - 4617, -3*s - 9236 = -2*q. Is q prime?
True
Let p be (-80364)/16 + 46/8 + -6. Let i = p + 10166. Is i composite?
True
Let g = -51 + 56. Suppose 2*l + 3*b - 3759 = 6*b, -g*b + 3719 = 2*l. Let q = l + -877. Is q a composite number?
True
Suppose -229 = -8*p - 37. Is (-408565)/(-20) - (-18)/p a composite number?
True
Let v = 332308 + -136649. Is v prime?
True
Let l(z) = 4*z**2 + z + 37. Let c be l(-6). Suppose -183*j + 32728 = -c*j. Is j composite?
False
Let t be 4809/(-14)*(-4 - 30). Suppose 0 = 5*l - 6*l - p + t, 4*p = 8. Is l composite?
False
Suppose -2*m - 3*v + 2366 = 0, -4*m - 14*v = -16*v - 4764. Let x = m + -290. Is x a composite number?
True
Let h(y) = 26995*y - 5969. Is h(2) prime?
False
Is 504133*(-16)/56*((-9)/(-6))/(-3) prime?
True
Suppose 0 = -5*m + 154 - 44. Let r be 33/m + (-865)/(-2). Suppose 0*x + 2*x - r = 0. Is x a composite number?
True
Let b(z) = 40 + 879*z - 69 + 691*z + 971*z. Is b(3) a prime number?
False
Suppose 21*v = 15*v - 67*v + 13962637. Is v prime?
False
Let s = -259 - -274. Suppose -19*a + 23620 = -s*a. Is a a prime number?
False
Let n(k) = 366*k - 17. Suppose -10*g + 29 + 31 = 0. Is n(g) composite?
False
Suppose 1930*r - 9764 = 1929*r - 3*a, -5*r - 4*a + 48743 = 0. Is r prime?
True
Is 2/14 + ((-55705872)/133)/(-34) a prime number?
False
Let a(x) = x**2 + 2*x - 6. Let y be a(-5). Let g be (y/18)/((-17511)/(-8754) - 2). Suppose 2*u - g = -5*o, -u + 626 = 4*o - 540. Is o a prime number?
False
Let j(w) = 7552 - 28*w - 2*w**3 + 7549 + w**2 + 26*w. Is j(0) a composite number?
False
Suppose 2*k + 461390 = 4*y, 3*y - 160847 = 3*k + 185209. Is y a prime number?
True
Suppose 315 = 3*r + 6. Let s = -236 - -338. Suppose r*a - 413 = s*a. Is a prime?
False
Let a(y) be the third derivative of 31*y**6/40 + y**5/60 + 5*y**4/24 - 2*y**3/3 - 25*y**2. Is a(3) prime?
True
Let s = -12 - -14. Let l be 7*4/112*0/s. Suppose -5*q = l, 3*q - 5*q = -4*f + 5444. Is f prime?
True
Let p = -173080 - -255837. Is p composite?
False
Let w = 205106 + -128127. Suppose 8*f = w - 4011. Is f composite?
True
Suppose 4*z - 3*t - 1760814 = 2162384, 0 = -4*t + 8. Is z a prime number?
True
Let o = 462 + -196. Suppose 2*f - 3*z - 271 = 0, -o = 2*f - 4*f + 4*z. Is f a composite number?
True
Let q(n) = 84*n**2 - n - 3. Let v(k) = 6*k - 5. Let y be v(0). Let x be -1 + 1 - 5*2/y. Is q(x) a composite number?
False
Let k(c) = 0*c**2 + 10*c + 4*c**2 - 2*c - 497 + 511. Is k(-5) composite?
True
Let i(c) = -7*c - 38. Let g be i(-6). Suppose 31 - 599 = -g*y. Is y prime?
False
Let v(o) = -18*o - 45. Let g be v(-4). Suppose 12293 = g*j - 46. Is j prime?
True
Let p(v) = v**2 - 7*v - 10.