/(4/m) prime?
True
Suppose -2*n - 1872 = -2*y, -3*y + 1212 = n - 1596. Suppose 0 = -3*t + 2*p - 542 + 1429, 3*p + 3 = 0. Let i = y - t. Is i composite?
False
Suppose -3*g + 10*o - 8*o + 11 = 0, 2*o - 3 = g. Suppose -g*t + 5803 - 546 = 0. Is t a composite number?
False
Suppose 39*b = 37*b + 140. Let g = b + -75. Is g + -2*(-344 - -5) prime?
True
Let q = 118327 - 41906. Is q prime?
True
Let w(a) = -a**3 + 9*a**2 + 4*a + 23. Let f be w(8). Suppose 0 = -5*j + 426 + f. Is j a composite number?
False
Suppose 5*z - 30 = -5*o, 4*z - 4*o + o = 17. Suppose 2*f + 2*j - 4824 = 0, z*f - 5*j + 2*j - 12052 = 0. Is f prime?
True
Let m(j) = -j**2 - 32*j - 57. Let u be m(-30). Suppose 5*x + 15261 = -2*f, -4*f + 3*f = -u*x - 9150. Let i = x + 4988. Is i composite?
True
Suppose -2*b - 178 = -3*p, -2*b - 2*b = p - 36. Suppose -460 = -p*w + 60*w. Is -2*w/20*34 prime?
False
Suppose -10 = -13*h + 11*h. Let u be h/2 - (-27954)/(-4). Let g = -4805 - u. Is g prime?
False
Let p be -23*(-7)/(35/335)*1. Let b = -910 + 156. Let z = p + b. Is z a composite number?
False
Suppose 5*y - 2 = -27. Let p be y/((-75)/10) - 2/3. Is 2581/(4 + p + -3) composite?
True
Let c(d) = 30 + 17*d**2 + 34 - 12 - 59*d + 6*d - 5. Is c(-21) a composite number?
True
Let d(x) = 19504*x - 10045. Is d(11) a composite number?
True
Let x be (2/12 - (-35)/(-21))*2526. Is (-2 - x)*(-6 - -7) a prime number?
False
Let o be (629/3)/(2/6). Suppose -t - 432 = -28*v + 29*v, -3*t = -5*v - 2144. Let c = v + o. Is c composite?
False
Is 5/(25/(-12)) + 2 - (-1344259314)/810 prime?
False
Let u = -52372 + 116109. Is u a composite number?
False
Let z(t) = 22483*t**2 - 7*t + 5. Is z(1) composite?
False
Is 0 + -5 - (42 + -37) - -249893 a composite number?
True
Suppose 0 = 4*n - 3*t - 53261 - 22776, -38026 = -2*n + 4*t. Is n composite?
True
Let x(k) = -251*k**3 + 6*k**2 - 3*k + 1. Let b be ((-18)/4 + 5)*-6. Is x(b) a composite number?
False
Let j(s) be the first derivative of -2*s**2 + 651*s - 2. Let a be j(0). Suppose l = -f + 254, 2*f = -5*l - 134 + a. Is f composite?
False
Suppose -87*r = 243006 - 4004854 - 6610205. Is r composite?
True
Let w(l) = -23*l + 119. Let r be w(5). Suppose r*y + 86449 = 15*y. Is y a prime number?
False
Is 210103144/870 + 4/30 composite?
True
Suppose 11*b - 35 = 4*b. Suppose 0 = t + b*q - 2*q - 10, 2*t = 4*q. Suppose -14285 = -t*g - 4*u + 3*u, -u = -5*g + 17854. Is g composite?
False
Let c = -7754 + 13677. Suppose 0 = a + 2*n - c, 18*n - 16*n - 11846 = -2*a. Is a a composite number?
False
Let o be (756/(-9))/(2/12). Let u = o - -867. Suppose 1322 = 5*n - u. Is n a composite number?
False
Let k = 346509 - 200612. Is k a composite number?
False
Suppose -3*s = -3*w - 417, -5*s + 6*w + 695 = 3*w. Let t be (-6)/(-1)*(2 - 160/15). Let v = s - t. Is v composite?
False
Let b(j) = j**2 + 5*j + 57. Let u(i) = 2*i - 1. Let c(l) = b(l) + 2*u(l). Is c(12) prime?
True
Let v = -1332 - 562. Is 10*v/(-8)*2 prime?
False
Let z be (492/615)/(2/5). Suppose 2*l - 2105 = o, -4*o + 609 = 3*l - 2543. Is l + 5 + -10 + z composite?
False
Let d(o) = -3*o - 45. Let q(i) = 15*i + 12. Let h be q(-2). Let m be d(h). Suppose a = m*a - 3560. Is a a composite number?
True
Is -12 - 2381780/80*-4 prime?
False
Suppose -538*k + 1479616 + 1491838 = -1320710. Is k composite?
True
Suppose -343 = 4*i + 629. Let a be 1729/(-1235) + (-4)/(-10). Is 2 + (a - i/(-2))*-8 composite?
True
Suppose 2*t = x - 3, 4*t = x - 10 + 9. Suppose -6921 = -h + x*q + 3411, -3*h = 3*q - 31050. Is h a composite number?
True
Let g be (-2 + 24/10)/(14/62440). Suppose -c - 3*c + g = 0. Is c prime?
False
Let s be (-4)/(-24)*-2 + (-4156)/(-3). Let z be (-4)/(0 - 8)*1772. Let t = s - z. Is t prime?
True
Suppose -3*b + 13250 = t - 5824, 57233 = 3*t - 2*b. Suppose 0 = 3*k - 3*h - t, 23519 = 4*k + 2*h - 1917. Is k prime?
True
Suppose 5*j - 211 = -o, 0 = -2*o - 2*j + 3*j + 433. Is o/108*(-4190)/(-4) a prime number?
False
Suppose 0 = -14*v + 19*v - 15. Suppose -c = d + 3*d - 359, v*c + 169 = 2*d. Let h = d + 26. Is h prime?
False
Suppose 8*t - q = 7*t - 495, 1970 = -4*t + 2*q. Let i = t + 869. Is i prime?
True
Let g be (-336)/(-18)*(-246)/(-4). Let r = g - 646. Is r a prime number?
False
Let p = -16351 + 33972. Is p a prime number?
False
Let b = 1321 + -525. Suppose 0 = -5*g - 2*l + 1961, -g - 5*l = -3*g + b. Is g composite?
True
Let j(h) = 4211*h**2 - 637*h - 9071. Is j(-14) a prime number?
True
Suppose -4*x + 30 = 2*x. Suppose -x*y = -25, -11 = 2*u - 3*y + 6*y. Is u/((-858)/12) + (-40102)/(-22) prime?
True
Let q(l) = l - 4. Let s be q(4). Suppose -2*f + 12165 = 5*n, 2*f - 7295 = -3*n - s*n. Is n a composite number?
True
Suppose 147*q + 105*q + 23*q = 6434725. Is q composite?
False
Let z = 3210 + 390. Suppose 0 = -a + 2, 4*n - 2*a + z = 29976. Is n composite?
True
Let l = -163749 - -516272. Is l composite?
False
Let v = -35 + 37. Suppose 3*a = -v*a + 1260. Let z = 437 - a. Is z prime?
False
Suppose g - a = 2*g - 7, 3*g - 4*a + 14 = 0. Suppose 0 = 2*j + g, -n - 7*j = -3*j - 16. Suppose 4*x - n = 0, 0 = -4*i - i + x + 1730. Is i composite?
False
Is (-1720258)/(-6) - (-348)/261 prime?
True
Suppose s = -3*v + 7388 - 940, 0 = 2*v - 6. Is s a composite number?
True
Is 3403475/(-130)*-2 - (-6 + (-240)/(-39)) composite?
False
Let i be (-9)/(153/(-50) - -3). Suppose 3*z = s - i, 2*s - 2*z = 409 - 105. Is 186/9*s/6 a composite number?
True
Suppose -10*y = -15*y + 5275. Suppose -y = -5*j + 2*a, 4*j = 6*a - 2*a + 844. Is j composite?
False
Let i(j) be the first derivative of 16*j**2 + 77*j - 10. Is i(25) a composite number?
False
Let k(p) = 5*p**3 + 7*p**2 + 2*p - 6. Let t be k(10). Let i = 18095 - t. Is i composite?
True
Is 145515/4 - (-3 + (-1)/(8/(-22))) a composite number?
True
Let q(v) = 47*v + 1284*v**2 - 42*v + 5 + 0. Is q(-6) composite?
False
Let w = 262 - 259. Suppose -3*s - 15*z + 35307 = -12*z, -w*s + z = -35315. Is s composite?
True
Let d(y) = y**3 - 7*y**2 + 10. Let c be d(7). Let a be (1 + 0)/(((-35)/c)/7). Is ((-31)/a)/(2/68) prime?
False
Let g be 0 - 4/(-14) - (-970680)/280. Let x = g - -248. Suppose 4*b - x = 5929. Is b a prime number?
True
Suppose 490*q = 390*q + 90828700. Is q a composite number?
False
Let p(x) = 2052*x - 35. Let f(b) = -b**3 - 24*b**2 + 29*b + 103. Let h be f(-25). Is p(h) prime?
True
Let w(g) be the third derivative of g**4/4 - 17*g**3/6 + 8*g**2. Let a be w(12). Is (-10)/a - 14502/(-22) a composite number?
False
Let f = -87351 - -148352. Is f prime?
True
Suppose -1538 - 868 = -6*x. Let a = x - 134. Is a composite?
True
Suppose 5*s - 3511 = -4*g, 3*s + 859 = g - 2*s. Suppose 92 = -2*i + 2*j + g, 4*i = -5*j + 1564. Is i a prime number?
False
Let z(i) = 4*i**2 - 382*i - 119. Is z(124) composite?
True
Suppose -5*w - 195*x + 1101215 = -189*x, 4*w = 4*x + 880928. Is w composite?
True
Suppose -313625 = -4*b + 3*n, 320*b = 317*b + 5*n + 235238. Is b prime?
True
Let i be ((-1312)/(-3))/((-2)/(-387)). Let f be (i/20)/6 - 2/10. Let q = -50 + f. Is q composite?
True
Suppose 2*a + 1063344 = 2*i, 0 = 4*i - 7*i - 4*a + 1594981. Is i a composite number?
False
Let v = 2128 + -1145. Suppose 6*o + v = 13241. Let c = -1204 + o. Is c a prime number?
True
Let o = 68 + -76. Let w(t) = -6*t**3 - 2*t**2 - 8*t - 13. Is w(o) a composite number?
True
Let c(v) = -15*v + 4559. Suppose 20 = 5*l, 3*i + 2*i + l = 4. Is c(i) a prime number?
False
Suppose t + v = -4206 + 677, -25 = 5*v. Let q = t - -5623. Is q prime?
True
Let j(h) = 12*h**3 + 13*h**2 + 5*h + 3. Let g be j(-4). Let z = -342 - g. Is z composite?
True
Let y = 190 - 199. Let z(l) = -13*l - 11. Is z(y) prime?
False
Let d(z) = 171*z**2 + 11*z - 3. Is d(5) a prime number?
True
Let j = 232 + -233. Is (j/(-4))/(-3*(-4)/65616) composite?
False
Let t(m) = -459000*m**3 + 102*m + 103. Is t(-1) composite?
True
Is 3034/3*(-30)/(-20) a prime number?
False
Suppose -127*l - 541330 = -137*l. Is l prime?
True
Let p(r) = 3196*r**2 + 8*r - 1. Let o be 24/28 + 7/49. Is p(o) prime?
True
Suppose 25751 + 10027 = 2*l. Suppose 10*k = 7*k + l. Is k composite?
True
Let d = 4872 + -2643. Let i = d + -176. Is i a prime number?
True
Let g(t) = t**2 - 18*t + 26. Let l be g(17). Suppose 11*w = -l*w + 38140. Is w a prime number?
True
Let s be (1 - 0)*-2 + 780. Let z = -527 + s. Suppose -5*g - z = -k, g - 251 = -k - 0*g. Is k prime?
True
Sup