28*r = -j. Is r/15 + 1274/10 a prime number?
True
Let n = -28663 - -259904. Is n composite?
False
Suppose -49*l + 73074 = -11*l. Is l a composite number?
True
Let b be 1 + (3 + -2 - 0) - 0. Suppose 0 = b*h - 689 - 21. Is h prime?
False
Let m be 3/(-12) + 42/8. Suppose 0 = -3*v + r - 12, -26*v - 4*r = -23*v + 27. Is -149*(m - 0)/v composite?
False
Is 46549/(5 - (-240)/(-50)) a composite number?
True
Suppose -233*g + 228*g + 1424805 = 5*c, -g - 1139834 = -4*c. Is c prime?
False
Suppose 4*w = -0*w - 214452. Let i = 84317 + w. Suppose -11*c - 12477 + i = 0. Is c a composite number?
False
Let o = -36 - -42. Suppose -c = 1 - o. Suppose -3*j - 9 - 1575 = -3*w, -c*j - 1588 = -3*w. Is w a composite number?
True
Suppose 0 = -487*l + 362*l + 24547375. Is l a prime number?
True
Let n(q) = q**3 - 2*q + 4. Suppose x + 6 = -2*x. Let d be n(x). Suppose -36*m + 31*m + 445 = d. Is m composite?
False
Suppose -8*t + 51 = -5*t. Let b = t + -13. Suppose -12551 = -b*w - 3*w. Is w a composite number?
True
Suppose 6*d = -d + 49. Suppose d*w - 4865 - 1974 = 0. Is w composite?
False
Let p = -7742 - -185331. Is p prime?
True
Suppose 0 = -129*x + 127*x + 5*k + 152733, 2*k - 381905 = -5*x. Is x a composite number?
False
Is 21607392/13 + (-17)/(-5083)*-23 a composite number?
True
Let z(w) be the first derivative of 54*w**3 - w**2 - 31*w + 50. Is z(-4) a composite number?
True
Suppose 28 = 2*i - 4*k, 3*i - 5*k = -i + 47. Suppose -2*s = -4*j - 18142, 7*j + 9074 = s + i*j. Is s a prime number?
False
Let n be (222/9)/(2/3). Suppose -5*w + 2*k = 72, 17*k - 8 = w + 15*k. Let r = n - w. Is r a composite number?
False
Suppose -4*i + 6*i = -8, 0 = 4*h + 5*i - 8. Suppose h*g = -47*g + 3618. Is g a composite number?
False
Suppose 2*h + 4*a - 11713 = 5209, 5*h - a - 42360 = 0. Let r = h + -5424. Is r prime?
False
Let p = -1853 + -3233. Let v = -2927 - p. Is v a composite number?
True
Is (-35)/(-70) + (-2798145)/(-18) composite?
False
Suppose 43*p + 21 = 3*z + 40*p, 5*z - p = 39. Is (11963 - z)/3 - -4 a composite number?
False
Suppose -504 = -4*n + 2*u, -2*n + n + 2*u + 123 = 0. Let c(x) = n*x + 208*x - 30 - 21*x - 13. Is c(13) a composite number?
True
Suppose 4168 - 1765558 = -90*m. Is m prime?
True
Let g(i) = -107 - 3*i**2 - 70*i**3 + 6*i**3 - 30*i + 5*i**3 + 28*i**3. Is g(-7) a composite number?
False
Let k(z) = -11*z**2 - 77*z + 8. Let l be k(-7). Is (l - 4695/4)*-4 prime?
True
Suppose -32*t = -300308 - 1562444. Is t prime?
True
Let a(n) = -n**3 - 4*n**2 - 6. Let s be a(-3). Let z(l) = -2*l**3 - 10*l**2 - 11. Is z(s) prime?
False
Let s = -178192 - -253959. Is s composite?
False
Let g(m) = -m**3 + 17*m**2 - 17*m + 20. Let p be g(16). Let n be (-2*2)/(0 - 8/p). Suppose -w + 1959 = -0*w - n*q, 2*q - 9735 = -5*w. Is w composite?
False
Let l(u) = 6386*u + 255. Let y be l(8). Suppose 2*o + 3*r - y = 0, o = -3*r + 7*r + 25655. Is o a composite number?
False
Is (-39)/(22932/(-102975796)) - (-4)/42 prime?
True
Let g = 7843 - 3642. Is g a composite number?
False
Let c(b) = 17*b**2 - 4*b - 278. Is c(49) a prime number?
True
Suppose 8*t - 2*r = 3*t + 12, -4*t + 2*r + 8 = 0. Let g(i) = 276*i + 82. Let y(f) = 81*f + 27. Let z(j) = 5*g(j) - 16*y(j). Is z(t) a composite number?
True
Let d(i) = 6*i**3 + 2*i**2 + 5*i + 9. Let u = -30 - -32. Let b(w) = 7*w**3 + w**2 + 4*w + 9. Let n(o) = u*b(o) - 3*d(o). Is n(-6) prime?
False
Let x be ((-2790)/8)/(9/(-24)). Suppose -x = -5*o + 2*r, 3*o - o - r - 372 = 0. Suppose 367 = s - o. Is s a prime number?
False
Let z(k) = 217945*k**2 + 3*k - 9. Is z(1) a composite number?
True
Let g = 4670 + -2075. Suppose -2*s - 729 + g = -5*v, -s - 4*v + 907 = 0. Is s a prime number?
False
Let a(o) = -12*o - 12. Let k be a(4). Let z = 61 + k. Is (z + -2902)/((-69)/161) prime?
False
Let u be 4/1*(9 + -8) - 3. Let b be u/(5*(-5)/(-675)). Let i = b + 190. Is i a prime number?
False
Let h = 474 - 262. Suppose -2*b + h + 14 = 0. Is b composite?
False
Suppose 3*u - 5*m - 7 = -4, -2*u = 5*m - 27. Let g be 4/(-18)*u*3. Is (0 + g)/4*-211 a prime number?
True
Let o(s) = -134*s + 16. Let b(v) = -1. Let g(l) = 6*b(l) + o(l). Let w(c) = -c - 25. Let y be w(-17). Is g(y) composite?
True
Let z = 1203182 + -615229. Is z a prime number?
False
Suppose -24*h + 27 = -45. Suppose -4*x = h*n - 137413, -5*n - 34336 = -43*x + 42*x. Is x prime?
True
Let h(d) = 60*d**2 + 11*d - 3. Suppose 4*x = 4*m - 28, 2*x + 30 = 5*m + 4. Let p(w) = 60*w**2 + 10*w - 3. Let i(r) = m*p(r) - 3*h(r). Is i(-4) prime?
True
Let a(i) be the first derivative of 224*i**2 - 3*i - 18. Suppose -3*u + 14 = n, -4*n = 2*u - 5*u + 4. Is a(n) composite?
True
Is ((-180)/(-1200) - 4/10)*2953304/(-2) composite?
True
Is (-3)/7 + ((-338340515)/(-413) - (-3 + 0)) a prime number?
True
Suppose 18*i - 5 = 23*i + 5*f, -2*i - f = 0. Is ((-187)/(-34))/(i/(-241))*-2 composite?
True
Let k = -113 - -119. Is 363/(-2)*k/(-9) prime?
False
Let l = 18066 + 149315. Is l prime?
True
Let s(l) = -l**3 + 2*l**2 + 24*l. Let w be s(-4). Suppose 7*g - 324 - 1013 = w. Is g prime?
True
Suppose 0 = -3*m + 18513 + 46260. Let z = m - 10046. Is z a prime number?
False
Let n(j) = -j**3 + 32*j**2 + 73*j - 81. Let z(k) = -k**2 - k. Let r(c) = -n(c) - 5*z(c). Is r(38) a prime number?
True
Suppose -6*x + 10*x + 240 = 0. Is (83/(-4))/(15/x) a prime number?
True
Let n(q) = 264*q**2 + 24*q - 263*q**2 - 25 + 8*q. Let k be (-46)/(-2) + (3 - 2). Is n(k) composite?
False
Suppose 3*k - 9 = 6*k. Let s be (k/6)/((-4)/2008). Suppose t + 491 + s = d, -4*t + 2233 = 3*d. Is d prime?
True
Suppose 9*q = 10*q - 123. Suppose 139*p - 170736 = q*p. Is p a prime number?
False
Let z = -35538 + 81317. Is z composite?
False
Let z = -103176 - -170629. Is z a prime number?
True
Suppose 1065607 - 638231 = -23*q + 3099447. Is q prime?
True
Let y(p) = p**2 + p - 4. Let t be y(-3). Suppose -x + 4*o + 175 = 0, 0 = t*x - 4*o - 413 + 43. Let v = x - 137. Is v prime?
False
Let w = 32 - -4. Let h = 57 - w. Is ((-6)/24)/((h/(-444))/7) a composite number?
False
Suppose 0 = 5*b - 15, 3*m + 91*b - 93*b = 1320297. Is m composite?
False
Let j = 79 - 74. Suppose -u + 26 = 4*t - 2, j*u - 3*t = 140. Suppose 0 = -u*x + 35*x - 2751. Is x prime?
False
Suppose 0 = 3*h - 4*n - 138, -3*h + 2*h + 46 = 5*n. Let g = h - 43. Let z(y) = 45*y**3 + y**2 + y. Is z(g) a composite number?
True
Let z(l) = -2*l**3 - 76*l**2 - 70*l + 155. Let i be z(-37). Let q(j) be the second derivative of -j**4/12 + 5*j**3/2 - 5*j**2 + j. Is q(i) composite?
True
Suppose -4*l - 5*k = -92436, 81*l - 86*l - 8*k + 115559 = 0. Is l composite?
False
Suppose 3*k = -g + 119971, 22*k = -3*g + 26*k + 359887. Is g prime?
False
Suppose -p + 179842 = 4*q, 3*q + 10*p = 7*p + 134895. Is q a composite number?
False
Suppose 35 = -5*k + 15. Is ((-16)/(-26))/k - 257211/(-39) prime?
False
Let c = 635921 - 368562. Is c a prime number?
False
Let j = 24027 - 5378. Is j prime?
False
Let o(q) = 3*q**2 - 6*q - 13. Suppose -5 = -5*w + 4*w. Suppose -3*s - g + 45 = 0, w*g - 1 = 2*s - 14. Is o(s) prime?
True
Let t = 30 + -18. Suppose 48027 = -t*k + 33*k. Is k prime?
True
Suppose 3599802 + 4554392 = 118*a + 1522948. Is a a prime number?
True
Let h = 127975 + 100020. Is h a prime number?
False
Suppose 2*t + 3*c = 2*c + 3713, c - 3 = 0. Suppose -77 = 2*x - t. Is x a composite number?
True
Is (5354980/(-30))/(3/((-36)/8)) a composite number?
False
Let b be (-5)/80*-8*-16. Is (b - (-35693)/21) + (-8)/(-6) prime?
True
Let z(w) be the second derivative of 7*w**3/2 + 487*w**2/2 + 37*w. Is z(0) a prime number?
True
Suppose -9819371 - 3532237 = -72*r - 0*r. Is r a composite number?
True
Let s = -5559 + 15599. Let m = 22555 - s. Is m prime?
False
Suppose h + 7 = -5*j, 5*j - 94 - 1 = 5*h. Let d(r) = 3*r**2 - 30*r - 31. Is d(h) prime?
False
Let h be 5 - (-4901)/(-4) - 6/8. Let b = 178 - h. Is b a prime number?
True
Let f = 37878 + -25132. Suppose 3*x - f = 1837. Is x a prime number?
True
Let r be 2 - (6/5 + (-4)/(-5)). Suppose -6*d + r*d = -12. Suppose d*n + 457 = v, 3*v - 1798 = -v - 2*n. Is v a composite number?
True
Let n(x) = 17*x**2 - 54*x - 97. Let q be n(-29). Let z = q - 6879. Is z a prime number?
True
Suppose 478*x = 470*x + 304904. Is x composite?
False
Suppose 5*g - 9884 = 4*x + 4957, 2*x + 2967 = g. Let v = -574 + g. Let y = -1658 + v. Is y a prime number?
False
Suppose 22