lse
Let d be (-2)/12 - 943/(-6). Suppose 4*z + r - 253 = z, 3*r = -2*z + d. Suppose 5*x = -4*g + 5 + z, x + 73 = 4*g. Is g prime?
True
Let q(t) = 302*t**2 - t + 5. Is q(6) prime?
False
Let p be -2 + 9 - 0 - 0. Suppose -802 = -4*k + q, q = 3*k - p*k + 806. Is k composite?
True
Let o(v) = -v**3 - 39*v**2 + 57*v - 30. Is o(-43) prime?
False
Suppose -6*o + 8*o = 28. Let l(m) = -1 + o*m + 13*m - 11*m. Is l(3) a prime number?
True
Is (1 + 7989/(-15))/((-4)/10) prime?
False
Let c(t) = 2*t + 15. Let w be c(-5). Suppose -k - 4*j + w*j = -1934, 3*k - 2*j - 5799 = 0. Is k composite?
False
Let c(w) be the third derivative of -w**6/120 + 2*w**5/15 - 6*w**2. Let x be c(8). Suppose 3*r - 622 = -5*l + l, x = 3*r - 3*l - 657. Is r prime?
False
Let u(n) = -5*n**3 + 6*n**2 - 19*n - 23. Is u(-9) prime?
False
Let c = 5531 - 8043. Let o = c + 3795. Is o a prime number?
True
Let l(a) = 16*a. Let w be ((-4)/(-5))/((-10)/(-25)). Let i be l(w). Let x = 231 + i. Is x a prime number?
True
Suppose -k + 52 = 2*k - 4*r, -4*r = -8. Suppose -k = -9*m + 4*m. Suppose -s = m*s - 395. Is s composite?
False
Let g(z) = -2*z**3 + 7*z**2 + 27*z - 20. Let x(n) = n**3 - 4*n**2 - 14*n + 10. Let o(f) = -4*g(f) - 7*x(f). Is o(11) a prime number?
True
Let g be 3/(-15) + 20316/(-20). Let m = g + 2035. Suppose -3*t + m = -184. Is t prime?
True
Let d(h) be the third derivative of h**6/40 - h**5/30 + 3*h**4/8 - h**3/6 + 6*h**2. Is d(7) a prime number?
False
Is ((-15615)/13 - (-2)/13)*-1 prime?
True
Suppose 6*x - 7 = 11. Suppose x*t - 104 = -t. Is (-4)/t + 3993/13 prime?
True
Let t be (-1)/(2/(-22))*17. Let b = -570 + 662. Let w = t - b. Is w composite?
True
Suppose 2*f = 5*x - 7*x, 2*x + 24 = 4*f. Is (0/x - 4) + (-5396)/(-4) prime?
False
Let w(p) = 2590*p - 117. Is w(2) a prime number?
False
Let l(v) = 3*v + 11. Suppose -2*q - 3 = 7. Let b be l(q). Let s = -1 - b. Is s a composite number?
False
Let j(g) = 5*g**3 - 2*g**2 - 3*g + 5. Let c be j(2). Let a = 39 - c. Is (56/(-12))/(a/(-636)) a prime number?
False
Let t(w) be the second derivative of -w**3/6 - w**2/2 + 5*w. Let j be t(-1). Suppose -q + 0*q + 58 = j. Is q a composite number?
True
Let t = 2004 + -999. Suppose 9 = 3*i - t. Suppose q - i = -3*u, 4*u - 135 = 3*q + 294. Is u a composite number?
True
Suppose 17*b - 79769 = 63932. Is b a prime number?
False
Let v(g) = 87*g**2 + 3*g + 4. Let t(b) = -b**2. Let q(x) = t(x) + v(x). Is q(-3) a prime number?
True
Suppose 2*o + 1185 = -2*g - 399, 2*g + 5*o + 1587 = 0. Let j = g - -1588. Is j a composite number?
False
Let o = -28 + 36. Let r be (-23)/4 + (-2)/o. Is (-311 + r/2)/(-2) composite?
False
Is 5 + (40/30)/(2/101613) a prime number?
False
Let r = 8 + -3. Suppose -2*g = -r*g + 417. Let o = 284 - g. Is o prime?
False
Let u = -31 - -34. Suppose x + u = 310. Is x prime?
True
Suppose -j = -3*j + 22. Suppose 5*d - 14 = j. Suppose -3*s + 1520 = d*n, -4*s + 584 = 4*n - 624. Is n a composite number?
False
Is (1 - 0)/(37/109594) a prime number?
False
Suppose -9*a + 14*a + 35 = 0. Let y(t) = 4*t - 7. Let w be y(5). Let m = a + w. Is m composite?
True
Let r(m) = -1252*m**3 + m**2 + m + 1. Let s be r(-1). Suppose -4*l + s = 3*v - 2*v, 0 = 3*v + 9. Is 8/16 + l/4 prime?
True
Let l(d) be the third derivative of 211*d**4/24 + d**3 + 16*d**2. Is l(17) a composite number?
False
Suppose 890 = -2*a - 3*a. Let j = -21 - a. Is j composite?
False
Suppose 0 = -3*a + g + 27, -3*a + 18 = -0*a - 4*g. Let v = 4 - a. Let f = v - -63. Is f composite?
True
Let m(t) = 8*t - 10 - 35 + 0*t + 18. Is m(6) composite?
True
Suppose t + 2*t + 23 = 5*s, -5*t = 5*s - 15. Suppose -s*z = 2*b - 2 + 10, 0 = -2*z + 5*b - 28. Is 6/4 + (-206)/z a composite number?
False
Suppose 7*y - 1998 = 4*y + 5*j, 5*y + j = 3302. Let q = y + -290. Is q a prime number?
False
Let o = -4141 - -9570. Is o prime?
False
Let b(i) be the first derivative of -51*i**2/2 + 11*i - 34. Is b(-6) a composite number?
False
Let i(d) = -d**2 + 5*d - 4. Let p be i(4). Suppose x + p*m - 959 = 2*m, -m + 1903 = 2*x. Is x composite?
False
Let p = -30 + 36. Let h(c) = 4*c**2 - 6*c - 11. Is h(p) composite?
False
Suppose 351490 = 1758*d - 1748*d. Is d a prime number?
True
Suppose 0 = 5*v - 552 - 38. Let h = -81 + v. Is h a composite number?
False
Let r = -14 - -12. Let m be (0/(-2))/(r - -3). Suppose m = 3*d - 151 + 4. Is d prime?
False
Suppose -4*f + 163 = -5*p, -f = -0*f - 3*p - 39. Let l be (55/(-10))/((-2)/20). Let h = f + l. Is h a composite number?
False
Suppose -5*p = -5*q + 565, -2*p - 3*p + 240 = 2*q. Suppose 0 = 3*u - u + 112. Let d = u + q. Is d composite?
False
Let r(n) = -n**2 + 3*n - 1. Let k be (-3 + 2)*7 + 3. Let i be r(k). Is i*(-1)/((-1)/(-5)) prime?
False
Is ((-3073)/5)/(12/(-60)) a prime number?
False
Let l(n) = n**2 - 8*n - 9. Let y be l(9). Suppose -3*w = -b - y*b - 796, 5*b + 5 = 0. Is w a composite number?
True
Let d(b) = -21*b**3 - 7*b**2 - 7*b + 43. Is d(-10) a composite number?
True
Suppose 5*s = 5*g - 35, -7 = g + 2*g + 4*s. Suppose -6*t = -g*t - 1266. Suppose 0 = 2*p - 4*p + t. Is p a prime number?
True
Suppose 0*h + 16 = 4*g + h, 16 = -4*h. Suppose -g*q = -q + 40. Is ((-508)/6)/(q/15) a composite number?
False
Let i be 20/(-90) - (-155)/9. Suppose 4*x - 38 = -2*c - 0*c, x = -2*c + i. Is x prime?
True
Suppose 10*j + j - 33 = 0. Suppose 3*n + 2*o = -j*o + 3458, 0 = 3*n + o - 3454. Is n a prime number?
True
Suppose s = -s + 8, 0 = -3*n - s - 86. Let o = n - -48. Suppose 4*j = -o + 526. Is j prime?
True
Suppose 5*z + 2337 - 115512 = 0. Suppose -4521 = -g - 7*d + 3*d, 5*g + 5*d = z. Is g a composite number?
True
Let p = -109 + 251. Is (p/(-5))/((-16)/40) a prime number?
True
Is 6 + (-817821)/(-99) + 4/22 prime?
False
Suppose -251 = -3*r + d - 3*d, 4*r - 3*d = 329. Let n = r + 26. Is n a composite number?
False
Let u(h) = 9*h**2 - 8*h + 3. Let m be u(-6). Suppose 4*g + p = 2*p - 184, -3*g = -p + 138. Let c = m + g. Is c composite?
True
Suppose -4*y = -0*y + 1136. Let h = y + 673. Is h a prime number?
True
Is (18/(-45))/(2/(-71845)) prime?
True
Let n(r) = r**3 + 12*r**2 + 4. Let a be n(-12). Suppose -28 = -a*v + 4. Suppose 2*j - 334 + v = 0. Is j a prime number?
True
Let i(k) = -3*k**2 - 3*k + 1. Let t be i(2). Let m = 54 + t. Is m a prime number?
True
Suppose 77*q - 90*q + 48893 = 0. Is q a composite number?
False
Suppose 262 = 3*f - 3*m - 395, f - 2*m - 221 = 0. Is f a prime number?
False
Let t(v) be the second derivative of 14*v**5/5 - v**3/6 + v. Let o(w) = w**3 + 2*w**2 - 8*w + 1. Let a be o(-4). Is t(a) prime?
False
Let x(z) = z - 12. Let g be x(12). Suppose g = 10*v - 8*v - 514. Suppose -2*l - 4*q = -3*q - v, -l + 130 = q. Is l composite?
False
Suppose d = -5*h + 18, -4*h - 10 = -4*d + 14. Suppose 5 = d*g - 3*g. Is g/(-2)*-2 + 250 a composite number?
False
Let v(j) = -66*j - 6 + 3 + 3*j - 106*j. Let y be v(-2). Suppose 5*f - 6*k - y = -k, 4*f + 5*k - 223 = 0. Is f prime?
False
Suppose -2*j + 3744 = 4*t, 4*j + 0*j = -t + 929. Is t a composite number?
False
Suppose 5432 = 4*b - 5*t, -5*b - 2057 = 2*t - 8847. Suppose b + 3246 = 4*n. Is n prime?
True
Let y = -12 - -14. Suppose -3*d + 12 = 2*v - 5*d, 15 = 5*v - y*d. Is (v - (-1)/(-2))*314 prime?
True
Let r(m) = 18*m**3 + 3*m**2 + 7*m + 9. Is r(11) a composite number?
False
Suppose 0*v = -2*v + 6. Let l be v/12*(15 + -3). Suppose 3*q + 192 = -3*t + 513, -5*t + l*q = -567. Is t a prime number?
False
Suppose -385 + 45 = -17*t. Is (-52630)/(-12) + t/(-24) prime?
False
Let s(i) = 24*i - 20 + 16 - 11*i. Let m be 12*-1*1/(-4). Is s(m) a prime number?
False
Let d = -17579 - -24682. Is d a prime number?
True
Let h = -1146 - -1383. Is h a composite number?
True
Suppose -12*p + 275697 = 15*p. Is p a composite number?
False
Let v(x) = 7*x + 17. Is v(6) composite?
False
Suppose -3*u + 519493 = 4*l, 7*l - 389628 = 4*l - 5*u. Is l composite?
True
Is ((-1)/(-3))/(3/122526*6) prime?
True
Is (-9)/(-135) + (-1972932)/(-45) prime?
False
Is 1/4 + 2540280/160 a composite number?
False
Is (699/2)/((-117)/(-26) - 3) prime?
True
Let d(o) = -o**2 - 5*o + 10. Let q(x) = x**3 + 11*x**2 - 10*x + 17. Let r be q(-12). Let z be d(r). Let t = 1217 + z. Is t a composite number?
False
Let r(a) = 2*a**2 + 2*a. Let c be r(2). Suppose 5*s + c = s. Let k(i) = 13*i**2 - 2*i. Is k(s) composite?
True
Let t(u) = -u**2 + 2*u + 7. Let r be t(