*u - 510. Is u a prime number?
True
Let t(a) = 7075*a**2 + 8*a + 3. Let y be t(-1). Suppose 5*i + 5*m = y, -4*i + 13*m - 10*m + 5621 = 0. Is i a prime number?
True
Let w be 92/16 + 12/48. Is (-4 + 10325/(-10))*(-20)/w composite?
True
Suppose -h = 4*d - 2053, 3*h + 10265 = 8*h - 2*d. Is h composite?
False
Let q(a) = -60*a**3 + 9*a**2 + 4*a + 5. Suppose 3*u - h + 16 = 0, -3*u - 2*h - 13 = -9. Is q(u) a composite number?
True
Let g = 197 + -189. Is 5301/24 + 1/g composite?
True
Let d = 254664 - 35345. Is d a prime number?
False
Let d(g) = -41*g - 201. Let n be d(-5). Is n/14 + 75854/238 prime?
False
Let j = 75548 + 103248. Suppose -21*t + 2665 = -j. Is t composite?
False
Is -22 + (-5 - -11) - -699335 prime?
True
Suppose -3*g + 43 = 34. Let z be 4/(-6)*g*8/4. Is (z - 21/(-6)) + 111/2 composite?
True
Let l be 1/(-4) + (-58)/(-8). Suppose 4*h = 2*p - l*p + 14, -2*h - 20 = -2*p. Suppose p*q - 1889 = 517. Is q composite?
False
Is 1 - -5383 - (316 - 313) prime?
True
Let z(n) = n**3 - 18*n**2 + 84*n - 19. Let y be (-395)/(-15) + 1/(-3). Is z(y) prime?
True
Let d = 144 - 140. Is 4 - (12849/(-3) - d) composite?
True
Let u(m) = 35*m**2 - 2*m + 9. Let k be u(-10). Suppose k + 8626 = 5*v. Suppose -3*x + v = -2264. Is x prime?
False
Suppose 135 = -z - 2*z. Let h be (62/(-30) - 18/z)*-3. Suppose -5*j - 879 = -c, h*c - 5*j - 2086 = 2269. Is c prime?
False
Let d be 2 - (2 + -1 - (9 + -10)). Suppose d*q = 7*q - 1337. Is q a composite number?
False
Suppose -2*f = -0*f + 5*c + 5131, 5*c - 5121 = 2*f. Let y = 2529 + 1427. Let z = y + f. Is z composite?
True
Suppose 0 = 2*u + 6 - 12. Suppose -2*c - 3*t = -4097, u*c - 5*t + 1036 = 7229. Let v = c + -1257. Is v composite?
True
Let f be 684/8 - 3/2. Suppose 37*t = 41*t + f. Let b = t - -24. Is b a prime number?
True
Is 104127 + (9 + (-1095)/65 - 4/26) composite?
False
Let z(j) = 6*j**2 + 8*j - 2. Let w be z(-10). Suppose 0 = 2*m - 6*m + 3*g + 708, 0 = 3*m + g - w. Let c = -47 + m. Is c a composite number?
False
Suppose 2*p = -3*a + 17, 2*a = -p + 6 + 2. Suppose -w - 2*l + 3*l = -p, 0 = 2*w + 3*l. Is ((-15534)/(-27))/(((-4)/w)/(-1)) a composite number?
False
Suppose -3*p = 5*c + 2*p - 85, -2*c + 2*p = -38. Is 20190/c - (-4)/3 prime?
True
Suppose -l - 1486 = -b, -728*l + 730*l = -5*b + 7395. Is b composite?
False
Suppose -4*t - l - 3*l = 4, 0 = -2*l - 4. Let o be (7740/(-8))/(t/(-2)). Suppose -229 = 3*k + 4*j - o, 4*k - 2223 = 5*j. Is k a prime number?
False
Let r(c) = c - 6. Let y be r(10). Let m be 6/y + 63/42. Suppose 5*d = b - 103, m*b + 5*d - 284 = 25. Is b a composite number?
False
Let j(f) = 2500*f + 663. Is j(35) a composite number?
True
Let h = -3 + 119. Let f = -114 + h. Suppose -351 = f*u - 4*u + n, 0 = 3*u - 5*n - 516. Is u a composite number?
True
Let u be (-5 + (-222)/(-42))/((-2)/(-28)). Suppose -2*l + 7121 = v, u*v = -31*l + 30*l + 28491. Is v prime?
False
Let s = 110273 - -62188. Is s a prime number?
False
Suppose 2016*l - 100859 = -a + 2012*l, 4*l + 403536 = 4*a. Is a composite?
True
Suppose 4*t + 13 = -4*p + 105, -2*p = -5*t - 18. Suppose -20*k = -p*k - 1191. Is k composite?
True
Let j(y) = 2*y**3 - 83*y**2 + 81*y + 55. Let w be j(41). Suppose 5155 = 2*q - 4*o - w, 2*q - 5*o = 6849. Is q a prime number?
False
Let t = 66103 + -20336. Is t composite?
False
Suppose 5*l = -5 + 10, 0 = g + l - 6. Suppose -4*q - 4397 = 6*a - 9*a, 2922 = 2*a - g*q. Is a composite?
False
Let i(w) = -10*w**2 + 15*w - 2. Let j be i(8). Let x be (j/4)/((-5)/100). Suppose -h = y - 5*h - 649, 4*y - 2*h = x. Is y a composite number?
False
Suppose 0 = -5*w + 78 + 132. Let t = -38 + w. Is 1 + t*435/6 a prime number?
False
Let q = -31 + 36. Suppose -5*c - 50 = q*o, -3*o - 5*c + 11 = 47. Is (o/5 + 2/5)*-331 a composite number?
False
Suppose -30 - 10 = 5*w. Let n be ((-18)/(-8))/((-6)/w). Is (n - (-72)/(-21)) + (-38586)/(-21) composite?
True
Suppose 3*h = -24, -109*o - 2*h - 1252739 = -110*o. Is o a prime number?
False
Suppose 2*c = 3*m - 18 + 3, 4*c + 25 = 5*m. Suppose c = 11*k + 15 - 48. Suppose -k*j = a - 83 - 11, -a + 94 = -j. Is a prime?
False
Suppose -4*z = 0, -30 = -w + 2*z - 5. Suppose -5*u - 3363 = -i + 845, 5*u = -w. Is i prime?
False
Let h(x) = 2*x**2 + 22*x + 7446. Let l be h(0). Let r = 12961 - l. Is r composite?
True
Suppose -18 = -4*r - 2*r. Suppose -4*j - r*s = -2*j - 9419, s + 4712 = j. Is j a composite number?
True
Let g(s) = s**2 + 1. Let u be g(-3). Suppose -u*v = -14*v + 684. Suppose v = 2*j - 51. Is j composite?
True
Is 1131/(-6409) + (-8349896)/(-34) a composite number?
True
Suppose -10 = -n - 19. Let t be 6/n*(-3)/(-5)*-10. Suppose 0 = -10*s + t*s + 564. Is s composite?
True
Suppose 0 = -5*c + 23 + 57. Let v be (90/8)/(4/c). Is v/18 + (-414)/(-4) prime?
False
Let h(q) = -5*q**2 - 6*q - 1844. Let a(w) = 3*w**2 + 5*w + 1845. Let n(o) = 3*a(o) + 2*h(o). Is n(0) a prime number?
True
Let s be ((-718425)/30)/(3/(-28)). Is (3/(-6))/(-8 + s/27940) a composite number?
True
Suppose 0 = -22*l - 27835 + 290009. Is l a prime number?
False
Let m = 44 + -47. Let b be ((m - -6) + 3)/7*7. Suppose d - 2653 = -b*d. Is d composite?
False
Let j be (-39)/(-2) + 2/(-4). Let t = -699 + 699. Is t/2 + j + 1774 a prime number?
False
Let s(h) = 151*h + 54. Let l be s(14). Let t = l - -1383. Is t a prime number?
False
Suppose f - 8*g = 2*f - 53667, 4*f - 4*g = 214812. Is f prime?
True
Let m(u) = 134*u**2 + 18*u + 20. Let l be m(-8). Suppose -12*q - l = -26872. Is q a composite number?
True
Let k = 65994 + -46770. Let r = k - 13639. Is r prime?
False
Let x(v) be the first derivative of 32*v**3 - v**2/2 - 4*v - 17. Let n be x(2). Let i = 941 + n. Is i a composite number?
False
Let i(s) = 15*s**2 - 86*s - 307. Is i(-66) composite?
False
Suppose 19*a - 1724108 = -77017. Is a a prime number?
True
Let v(s) be the first derivative of 81*s**2/2 - 37*s + 254. Is v(30) prime?
True
Is (-14 - -4) + -9 + 2 + 293190 prime?
True
Let v(t) = 19872*t**2 - 71*t - 149. Is v(-2) composite?
False
Let r = 220971 - -30164. Is r composite?
True
Let r = -5403 + 32614. Is r composite?
False
Let n(w) = 5*w**2 + 2*w + 19. Let j be -73 - -1 - (-6 - -2). Let l be 2*(j/18 + (-8)/36). Is n(l) a prime number?
False
Let p be 30/45 + (-2942)/(-6). Suppose 3*x + 3*l = x + 938, -4*l = -x + p. Let f = x - -1182. Is f composite?
False
Let c(t) = -2928*t - 1193. Is c(-17) a composite number?
True
Let a be 12*(3 - 48/18). Is ((-30090)/18 + a)*(-2 - 1) composite?
False
Suppose -15 = 5*t + 10, 3*c + 2*t = 2252. Let y = c - 1106. Let v = y - -647. Is v a prime number?
False
Suppose -d - 215 = -37. Let i = d + 6341. Is i a prime number?
True
Let f(c) = -23377*c - 134. Let l be f(-6). Is 1/(8/l) + (-10)/(-2) composite?
True
Suppose -4672467 + 677584 = -19*u. Is u a composite number?
False
Suppose 3*q + 5*d - 181142 = 0, -11*q + 12*q - 4*d - 60341 = 0. Is q a composite number?
True
Suppose -6*f + 81 = 3*f. Suppose 164375 = f*l - 3340. Is l prime?
False
Suppose -499*d + 2335705 = -496*d + 2*w, 20 = -5*w. Is d a composite number?
True
Let p be 4 - (-1150)/3 - (-1)/(-3). Let k = -15 + 20. Suppose -3*c + 2*c = 2*n - 381, -k*n = c - p. Is c prime?
False
Let c(l) = l**3 + 17*l**2 + 40*l - 5. Let p be c(-14). Is (-1 + p)/(-2 - 1008/(-501)) prime?
False
Let z(j) = -j**2 - 11*j + 3. Let l be z(-11). Suppose 2*w = -5*n + 19568 - 2045, -l*w = 3. Is n a composite number?
True
Suppose 10*h - 22*h - 7246072 = -20*h. Is h composite?
False
Let i be 17065 + 10/(-4)*(-4 - -2). Let d = i + -2803. Is d a composite number?
True
Is ((512/(-48))/32)/((-1)/88878) a composite number?
True
Let x = 411600 + -98381. Is x composite?
False
Let i(l) = -127*l**3 - l**2 - 9*l + 15. Let h be i(-4). Is ((-8)/12)/((1 - 4)/h) a composite number?
True
Suppose 24*a - 2567 = 21*a - 5*s, 3*a - 5*s = 2527. Suppose 0 = 5*z - g - 40733, 5*g - 31749 - a = -4*z. Is z prime?
True
Suppose -599 + 147663 = b - 166101. Is b a prime number?
False
Let u = 173 + -95. Let b = u - 75. Suppose 4*l + 4*d = 884, -2*l - b*l - d + 1125 = 0. Is l a composite number?
True
Let z = 1407930 - 735803. Is z prime?
True
Let f(q) = 3*q**3 - 6*q**2 + 11*q - 14. Let r be f(10). Suppose r = -3*x - 0*m + m, m = -4*x - 3321. Let a = x + 2312. Is a composite?
False
Let u = -17 - -17. Let x be u + 1/(-2)*(0 + -2). Is (x - (3 - -1)) + (-920)/(-2) a prime number?