e 98*m + l = 99*m. Is m a prime number?
True
Let j(t) = 99*t - 40. Let s be (-8 - -6)/(2/(-23)). Is j(s) a composite number?
False
Suppose 5*z - 2*o - 6 = 0, -2*z + o = -0*o - 2. Suppose 2*l + 3*k = 1685, 4*l - z*k - 3346 = -0*k. Suppose 26*c + l = 28*c. Is c a composite number?
False
Suppose 3*k - m = -10, k - 3*m = -m. Let j(s) = 3*s**3 + 10*s**2 + 13*s + 85. Let b be j(-7). Is (b/(-2))/(k/(-8)) prime?
False
Let n = -463 - 151. Let x = n - -9325. Is x prime?
False
Let l(r) = 13*r**3 - r**2 - 2*r - 1. Let o = -37 - -41. Suppose 5*c - 3*i = 30, 5*c + o*i + 5 + 0 = 0. Is l(c) a composite number?
True
Suppose -w - 537*v = -538*v - 847335, 3389344 = 4*w - 2*v. Is w a composite number?
True
Suppose 6*y = -0*y - 6. Let z be (564/(-9) - y)*-12. Is 3/(-9) + z/15 composite?
True
Let x(o) = -2*o**3 - 4*o**2 + 4. Let s be x(-7). Let t = s + -281. Suppose p - 38 = t. Is p composite?
False
Let y = -210 - -246. Suppose -37*t = -y*t - 11351. Is t a composite number?
False
Let t(k) = 147*k**2 - 10*k + 3. Let n(f) = f**2 + f. Let a(i) = 6*n(i) + t(i). Let o = 1223 + -1227. Is a(o) prime?
True
Let l(z) = 37*z**2 + 4*z - 4. Let q be 965/75 + -3 + (-2)/(-15). Suppose -o - o = q. Is l(o) a composite number?
True
Suppose 19*i + 9664 = 106317. Suppose 0 = 8*o - i - 9497. Is o a composite number?
False
Let q = -432 + 399. Let n(f) = -f**3 - 31*f**2 - 57*f + 24. Is n(q) composite?
True
Let c be ((2 - 10) + 12)*10/8. Let g be (-1)/((-9)/(-6))*-6. Suppose w = c*w - 3*d - 1499, 0 = -g*w - 2*d + 1474. Is w a prime number?
False
Let u(i) be the second derivative of i**4/4 + 25*i**3/3 + 49*i**2/2 + 3*i - 8. Is u(26) prime?
False
Suppose 28064 = 5*c - 3*r, -5*c - 8*r + 28043 = -4*r. Suppose -4*o = -2*a + 6879 + c, -6249 = -a - 2*o. Is a prime?
True
Is (5 + -9)/(((-24)/(-933006))/(-1)) prime?
True
Let b = 370 - 134. Let k be 9 + 185/(-15) - 2/(-6). Is b/10 + 14/35 + k prime?
False
Suppose z + 5*y = -5, 3*z - 14 + 7 = -4*y. Suppose z*m = -0*m + 16880. Suppose 3*b - 1535 = m. Is b a composite number?
False
Let o = -5124 - -405. Let q = o + 8108. Is q composite?
False
Is (-4263100)/300*(1 - 4) a composite number?
True
Let t(h) be the third derivative of 239*h**4/12 - 11*h**3/3 + 30*h**2. Let x be t(-20). Is (5/15)/((-2)/x) composite?
False
Let r(d) = 2*d**3 - 13*d**2 - 23*d + 53. Is r(12) prime?
True
Let r be (-112)/(-6)*(-180)/(-14). Let q = r - 117. Is q composite?
True
Let o = 3410065 - 1941494. Is o a prime number?
False
Let p(g) = 62*g**2 - 10*g + 553. Is p(20) a composite number?
False
Is 2434/8*(-4496)/(-40)*(7 - -3) a prime number?
False
Suppose 46313 - 1633 = 5*l. Suppose 4*m = -0*m + l. Let c = m + -1071. Is c a composite number?
False
Let l = -18 - -22. Suppose 0*s + 80872 = 4*s + l*m, 5*s - 5*m = 101140. Let b = s - 13226. Is b a prime number?
True
Suppose 2*l + 48704 = s, -2*s + 31056 = -5*l - 66345. Is s composite?
True
Suppose 5*n = 4 - 4. Is -6 - n - (0 + 4 + -4047) a prime number?
False
Suppose t - 55 - 26 = -4*u, 0 = 3*u - 3*t - 72. Suppose -u = -13*m + 57. Suppose -2262 = m*r - 12*r. Is r composite?
True
Suppose 4*b - 69824 = 2*r, -123*b - r = -124*b + 17457. Is b a composite number?
True
Is (-3)/(-1) - -2*(39050 + 9 + 0) a prime number?
True
Let x be -3*(-12)/(-270) + 454/30. Suppose -x*h + 12*h = -8457. Is h a prime number?
True
Let r(x) = 69*x**3 + 14*x**2 - 22*x - 14. Is r(11) prime?
False
Suppose 5*h - 2*d - 46 = -15, -2*h + 3*d = -19. Let p(t) = 1391*t + 112. Is p(h) a prime number?
False
Let c(l) = -l**3 - l**2 + l + 1. Let h(m) = -m**3 - m**2 - 66*m + 10. Let i(d) = c(d) + h(d). Is i(-12) prime?
False
Let g(v) = 597*v + 331. Let m be g(14). Let y = 316 + m. Is y composite?
True
Let w(n) = 117*n**2 - 36*n - 193. Suppose 4*x + 72 = 4*d, -40*d = 5*x - 41*d + 82. Is w(x) a prime number?
False
Let r = 13263 - 19576. Is r/(-9) + 48/(-108) composite?
False
Let o be ((-2)/5)/((-9)/(-5) - 2). Suppose -2*w - o*d + 13550 = 0, 3*w + 6759 = 4*w + 5*d. Is w composite?
False
Let i(w) = 3*w - 29. Let s be i(11). Suppose 0 = -2*c - y - s, -c = 4*y + 18 - 2. Suppose -4*z + 372 + 1216 = c. Is z prime?
True
Let i(b) = -4*b**2 + b + 30. Let l be i(5). Is (-13)/l - (-89988)/10 composite?
False
Let y(t) = 3070*t + 33. Let u(r) = -3069*r - 37. Let n(o) = -5*u(o) - 6*y(o). Is n(-4) composite?
True
Let g be (3 - (-28)/(-5))/((-3)/15). Suppose 4*z + g*p = 11*p + 17306, -5*p = -3*z + 12986. Is z prime?
True
Suppose 3*l + 4884083 = -52*l + 74*l. Is l prime?
False
Let s(n) = -16*n + 3233. Let b(g) = -8*g + 1617. Let u(f) = 9*b(f) - 4*s(f). Is u(0) prime?
True
Let t = -251 - -252. Is ((420 + -1)*1)/t composite?
False
Suppose 297 = 6*p + 1197. Is (-1425800)/p - (-1 + 0)/(-3) a prime number?
False
Let i(z) = z**3 + 3*z**2 - 12. Let u be i(0). Let p(o) = -o**2 - 11*o + 16. Let h be p(u). Is (-538)/(-4)*(h + -3 - -1) a prime number?
True
Suppose -121*f = -96*f - 91475. Is f prime?
True
Suppose 9*x + 54 = 11*x. Suppose x*s = 29*s - 2674. Is s a prime number?
False
Let s = 4 + -4. Suppose 226 - 50 = 16*v. Is (-254 + s)*v/(-22) a prime number?
True
Let v = 727 - -1423. Let k = -421 + v. Suppose -5*t - 544 + k = 0. Is t prime?
False
Let z = 25236 + 55415. Is z prime?
True
Let l(f) = -2388*f - 955. Is l(-16) prime?
True
Suppose 0 = -5*z + 2*z + 105. Suppose -z*u + 31*u = -8. Let q(k) = 191*k**3 - k**2 + k - 3. Is q(u) composite?
False
Let m = -1668 + -12315. Is ((-8)/(-8))/((-3)/m) a composite number?
True
Let s(y) be the second derivative of 371*y**5/10 + y**4/12 + y**3/6 - y**2/2 + y. Suppose 5*b + 12*m = 16*m + 9, -2*m + 3 = 5*b. Is s(b) prime?
True
Let t be (62270/(-3))/((-10)/30). Suppose -37*p + t = -27*p. Is p a composite number?
True
Suppose 3*b - 3 = -5*n, -5*n - 5 = -b - 4. Suppose 0 = 5*h + u - 40988, -3*h + 0*h - u + 24592 = n. Is h a prime number?
False
Let j(i) = -2*i - 6. Let a be j(-3). Suppose 3*o - 12 + 3 = a. Suppose 0 = o*b + 5*y - 1106, 0*y + 2*y - 1875 = -5*b. Is b prime?
False
Let p(a) = a**3 + 152*a**2 + 6*a + 16. Is p(-63) composite?
True
Let a(y) = y**3 + 7*y**2 + 7. Let w be a(-7). Suppose 3*r + z = 6938, -8*r + 2306 = -w*r - z. Suppose n - u = 4*u + 1136, 3*u = -2*n + r. Is n prime?
True
Suppose h - 2*p - 76 = 0, 3*p - 359 = -4*h - 0*p. Let u(a) = 82*a - 5. Let n be u(4). Suppose -n = -3*v + 4*r, -5*r + 28 = v - h. Is v a prime number?
True
Let s(x) = 717*x - 65. Let k(v) = 721*v - 66. Let y(z) = -4*k(z) + 5*s(z). Is y(14) prime?
False
Let u(r) = 2*r + 20. Let l be u(-9). Suppose -12 = -l*w + 8*w. Is (w + 0)/((-14)/27923) prime?
True
Suppose -5*g = 3*q - 24, -23*q + 22*q = -g. Suppose -g*z = 6, -5*x + 2*z - 5*z + 43889 = 0. Is x a composite number?
False
Let p be (24/(-18))/((-6)/27*2). Suppose 0*o = -p*o + 3573. Let k = -794 + o. Is k a prime number?
True
Let d(c) = -4*c - 17. Let y be d(-8). Suppose 21 = 2*x - 1. Suppose 2228 = -x*m + y*m. Is m a prime number?
True
Let c = 7 - 13. Suppose -12 = -23*t + 17*t. Is 159*t + 3*(-2)/c a composite number?
True
Let f be -1 + 0 + (5 - 10). Let x(s) = -s**2 - 12*s - 33. Let g be x(f). Suppose y = -g*z + 284, -6 = -z + 3*z. Is y composite?
False
Let w(k) = -20*k**3 + 2*k**2 + 2*k - 16. Let n be w(-7). Suppose 0 = -9*l + n - 259. Let f = -360 + l. Is f composite?
True
Let x be -28*95 + -8 + 8 + 0. Let t = 761 - x. Is t prime?
False
Suppose -3*d - 3*b - 16506 = -5*b, -d - 5502 = -5*b. Let q = -2459 - d. Is q a composite number?
True
Let p(v) = v**3 + 12*v**2 - 4*v - 150. Let w be p(-10). Is 1878318/w + 6/(-5) composite?
True
Let j = -579 + 1622. Is j composite?
True
Let p = 136 + -82. Let f = 78 - p. Suppose 25*i = f*i + 87. Is i composite?
True
Let v(d) = d**2 - 17*d + 30. Let s be v(15). Suppose s = 5*t - 2*l - 5275, t + 1055 = 2*t + 3*l. Is t a composite number?
True
Let j be (-1 - -3)*(-3446)/(-2). Let z = -2158 + j. Suppose -6*c - 2*c = -z. Is c composite?
True
Suppose 4*p = q + 2*q + 249, -59 = -p + 4*q. Suppose 74*x - p*x - 6941 = 0. Is x a composite number?
False
Suppose 0 = -7*m + 287785 + 40452. Is m a prime number?
False
Suppose 6*o - 913918 = -r - 3*r, 4*o = 5*r - 1142317. Is r prime?
True
Let b = -51 + 55. Let n be ((-6)/b)/((-9)/12) - -724. Let w = n - 328. Is w prime?
False
Let r = 25 + -23. Suppose -5*y = 3*k - 37, y - r*k = -y + 2. Suppose -y*j = 5*z - 2615, -j = j - 4. Is z a prime number?
True
Suppose