Is y a prime number?
True
Let z = -45459 + 441596. Is z composite?
True
Suppose 4*m = -3*y + 32051, 2*y - 10688 = y + 3*m. Suppose -18*k = -y - 10717. Is k a composite number?
True
Let u be (-86904)/(-10) - (10/25 + 0). Suppose r = -4*o - 3326 - 2713, 2*o - 6009 = r. Let y = r + u. Is y composite?
False
Let b be ((-1058)/6 + 6/(-9))*-6. Suppose -5*h = -5*o + 2730, 0*o - 4*h = 2*o - b. Is o a prime number?
True
Let v(n) = 3*n**2 - 12*n - 37. Suppose -g - 4*r + 7 + 7 = 0, 5*g + 4*r - 118 = 0. Suppose -2*b + 2*s - g = 0, -2*b - 41 = b - s. Is v(b) a prime number?
True
Let q(d) = -7589*d - 354. Is q(-7) composite?
False
Let h = 45 - 51. Let u be 210/7*3*h/45. Is (-2610)/u*(-2 + (-16)/(-6)) a composite number?
True
Suppose 38*a - 43*a - 2*u + 66895 = 0, 0 = -4*u - 20. Is a a prime number?
True
Is 4 - (-594)/(-154) - 29/7 - -321513 prime?
True
Let y be ((-3)/2)/((-2)/4). Suppose 0*g + 5*g = -3*m + 19, 5 = y*m - 2*g. Suppose m*h - 19854 = -3561. Is h a composite number?
False
Is (98062/6)/(22/66) a composite number?
False
Let n be -1 + (-1 - -3 - (0 - -2396)). Let c = n - -3506. Is c a composite number?
True
Suppose 4*i + 5*p = -1326, 7*i = 3*i - 2*p - 1332. Suppose -q + 4*q = 1431. Let u = q + i. Is u a prime number?
False
Suppose 5*t + 0*t - 12 = -n, -t + 18 = -5*n. Suppose 8 = -t*s + s, b = 5*s + 28. Is (b - 534)*14/(-4) a prime number?
False
Suppose -433*j - 546861 = -454*j. Is j composite?
False
Let h(p) = -13*p + 1642. Is h(-64) prime?
False
Let z(g) = g**3 - 21*g**2 + 39*g + 10. Let p be z(19). Suppose -p*o = -13*o - 22384. Is o composite?
False
Let n = 3334 - 451. Suppose 24816 - n = 9*m. Is m prime?
True
Suppose 5*l + 2*n = 7*n + 5, l - 5*n + 3 = 0. Is l/(-4) - 2/4*-2019 composite?
False
Suppose 19*s = 27*s - 40. Suppose -5*z - 2*r = -987, -537 = -5*z + s*r + 443. Let b = z - 104. Is b prime?
False
Suppose -8*l + 6*l - 4 = 0. Let g = l + 2. Is 72/(-18) - (g - 255) a composite number?
False
Suppose 4*g + 206967 = -3*w + 1209145, 0 = -5*g - 3*w + 1252721. Is g prime?
True
Let k = 219 - 218. Is (k + 0)/((-4785)/2393 - -2) prime?
True
Let j(l) = 2*l**2 - 50*l - 31. Let k = 297 - 316. Is j(k) composite?
True
Suppose 3*f - m - 6 = -1, -f - 2*m = -4. Suppose -p - 5*y = 5352 - 24226, 37808 = f*p - 2*y. Is p composite?
False
Let n be -5 - (-2 + (-6 - 7)). Suppose n*c = 1386 + 5584. Is c a prime number?
False
Let j(i) = -2*i**3 - 14*i**2 + 679*i + 223. Is j(-70) a composite number?
True
Suppose 2145*z - 2141*z - 21020 = 0. Is z composite?
True
Let k be 115 + 3/(9/(-6)*-1). Let n be (1 + k)/((-8)/(-12)). Suppose -4*j + 6*g + 140 = 4*g, -5*j + 2*g + n = 0. Is j a composite number?
False
Let d(y) = 290*y**2 + 18*y + 53. Let s be d(-3). Suppose 2*g - 2*a - 5212 = -0*a, s = g - 4*a. Is g a prime number?
False
Let x(c) = -6*c - 12. Let j be x(-6). Suppose -2*k - j = -4*i, 5*k + 3*i = -i + 10. Is (1*k)/(1 + 1356/(-1348)) composite?
False
Let n = -119292 + 431453. Is n composite?
False
Suppose -57*h - 228352 - 112229 = -60*h. Is h a prime number?
False
Let k = 2404360 + -754199. Is k composite?
True
Let b(t) = 81*t**2 - 2*t - 7. Let o(a) = 163*a**2 - 7*a - 15. Let v(f) = 13*b(f) - 6*o(f). Is v(4) composite?
True
Suppose -2*o = -4*y - 4*o + 12414, -3*y - 2*o + 9313 = 0. Suppose p + 738 = -m + y, 4 = 4*p. Is m*((-15)/(-10) - 1) composite?
False
Let n(y) = -5*y**3 - 20*y**2 - 38*y - 75. Let z be n(-18). Suppose d - 2*d + 27 = 0. Suppose 24*q - d*q = -z. Is q a prime number?
False
Suppose 43*g + 154 = 42*g. Let t(h) = -h**3 + 18*h**2 - 14*h + 19. Let v be t(18). Let j = g - v. Is j a prime number?
True
Let a(f) = f**2 - 23*f - 140. Let x be a(28). Suppose 4*m - 4*z - 6032 = x, m - 3*m - z = -3013. Is m composite?
True
Let m be 4/(36/20 - 1). Let a be 5*m/50*3538. Suppose a + 937 = 6*y. Is y prime?
False
Suppose -7*u = -21*u - 10696. Let d = u + 2817. Is d a composite number?
False
Let c(l) = l - 11. Let z be c(17). Let v be 908 - z/(2 - 4). Suppose 5*b = v + 544. Is b a composite number?
True
Let k(j) = j**2 - 59*j + 5533. Is k(-133) composite?
False
Let i(l) = -75*l**2 - 2*l - 155. Let b be i(11). Is -7 - b/(3 + 3) prime?
False
Let w be 2 - (0 + 2 + -54). Let b = 3 + w. Suppose -4*t - b = -7*t. Is t composite?
False
Let m be 2/(-5) + 12/5. Let b = 3524 + -3524. Suppose b = 3*f - 4*f + m*x + 369, -2*x = f - 349. Is f prime?
True
Let f = 621 - -9102. Let l = 16871 - f. Suppose -z + 17853 = 5*r, 0*r - 3*z = -2*r + l. Is r a composite number?
False
Let l(j) = -480*j**3 + 2*j + 2. Let m be l(-1). Let c = m + -108. Suppose -s - 37 = -c. Is s a prime number?
False
Suppose 1 = 15*x + 226. Let l = 26 + x. Suppose 17567 = l*w - 0*w. Is w composite?
False
Let s be (5 + 2)/((-1)/(-1)). Let a be (-10)/(-70) + (-5)/35. Suppose a = s*r - 3*r - 3148. Is r a prime number?
True
Let k be (6/12)/(3/12). Suppose 0 = 2*c + 5*q - 2174, 4*c - 1186 = -k*q + 3162. Is c a composite number?
False
Let g(p) = p**2 - 13*p + 38. Let y be g(9). Let h be y + 5 + -7 + 3. Is -4 + (-4)/((-36)/h)*4023 a prime number?
False
Suppose 0 = -3*r + 2*p + 93925, 0 = -260*r + 265*r + 3*p - 156529. Is r a prime number?
True
Suppose 0 = -3*d - 4*j - 5, -d = 4*d - 5*j - 50. Let c(g) = 374*g**2 - 11*g + 16. Is c(d) prime?
True
Let u(b) = -3*b - 22. Let p be u(-9). Suppose -5*k + 11019 = -4*s, p*s - 2251 - 4353 = -3*k. Is k composite?
False
Let m = 414547 - 183828. Is m prime?
True
Suppose 75*h - 124172827 = -115*h + 53*h. Is h prime?
True
Let r = -52126 - -79107. Is r a composite number?
False
Suppose -3*z = 5 - 11. Suppose -3*a + 4*a = -z*i + 2, 4*a - 8 = -5*i. Suppose -5*t = 7 - 27, 2*c + a*t - 1270 = 0. Is c prime?
True
Let b(w) = 3*w + 105. Let g be b(-30). Suppose 18*j - 6099 = g*j. Is j prime?
False
Let m be ((-1701)/36)/(1/(-4)). Let w be m + 4*1/2. Suppose 6*j - w = 5*j. Is j a composite number?
False
Suppose 3*d - 6 = 0, 791*u - 794*u = -2*d - 160967. Is u prime?
True
Let j = 307 + -307. Suppose 2*o - 5*a - 16998 = -6*a, 3*a + 12 = j. Is o prime?
True
Let y = -81 - -34. Let r = -45 - y. Suppose -r*j - 171 = -581. Is j a composite number?
True
Let u = -68 - -67. Let v(n) = n**2. Let h(p) = 4*p**2 + 9*p - 25. Let w(q) = u*h(q) + 5*v(q). Is w(17) a prime number?
False
Suppose 5*k = 5*g - 755570, 0*g = 4*g - 3*k - 604451. Is g composite?
True
Let o(a) = 7*a**3 + 7*a**2 - 329*a + 1. Is o(22) composite?
False
Let t be 0 + -10 - -14 - 0. Suppose -2*u + 59 = -661. Suppose 4*r + 4 = 0, -t*r - u = -2*k - 2*r. Is k a composite number?
False
Suppose 0 = p - 3*w + 2*w - 29, 2*p - 66 = 4*w. Is (-17024)/(-20) - 5/p composite?
True
Let x be 8327 - (4 + -11)/(-7). Let d = -1287 + x. Is d composite?
False
Suppose 3*s = i - 14749, i - 4*s + 3*s = 14757. Suppose 486*l + i = 487*l. Is l composite?
True
Suppose -o + 1120 = 5*w - 2*w, -4*o = -3*w - 4420. Let m = o - 134. Is m prime?
False
Let w(a) = a**2 - a - 1. Let l be w(3). Let n = -4901 + 11196. Suppose 5*x - n = -l*u, 0*x - 3*x = 4*u - 5036. Is u a composite number?
False
Let j = -38 - -43. Suppose -j*g - 14 = 1. Is ((-1518)/(-8) - g/12) + 1 composite?
False
Let k(y) = 25*y + 180. Let x be k(-7). Let z(r) = 409*r + 200. Is z(x) a composite number?
True
Let s(p) = -2*p**3 + 23*p**2 - 14*p + 37. Let q be s(11). Suppose 0 = -3*w - q*w + 67627. Is w a prime number?
True
Suppose -4*d + 439727 = -n, -4*n = -3*n + 3. Is d prime?
False
Let o = -191 - -196. Suppose 0 = -4*g + o*a + 109, 4*g - 3*a - 146 = -g. Is g prime?
True
Suppose 432 = 2*q + 14*q. Is (25034/(-6))/((-3)/(q/3)) a composite number?
False
Suppose -k - 2*u = -10, -4*k + 4 = 3*u - 11. Suppose -513 = -5*f - k*f - 3*x, -2*f = 4*x - 194. Let h = f + 22. Is h prime?
True
Let n = -4047 - -6980. Is n prime?
False
Let k be (-10)/(-2 - 0) + 0/(-7). Is (-16)/(-40) + 528/k a composite number?
True
Let l(t) = -2389*t**3 + 9*t**2 + 6*t - 3. Let r(g) = 4*g**2 - 12*g - 4 - 1194*g**3 - 14*g + 29*g + 3. Let y(z) = -3*l(z) + 7*r(z). Is y(-1) composite?
True
Suppose 3*n = 5*n + 2*c + 19088, -4*n + 3*c = 38162. Let g = 24 - n. Is g composite?
True
Let b be -6 + (1518/3)/2. Suppose 0 = 7*a - 271 - b. Is a a composite number?
True
Let b(u) = 5892*u + 1433. Is b(4) a composite number?
True
Suppose 655*w = 651*w + 10583620. Is w a composite number?
True
Let j = 810830 + -443037. Is j a prime number?
False
Let d(f) = -273*f**3 + 35*f